Abstract
In this paper, we investigate four different types of Ulam stability, i.e., Ulam-Hyers stability, generalized Ulam-Hyers stability, Ulam-Hyers-Rassias stability and generalized Ulam-Hyers-Rassias stability for a class of nonlinear implicit fractional differential equations with non-instantaneous integral impulses and nonlinear integral boundary condition. We also establish certain conditions for the existence and uniqueness of solutions for such a class of fractional differential equations using Caputo fractional derivative. The arguments are based on generalized Diaz-Margolis’s fixed point theorem. We provide two examples, which shows the validity of our main results.
Similar content being viewed by others
1 Introduction
Fractional calculus was originated from a question of L’Hospital, in which he asked about the generalization of integral order differentiation. At the end of 17th century, Leibnitz used a notation \(\frac{d^{m}}{dx^{m}}g(t)\) for \(m{th}\) integral order derivative of a function \(g(t)\). At that time L’Hospital asked a question, “What should happen if the order is \(\frac{1}{2}\)?”. Leibnitz on 30th September 1695 (the exact beginning of the fractional calculus) replied, “It will be a paradox, from which later useful consequences will be drawn” [1]. After that, in 1819, Lacroix introduced fractional order derivative [2].
Fractional calculus is as old as the conventional calculus, and it is the generalization of integral order differentiation and integration to arbitrary non-integer order. For detailed study, see the books such as [3–7] and the papers [8, 9]. The attraction towards this subject is due to the fact that fractional derivatives and integrals are not a local property. That is why fractional differential and integral models captured the reality of the nature better, as these models considered the history and nonlocal distributed effects; for details, see the monographs [10–12]. Fractional calculus has a large number of applications in different branches of science, engineering as well as in medical fields. The fractional differential models describe many real world phenomena in different fields, i.e., biology, dynamical systems, physics, control theory, chemistry and in many other fields, in a more efficient and realistic way.
In recent research work, several researchers of mathematics community studied impulsive fractional differential equations due to their applications in different fields of engineering and medical sciences [7, 10–12]. Impulsive fractional differential equations are used to describe real world phenomena like evolutionary processes characterized by abrupt changes of the state at certain instants and many others. The monographs [13–16] treated fractional differential equations with instantaneous impulses of the following form:
where \({}^{c}D_{0,t}^{\alpha}\) is the Caputo fractional derivative of order \(\alpha\in(n-1, n)\), n is any natural number with lower bound 0, \(u:[0,T]\times\mathbb{R}\rightarrow\mathbb{R}\) is continuous, \(I_{k} : \mathbb{R}\rightarrow\mathbb{R}\) are instantaneous impulses and \(t_{k}\) satisfies \(0=t_{0}< t_{1}<\cdots<t_{m}=T\), \(T>0\), \(v(t_{k}^{+})= \lim_{\epsilon\rightarrow0^{+}}v(t_{k}+\epsilon)\) and \(v(t_{k}^{-})= \lim_{\epsilon\rightarrow0^{-}}v(t_{k}+\epsilon)\) denotes the right and left limits of \(v(t)\) at \(t=t_{k}\), respectively.
In [17] Mardanov et al. considered impulsive fractional differential equations with two points integral boundary conditions of the following form:
where \(A, B \in\mathbb{R}^{m\times m}\) are given matrices and \(\operatorname{det}(A+B)\neq0\). Here \(q,f:[0,T]\times\mathbb{R}^{m}\rightarrow\mathbb {R}^{m}\) and \(I_{i}:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}\) are given functions.
Problems (1.1) and (1.2) do not characterize completely the process like hemodynamic equilibrium of a person, i.e., the introduction of the drugs in the bloodstream and the consequent absorption for the body are gradual and continuous processes. Such situations are characterized by non-instantaneous impulses, which begin from an arbitrary fixed point and stay active on a finite time interval.
Motivated by the above-mentioned work, we consider nonlinear implicit fractional differential equations with non-instantaneous integral impulses and nonlinear integral boundary condition in the following form:
where \({}^{c}D_{0,t}^{\beta}\) is the Caputo fractional derivative of order β with lower limit 0, \(0=t_{0}< s_{0}< t_{1}< s_{1}<\cdots <t_{m}<s_{m}=T\), \(T>0\) is pre-fixed number. The functions \(f:[0,T]\times \mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\), \(\eta:[0,T]\times \mathbb{R}\rightarrow\mathbb{R}\) are continuous and \(\xi _{k}:[s_{k-1},t_{k}]\times\mathbb{R}\rightarrow\mathbb{R}\) is also continuous for all \(k=1,2,\dots,m\), which is known as non-instantaneous impulses. The notations \(I_{s_{k-1},t_{k}}^{\beta}\) and \(I_{0,T}^{\beta }\) are given to fractional integrals of order β with limits \(s_{k-1}\) to \(t_{k}\) and 0 to T, respectively, and
Since 1940, Ulam-type stability problems [18] have been studied by a large number of mathematicians. This stability analysis is very useful in many applications, such as numerical analysis, optimization, etc., where finding the exact solution is quite difficult. For detailed study of Ulam-type stability with different approaches, we recommend papers such as [19–33].
The aim of this paper is to establish sufficient conditions for the existence, uniqueness and Ulam-type stability for a class of nonlinear implicit fractional differential equations with non-instantaneous integral impulses and nonlinear integral boundary condition, via generalized Diaz-Margolis’s fixed point theorem. This paper is presented as follows. Section 2 contains some basic definitions, notations and lemmas regarding fractional differential equations. Section 3 contains the framework of the solutions for problem (1.3). In Section 4 we show some existence and uniqueness conditions, along with different types of Ulam stability for problem (1.3). Section 5 contains some examples.
2 Preliminaries
In this section we gather some basic facts, definitions and lemmas regarding fractional differential equations, which we utilized throughout this paper, to obtain our main results.
Definition 2.1
[34]
An arbitrary order fractional integral of a function \(\delta\in L^{1}([0,T],\mathbb{R_{+}})\) of order \(\beta\in\mathbb{R_{+}}\) is defined as
where Γ is the Euler gamma function defined by \(\Gamma(\beta )=\int_{0}^{\infty}p^{\beta-1}e^{-p}\,dp\).
Definition 2.2
[34]
The Caputo fractional derivative of order \(\beta\in\mathbb{R_{+}}\), for a function \(\delta:[0,T]\rightarrow\mathbb{R}\), is defined as
where \([\beta]\) denotes the integer part of the real number β.
Lemma 2.3
[34]
For a nonnegative value of β, we have
Lemma 2.4
[34]
For \(\beta>0\), the Caputo fractional differential equation \({}^{c}D_{0,t}^{\beta}\delta(t)=0\) has a solution of the following form:
where \(a_{i} \in\mathbb{R}\), \(i=0,1,\dots,n-1\) and \(n=[\beta]+1\).
Lemma 2.5
[34]
For \(\beta>0\), we have
where \(a_{i} \in\mathbb{R}\), \(i=0,1,\dots,n-1\) and \(n=[\beta]+1\).
Let \(J=[0,T]\) and \(C(J,\mathbb{R})\) be the space of all continuous functions from J to \(\mathbb{R}\). Let \(\mathfrak{\hat{B}}=PC(J,\mathbb {R})\) represent the space of piecewise continuous functions. Obviously, \(\mathfrak{\hat{B}}=PC(J,\mathbb{R})\) is a Banach space with the norm
Now, we introduce the concept of Ulam-type stabilities for problem (1.3).
Let \(x \in\mathfrak{\hat{B}}\), \(\varepsilon>0\), \(\psi>0\), \(\lambda\geq 0\) and a nondecreasing function \(\phi\in C(J,\mathbb{R_{+}})\). Let us consider the following set of inequalities:
and
Definition 2.6
Problem (1.3) is Ulam-Hyers stable if there exists a real constant \(c_{f,\beta,g}>0\) such that, for given \(\varepsilon>0\) and for each solution \(x \in\mathfrak{\hat{B}}\) of inequality (2.1), there exists a solution \(y \in\mathfrak{\hat{B}}\) of problem (1.3) with
Definition 2.7
Problem (1.3) is generalized Ulam-Hyers stable if there exists a function \(\lambda_{f,\beta,g} \in C(\mathbb{R_{+}},\mathbb{R_{+}})\), \(\lambda_{f,\beta,g}(0)=0\) such that, for given \(\varepsilon>0\) and for each solution \(x \in\mathfrak{\hat{B}}\) of inequality (2.1), there exists a solution \(y \in\mathfrak{\hat{B}}\) of problem (1.3) with
Definition 2.8
Problem (1.3) is Ulam-Hyers-Rassias stable with respect to \((\phi ,\psi)\) if there exists a real constant \(c_{f,\beta,g,\psi}>0\) such that, for given \(\varepsilon>0\) and for each solution \(x \in\mathfrak {\hat{B}}\) of inequality (2.3), there exists a solution \(y \in \mathfrak{\hat{B}}\) of problem (1.3) with
Definition 2.9
Problem (1.3) is generalized Ulam-Hyers-Rassias stable with respect to \((\phi,\psi)\) if there exists a real constant \(c_{f,\beta ,g,\psi}>0\) such that, for each solution \(x \in\mathfrak{\hat{B}}\) of inequality (2.2), there exists a solution \(y \in\mathfrak{\hat {B}}\) of problem (1.3) with
Remark 2.10
From the above definitions clearly we see that: (1) Definition 2.6 implies Definition 2.7 if \(\lambda_{f,\beta,g}(\varepsilon)=c_{f,\beta ,g}\varepsilon\), \(\lambda_{f,\beta,g}(0)=0\); (2) Definition 2.8 for \(\varepsilon=1\) implies Definition 2.9; (3) Definition 2.8 for \(\phi (t)=\psi=1\) implies Definition 2.6.
Remark 2.11
A function \(x \in\mathfrak{\hat{B}}\) is a solution of inequality (2.1) if there exist a function \(Q \in\mathfrak{\hat{B}}\) and an x-dependent sequence \(Q_{k}\), \(k=1,2,\dots,m\), such that
-
\(|Q(t)| \leq\varepsilon \), \(t \in J\).
-
\(|Q_{k}| \leq\varepsilon\), \(k = 1,2,\dots,m\).
-
\({}^{C}D_{0,t}^{\beta}x(t) = f(t,x(t),{}^{C}D_{0,t}^{\beta }x(t))+Q(t)\), \(t \in(t_{k},s_{k}]\), \(k = 0,1,\dots,m\).
-
\(x(t) = I_{s_{k-1},t_{k}}^{\beta} (\xi_{k}(t,x(t)) )+Q_{k}\), \(t \in(s_{k-1},t_{k}]\), \(k = 1,2,\dots,m\).
Remark 2.12
A function \(x \in\mathfrak{\hat{B}}\) is a solution of inequality (2.2) if there exist a function \(Q \in\mathfrak{\hat{B}}\) and a sequence \(Q_{k}\), \(k=1,2,\dots,m\), which depends on x, such that
-
\(|Q(t)| \leq\phi(t)\), \(t \in J\).
-
\(|Q_{k}| \leq\psi\), \(k = 1,2,\dots,m\).
-
\({}^{C}D_{0,t}^{\beta}x(t) = f(t,x(t),{}^{C}D_{0,t}^{\beta }x(t))+Q(t)\), \(t \in(t_{k},s_{k}]\), \(k = 0,1,\dots,m\).
-
\(x(t) = I_{s_{k-1},t_{k}}^{\beta} (\xi_{k}(t,x(t)) )+Q_{k}\), \(t \in(s_{k-1},t_{k}], k = 1,2,\dots,m\).
Remark 2.13
A function \(x \in\mathfrak{\hat{B}}\) is a solution of inequality (2.3) if there exist a function \(Q \in\mathfrak{\hat{B}}\) and a sequence \(Q_{k}\), \(k=1,2,\dots,m\), which depends on x, such that
-
\(|Q(t)| \leq\varepsilon\phi(t)\), \(t \in J\).
-
\(|Q_{k}| \leq\varepsilon\psi\), \(k = 1,2,\dots,m\).
-
\({}^{C}D_{0,t}^{\beta}x(t) = f(t,x(t),{}^{C}D_{0,t}^{\beta }x(t))+Q(t)\), \(t \in(t_{k},s_{k}]\), \(k = 0,1,\dots,m\).
-
\(x(t) = I_{s_{k-1},t_{k}}^{\beta} (\xi_{k}(t,x(t)) )+Q_{k}\), \(t \in(s_{k-1},t_{k}]\), \(k = 1,2,\dots,m\).
In order to use a fixed point approach for contractions on a generalized complete metric space to obtain our main results, we need the following result.
Definition 2.14
[35] (Generalized metric space)
Let Y be a nonempty set, a function \(d:Y \times Y \rightarrow [0,\infty]\) is said to be a generalized complete metric on Y if and only if for all \(u,v,w\in Y\) the following conditions hold:
-
\(d(u,v)\geq0\),
-
\(d(u,v)=0\) if and only if \(u=v\),
-
\(d(u,v)=d(v,u)\),
-
\(d(u,v)\leq d(u,w)+d(w,v)\).
Definition 2.15
[35] (Generalized complete metric space)
Let Y be a generalized metric space. If every d-Cauchy sequence in Y is d-convergent, then Y is called generalized complete metric space, i.e., if \(\{a_{n}\}\) is a sequence in Y such that \(\lim_{m,n\rightarrow\infty}d(a_{n},a_{m})=0\), then there exists \(u \in Y\) such that \(\lim_{n\rightarrow\infty}d(a_{n},u)=0\).
Theorem 2.16
[36] (Generalized Diaz-Margolis’s fixed point theorem)
Suppose that \((Y,d)\) is a generalized complete metric space, and an operator \(\Lambda: Y \rightarrow Y\) is strictly contractive with Lipschitz constant \(L<1\). If there is an integer \(m\geq0\) such that \(d(\Lambda^{m+1}x, \Lambda^{m}x)<\infty\) for some \(x \in Y\), then we have the following:
-
(a)
The sequence \(\{\Lambda^{n}x\}\) converges to a fixed point \(x^{*}\) of Λ.
-
(b)
\(x^{*}\) is the unique fixed point of Λ in \(Y^{*}=\{y \in Y|d(\Lambda^{m}x,y)<\infty\}\).
-
(c)
If \(y \in Y^{*}\), then \(d(y,x^{*})\leq\frac{1}{1-L} d(\Lambda y,y)\).
3 The solution of a linear impulsive fractional boundary value problem
In this section we find the solution of a linear impulsive problem, which is the corresponding linear form of problem (1.3), using Lemma 2.5. Consider a linear form of problem (1.3), i.e.,
where \({}^{c}D_{0,t}^{\beta}\) is the Caputo fractional derivative (CDF) of order β with lower limit 0, \(0=t_{0}< s_{0}< t_{1}< s_{1}<\cdots <t_{m}<s_{m}=T\), \(T>0\) is pre-fixed number, \(f:J\rightarrow\mathbb{R}\) is a given continuous function, \(\xi_{k}:[s_{k-1},t_{k}]\rightarrow \mathbb{R}\), \(k=1,2,\dots,m\), are non-instantaneous impulses, \(\eta :[0,T]\times\mathbb{R}\rightarrow\mathbb{R}\) is also a given continuous function, \(I_{s_{k-1},t_{k}}^{\beta}\) and \(I_{0,T}^{\beta}\) are fractional integrals of order β with limits \(s_{k-1}\) to \(t_{k}\) and 0 to T, respectively.
Lemma 3.1
Let \(\beta\in(0,1]\) and \(f:J\rightarrow\mathbb{R}\) be a given continuous function. A function \(y \in\mathfrak{\hat{B}}\) is a solution of problem (3.1) if and only if \(y \in\mathfrak{\hat {B}}\) is a solution of the following integral equation:
Proof
For \(t \in[0,s_{0}]\), consider
Using Lemma 2.5 and the initial condition, we can get
If \(t \in(s_{0},t_{1}]\), then \(y(t)=I_{s_{0},t_{1}}^{\beta}\xi _{1}(t)\). For \(t \in(t_{1},s_{1}]\), we consider
Applying Lemma 2.5 to the above equation and using the condition \(y(t_{1})=I_{s_{0},t_{1}}^{\beta}\xi_{1}(t_{1})\), we obtain
If \(t \in(s_{1},t_{2}]\), then \(y(t)=I_{s_{1},t_{2}}^{\beta}\xi _{2}(t)\). When \(t \in(t_{2},s_{2}]\), we consider
With the help of Lemma 2.5 and condition \(y(t_{2})=I_{s_{1},t_{2}}^{\beta}\xi_{2}(t_{2})\), we get
Generally, if \(t \in(s_{k-1},t_{k}]\), then \(y(t)=I_{s_{k-1},t_{k}}^{\beta}\xi_{k}(t)\). For \(t \in(t_{k},s_{k}]\), we consider
Using Lemma 2.5 and condition \(y(t_{k})=I_{s_{k-1},t_{k}}^{\beta}\xi _{k}(t_{k})\), we obtain
Conversely, let \(y \in\mathfrak{\hat{B}}\) be a solution of the impulsive fractional integral equation (3.2). Using the fact that \({}^{c}D_{0,t}^{\beta}\) is the left inverse of \(I_{0,t}^{\beta}\), we can easily get our required result. □
Remark 3.2
If \(x \in\mathfrak{\hat{B}}\) represents a solution of inequality (2.1), then \(x \in\mathfrak{\hat{B}}\) is a solution of the following integral inequality:
As from Remark 2.11, we have
Using Lemma 3.1, the solution of the above problem is
With the help of the above solution and Remark 2.11, we verified Remark 3.2 in the following lines.
For \(t \in[0,s_{0}]\), we consider
For \(t \in(s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), consider
For \(t \in(t_{k},s_{k}]\), \(k=1,2,\dots,m\), we consider
Hence Remark 3.2 is verified.
Remark 3.3
If \(x \in\mathfrak{\hat{B}}\) represents a solution of inequality (2.2), then \(x \in\mathfrak{\hat{B}}\) is a solution of the following integral inequality:
Remark 3.4
If \(x \in\mathfrak{\hat{B}}\) represents a solution of inequality (2.3), then \(x \in\mathfrak{\hat{B}}\) is a solution of the following integral inequality:
By using Remark 2.12 and Remark 2.13, we can verify Remark 3.3 and Remark 3.4, respectively, by the same procedure as we used for verification of Remark 3.2.
4 Main results
In this section, we prove four different types of Ulam stability results for problem (1.3). We also establish some conditions for the existence and uniqueness of the solutions of problem (1.3) in view of Theorem 2.16.
First, we introduce the following assumptions:
- \((A_{1})\) :
-
The function \(f:J\times\mathbb{R}\times\mathbb {R}\rightarrow\mathbb{R}\) is continuous.
- \((A_{2})\) :
-
There exist constants \(\bar{K_{f}}>0\) and \(0<\bar {L_{f}}<1\) such that
$$ \big|f(t,\omega_{1},\varpi_{1})-f(t,\omega_{2}, \varpi_{2})\big|\leq\bar {K_{f}}|\omega_{1}- \omega_{2}|+\bar{L_{f}}|\varpi_{1}- \varpi_{2}| $$for all \(\omega_{1},\omega_{2},\varpi_{1},\varpi_{2} \in\mathbb{R}\) and \(t \in J\).
- \((A_{3})\) :
-
There exists a constant \(L_{\eta}>0\) such that
$$ \big|\eta(t,\omega)-\eta(t,\varpi)\big|\leq L_{\eta}|\omega-\varpi| $$for all \(\omega,\varpi\in\mathbb{R}\) and \(t \in J\).
- \((A_{4})\) :
-
There exists a constant \(L_{\xi_{k}}>0\) such that
$$ \big|I_{s_{k-1},t_{k}}^{\beta}\xi(t,\omega)-I_{s_{k-1},t_{k}}^{\beta}\xi (t,\varpi)\big|\leq L_{\xi_{k}}|\omega-\varpi| $$for all \(\omega,\varpi\in\mathbb{R}\) and \(t \in(s_{k-1},t_{k}]\), \(k=1,2,\dots,m\).
- \((A_{5})\) :
-
Let \(\phi:J\rightarrow\mathbb{R_{+}}\) be any continuous nondecreasing function from the space of continuous functions \(C(J,\mathbb{R_{+}})\), there exist nonnegative constants \(c_{\phi}\) and \(c_{\beta}\) such that
$$ \biggl( \int_{0}^{t} \bigl(\phi(s) \bigr)^{\frac{1}{\gamma}} \,ds \biggr)^{\gamma}\leq c_{\phi}\phi(t), \quad t \in J, $$and
$$ \biggl( \int_{0}^{t} \bigl({}^{c}D_{0,t}^{\beta} \phi(s) \bigr)^{\frac{1}{\gamma}}\,ds \biggr)^{\gamma}\leq c_{\beta} \phi(t), \quad t \in J, $$where \(0<\gamma<\beta\leq1\).
Theorem 4.1
Assume that \((A_{1})\)-\((A_{5})\) are true and a function \(x \in\mathfrak {\hat{B}}\) satisfies inequality (2.3), then there exists a unique solution \(x_{0}\) of problem (1.3) such that
and
for all \(t \in J\), \(0<\gamma<\beta\leq1\), \(t_{k}\), \(s_{k-1}\) are considered to be maximum values and \(L=\max\{L_{1},L_{2}\}<1\), where
i.e., problem (1.3) is Ulam-Hyers-Rassias stable.
Proof
Let Y be the space of piecewise continuous functions defined by
and let us introduce a generalized complete metric on Y as
for all \(t \in J\), where
and
Now, we define an operator \(\Lambda:Y \rightarrow Y\) by
for all \(y \in Y\). Clearly, Λ is a well-defined operator because y and f are continuous functions.
To achieve our goal, first we need to prove that Λ is strictly contractive on Y. For this we take any \(p,q \in Y\) and \(C_{1},C_{2} \in[0,\infty]\), using Eq. (4.4), we get
From the linearity property of Caputo fractional derivative, Eqs. (4.5), (4.6) and assumptions \((A_{2})\)-\((A_{5})\), we obtain the following.
Case 1: For \(t \in[0,s_{0}]\), we have
Case 2: For \(t \in(s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), we have
Case 3(a): For \(t \in(t_{k},s_{k}]\) and \(s \in (t_{k},s_{k}]\), \(k=1,2,\dots,m\), we have
Case 3(b): For \(t \in(t_{k},s_{k}]\) and \(s \in (s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), we have
From the above cases, for any \(p,q \in Y\) and \(L<1\), we obtain
that is,
which implies that Λ is strictly contractive on Y.
It follows from Eqs. (4.3) and (4.5) that for any arbitrary \(p_{0} \in Y\), there exists a constant \(0<\lambda_{1}<\infty\) such that
also there is a constant \(0<\lambda_{2}<\infty\) such that
Furthermore, we can also find a constant \(0<\lambda_{3}<\infty\) such that
for all \(t \in(t_{k},s_{k}]\), \(k=1,2,\dots,m\).
Since f, \(\xi_{k}\) and \(p_{0}\) are bounded on J and \(\phi(\cdot)+\psi >0\), therefore Eq. (4.4) implies that
By using Theorem 2.16(a), there exists a continuous function \(x_{0}:J\rightarrow\mathbb{R}\) such that \(\Lambda^{n}p_{0}\rightarrow x_{0}\) in \((Y,d)\) as \(n\rightarrow\infty\) and \(\Lambda x_{0}=x_{0}\), that is, \(x_{0}\) satisfies Eq. (4.1) for all \(t \in J\).
Next, we verify that
For any \(p \in Y\), since p and \(p_{0}\) are bounded on J and \(\min_{t \in J}\varepsilon(\phi(t)+\psi)>0\), there exists a constant \(0<\lambda_{p}<\infty\) such that
Therefore, we get \(d(\Lambda p_{0},p_{0})<\infty\) for all \(p \in Y\), that is,
Hence, in view of Theorem 2.16(b), we conclude that \(x_{0}\) is the unique continuous function with property (4.1).
On the other hand, it follows from Remark 3.4 and assumption \((A_{5})\) that: for \(t \in[0,s_{0}]\), we have
for \(t \in(s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), we have
for \(t \in(t_{k},s_{k}]\), \(k=1,2,\dots,m\), we have
Using the definition of Λ given in Eq. (4.5), from the above cases we get
that is,
and \(t_{k}\), \(s_{k-1}\) are considered to be maximum values. Hence, in view of Theorem 2.16(c) together with (4.7), we obtain
implies that
for all \(t \in J\), \(0<\gamma<\beta\leq1\), where \(t_{k}\), \(s_{k-1}\) are considered to be maximum values and \(L<1\).
Hence problem (1.3) is Ulam-Hyers-Rassias stable with respect to \((\phi,\psi)\). □
Remark 4.2
By choosing \(\varepsilon=1\), problem (1.3) is generalized Ulam-Hyers-Rassias stable with respect to \((\phi,\psi)\), in view of Definition 2.9.
Theorem 4.3
Let \(c_{f,\beta,g}>0\) be a real constant. Assume that \((A_{1})\)-\((A_{4})\) are true and a function \(x \in\mathfrak{\hat{B}}\) satisfies inequality (2.1), then there exists a unique continuous function \(x_{0}:J\rightarrow\mathbb{R}\) satisfying Eq. (4.1) and
with
where \(t_{k}\), \(s_{k-1}\) are considered to be maximum values and
that is, problem (1.3) is Ulam-Hyers stable.
Proof
First, define a set Y of all piecewise continuous functions \(p:J\rightarrow\mathbb{R}\) in the following way:
and let us introduce a generalized complete metric on Y as
for all \(t \in J\), where
and
Define an operator \(\Lambda:J\rightarrow\mathbb{R}\) by
for all \(y \in Y\). Clearly, Λ is a well-defined operator, because y and f are continuous functions.
Next, we have to prove that Λ is strictly contractive on Y. For any \(p,q \in Y\) and \(C_{1},C_{2} \in[0,+\infty]\), using Eq. (4.10), we have
It follows from the property that the Caputo fractional derivative of a constant is always zero, Eqs. (4.11), (4.12) and from assumptions \((A_{2})\)-\((A_{4})\) that:
Case 1: For \(t \in[0,s_{0}]\), we have
which implies that
Case 2: For \(t \in(s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), we have
Case 3(a): For \(t \in(t_{k},s_{k}]\) and \(s \in (t_{k},s_{k}]\), \(k=1,2,\dots,m\), we have
Case 3(b): For \(t \in(t_{k},s_{k}]\) and \(s \in (s_{k-1},t_{k}]\), \(k=1,2,\dots,m\), we have
From above, we obtain
that is,
which implies that Λ is strictly contractive on Y for any \(p,q \in Y\) and \(L<1\).
Let \(p_{0} \in Y\), it follows from the continuity property of \(p_{0}\) and \(\Lambda p_{0}\) that there exists a constant \(0<\vartheta_{1}<\infty \) such that
also there exists a constant \(0<\vartheta_{2}<\infty\) such that
Furthermore, we also can obtain a constant \(\vartheta_{3}\) between 0 and ∞ such that
As f, \(\xi_{k}\) and \(p_{0}\) are bounded on J and \(2\varepsilon>0\), therefore Eq. (4.10) implies that
According to Theorem 2.16(a), there exists a continuous function \(x_{0}:J\rightarrow\mathbb{R}\) such that \(\Lambda^{n}p_{0}\rightarrow x_{0}\) in \((Y,d)\) as \(n\rightarrow\infty\) and \(\Lambda x_{0}=x_{0}\), that is, \(x_{0}\) satisfies Eq. (4.1) for all \(t \in J\).
Next, we check that
For any \(p \in Y\), since p and \(p_{0}\) are bounded on J and \(2\varepsilon>0\), there exists a constant \(0<\vartheta_{p}<\infty\) such that
Thus we obtain \(d(\Lambda p_{0},p_{0})<\infty\) for all \(p \in Y\), that is,
Hence, in view of Theorem 2.16(b), we conclude that \(x_{0}\) is the unique continuous function satisfying Eq. (4.1).
On the other hand, it follows from the definition of Λ and Remark 3.2 that
that is,
and \(t_{k}\), \(s_{k-1}\) are considered to be maximum values. From above Eq. (4.13) and Theorem 2.16(c), we have
which implies that
for all \(t \in J\) and \(0<\beta\leq1\), with
where \(t_{k}\), \(s_{k-1}\) are considered to be maximum values and
Hence problem (1.3) is Ulam-Hyers stable. □
Remark 4.4
If \(\lambda_{f,\beta,g}(\varepsilon)=c_{f,\beta,g}\varepsilon\) with \(\lambda_{f,\beta,g}(0)=0\), then problem (1.3) is generalized Ulam-Hyers stable.
5 Examples
In this section we show the applicability of our main results by providing some examples.
Example 5.1
Consider
where \({}^{c}D_{0,t}^{\frac{1}{2}}\) is the Caputo fractional derivative of order \(\frac{1}{2}\) with lower limit 0, \(0=t_{0}< s_{0}=1< t_{1}=2< s_{1}=3\) and \(J=[0,3]\).
And
with condition
Denote the continuous functions f, \(\xi_{1}\) and η as follows:
with \(\bar{K_{f}}=\frac{1}{9}\) and \(\bar{L_{f}}=\frac{1}{3}\),
with \(L_{\xi_{k}}=0.1\), for \(k=0,1\) and
with \(L_{\eta}=0.2\).
We put \(\gamma=\frac{1}{5}\), \(\varepsilon=\psi=\frac{1}{2}\), \(\phi (t)=8e^{t}\) and \(c_{\phi}=c_{\beta}=\frac{1}{8}\), we have
and
From the above considerations, we clearly see that \((A_{1})\)-\((A_{5})\) are satisfied.
As
By putting the above values, we get \(L_{1}=\max\{0.1688214,0.2539802\} \approx0.25398\) and \(L_{2}=0.4886639641\approx0.5\), so \(L=0.5<1\).
By Theorem 4.1, there exists a unique solution \(x_{0}:[0,3]\rightarrow \mathbb{R}\) such that
and
which implies that problem (5.1) is Ulam-Hyers-Rassias stable.
Remark 5.2
If we set \(\varepsilon=1\), then problem (5.1) is generalized Ulam-Hyers-Rassias stable.
Example 5.3
Consider problem (5.1) and
with condition
The continuous functions f, \(\xi_{1}\) and η are defined as follows:
with \(\bar{K_{f}}=\frac{1}{9}\) and \(\bar{L_{f}}=\frac{1}{3}\),
with \(L_{\xi_{k}}=0.1\), for \(k=0,1\) and
with \(L_{\eta}=0.2\).
We put \(\gamma=\frac{1}{5}\) and ε is any positive real constant, i.e., \(\varepsilon>0\). From the above considerations, we clearly see that \((A_{1})\)-\((A_{4})\) are satisfied.
As we have
By putting the above values, we obtain \(L\approx0.506075<1\).
In view of Theorem 4.3, there exists a unique solution \(x_{0}:[0,3]\rightarrow\mathbb{R}\) satisfying Eq. (5.2) and
with
which implies that
Thus problem (5.1) is Ulam-Hyers stable.
Remark 5.4
If we consider \(\lambda_{f,\beta,g}(\varepsilon)=c_{f,\beta ,g}\varepsilon\), i.e., \(\lambda_{f,\beta,g}(\varepsilon )=(18.95)\varepsilon\) with \(\lambda_{f,\beta,g}(0)=0\), then problem (5.1) is generalized Ulam-Hyers stable.
6 Conclusion
In view of generalized Diaz-Margolis’s fixed point theorem, we established sufficient conditions for the existence and uniqueness of the solutions of problem (1.3) and proved different types of Ulam stability results for nonlinear implicit fractional differential equations of problem (1.3), taking into account the Caputo fractional derivative and its two properties, i.e., Caputo fractional derivative is a linear operator and its derivative of a constant is zero.
References
Leibnitz, GW: Leibnitzen’s Mathematische Schriften, vol. 2, pp. 301-302. Georg Olm, Hildesheim (1962)
Lacroix, SF: Traite du Calcul Differentiel et du Calcul Integral, vol. 2, pp. 409-410. Mme. recourcier, Paris (1819)
Anastassiou, GA: Advances on Fractional Inequalities. Springer, New York (2011)
Abbas, S, Benchohra, M, N’Guerekata, GM: Topics in Fractional Differential Equations. Springer, New York (2012)
Abbas, S, Benchohra, M, N’Guerekata, GM: Advanced Fractional Differential and Integral Equations. Nova Publ. (Nova Science Publishers), New York (2014)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)
Benchohra, M, Lazreg, JE: Nonlinear fractional implicit differential equations. Commun. Appl. Anal. 17, 471-482 (2013)
Benchohra, M, Lazreg, JE: Existence and uniqueness results for nonlinear implicit fractional differential equations with boundary conditions. Rom. J. Math. Comput. Sci. 4, 60-72 (2014)
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Lakshmikantham, V, Leela, S, Vasundhara, J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)
Ortigueira, MD: Fractional Calculus for Scientists and Engineers. Lecture Notes in Electrical Engineering. Springer, Dordrecht (2011)
Balachandran, K, Kiruthika, S: Existence of solutions of abstract fractional impulsive semilinear evolution equations. Electron. J. Qual. Theory Differ. Equ. 2010, Article ID 4 (2010)
Benchohra, M, Seba, D: Impulsive fractional differential equations in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009, Article ID 8 (2009)
Kosmatov, N: Initial value problems of fractional order with fractional impulsive conditions. Results Math. 63, 1289-1310 (2013)
Wang, G, Zhang, L, Song, G: Systems of first order impulsive fractional differential equations with deviating arguments and nonlinear boundary conditions. Nonlinear Anal. TMA 74, 974-982 (2011)
Mardanov, MJ, Mahmudov, NI, Sharifov, YA: Existence and uniqueness theorems for impulsive fractional differential equations with two-point and integral boundary conditions. Sci. World J. 2014, Article ID 918730 (2014)
Ulam, SM: A Collection of Mathematical Problems. Interscience, New York (1968)
Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27(4), 222-224 (1941)
Hyers, DH, Isac, G, Rassias, Th: Stability of Functional Equations in Several Variables. Birkhäuser, Boston (1998)
Li, T, Zada, A: Connections between Hyers-Ulam stability and uniform exponential stability of discrete evolution families of bounded linear operators over Banach spaces. Adv. Differ. Equ. 2016, Article ID 153 (2016)
Li, T, Zada, A, Faisal, S: Hyers-Ulam stability of nth order linear differential equations. J. Nonlinear Sci. Appl. 9, 2070-2075 (2016)
Rassias, ThM: On the stability of linear mappings in Banach spaces. Proc. Am. Math. Soc. 72, 297-300 (1978)
Tang, S, Zada, A, Faisal, S, El-Sheikh, MMA, Li, T: Stability of higher-order nonlinear impulsive differential equations. J. Nonlinear Sci. Appl. 9, 4713-4721 (2016)
Zada, A, Ali, W, Farina, S: Hyers-Ulam stability of nonlinear differential equations with fractional integrable impulses. Math. Methods Appl. Sci. (2017). doi:10.1002/mma.4405
Zada, A, Faisal, S, Li, Y: On the Hyers-Ulam stability of first-order impulsive delay differential equations. J. Funct. Spaces 2016, Article ID 8164978 (2016)
Zada, A, Faisal, S, Li, Y: Hyers-Ulam-Rassias stability of non-linear delay differential equations. J. Nonlinear Sci. Appl. 10, 504-510 (2017)
Zada, A, Wang, P, Lassoued, D, Li, T: Connections between Hyers-Ulam stability and uniform exponential stability of 2-periodic linear nonautonomous systems. Adv. Differ. Equ. 2017, Article ID 192 (2017)
Zada, A, Shah, SO: Hyers-Ulam stability of first-order non-linear delay differential equations with fractional integrable impulses. Hacet. J. Math. Stat. (2017). doi:10.15672/HJMS.2017.496
Zada, A, Shah, SO, Shah, R: Hyers-Ulam stability of non-autonomous systems in terms of boundedness of Cauchy problem. Appl. Math. Comput. 271, 512-518 (2015)
Zada, A, Shah, R: A fixed point approach to the stability of a nonlinear Volterra integrodifferential equations with delay. Hacet. J. Math. Stat. (2017). doi:10.15672/HJMS.2017.467
Wang, J, Feckan, M, Zhou, Y: Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 395, 258-264 (2012)
Jung, SM: Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, New York (2011)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Jung, CJ: On generalized complete metric spaces. Bull. Am. Math. Soc. 75(1), 113-116 (1969)
Diaz, JB, Margolis, B: A fixed point theorem of alternative, for contractions on a generalized complete metric space. Bull. Am. Math. Soc. 74, 305-309 (1968)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (11571378).
Author information
Authors and Affiliations
Contributions
All the authors contributed equally and significantly in writing this paper. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests regarding this research work.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Zada, A., Ali, S. & Li, Y. Ulam-type stability for a class of implicit fractional differential equations with non-instantaneous integral impulses and boundary condition. Adv Differ Equ 2017, 317 (2017). https://doi.org/10.1186/s13662-017-1376-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1376-y