Abstract
We study the results of existence and continuous dependence on neutral impulsive stochastic differential equations with Poisson jumps. We have also created some conditions confirming exponential stability.
Similar content being viewed by others
1 Introduction
Stochastic differential equations have been investigated as mathematical models to describe the dynamical behavior of real life phenomena. It is essential to take into account the environmental disturbances as well as the time delay while constructing realistic models in the area of engineering, biology, etc. Neutral functional differential equations have been introduced in [11] for the deterministic case. Neutral stochastic functional differential equations (NSFDEs) have been initiated in [12] and their usage in aeroelasticity was pointed out. In the last few decades several studies on quantitative and qualitative properties of NSFDEs were carried out (see [4, 5, 20] and the references therein).
Impulsive differential equations thrive to be a promising area and have gained much attention among the researchers due to their potential application in various fields such as orbital transfer of satellite, dosage supply in pharmacokinetics, etc. It is worth mentioning that many real world systems are subjected to stochastic abrupt changes, and therefore it is necessary to investigate them using impulsive stochastic functional differential equations. Few works have been reported in the study of NSFDEs with impulsive effects, refer to [1, 2, 18].
Moreover, many practical systems (such as sudden price variations (jumps) due to market crashes, earthquakes, hurricanes, epidemics, and so on) may undergo some jump type stochastic perturbations. The sample paths of such systems are not continuous. Therefore, it is more appropriate to consider stochastic processes with jumps to describe such models. In general, these jump models are derived from Poisson random measure. The sample paths of such systems are right continuous and possess left limits. Recently, many researchers have been focusing their attention towards the theory and applications of NSFDEs with Poisson jumps. To be more precise, existence and stability results on NSFDEs with jump process can be found in [3, 4, 6, 8, 14, 17, 19, 21, 23] and the references therein. Particularly, Boufoussi and Hajji [4] investigated successive approximation of NSFDEs with jumps. Subsequently, SDEs with Poisson jumps were established by few authors; for example, Wang et al. [21] studied them under a local non-Lipschitz condition, Cui and Yan [8] investigated them for the case of infinite delay. Chen [6, 7] studied the exponential stability by establishing impulsive integral inequality. Further, we refer [10, 15, 19, 24] to investigate the exponential stability. The purpose of this manuscript is to study the impulsive NSFDEs driven by Poisson jumps.
This paper comprises five sections. Section 1 becomes the introduction. We recollect some basic concepts and preliminaries briefly in Sect. 2. Section 3 focuses on the study of sufficient conditions for the existence and uniqueness of mild solution to NSFDEs with impulses and Poisson process by the contraction mapping principle. The continuous dependence result is proposed in Sect. 4. Section 5 involves the results of exponential stability of mild solution by using impulsive integral inequality.
2 Preliminaries
Let X and Y be the separable Hilbert spaces and \(L(Y,X)\) be the space of bounded linear operators from Y into X. Consider a complete probability space \((\Omega,B,\mathbb{P})\) in which B is a complete σ-algebra generated by \(\{B_{t} \}_{t\geq 0}\), an increasing right continuous family. Assume a Y-valued Q-Wiener process \(\{W(t) : t\geq 0 \}\) with respect to \(\{B_{t} \}_{t\geq 0}\). Here Q indicates the trace class covariance and positive self-adjoint operator on Y, that is,
Let \(Y_{0} = Q^{1/2}(Y)\), which is a Hilbert subspace of Y with \(\langle u,v\rangle_{Y_{0}} =\langle Q^{-1/2}v \rangle _{Y}\). Let
where \(\{e_{i} \}_{i\geq 1}\) is a complete orthonormal system which belongs to Y, and \(Q e_{i} = \lambda_{i} e_{i}\), \(i = 1,2,\ldots\) , where \(\lambda_{i}\) is a bounded sequence of positive real numbers and \(\{B_{t} \} \) are independent Brownian motions.
Now, consider the impulsive NSFDE driven by Poisson jumps of the form
where \(f,g: [0,+\infty)\times X\rightarrow X\), \(\sigma:[0,\infty) \times X \rightarrow \mathcal{L}_{2}^{0}(Y,X)\), \(h = [0,\infty)\times X \times \mathcal{U}\rightarrow X\), \(I_{j} : X \rightarrow X\), and are defined later. The space \(\mathcal{L}_{2}^{0}(Y,X)\) contains all Q-Hilbert–Schmidt operators from Y into X with the norm \(\Vert \zeta \Vert ^{2}_{\mathcal{L}_{2}^{0}}:= tr(\zeta Q \zeta^{*})\), where \(\zeta \in \mathcal{L}(Y,X)\).
Let \(D((-\infty,0],X)\) be the phase space with \(\Vert \phi \Vert _{t} = \sup_{-\infty < \theta <0} |\phi(\theta)|\) and \(D_{B_{0}}^{b}((-\infty,0],X)\) indicates the family of almost surely bounded, \(B_{0}\)-measurable square integrable random variables with values in X. Consider the Banach space \(\mathcal{B}_{T}\) = \(\mathcal{B}_{T}((-\infty,T],L_{2})\), the family of all \(B_{T}\)-adapted processes \(\phi(t,w)\) which are càdlàg (right continuous and left limit exists) in t for a.e., for \(w \in \Omega\)
The counting measure of stationary Poisson process \((p_{t})_{t>0}\) is denoted by \(N(t,du)\) and \(\hat{N}(t,A) = \mathbb{E}(N(t,A)) = t\nu(A)\) for \(A \in \mathcal{E}\), where ν is the characteristic measure. The Poisson martingale measure is defined as \(\widetilde{N}(t,du) =N(t,du)-t\nu(du)\), generated by \(p_{t}\).
The impulsive moments \(t_{j}\) satisfy \(0< t_{1}< t_{2}\), … , \(\lim_{j\rightarrow \infty} t_{j} = \infty\), \(\Delta x(t_{j})= x(t_{j}^{+})-x(t_{j}^{-})\), where \(\Delta x(t_{j})\) indicates the jump at time \(t_{j}\) in the state x with \(I_{j}\) defining the size of the jump and \(x(t_{j}^{-})\) and \(x(t_{j}^{+})\) are respectively the left and the right limits at \(t_{j}\) of \(x(t)\).
Here \(A:D(A)\rightarrow X\) is the infinitesimal generator of an analytic semigroup \((S(t))_{t\geq 0}\) of bounded linear operators on Xsatisfying the usual conditions; for details, refer to [16] and [9].
Lemma 2.1
([16])
If \(0 \leq \alpha \leq 1 \), then \(X_{\alpha}\) is a Banach space and there exists \(M_{\alpha}> 0\) such that
Lemma 2.2
(Burkholder’s inequality [9])
If \(\phi(t), t \geq 0 \) is an \(\mathcal{L}^{0}_{2}\)-valued predictable process and \(W^{\phi}_{A} = \int^{t}_{0} S(t-s)\phi(s)\,dW(s)\), \(t\in [0,T]\). Then, for any arbitrary \(p>2\), there exists a constant \(c(p,T)>0\) such that
Moreover, if \(\mathbb{E}\int^{t}_{0} \Vert \phi(s) \Vert ^{p}\,ds < +\infty \), then there exists a continuous version of the process \(\{W^{\phi}_{A}:t \geq 0\}\). If \((S(t))_{t \geq 0}\) is a contraction semigroup, then the above result is true for \(p \geq 2\).
Lemma 2.3
([22])
Let \(E(t): [-\tau,+\infty)\rightarrow [0,+\infty)\) be a function and if there exists some constant \(\gamma>0\), \(\alpha_{j}(j=1,2,3)\) and \(\beta_{i}(i=1,2,3)\) satisfy
and
If \(\alpha_{2} + \frac{\alpha_{3}}{\gamma} + \sum_{i=1}^{+\infty}\beta_{i}<1\), then \(E(t)\leq M e^{-\mu t}\) for \(t \geq -\tau\), \(\mu > 0\) denotes the unique solution to the algebraic equation: \(\alpha_{2} + \frac{\alpha_{3}}{\gamma-\mu}e^{\mu \tau} + \sum_{i=1}^{+\infty}\beta_{i}=1\) and \(M = \max \{\frac{\alpha_{1}(\gamma-\mu)}{\alpha_{3}e^{\mu \tau}},\alpha_{1} \}\).
3 Existence and uniqueness
Suppose \(0\in \rho(A)\) and from Lemma 2.1, for the constants \(M, M_{1-\beta}\), \(\Vert S(t) \Vert \leq M \) and \(\Vert (-A)^{1-\beta}S(t) \Vert \leq \frac{M_{1-\beta}}{t^{1-\beta}}\) for every \(t \in [0,T]\).
Definition 3.1
If \(x: [-\tau,T]\rightarrow X\) is a stochastic process and
-
(i)
\(x(t)\) is measurable and \(F_{t}\) adapted for all \(-\tau \leq t\leq T \);
-
(ii)
\(x(t)\) has càdlàg paths almost surely;
-
(iii)
\(x(t) = S(t)(\phi(0)+g(0,\phi))-g(t,x_{t})-\int^{t}_{0}AS(t-s)g(s,x_{s})\,ds + \int^{t}_{0}S(t-s)f(s,x_{s})\,ds + \int^{t}_{0}S(t-s)\sigma(s,x_{s})\,dWs + \int^{t}_{0} \int_{\mathcal{U}}S(t-s)h(s,x_{s},u)\widetilde{N}(ds,du)+\sum_{0< t_{k}< t}S(t-t_{k})I_{j}(x(t_{j})) \) if \(t \in [0,T]\);
-
(iv)
\(x(t) = \phi(t), -\tau \leq t \leq 0\).
then x is said to be the mild solution of Eqs. (2.1)–(2.3) on \([-\tau,T]\).
Assumptions
- \((\mathrm{A}_{1})\) :
-
\(f(t,\cdot),\sigma(t,\cdot)\), and \(h(t,\cdot)\) satisfy the following Lipschitz conditions for all \(t\in[0,T]\) and \(x,y \in X\):
-
(1a)
\(\Vert f(t,x_{t})- f(t,y_{t}) \Vert ^{2}\leq C_{f}^{2} \Vert x-y \Vert _{t}^{2}\);
-
(1b)
\(\Vert \sigma(t,x_{t})- \sigma(t,y_{t}) \Vert ^{2}\leq C_{\sigma}^{2} \Vert x-y \Vert _{t}^{2}\);
-
(1c)
(i) \(\int_{\mathcal{U}} \Vert h(t,x_{t},u)- h(t,y_{t},u) \Vert ^{2}\nu(du)\vee( (\int_{\mathcal{U}}\|h(t,x_{t},u)- h(t,y_{t},u)\|^{4} \nu(du))^{1/2} \leq C_{h}\int_{0}^{t} \Vert x-y \Vert _{t}^{2}\);
(ii) \((\int_{\mathcal{U}} \Vert h(t,x_{t},u) \Vert ^{4}\nu(du) )^{1/2}\leq C_{h} \Vert x \Vert _{t}^{2}\,ds\);
for some positive constants \(C_{f}, C_{\sigma}, C_{h}\). We further assume that, for \(t\geq 0\) and \(u\in \mathcal{U}\), \(f(t,0)\vee \sigma(t,0) \vee h(t,0,u)= \kappa_{0}\), where \(\kappa_{0}>0\) is a constant.
-
(1a)
- \((\mathrm{A}_{2})\) :
-
The function g is \(X_{\beta}\)-valued and satisfies
-
(2a)
\(\Vert (-A)^{-\beta} \Vert C_{g} < 1\) and \(g(t,0) =0\), where the constants \(\frac{1}{2} < \beta < 1, C_{g} > 0 \).
-
(2b)
\(\Vert (-A)^{\beta}g(t,x_{t})-(-A)^{\beta}g(t,y_{t}) \Vert ^{2}\leq C_{g}^{2} \Vert x-y \Vert _{t}^{2}\) for all \(t\in [0,T]\) and \(x,y\in X\).
-
(2a)
- \((\mathrm{A}_{3})\) :
-
The function \((-A)^{\beta}g \) is continuous in the quadratic mean sense:
$$\lim_{t\rightarrow s} \mathbb{E} \bigl\Vert (-A)^{\beta}\bigl(g(t,x_{t})- g(t,x_{s})\bigr) \bigr\Vert ^{2} = 0 . $$ - \((\mathrm{A}_{4})\) :
-
The function \(I_{j} \in C(X,X)\) for all \(x, y \in X\), \(\Vert I_{j}(x(t_{j})) - I_{j}(y(t_{j})) \Vert ^{2} \leq q_{j}^{2} \Vert x-y \Vert _{t}^{2}\), where \(q_{j}\) is a constant and \(j=1,2,\ldots\) .
Theorem 3.1
Suppose that \((\mathrm{A}_{1})\)–\((\mathrm{A}_{4})\) hold. Then, for all \(T>0\), system (2.1)–(2.3) has a unique mild solution on \([-\tau,T]\) provided that
where \(k= C_{g} \Vert (-A)^{-\beta} \Vert \).
Proof
Define an operator \(\pi : \mathcal{B}_{T}\rightarrow \mathcal{B}_{T} \) by
and
Now, to prove the existence of mild solutions of (2.1)–(2.3), it is sufficient to show that π has a fixed point.
Step (i): First, we verify that \(t \rightarrow \pi(x(t))\) is càdlàg on \([0,T]\).
Let \(|h|\) be small enough, for \(x\in \mathcal{B}_{T}\) and \(0< t< T\), we get
Then employing the Lebesgue dominated theorem and the strong continuity of \(S(t)\) implies that
Next, it is well known that \((-A)^{-\beta}\) is bounded,
By assumption \((\mathrm{A}_{3})\), we obtain that \(\lim_{h\rightarrow 0}\mathbb{E} \Vert F_{1}(t+h)-F_{1}(t) \Vert ^{2} \rightarrow 0\). Then, for the term \(F_{2}\), applying \((\mathrm{A}_{1})\), Hölder’s inequality, and the Lebesgue dominated theorem, we obtain
A similar computation gives us \(\mathbb{E} \Vert F_{3}(t+h) -F_{3}(t) \Vert ^{2} \rightarrow 0 \text{ as } |h| \rightarrow 0\).
Further, using Lemma 2.2 and Hölder’s inequality, we get
Similarly,
For \(F_{6}\), using assumptions \((\mathrm{A}_{1})\) and \((\mathrm{A}_{4})\), we have
Hence, the above arguments imply that \(t\rightarrow \pi(x(t))\) is càdlàg on \([0,T]\) a.s.
Step (ii): We shall verify that \(\pi(S_{T}) \subset \mathcal{B}_{T}\), let \(x \in \mathcal{B}_{T}\), \(t \in [0,T]\).
From Hölder’s inequality,
We now estimate \(F_{i}, i= 1,2,\ldots,7 \). By assumption \(\mathrm{A}_{2}\)-\((2a)\), we have
Applying Hölder’s inequality and \(\mathrm{A}_{2}\)-\((2a)\), we have
and
By Hölder’s inequality and \(\mathrm{A}_{1}\)-\((1a)\), we derive that
On the other hand, applying assumption \((\mathrm{A}_{1})\)-\((1b)\) and Lemma 2.2, we get, for some positive constant \(C_{p}\),
Employing assumption \((\mathrm{A}_{1})\)-\((1c)\) and Lemma 2.2 in [13], we obtain
From Hölder’s inequality and assumption \((\mathrm{A}_{4})\), we have
From the above estimations, Eq. (3.2) becomes
where \(R_{1} = 14M^{2} [1+C_{g}^{2} \Vert (-A)^{-\beta} \Vert ^{2}]\mathbb{E} \Vert \phi \Vert ^{2}+ 14M^{2}[2t+C_{p}t +\sum^{\infty}_{j=1}q_{j}^{2}]\kappa_{0}\).
We obtain
Therefore
where
Since \(\pi(x) = \phi\) on \([-\tau,0]\), it follows that
This proves the boundedness of \(\pi\mathcal{B}_{T} \).
Step (iii): Next, we will verify that π is a contraction mapping in \(\mathcal{B}_{T_{1}}\) with some \(T_{1} \leq T\) to be specified later.
Let \(x,y \in \mathcal{B}_{T} \). Based on this simple inequality \((x+y+z)^{2} \leq \frac{1}{k}x^{2} + \frac{2}{1-k}y^{2} + \frac{2}{1-k}z^{2}\) and recalling that \(k:c_{g} \Vert (-A)^{-\beta} \Vert <1\), for \(t\in [0,T]\),
By using Holder’s inequality, Lemma 2.2 together with assumptions \((\mathrm{A}_{1})\), \((\mathrm{A}_{2})\), and \((\mathrm{A}_{4}) \), we get
Hence, \(\sup_{s\in[-\tau,T]}\mathbb{E} \Vert \pi(x(t))- \pi(y(t)) \Vert ^{2} \leq \gamma(t)\sup_{s\in[-\tau,T]}\mathbb{E} \Vert x-y \Vert _{s}^{2}\), where \(\gamma(t) = k +\frac{5}{1-k} [C_{g}^{2} M_{1-\beta}^{2} (\frac{t^{2\beta}}{2\beta-1} )+M^{2}t(tC_{f}^{2}+C_{p}C_{\sigma}^{2}+C_{h}^{2}) ] + \frac{5M^{2}}{1-k}\sum_{j=1}^{\infty}q_{j}^{2}\). By Eq. (3.1), we have \(\gamma(0) = k + \frac{5M^{2}}{1-k} \sum_{j=1}^{\infty}q_{j}^{2} = \frac{5M^{2}\sum_{j=1}^{\infty}q_{j}^{2}}{(1-k)^{2}} < 1\). Hence, there exists \(0< T_{1} < T \) such that \(0<\gamma(T_{1})<1\) and π is a contraction mapping on \(\mathcal{B}_{T_{1}}\). Therefore it is clear that it has a unique fixed point, which is a mild solution of (2.1)–(2.3). By repeating a similar process the solution can be extended to the entire interval \([-\tau,T]\) in infinitely many steps. This concludes Theorem 3.1. □
4 Stability
Definition 4.1
Let \(x, \hat{x}\) be different mild solutions of (2.1)–(2.3) with initial values \(\phi_{1}\) and \(\phi_{2}\), respectively. If for all \(\epsilon >0\), \(\exists \delta > 0\) such that \(\mathbb{E} \Vert x(t) - \hat{x}(t) \Vert ^{2} \leq \epsilon\) when \(\mathbb{E} \Vert \phi_{1} - \phi_{2} \Vert ^{2} < \delta\) for all \(t\in [0,T]\), then \(x(t)\) is said to be stable in mean square.
Theorem 4.1
Assume that any two mild solutions of (2.1)–(2.3) are \(x(t)\) and \(y(t)\) with initial values \(\phi_{1}\) and \(\phi_{2}\), respectively. Suppose that \((\mathrm{A}_{1})\)–\((\mathrm{A}_{4})\) are satisfied, then the mild solution of (2.1)–(2.3) is stable in the quadratic mean.
Proof
For \(0\leq t \leq T\),
By using Hölder’s inequality and assumptions \((\mathrm{A}_{1})\), \((\mathrm{A}_{2})\), and \((\mathrm{A}_{4})\), we derive that
It follows that
where \(Q =7 [C_{g}^{2} \Vert (-A)^{-\beta} \Vert ^{2} + M^{2}\sum_{j=1}^{\infty}q_{j}^{2} ]\).
By applying Gronwall’s inequality, we have
where \(\wp = \frac{7M^{2}[1+ \Vert (-A)^{-\beta} \Vert ^{2}C_{g}^{2}]}{1-Q} \exp (\frac{7[M^{2}_{1-\beta}C_{g}^{2} (\frac{t^{2\beta-1}}{2\beta-1} ) + M^{2}(tC_{f}^{2} + C_{p}C_{\sigma}^{2}+C_{h}^{2})]}{1-Q} )\).
Now, given \(\epsilon > 0\), choose \(\delta = \frac{\epsilon}{\wp}\) such that \(\mathbb{E} \Vert \phi_{1}-\phi_{2} \Vert ^{2} < \delta\). Then
This concludes Theorem 4.1. □
5 Exponential stability
A system is defined to be exponentially stable if the system response decays exponentially towards zero as time approaches infinity.
For example, consider that a system, marble ball in a ladle, when undisturbed will occupy the lowest point in the ladle. But when the ball is subjected to a push, it will exhibit a diminishing sinusoidal oscillation and eventually resettle in the bottom of the ladder. Also, the system is said to be marginally stable when the ball is away from the bottom of the ladle when a constant force equal to its weight is applied. But when the ball is given a big push, it will fall away from the ladle and stop when it reaches the ground. Therefore it is proper to state that the system is exponentially stable for a range of inputs.
Definition 5.1
System (2.1)–(2.3) is said to be exponentially stable in the quadratic mean if there exist positive constant \(C_{1}\) and \(\lambda > 0\) such that
We assume that \(f(t,0) = \sigma(t,0) = h(t,0,u) =0\) for all \(t\geq 0, u\in \mathcal{U}\). So that system (2.1)–(2.3) admits a trivial solution. We further need the following assumptions.
- \((\mathrm{A}_{5})\) :
-
\(\|S(t)\| \leq Me^{-\lambda (t-t_{0})} \), \(t \geq t_{0}\), where \(M \geq 1\), \(\lambda > 0\).
- \((\mathrm{A}_{6})\) :
-
There exist nonnegative real numbers \(E_{1}, E_{2}, E_{3}, E_{4} \geq 0\) and continuous functions \(\delta_{1}, \delta_{2}, \delta_{3}, \delta_{4}: [0,+\infty)\rightarrow \mathbb{R}_{+}\) such that, for all \(t \geq 0\) and \(x, y \in X\),
$$\begin{aligned} \mbox{(i)} \quad & \bigl\Vert f(t,x_{t}) \bigr\Vert ^{2} \leq E_{1} \Vert x \Vert _{t}^{2} + \delta_{1}(t), \\ \mbox{(ii)} \quad & \bigl\Vert (-A)^{\beta}g(t,x_{t}) \bigr\Vert ^{2} \leq E_{2} \Vert x \Vert _{t}^{2} + \delta_{2}(t), \\ \mbox{(iii)} \quad & \bigl\Vert \sigma(t,x_{t}) \bigr\Vert ^{2} \leq E_{3} \Vert x \Vert _{t}^{2} + \delta_{3}(t), \\ \mbox{(iv)} \quad & \int_{\mathcal{U}} \bigl\Vert h(t,x_{t},u) \bigr\Vert ^{2} \nu(du)\vee \biggl( \int_{\mathcal{U}} \bigl\Vert h(t,x_{t},u) \bigr\Vert ^{4}\nu(du) \biggr)^{\frac{1}{2}} \leq E_{4} \Vert x \Vert _{t}^{2} + \delta_{4}(t). \end{aligned}$$ - \((\mathrm{A}_{7})\) :
-
There exist nonnegative real numbers \(P_{j} \geq 0, j=1,2,3,4\), such that \(\delta_{j}(t) \leq P_{j} e^{-\lambda t}\), \(\forall t \geq 0, j=1,2,3,4\).
Theorem 5.1
Assume that \((\mathrm{A}_{4})\)–\((\mathrm{A}_{7})\) and the following inequality holds:
where \(k=\sqrt{E_{2}} \Vert (-A)^{-\beta} \Vert \). Then the mild solution of system (2.1)–(2.3) is exponentially stable in the mean square moment.
Proof
From inequality (5.1), it is possible to find a small positive quantity ϵ such that
Let \(\eta = \lambda - \epsilon\) and \(x(t) \) be the mild solution of (2.1)–(2.3).
For \(t\geq 0\),
By conditions \((\mathrm{A}_{6})\) and \((\mathrm{A}_{7})\), we obtain
Using assumptions \((\mathrm{A}_{5})\), \((\mathrm{A}_{6})\), and \((\mathrm{A}_{7})\), we have
Applying assumptions \((\mathrm{A}_{5})\), \((\mathrm{A}_{6})\), and \((\mathrm{A}_{7})\) together with Lemma 2.1 and Hölder’s inequality, we get
where Γ is the usual gamma function and \(K_{3} = \frac{6\lambda^{1-2\beta}2^{2(1-\beta)}M^{2}M^{2}_{1-\beta}\Gamma(2\beta-1)}{1-k}\frac{P_{2}}{\lambda - \eta}\).
Again, using \((\mathrm{A}_{5})\)–\((\mathrm{A}_{7})\) and Hölder’s inequality, we get
where \(K_{4} = \frac{6M^{2}}{\lambda(1-k)}\frac{P_{1}}{\lambda - \eta}\). Similarly, for the term \(F_{5}\),
where \(K_{5}=\frac{6C_{p}M^{2}}{\lambda(1-k)}\frac{P_{3}}{\lambda-\eta}\). By assumptions \((\mathrm{A}_{5})\)–\((\mathrm{A}_{7})\) together with Lemma 2.3, we have
where \(K_{6} = \frac{6M^{2}}{\lambda(1-k)}\frac{P_{4}}{\lambda-\eta}\). By applying assumption \((\mathrm{A}_{4})\), one can get
The above inequalities together with Lemma 2.3 imply that
and
Here \(\gamma = \max (\sum_{i=1}^{6}K_{i}, \sup_{-\tau \leq u \leq 0}\mathbb{E} \Vert \phi(u) \Vert ^{2} )\) and
since \(k+ \frac{\widetilde{k}}{\eta} + \sum_{i=1}^{\infty}d_{i}^{2} <1\), and from Lemma 2.3 there exist constants \(K>0\) and \(\theta>0\) such that \(\mathbb{E} \Vert x(t) \Vert ^{2}\leq K e^{-\theta t} \), \(\forall t \geq -\tau\). This ensures the exponential stability of the mild solution in mean square. Hence the proof. □
Remark 5.1
If the impulsive term \(\Delta(x(t_{j})) = I_{j}(\cdot) =0\), \(j=1,2,\ldots\) , then (2.1)–(2.3) takes the following form:
where \(C = C([-\tau,0];X)\) denotes the family of almost surely bounded and continuous functions ϕ from \([-\tau,0]\) into X and, as usual, with \(\Vert \phi \Vert _{c} = \sup_{\theta \in [-\tau,0]} \Vert \phi(\theta) \Vert \). Also, if we assume that all the functions are defined the same as earlier, then by the same procedure as in Theorem 5.1, we may deduce the next corollary.
Corollary 5.2
Suppose that \((\mathrm{A}_{1})\)–\((\mathrm{A}_{3})\) and \((\mathrm{A}_{5})\)–\((\mathrm{A}_{7})\) are satisfied, then the mild solution of (2.1)–(2.3) is exponentially stable in the mean square moment if the following inequality holds:
6 Conclusion
In this article, the existence and uniqueness results for neutral impulsive stochastic functional differential equations with Poisson jumps have been derived using fixed point approach. Also, sufficient conditions are derived for the continuous dependence of solutions on the initial value by means of the corollary of Bihari’s inequality. Finally, the exponential stability of mild solutions for neutral impulsive stochastic functional differential equations with Poisson jumps is investigated based on the impulsive integral inequality. This will motivate the future research work such as the study of controllability and stability in distribution for neutral impulsive stochastic functional differential equations with Poisson jumps.
References
Anguraj, A., Vinodkumar, A.: Existence,uniqueness and stability results of impulsive stochastic semilinear neutral functional differential equations with infinite delays. Electron. J. Qual. Theory Differ. Equ. 2009, 67 (2009)
Arthi, G., Park, J.H., Jung, H.Y.: Existence and exponential stability for neutral stochastic integro differential equations with impulses driven by fractional Brownian motion. Commun. Nonlinear Sci. Numer. Simul. (2015). https://doi.org/10.1016/j.cnsns2015.08.014
Bouchard, B., Elie, R.: Discrete time approximation of decoupled forward-backward SDE with jumps. Stoch. Process. Appl. 118(1), 53–75 (2008) ([1], Appendix)
Boufoussi, B., Hajji, S.: Successive approximation of neutral functional stochastic differential equations with jumps. Stat. Probab. Lett. 80, 324–332 (2010)
Boufoussi, B., Hajji, S.: Neutral stochastic functional differential equations driven by a fractional Brownian motion in a Hilbert space. Stat. Probab. Lett. 82, 1549–1558 (2012)
Chen, H.: The existence and exponential stability for neutral stochastic partial differential equations with infinite delay and Poisson jumps. Indian J. Pure Appl. Math. 46(2), 197–217 (2015)
Chen, H., Zhu, C., Zhang, Y.: A note on exponential stability for impulsive neutral stochastic partial differential equations. Appl. Math. Comput. 227, 139–147 (2014)
Cui, J., Yan, L.: Successive approximation of neutral stochastic evolution equations with infinite delay and Poisson jumps. Appl. Math. Comput. 218, 6776–6784 (2012)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge (2014)
Feng, L., Li, S.: The pth moment asymptotic stability and exponential stability of stochastic functional differential equations with polynomial growth condition. Adv. Differ. Equ. 2014, 302 (2014)
Hale, J., Verduyn Lunel, S.M.: Introduction to Functional Differential Equations. Springer, New York (1993)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. North-Holland, New York (1989)
Kolmanovskii, V.B., Myshkis, A.: Applied Theory of Functional Differential Equations. Kluwer Academic, Norwell (1992)
Luo, J., Liu, K.: Stability of infinite dimensional stochastic evolution equations with memory and Markovian jumps. Stoch. Process. Appl. 118, 864–895 (2008)
Ma, Y.-K., Arthi, G., Anthoni, M.: Exponential stability behavior of neutral stochastic integrodifferential equations with fractional Brownian motion and impulsive effects. Adv. Differ. Equ. 2018, 110 (2018)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences, vol. 44. Springer, New York (1983)
Pei, B., Xu, Y.: Mild solutions of local non Lipschitz stochastic evolution equations with jumps. Appl. Math. Comput. 52, 80–86 (2016)
Sakthivel, R., Luo, J.: Asymptotic stability of nonlinear impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 356, 1–6 (2009)
Sun, M., Xu, M.: Exponential stability and interval stability of a class of stochastic hybrid systems driven by both Brownian motion and Poisson jumps. Physica A 487, 58–73 (2017)
Taniguchi, T.: Successive approximation to solutions of stochastic differential equations. J. Differ. Equ. 96, 152–169 (1992)
Wang, L., Cheng, T., Zhang, Q.: Successive approximation to solutions of stochastic differential equations with jumps in local non-Lipschitz conditions. Appl. Math. Comput. 225, 142–150 (2013)
Yang, H., Jiang, F.: Exponential stability of mild solutions to impulsive stochastic neutral partial differential equations with memory. Adv. Differ. Equ. 2013, Article ID 148 (2013)
Yue, C.: Neutral stochastic functional differential equations with infinite delay and Poisson jumps in the Cg space. Appl. Math. Comput. 237, 595–604 (2014)
Zhang, X., Zhu, C., Yuan, C.: Approximate controllability of impulsive fractional stochastic differential equations with state-dependent delay. Adv. Differ. Equ. 2015, 91 (2015)
Acknowledgements
The authors would like to thank the reviewers for their constructive comments in upgrading the article.
Availability of data and materials
Not applicable.
Funding
This work was partially supported by UGC, India (F MRP-5820/15(SERO/UGC)).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Annamalai, A., Kandasamy, B., Baleanu, D. et al. On neutral impulsive stochastic differential equations with Poisson jumps. Adv Differ Equ 2018, 290 (2018). https://doi.org/10.1186/s13662-018-1721-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1721-9