On the asymptotic stability of a class of jump-diffusions of neutral type with impulses

Abstract

This paper is concerned with the asymptotic stability in the p th moment for a class of jump-diffusions of neutral type with impulses. Sufficient conditions ensuring the stability of jump-diffusions of neutral type with impulses are established by means of the Banach fixed point theorem. The results obtained here generalize and improve some well-known results.

Introduction

Recently, the existence, uniqueness and stability of solutions of stochastic differential equations, especially stochastic partial differential equations [1–5], have been considered by many authors [6]. Besides stochastic effects, impulsive effects also occur in real systems. The study of impulsive systems in a separable Hilbert space is motivated by modeling some evolution phenomena arising in physics, communications, engineering, etc. [7–9].

In addition, many dynamical systems not only depend on present and past states, but also involve derivative with delays, and neutral systems are often used to describe such systems. It should pointed out that there are a few works about the existence and stability of mild solutions of neutral systems [10–16]. Meanwhile, there are also a few works on jump diffusions, and some results on the existence, uniqueness, stability and qualitative properties of solutions have been obtained. For example, Bao et al. [17] studied almost sure asymptotic stability of stochastic partial differential equations with jumps. Bao et al. [18] discussed stability in distribution of mild solutions to stochastic partial differential equations with jumps. Cui et al. [19] discussed exponential stability for neutral stochastic partial differential equations with delays and Poisson jumps. Peszat and Zabczyk [20] discussed the theory of stochastic partial differential equations with Lévy noise. Motivated by the above papers, in the paper we aim to study the existence and asymptotic stability of a class of jump-diffusions of neutral type with impulses by means of the Banach fixed point theorem, the results obtained here generalize the main results from Mahmudov [10], Jiang and Shen [14], Sakthivel [21].

The organization of the paper is as follows. In the next section, we introduce some notations and definitions of mild solution and asymptotic stability. Then we give sufficient conditions ensuring the stability of jump-diffusions of neutral type with impulses by means of the Banach fixed point theorem.

Preliminaries

Throughout this paper, let $(\mathrm{\Omega },\mathcal{F},{\{{\mathcal{F}}_t\}}_{t\ge 0},P)$ be a complete probability space with a filtration ${\{{\mathcal{F}}_t\}}_{t\ge 0}$ satisfying the usual conditions (i.e., it is increasing and right-continuous while ${\mathcal{F}}_0$ contains all P-null sets) [6]. Moreover, let X, Y be two real separable Hilbert spaces, and let $L(Y,X)$ denote the space of all bounded linear operators from Y into X.

For simplicity, we use the notation $|\cdot |$ to denote the norm in X, Y and $\parallel \cdot \parallel$ to denote the operator norm in $L(X,X)$ and $L(Y,X)$. Let ${〈\cdot 〉}_X$, ${〈\cdot 〉}_Y$ denote the inner products of X, Y, respectively. Let $\{w(t):t\ge 0\}$ denote an Y-valued Wiener process defined on the probability space $(\mathrm{\Omega },\mathcal{F},{\{{\mathcal{F}}_t\}}_{t\ge 0},P)$ with the covariance operator Q, that is, $E{〈w(t),x〉}_Y{〈w(s),y〉}_Y=(t\wedge s){〈Qx,y〉}_Y$ for all $x,y\in Y$, where Q is a positive, self-adjoint, trace class operator on Y. In particular, we denote by $w(t)$ a Y-valued Q-Wiener process with respect to ${\{{\mathcal{F}}_t\}}_{t\ge 0}$. We assume that there exists a complete orthonormal system $\{e_i\}$ in Y, a bounded sequence of nonnegative real numbers ${\lambda }_i$ such that $Q{e}_i={\lambda }_i{e}_i$, $i=1,2,\dots$ , and a sequence ${\{{\beta }_i\}}_{i\ge 1}$ of independent Brownian motions such that $〈w(t),e〉={\sum }_{i=1}^{\mathrm{\infty }}\sqrt{{\lambda }_i}〈e_i,e〉{\beta }_i(t)$, $e\in Y$, and ${\mathcal{F}}_t={\mathcal{F}}_t^w$, where ${\mathcal{F}}_t^w$ is the σ-algebra generated by $\{w(s):0\le s\le t\}$. Let $L_2^0=L_2(Q^{1/2}Y;X)$ be the space of all Hilbert-Schmidt operators from $Q^{1/2}Y$ to X with the inner product ${〈u,\xi 〉}_{L_2^0}=tr[uQ\xi ]$; see, for example, [8].

Let $p=(p(t))$, $t\in D_p$ be a stationary ${\mathcal{F}}_t$-Poisson point process with characteristic measure λ. Denote by $N(dt,dv)$ the Poisson counting measure associated with p, that is, $N(t,\mathcal{Z})={\sum }_{s\in D_p,s\le t}{I}_{\mathcal{Z}}(p(s))$ with a measurable set $\mathcal{Z}\in \mathcal{B}(Y-\{0\})$, which denotes the Borel σ-field of $Y-\{0\}$. Let $\tilde{N}(dt,dv)=N(dt,dv)-dt\lambda (dv)$ be the compensated Poisson measure, which is independent of $w(t)$. Denote by ${\mathcal{P}}^2([0,T]\times \mathcal{Z};X)$ the space of all predictable mappings $L:[0,T]\times \mathcal{Z}\times \mathrm{\Omega }\to X$ for which

$${\int }_0^T{\int }_{\mathcal{Z}}E|L(t,v){|}^{2}dt\lambda (dv)<\mathrm{\infty }.$$

We may then define the X-valued stochastic integral ${\int }_0^T{\int }_{\mathcal{Z}}L(t,v)\tilde{N}(dt,dv)$, which is a centered square-integrable martingale [5]. We always assume that $w(t)$ and $\tilde{N}$ are independent of ${\mathcal{F}}_0$.

Now consider a class of jump-diffusions of neutral type with impulses of the form

$$\{\begin{array}{l}d[x(t)-u(t,x(t-\rho (t)))]=[Ax(t)+f(t,x(t-\tau (t)))]dt\\ \phantom{d[x(t)-u(t,x(t-\rho (t)))]=}+g(t,x(t-\delta (t)))dw(t)\\ \phantom{d[x(t)-u(t,x(t-\rho (t)))]=}+{\int }_{\mathcal{Z}}h(t,x(t-\kappa (t)),v)\tilde{N}(dt,dv),t\ge 0,t\ne t_k,\\ \mathrm{△}x(t_k)=x(t_k^{+})-x(t_k^{-})=I_k(x(t_k^{-})),t=t_k,k=1,2,\dots ,m,\end{array}$$

(1)

with the initial data $x(t)=\phi \in C_{{\mathcal{F}}_0}^b([-\tau ,0],X)$, where $u:R_{+}\times X\to X$, $f:R_{+}\times X\to X$, $g:R_{+}\times X\to L(Y,X)$, $h:R_{+}\times X\times \mathcal{Z}\to X$ are all Borel measurable; $\rho :R_{+}\to [0,\tau ]$, $\tau :R_{+}\to [0,\tau ]$, $\delta :R_{+}\to [0,\tau ]$, $\kappa :R_{+}\to [0,\tau ]$ are continuous; A is the infinitesimal generator of a semigroup of bounded linear operators $S(t)$, $t\ge 0$, in X; $I_k:X\to X$. Furthermore, the fixed moments of times $t_k$ satisfy $0<t_1<\cdots <t_m<{lim}_{k\to \mathrm{\infty }}{t}_k=\mathrm{\infty }$, $x(t_k^{+})$ and $x(t_k^{-})$ represent the right and left limits of $x(t)$ at $t=t_k$, respectively. Also $\mathrm{△}x(t_k)=x(t_k^{+})-x(t_k^{-})$ represents the jump in the state x at time $t_k$ with $I_k$ determining the size of the jump. $\tau >0$ and $C=C([-\tau ,0];X)$ denotes a family of all right-continuous functions with left-hand limits η from $[-\tau ,0]$ to X. Denote the norm of $\eta (t)$ by ${\parallel \eta \parallel }_C={sup}_{t\in [-\tau ,0]}E|\eta (t)|$. Here, $C_{{\mathcal{F}}_0}^b([-\tau ,0],X)$ is a family of all almost surely bounded, ${\mathcal{F}}_0$-measurable, continuous random variables from $[-\tau ,0]$ to X.

Suppose that $\{S(t),t\ge 0\}$ is an analytic semigroup with its infinitesimal generator A. For a basic reference, the reader is referred to Pazy [22]. We always assume $0\in \varrho (A)$, the resolvent set of −A. For any $\alpha \in [0,1]$, it is possible to define the fractional power ${(-A)}^{\alpha }$ which is a closed linear operator with its domain $\mathcal{D}({(-A)}^{\alpha })$.

Definition 1 A process $\{x(t),t\in [0,T]\}$, $0\le T<\mathrm{\infty }$, is called a mild solution of Eq. (1) if

• (i) $x(t)$ is adapted to ${\mathcal{F}}_t$, $t\ge 0$ with ${\int }_0^T|x(t){|}^{2}dt<\mathrm{\infty }$ a.s.;

• (ii) $x(t)\in X$ has càdlàg paths on $t\in [0,T]$ a.s. and for each $t\in [0,T]$, $x(t)$ satisfies the integral equation

  $$\begin{array}{rl}x(t)=& S(t)[\phi (0)-u(0,x(-\rho (0)))]+u(t,x(t-\rho (t)))\\ +{\int }_0^{t}AS(t-s)u(s,x(s-\rho (s)))ds\\ +{\int }_0^{t}S(t-s)f(s,x(s-\tau (s)))ds\\ +{\int }_0^{t}S(t-s)g(s,x(s-\delta (s)))dw(s)\\ +{\int }_0^t{\int }_{\mathcal{Z}}S(t-s)h(s,x(s-\kappa (s),v))\tilde{N}(ds,dv)\\ +\sum _{0<t_k<t}S(t-t_k)I_k\left(x\left(t_k^{-}\right)\right),\end{array}$$

  (2)

and $\phi \in C_{{\mathcal{F}}_0}^b([-\tau ,0],X)$.

Moreover, for the purposes of stability, we always assume that $u(t,0)=0$, $f(t,0)=0$, $g(t,0)=0$, $h(t,0,v)=0$, $I_k(0)=0$ ($k=1,2,\dots$). Hence Eq. (1) has a trivial solution when $\phi =0$.

Definition 2 Let $p\ge 2$ be an integer. The trivial solution of Eq. (1) or Eq. (1) itself is said to be stable in the p th moment if for arbitrarily given $\epsilon >0$, there exists $\delta >0$ such that ${\parallel \phi \parallel }_C<\delta$ guarantees that

$$E\left(\underset{t\ge 0}{sup}\right|x(t){|}^p)<\epsilon .$$

Definition 3 Let $p\ge 2$ be an integer. The trivial solution of Eq. (1) or Eq. (1) itself is said to be asymptotically stable (or globally asymptotically stable) in the p th moment if it is stable in the p th moment and for any $\phi \in C_{{\mathcal{F}}_0}^b([-\tau ,0],X)$,

$$\underset{T\to \mathrm{\infty }}{lim}E\left(\underset{t\ge T}{sup}\right|x(t){|}^p)=0.$$

When $p=2$, we say Eq. (1) is mean square asymptotically stable (or mean square globally asymptotically stable).

To establish the stability of Eq. (1), we employ the following assumptions.

• (H1) A is the infinitesimal generator of a semigroup of bounded linear operators $S(t)$, $t\ge 0$, in X satisfying $|S(t)|\le M{e}^{-at}$, $t\ge 0$, for some constants $M\ge 1$ and $0<a\in R_{+}$.

• (H2) The functions f, g and h satisfy the following conditions: there exists a constant K such that for any $x,y\in X$ and $t\ge 0$,

  $$\begin{array}{c}|f(t,x)-f(t,y){|}^2\le K|x-y{|}^2,\hfill \\ {\parallel g(t,x)-g(t,y)\parallel }^2\le K|x-y{|}^2,\hfill \\ {\int }_{\mathcal{Z}}|h(t,x,v)-h(t,y,v){|}^2\lambda (dv)\le K|x-y{|}^2.\hfill \end{array}$$

• (H3) There exist a number $\alpha \in [0,1]$ and a positive constant $\overline{K}$ such that for any $x,y\in X$ and $t\ge 0$, $u(t,x)\in \mathcal{D}({(-A)}^{\alpha })$ and

  $$|{(-A)}^{\alpha }u(t,x)-{(-A)}^{\alpha }u(t,y){|}^2\le \overline{K}|x-y{|}^2.$$

• (H4) There exists a constant $q_k$ such that $|I_k(x)-I_k(y){|}^2\le q_k|x-y{|}^2$ for each $x,y\in X$ ($k=1,\dots ,m$).

Asymptotic stability

In this section, we consider the asymptotic stability of Eq. (1) by means of the fixed point theory. Let H be the space of all ${\mathcal{F}}_0$-adapted processes $\psi (t,\overline{w}):[0,\mathrm{\infty })\times \mathrm{\Omega }\to R$ which is almost certainly continuous in t for fixed $\overline{w}\in \mathrm{\Omega }$. Moreover, $\psi (s,\overline{w})=\phi (s)$ for $s\in [-\tau ,0]$ and $E|\psi (t,\overline{w}){|}^2\to 0$ as $t\to \mathrm{\infty }$.

Now let us state the following well-known lemma [22], which will be used in the sequel in the proof of the main result.

Lemma 1 If (H1) holds and $0\in \varrho (A)$, then for any $\beta \in (0,1]$,

• (i) for each $x\in \mathcal{D}({(-A)}^{\beta })$, $S(t){(-A)}^{\beta }x={(-A)}^{\beta }S(t)x$;

• (ii) there exist constants $M_{\beta }>0$ and $a\in R_{+}$ such that $\parallel {(-A)}^{\beta }S(t)\parallel \le M_{\beta }{t}^{-\beta }{e}^{-at}$, $t>0$.

We can now state our main result of this paper.

Theorem 1 If (H1)-(H4) hold for some $\alpha \in (1/2,1]$, then Eq. (1) is mean square globally asymptotically stable provided

$$\overline{K}|{(-A)}^{-\alpha }{|}^2+\overline{K}{M}_{1-\alpha }^2{a}^{-2\alpha }\mathrm{\Gamma }(2\alpha -1)+M^{2}K{a}^{-2}+K{M}^2{a}^{-1}+M^2\overline{L}<1/6,$$

(3)

where $\overline{L}=e^{-2aT}E({\sum }_{k=1}^m|q_k|)$.

Proof Define an operator $\pi :H\to H$ by $\pi (x)(t)=\mathrm{\Psi }(t)$ for $t\in [-\tau ,0]$ and for $t\ge 0$,

$$\begin{array}{rl}(\pi x)(t)=& S(t)[\phi (0)-u(0,x(-\rho (0)))]+u(t,x(t-\rho (t)))\\ +{\int }_0^{t}AS(t-s)u(s,x(s-\rho (s)))ds\\ +{\int }_0^{t}S(t-s)f(s,x(s-\tau (s)))ds+{\int }_0^{t}S(t-s)g(s,x(s-\delta (s)))dw(s)\\ \times {\int }_0^t{\int }_{\mathcal{Z}}S(t-s)h(s,x(s-\kappa (s),v)\tilde{N}(ds,dv)+\sum _{0<t_k<t}S(t-t_k)I_k\left(x\left(t_k^{-}\right)\right)\\ :=& \sum _{i=1}^7{F}_i(t).\end{array}$$

(4)

We divide the proof into three steps.

Step 1. We claim that π is mean square continuous on $[0,\mathrm{\infty })$. Let $x\in H$, $t_1\ge 0$, and $|h|$ be sufficiently small, then

$$\begin{array}{rcl}E|(\pi x)(t_1+h)-(\pi x)(t_1){|}^2& \le & 7\sum _{i=1}^{7}E|F_i(t_1+h)-F_i(t_1){|}^2\\ :=& 7\sum _{i=1}^{7}E|\mathrm{△}{F}_i(t_1){|}^2.\end{array}$$

We can easily see that $E|\mathrm{△}{F}_i(t_1){|}^2\to 0$, $i=1,2,3,4,7$, as $h\to 0$. Moreover, by the properties of the martingales [5, 8], we have

$$\begin{array}{r}E|\mathrm{△}{F}_5(t_1){|}^2\\ \le 2\left({\int }_0^{t_1}\left(E\right|(S(t_1+h-s)-S(t_1-s))g(s,x(s-\delta (s))){|}^2)ds\right)\\ +2\left({\int }_{t_1}^{t_1+h}\left(E\right|S(t_1+h-s)g(s,x(s-\delta (s))){|}^2)ds\right)\\ \to 0\text{as }h\to 0.\\ E|\mathrm{△}{F}_6(t_1){|}^2\\ \le 2{\int }_0^{t_1}{\int }_{\mathcal{Z}}E|(S(t_1+h-s)-S(t_1-s))h(s,x(s-\kappa (s),v)){|}^2\lambda (dv)ds\\ +2{\int }_{t_1}^{t_1+h}{\int }_{\mathcal{Z}}E|(S(t_1+h-s)-S(t_1-s))h(s,x(s-\kappa (s),v)){|}^2\lambda (dv)ds\\ \to 0\text{as }h\to 0.\end{array}$$

Consequently, π is mean square continuous on $[0,\mathrm{\infty })$.

Step 2. We claim that $\pi (H)\subset H$. From (4), we have

$$\begin{array}{rl}E|(\pi x)(t){|}^2\le & 7E|S(t)[\phi (0)-u(0,x(-\rho (0)))]{|}^2+7E|u(t,x(t-\rho (t))){|}^2\\ +7E|{\int }_0^{t}AS(t-s)u(s,x(s-\rho (s)))ds{|}^2\\ +7E|{\int }_0^{t}S(t-s)f(s,x(s-\tau (s)))ds{|}^2\\ +7E|{\int }_0^{t}S(t-s)g(s,x(s-\delta (s)))dw(s){|}^2\\ +7E|{\int }_0^t{\int }_{\mathcal{Z}}S(t-s)h(s,x(s-\kappa (s),v)\tilde{N}(ds,dv){|}^2\\ +7E|\sum _{0<t_k<t}S(t-t_k)I_k\left(x\left(t_k^{-}\right)\right){|}^2:=\sum _{i=1}^7{G}_i(t).\end{array}$$

(5)

Note that $x(t)\in H$. By (H1), (H3), (H4) and Lemma 1, we have

$$G_1(t)\le 7M^2{e}^{-2at}{(1+\sqrt{\overline{K}}|{(-A)}^{-\alpha }\left|\right)}^2{\parallel \phi \parallel }_C^2\to 0\text{as }t\to \mathrm{\infty },$$

(6)

$$G_2(t)\le 7\overline{K}\left|{(-A)}^{-\alpha }{|}^{2}E\right|x(t-\rho (t)){|}^2\to 0\text{as }t\to \mathrm{\infty },$$

(7)

$$G_7(t)\le 7M^2{e}^{-2at}{q}_{k}E|x\left(t_k^{-}\right){|}^2\to 0\text{as }t\to \mathrm{\infty }.$$

(8)

By Lemma 1, (H3) and the Hölder inequality, we obtain

$$\begin{array}{rcl}{G}_3(t)& \le & 7E{\left({\int }_0^t\right|{(-A)}^{-\alpha }S(t-s){(-A)}^{\alpha }u(s,x(s-\rho (s)))\left|ds\right)}^2\\ \le & 7M_{1-\alpha }^2\overline{K}\left({\int }_0^t{e}^{-a(t-s)}{(t-s)}^{2\alpha -2}ds\right){\int }_0^t{e}^{-a(t-s)}E|x(s-\rho (s)){|}^{2}ds\\ \le & 7M_{1-\alpha }^2\overline{K}{a}^{1-2\alpha }\mathrm{\Gamma }(2\alpha -1){\int }_0^t{e}^{-a(t-s)}E|x(s-\rho (s)){|}^{2}ds.\end{array}$$

(9)

For any $x(t)\in H$ and $ϵ>0$, there exists $t_1>0$ such that $E|x(t-\rho (t)){|}^2<ϵ$ for $t\ge t_1$. We thus obtain

$$\begin{array}{rcl}{G}_3(t)& \le & 7M_{1-\alpha }^2\overline{K}{a}^{1-2\alpha }\mathrm{\Gamma }(2\alpha -1){\int }_0^{t_1}{e}^{-a(t-s)}E|x(s-\rho (s)){|}^{2}ds\\ +7M_{1-\alpha }^2\overline{K}{a}^{-2\alpha }\mathrm{\Gamma }(2\alpha -1)ϵ.\end{array}$$

(10)

We can see $e^{-at}\to 0$ as $t\to \mathrm{\infty }$. By (3), there exists $t_2\ge t_1$ such that for any $t\ge t_2$ we obtain

$$\begin{array}{r}7M_{1-\alpha }^2\overline{K}{a}^{1-2\alpha }\mathrm{\Gamma }(2\alpha -1){\int }_0^{t_1}{e}^{-a(t-s)}E|x(s-\rho (s)){|}^{2}ds\\ \le ϵ-7M_{1-\alpha }^2\overline{K}{a}^{-2\alpha }\mathrm{\Gamma }(2\alpha -1)ϵ.\end{array}$$

(11)

This, together with (11), yields for any $t\ge t_2$, $G_3(t)\le ϵ$. That is,

$$G_3(t)\to 0\text{as }t\to \mathrm{\infty }.$$

(12)

By (H1), (H2), the Hölder inequality, Lemma 1 and the properties of the martingales [5, 8], we easily obtain

$$G_4(t)\le 7M^{2}K{a}^{-1}{\int }_0^t{e}^{-a(t-s)}E|x(s-\tau (s)){|}^{2}ds,$$

(13)

$$G_5(t)\le 7M^{2}K{\int }_0^t{e}^{-2a(t-s)}E|x(s-\delta (s)){|}^{2}ds.$$

(14)

$$\begin{array}{rl}{G}_6(t)& \le 7{\int }_0^t{\int }_{\mathcal{Z}}E|S(t-s)h(s,x(s-\kappa (s),v)){|}^2\lambda (dv)ds\\ \le 7M^{2}K{\int }_0^t{e}^{-2a(t-s)}E|x(s-\kappa (s)){|}^{2}ds.\end{array}$$

(15)

Further, similar to the proof of (12), from (13), (14) and (15), we then have $G_4(t),G_5(t),G_6(t)\to 0$ as $t\to \mathrm{\infty }$. Therefore, we have $E|(\pi x)(t){|}^2\to 0$ as $t\to \mathrm{\infty }$. That is, $\pi (H)\subset H$.

Step 3. We claim that π is a contraction mapping. Let $x,y\in H$, we have

$$\begin{array}{r}\underset{t\in [0,T]}{sup}E|(\pi x)(t)-(\pi y)(t){|}^2\\ \le 6\left[\underset{t\in [0,T]}{sup}E\right|u(t,x(t-\rho (t)))-u(t,y(t-\rho (t))){|}^2\\ +\underset{t\in [0,T]}{sup}E|{\int }_0^{t}AS(t-s)[u(s,x(s-\rho (s)))-u(s,y(s-\rho (s)))]ds{|}^2\\ +\underset{t\in [0,T]}{sup}E|{\int }_0^{t}S(t-s)[f(s,x(s-\tau (s)))-f(s,y(s-\tau (s)))]ds{|}^2\\ +\underset{t\in [0,T]}{sup}E|{\int }_0^{t}S(t-s)[g(s,x(s-\delta (s)))-g(s,y(s-\delta (t)))]dw(s){|}^2\\ +\underset{t\in [0,T]}{sup}E|{\int }_0^t{\int }_{\mathcal{Z}}S(t-s)[h(s,x(s-\kappa (s),v))-h(s,y(s-\kappa (s),v))]\tilde{N}(ds,dv){|}^2\\ +\underset{t\in [0,T]}{sup}E|\sum _{0<t_k<t}S(t-t_k)[I_k\left(x\left(t_k^{-}\right)\right)-I_k\left(y\left(t_k^{-}\right)\right)]{|}^2]\\ \le 6\left[\overline{K}\right|{(-A)}^{-\alpha }{|}^2+\overline{K}{M}_{1-\alpha }^2{a}^{-2\alpha }\mathrm{\Gamma }(2\alpha -1)+M^{2}K{a}^{-2}+K{M}^2{a}^{-1}\\ +M^2\overline{L}\left]\underset{t\in [0,T]}{sup}E\right|x(t)-y(t){|}^2,\end{array}$$

(16)

where $\overline{L}=e^{-2aT}E({\sum }_{k=1}^m|q_k|)$. Thus π is a contraction mapping. Hence there exists a unique fixed point $x(t)$ in H which is the solution of Eq. (1) and $E|x(t){|}^2\to 0$ as $t\to \mathrm{\infty }$. The proof is complete. □

Similarly, we can easily generalize the above result to global asymptotic stability in the p th moment.

Theorem 2 If (H1)-(H4) hold for some $\alpha \in (1/p,1]$, $p\ge 2$, and the inequality

$$\begin{array}{r}{6}^{p-1}\left[{\overline{K}}^{p/2}\right|{(-A)}^{-\alpha }{|}^p+{\overline{K}}^{p/2}{M}_{1-\alpha }^p{a}^{-p\alpha }{\left(\mathrm{\Gamma }(1+p(\alpha -1)/(p-1))\right)}^{p-1}+M^p{K}^{p/2}{a}^{-p}\\ +c_p{M}^p{K}^{p/2}{(2a(p-1)/(p-2))}^{1-p/2}/a+M^p\overline{L}]<1\end{array}$$

also holds, then Eq. (1) is globally asymptotically stable in the pth moment, where $\overline{L}=e^{-apT}E({\sum }_{k=1}^m|q_k{|}^p)$ and $c_p={(p(p-1)/2)}^{p/2}$.

Remark Without the impulsive and Poisson jumps, Eq. (1) reduces to a stochastic partial differential equation, which is investigated in [10]. If without Poisson jumps, then Eq. (1) reduces to impulsive stochastic neutral partial differential equations, which is studied in [14]. If without the neutral term and Poisson jumps, then Eq. (1) reduces to an impulsive stochastic partial differential equation, which is studied in [21]. In the sense, the results of this paper are generalized.

Conclusion

This paper discusses the globally asymptotic stability of the mild solutions to jump-diffusions of neutral type with impulses by the fixed point theory. Globally asymptotic stability of the mild solutions to jump-diffusions of neutral type with impulses are derived. Some earlier results are generalized and improved.