- Research
- Open Access
- Published:
On existence of solutions of a impulsive stochastic partial functional integro-differential equation with the measure of noncompactness
Advances in Difference Equations volume 2016, Article number: 56 (2016)
Abstract
In this article, we study the existence of mild solutions for a new class of impulsive stochastic partial neutral functional integro-differential equations with infinite delay and non-instantaneous impulses in separable Hilbert spaces. The new results are obtained by using the Hausdorff measure of noncompactness, and the theory of analytic resolvent operators and fractional power of closed operators with the fixed point theorems. An example is also given to illustrate the obtained theory.
1 Introduction
The study of impulsive functional differential and integro-differential systems is linked to their utility in simulating processes and phenomena subject to short-time perturbations during their evolution. The perturbations are performed discretely and their duration is negligible in comparison with the total duration of the processes and phenomena. Now impulsive partial neutral functional differential and integro-differential systems have become an important object of investigation in recent years stimulated by their numerous applications to problems arising in mechanics, electrical engineering, medicine, biology, ecology, etc. With regard to this matter, we refer the reader to [1–4] and the references therein.
Stochastic differential equations have attracted great interest due to their applications in characterizing many problems in physics, biology, mechanics, and so on; see [5]. There are many publications in the qualitative properties of solutions for these equations (see [6–9] and the references therein). As the generalization of classic impulsive differential equations, impulsive partial stochastic differential and integro-differential equations have been extensively studied in Hilbert spaces. For example, Sakthivel and Luo [10] studied the existence and asymptotic stability in the pth moment of mild solutions to impulsive stochastic partial differential equations with and without infinite delays through fixed point theory. Anguraj and Vinodkumar [11] investigated the existence, uniqueness, and stability of mild solutions of impulsive stochastic semilinear neutral functional differential equations without a Lipschitz condition and with a Lipschitz condition. Hu and Ren [12] proved the existence of mild solutions for a class of impulsive neutral stochastic functional integro-differential equations with infinite delays. Lin et al. [13] discussed the existence of mild solutions for a class of neutral impulsive stochastic integro-differential equations with infinite delays and analytic resolvent operators. In [14], the authors studied the existence of mild solutions for a class of impulsive partial neutral stochastic integro-differential equation with state-dependent delay. Further, Sakthivel et al. [15] were concerned with the existence of mild solutions for the fractional impulsive stochastic differential equations with infinite delay in Hilbert spaces. Yan and Zhang [16] obtained the existence and asymptotic stability of solutions to fractional impulsive neutral stochastic partial integro-differential equations with state-dependent delay. Balasubramaniam et al. [17] discussed the local and global existence of mild solutions studied for impulsive fractional semilinear stochastic differential equations with a nonlocal condition in a Hilbert space. Ren et al. [18] proved the existence and uniqueness of the mild solution for impulsive neutral stochastic functional integro-differential equations with infinite delay driven by fBm.
In fact, for these abstract impulsive stochastic partial differential and integro-differential equations one considers basically problems for which the impulses are abrupt and instantaneous. However, many impulsive systems arising from realistic models can be described as partial differential equations and integro-differential with non-instantaneous impulses. The significance of the study of these equations lies in its diverse fields of applications such as in the theory of stage by stage rocket combustion, maintaining hemodynamical equilibrium (see [2]). Recently, Hernández and O’Regan [19] introduced a new class of first order abstract impulsive differential equations for which the impulses are not instantaneous. In the model, the impulses start abruptly at the points \(t_{i}\) and their action continues on a finite time interval \([t_{i},s_{i}]\). This is a situation with an impulsive action which starts abruptly and stays active on a finite time interval. Pierri et al. [20] studied the existence of solutions for a class of first order semilinear abstract impulsive differential equations with non-instantaneous impulses by using the theory of analytic semigroup and fractional power of closed operators. Gautam and Dabas [21] established the existence, uniqueness, and continuous dependence results of mild solution fractional functional integro-differential equations with non-instantaneous impulse. Yu and Wang [22] discussed the existence of mild solutions for periodic boundary value problems with non-instantaneous impulse on Banach spaces. Fu et al. [23] were concerned with the existence of mild solutions for Cauchy and nonlocal problems of impulsive fractional evolution equations for which the impulses are not instantaneous. Many control systems arising from realistic models can be described as stochastic systems with non-instantaneous impulses. So it is natural to extend the concept of the existence to dynamical systems represented by these impulsive systems. Yan and Lu [24] discussed a class of fractional impulsive partial stochastic integro-differential equations with non-instantaneous impulses in Hilbert spaces under the Lipschitz conditions. In this paper we consider the existence of a new class of impulsive stochastic partial neutral functional integro-differential equations with infinite delay and non-instantaneous impulses of the form in Hilbert spaces of the form
where the state \(x(\cdot)\) takes values in a separable real Hilbert space H with inner product \((\cdot,\cdot)\) and norm \(\|\cdot\|\), and A is the infinitesimal generator of an analytic resolvent operator \(\{R(t)\}_{ t \geq0}\) in H. The history \(x_{t}:(-\infty,0]\rightarrow H\), \(x_{t}(\theta)=x(t + \theta)\), belongs to some abstract phase space \(\mathcal{B}\) defined axiomatically in Section 2. Let K be another separable Hilbert space with inner product \((\cdot,\cdot)_{K}\) and norm \(\| \cdot\|_{K}\). Suppose \(\{w(t):t\geq0\}\) is a given K-valued Brownian motion or Wiener process with a finite trace nuclear covariance operator \(Q > 0\) defined on a complete probability space \((\Omega,\mathcal{F},P)\) equipped with a normal filtration \(\{\mathcal{F}_{t}\}_{t\geq0}\), which is generated by the Wiener process w. \(h (t)\), \(t \in[0,b]\), and is a bounded linear operator, and let \(0 =t_{0} =s_{0 }< t_{1} \leq s_{1} \leq t_{2} < \cdots < t_{N-1} \leq s_{N} \leq t_{N} \leq t_{N+1}=b\), be prefixed numbers, \(g_{i}\in C((t_{i}, s_{i}] \times\mathcal{B};H)\) for all \(i = 1, \ldots,N\), and G, f, F are given functions to be specified later. The initial data \(\{\varphi(t):-\infty< t\leq0\}\) is an \(\mathcal{F}_{0}\)-adapted, \(\mathcal{B}\)-valued random variable independent of the Wiener process w with finite second moment.
The authors [19–24] supposed that the impulsive systems with the compactness assumption on associated operators and the nonlinear function is a Lipschitz function or is completely continuous. However, the above conditions are stronger restrictions, which are not satisfied usually in many practical problems [25, 26]. We can use a measure of noncompactness to remove the assumptions for the compactness of the operator and Lipschitz continuity of the nonlinear item. To the best of our knowledge, there are no relevant reports on the impulsive stochastic differential equations with non-instantaneous impulses via the techniques of the measure of noncompactness. This is one of our motivations.
In this article, we shall study the existence of mild solutions of (1.1)-(1.3) by using the Hausdorff measure of noncompactness, the Darbo fixed point theorem, Darbo-Sadovskii fixed point theorem with the theory of analytic resolvent operators and fractional power of closed operators. We do not assume \(\{R(t),t\geq0\}\) is a compact semigroup, and instead we assume that f, F satisfy a compactness condition involving the Hausdorff measure of noncompactness. Thus the compactness of \(R(t)\) or f, F and the Lipschitz condition of f, F are the special cases of our conditions. The known results appearing in [19–24] are generalized to the impulsive stochastic systems settings and the case of infinite delay without the assumptions of compactness. The nonlinear integro-differential equation with resolvent operators serves as an abstract formulation of partial integro-differential equations which arises in many physical phenomena [27–29]. The resolvent operator is similar to the semigroup operator for abstract differential equations in Banach spaces. However, the resolvent operator does not satisfy the semigroup properties. Our main results can be seen as a generalization of the work in [12–14] and the above mentioned equations with non-instantaneous impulses. Moreover, motivated by the results, we see the direct issues which require further study. For instance, we will investigate the qualitative properties of solutions for a new class of impulsive partial stochastic differential systems with non-instantaneous impulses by using resolvent operators, such as controllability, approximate controllability, optimal control, and stability. Also, we will address the study of the existence and qualitative analysis of solutions of impulsive partial stochastic differential inclusions with non-instantaneous impulses.
The rest of this paper is organized as follows. In Section 2, we introduce some notations and necessary preliminaries. In Section 3, we give our main results. In Section 4, an example is given to illustrate our results. Finally, concluding remarks are given in Section 5.
2 Preliminaries
Let \((\Omega,\mathcal{F},P)\) be a complete probability space equipped with a normal filtration \(\mathcal{F}_{t}\), \(t \in[0, b]\). Let H and K be separable Hilbert spaces, \(L(K, H)\) be the space of linear operators mapping K into H, and \(L(K, H )\) be the space of bounded linear operators mapping K into H equipped with the usual norm \(\|\cdot\|_{H}\), \(L(H)\) denote the Hilbert space of bounded linear operators from H to H, and w be a Q-Weiner process on \((\Omega,\mathcal{F}_{b},P)\) with the covariance operator Q such that \(\operatorname{Tr}Q < \infty\). We assume that there exists a complete orthonormal system \(\{e_{n}\}_{n=1}^{\infty}\) in K, a bounded sequence of nonnegative real numbers \(\{\lambda_{n}\}_{n=1}^{\infty}\) such that \(Qe_{n} =\lambda_{n}e_{n}\), and a sequence \(\beta_{n}\) of independent Brownian motions such that
and \(\mathcal{F}_{t}=\mathcal{F}^{w}_{t}\), where \(\mathcal{F}^{w}_{t}\) is the σ-algebra generated by \(\{ w(s) : 0 \leq s \leq t\}\). Let \(L^{0}_{2} = L_{2}(Q^{1/2}K;H) \) be the space of all Hilbert-Schmidt operators from \(Q^{1/2}K\) to H with the inner product \((\psi,\tilde{\theta})_{L^{0}_{2}}=\operatorname{Tr}(\psi Q\tilde{\theta}^{*})\).
The collection of all strongly measurable, square integrable, H-valued random variables, denoted by \(L_{2}(\Omega,H)\), is a Banach space equipped with norm \(\| x(\cdot)\|_{L_{2}} =(E\| x(\cdot,w)\|^{2})^{\frac{1}{2}}\), where the expectation, E, is defined by \(Ex=\int_{\Omega}x(w)\, dP\). Let \(C([0,b],L_{2}(\Omega,H))\) be the Banach space of all continuous maps from J into \(L_{2}(\Omega,H)\) satisfying the condition \(\sup_{0\leq t\leq b}E\| x(t)\|^{2}<\infty\). Let \(L_{2}^{0}(\Omega,H)\) denote the family of all \(\mathcal{F}_{0}\)-measurable, H-valued random variables \(x(0)\). The notation, \(B_{r} (x, H)\) stands for the closed ball with center at x and radius \(r > 0\) in H.
In this paper, we assume that the phase space \((\mathcal{B},\|\cdot\|_{\mathcal{B}})\) is a seminormed linear space of \(\mathcal{F}_{0}\)-measurable functions mapping \((-\infty,0]\) into H, satisfying the following fundamental axioms due to Hale and Kato (see, e.g., [30]).
-
(A)
If \(x : (-\infty,\sigma+ b]\rightarrow H\), \(b > 0\), is such that \(x|_{[\sigma,\sigma+b]}\in C([\sigma,\sigma+b],H)\) and \(x_{\sigma} \in\mathcal{B}\), then for every \(t \in[\sigma,\sigma+b]\) the following conditions hold:
-
(i)
\(x_{t}\) is in \(\mathcal{B}\);
-
(ii)
\(\| x(t)\|\leq\tilde{H}\| x_{t}\| _{\mathcal{B}} \);
-
(iii)
\(\| x_{t}\|_{\mathcal{B}}\leq K(t-\sigma) \sup\{\| x(s)\|: \sigma\leq s \leq t\}+M(t-\sigma)\| x_{\sigma} \|_{\mathcal{B}}\), where \(\tilde{H} > 0\) is a constant; \(K,M : [0,\infty)\rightarrow[1,\infty)\), K is continuous and M is locally bounded, and H̃, K, M are independent of \(x(\cdot)\).
-
(i)
-
(B)
For the function \(x(\cdot)\) in (A), the function \(t \rightarrow x_{t}\) is continuous from \([\sigma,\sigma+b]\) into \(\mathcal{B}\).
-
(C)
The space \(\mathcal{B}\) is complete.
Remark 2.1
([3])
Let \(\varphi\in\mathcal{B}\) and \(t \leq0\). The notation \(\varphi_{t}\) represents the function defined by \(\varphi_{t}=\varphi(t+\theta)\). Consequently, if the function \(x(\cdot)\) in axiom (A) is such that \(x_{0}=\varphi\), then \(x_{t}=\varphi_{t}\). We observe that \(\varphi_{t}\) is well defined for \(t < 0\) since the domain of φ is \((-\infty, 0]\).
Remark 2.2
([3])
In retarded functional differential equations without impulses, the axioms of the abstract phase space \(\mathcal{B}\) include the continuity of the function \(t \rightarrow x_{t}\). Due to the impulsive effect, this property is not satisfied in impulsive delay systems and, for this reason, has been eliminated in our abstract description of \(\mathcal{B}\).
The next result is a consequence of the phase space axioms.
Lemma 2.1
(Compare with [31])
Let \(x: (-\infty,b]\rightarrow H\) be an \(\mathcal{F}_{t}\)-adapted measurable process such that the \(\mathcal{F}_{0}\)-adapted process \(x_{0}=\varphi(t)\in L_{2}^{0}(\Omega, \mathcal{B})\) and \(x|_{[0,b]}\in\mathcal{PC}([0,b],H)\), then
where \(K_{b} = \sup\{K(t):0\leq t\leq b\}\), \(M_{b} = \sup\{M(t):0\leq t\leq b\}\).
We introduce the space \(\mathcal{PC}\) formed by all \(\mathcal{F}_{t}\)-adapted measurable, H-valued stochastic processes \(\{x(t):t\in[0,b]\}\) such that x is continuous at \(t\neq t_{i}\), \(x(t_{i})= x(t_{i}^{-})\) and \(x(t_{i}^{+})\) exist for all \(i=1,\ldots,N\). In this paper, we always assume that \(\mathcal{PC}\) is endowed with the norm
Then \((\mathcal{PC},\|\cdot\|_{\mathcal{PC}}) \) is a Banach space. The notation \(B_{r}(x,H)\) stands for the closed ball with center at x and radius \(r > 0\) in H.
Lemma 2.2
A family of bounded linear operators \(R(t)\in L(H)\) is called a resolvent operator for
if
-
(i)
\(R(0)= I\) the identity operator on H;
-
(ii)
for all \(x\in H\), \(R(t)x \) is continuous for \(t\in[0,b]\);
-
(iii)
\(R(t)\in L(X)\), \(t \in J\), where X is the Banach space formed from \(D(R)\) endowed with the graph norm. For \(y \in X\), \(R(\cdot)y \in C^{1}(J, H)\cap C(J, X)\) and
$$\begin{aligned} \frac{dx}{dt}R(t)y&=A \biggl[R(t)y+ \int_{0}^{t}h(t-s)R(s)y\,ds \biggr] \\ &=R(t)Ay+ \int_{0}^{t}R(t-s)Ah(s)y\,ds, \quad t\in J. \end{aligned}$$
Let \(0 \in\rho(A)\), Then it is possible to define the fractional power \((-A)^{\alpha}\) for \(0 < \alpha\leq1\), as a closed linear operator on its domain \(D((-A)^{\alpha})\) with inverse \((-A)^{-\alpha}\). Furthermore, the subspace \(D((-A)^{\alpha})\) is dense in H and the expression \(\| x\|_{\alpha} = \|(-A)^{\alpha}x\|\) for \(x \in D((-A)^{\alpha})\). Defines a norm on \(D((-A)^{\alpha})\). Hereafter we denote by \(H_{\alpha}\) the Banach space \(D((-A)^{\alpha})\) normed with \(\|\cdot\|_{\alpha}\). Then, for each \(0 < \alpha\leq1\), \(H_{\alpha}\) is a Banach space. Furthermore, the following properties are well known.
Lemma 2.3
([32])
The following properties hold:
-
(i)
If \(0 < \beta< \alpha\leq1\), then \(H_{\alpha}\subset H_{\beta}\) and the embedding is compact whenever the resolvent operator of A is compact.
-
(ii)
For each \(0 < \alpha\leq1\), there exists a positive constant \(M_{\alpha} \) such that
$$\bigl\Vert (-A)^{\alpha}R(t)\bigr\Vert \leq \frac{M_{\alpha}}{t^{\alpha}}. $$
Definition 2.1
An \(\mathcal{F}_{t}\)-adapted stochastic process \(x : (-\infty,b]\rightarrow H\) is called a mild solution of the system (1.1)-(1.3) if \(x_{0} =\varphi\in \mathcal{B}\) satisfying \(x_{0}\in L^{0}_{2}(\Omega,H)\), \(x|_{[0,b]}\in \mathcal{PC}\), for each \(t \in[0,b]\), the function \(AR(t - s)G(s,x_{s})\), \(s \in[0, t)\) is integrable and \(x(t) = g_{j}(t, x(t))\) for all \(t \in(t_{j}, s_{j}]\), \(j = 1, \ldots,N\), and
for all \(t \in[0, t_{1}]\) and
for all \(t \in(s_{i}, t_{i+1}]\), \(i = 1, \ldots,N\).
Now, we introduce the Hausdorff measure of noncompactness \(\chi_{Y}\) defined by
for a bounded set B in any Hilbert space Y. Some basic properties of \(\chi_{Y}(\cdot)\) are given in the following lemma.
Lemma 2.4
([33])
Let Y be a real Hilbert space and \(B, C \subseteq Y\) be bounded, and the following properties are satisfied:
-
(1)
B is pre-compact if and only if \(\chi_{Y}(B)=0\);
-
(2)
\(\chi_{Y}(B)=\chi_{Y}(\overline{B})=\chi_{Y}(\operatorname{conv} B)\), where BÌ… and convB are the closure and the convex hull of B, respectively;
-
(3)
\(\chi_{Y}(B)\leq\chi_{Y}(C)\) when \(B \subseteq C\);
-
(4)
\(\chi_{Y}(B+C)\leq\chi_{Y}(B)+\chi_{Y}(C)\) where \(B +C =\{ x+y:x\in B,y\in C\}\);
-
(5)
\(\chi_{Y}(B\cup C)=\max\{\chi_{Y}(B),\chi_{Y}(C)\}\);
-
(6)
\(\chi_{Y}(\lambda B)\leq|\lambda|\chi_{Y}(B)\) for any \(\lambda\in \mathbb{R}\);
-
(7)
if the map \(\Phi: D(\Phi) \subseteq Y \rightarrow Z \) is Lipschitz continuous with constant κ then \(\chi_{Z}(\Phi B)\leq\kappa\chi_{Y}(B)\) for any bounded subset \(B\subseteq D(\Phi)\), where Z is a Banach space;
-
(8)
if \(\{W_{n}\}_{n=1}^{\infty}\) is a decreasing sequence of bounded closed nonempty subset of Y and \(\lim_{n\rightarrow\infty}\chi_{Y}(W_{n})=0\), then \(\bigcap_{n=1}^{\infty} W_{n} \) is nonempty and compact in Y.
Definition 2.2
([34])
The map \(\Phi: W \subseteq Y \rightarrow Y\) is said to be a \(\chi_{Y}\)-contraction if there exists a positive constant \(\kappa< 1\) such that \(\chi_{Y}(\Phi(C)) \leq\kappa\chi_{Y}(C)\) for any bounded close subset \(C \subseteq W\) where Y is a Banach space.
In this paper we denote by \(\chi_{C}\) the Hausdorff measure of noncompactness of \(C([0, b],H)\) and by \(\chi_{\mathcal{PC}}\) the Hausdorff measure of noncompactness of \(\mathcal{PC}\). To discuss the existence we need the following results.
Lemma 2.5
([33])
If \(W \subset C([a, b])\) is bounded, then \(\chi(W(t))\leq\chi_{C}(W)\), for any \(t \in[a, b]\), where \(W(t)=\{ u(t): u \in W\subseteq X\}\). Furthermore, if W is equicontinuous on \([a,b]\), then \(W(t)\) is continuous for \(t \in[a,b]\), and \(\chi_{C}(W)=\sup\{W(t):t\in[a,b]\}\).
Lemma 2.6
([33])
If \(W \subset C([a, b], H)\) is bounded and equicontinuous, then \(\chi(W(t))\) is continuous for \(t \in[a,b]\), and \(\chi(\int_{a}^{t}W(s)\,ds)\leq\int_{a}^{t}\chi(W(s))\,ds\) for all \(t \in[a,b]\), where \(\int_{a}^{t} W(s)\,ds=\{\int_{a}^{t}x(s)\,ds:x\in W\}\).
Obviously, the following lemma holds.
Lemma 2.7
If \(W \subset\mathcal{PC}([0, b], H)\) is bounded, then \(\chi(W(t))\leq\chi_{\mathcal{PC}}(W)\), for any \(t \in[0, b]\), where \(W(t)=\{ u(t): u \in W\subseteq H\}\). Furthermore, if W is piecewise equicontinuous on \([0,b]\), then \(W(t)\) is continuous for \(t \in[0,b]\), and \(\chi_{\mathcal{PC}}(W)=\sup\{W(t):t\in[0,b]\}\).
Proof
Let \(W \subset\mathcal{PC}\), and \(W=(\bigcup_{i=0}^{N} W_{i})\cup(\bigcup_{i=1}^{N} U_{i})\), where \(W_{i}\subset C(\overline{J}_{i}, X)\), \(\overline{J}_{i}=[s_{i},t_{i+1}]\), \(i=0,1,\ldots,N\), and \(U_{i}\subset C(\overline{I}_{i}, X)\), \(\overline{I}_{i}=[t_{i},s_{i}]\), \(i=1,\ldots,N\). Using Lemmas 2.4 and 2.5, we have
From Lemma 2.5, if W is piecewise equicontinuous on \([0,b]\), then \(W(t)\) is continuous for \(t \in[0,b]\). In addition, we have
 □
Lemma 2.8
(Darbo [35])
If \(W \subseteq Y\) is closed and convex and \(0 \in W\), the continuous map \(\Phi: W \rightarrow W\) is a \(\chi_{Y}\)-contraction, if the set \(\{x\in W: x=\lambda \Phi x\}\) is bounded for \(0 < \lambda< 1\), then the map Φ has at least one fixed point in W.
Lemma 2.9
(Darbo-Sadovskii [33])
If \(W \subseteq Y\) is bounded closed and convex, the continuous map \(\Phi: W \rightarrow W \) is a \(\chi_{Y}\)-contraction, then the map Φ has at least one fixed point in W.
3 Main results
In this section we shall present and prove our main results. For some \(\alpha\in(0,1)\), let us list the following hypotheses.
-
(H1)
The analytic resolvent operator \(R(t)\) generated by A, and there exist constants M, \(M_{1}\) such that \(\| R(t)\|_{L(H)}\leq M\), \(\| h(t)\|_{L(H)}\leq M_{1} \) for every \(t\geq0\).
-
(H2)
There exist positive constants \(\beta\in(\frac{1}{2},1)\), L, \(L_{1}\), \(L_{2}\) such that the function G is \(H_{\beta}\)-valued, \((-A)^{\beta}G\) is continuous and
$$\begin{aligned}& E\bigl\Vert (-A)^{\beta}G(t,\psi_{1})- (-A)^{\beta}G(t, \psi_{2})\bigr\Vert ^{2}\leq L\Vert \psi_{1}- \psi_{2}\Vert _{\mathcal{B}}^{2}, \quad t\in[0,b], \psi_{1},\psi_{2}\in\mathcal{B}, \\& E\bigl\Vert (-A)^{\beta}G(t,\psi)\bigr\Vert ^{2}\leq L_{1}\Vert \psi \Vert ^{2}_{\mathcal{B}}+L_{2}, \quad t\in [0,b], \psi\in\mathcal{B}. \end{aligned}$$ -
(H3)
The function \(f : [0,b] \times\mathcal{B} \rightarrow H\) satisfies the following conditions:
-
(i)
For each \(t \in[0,b]\), the function \(f(t, \cdot) : \mathcal{B}\rightarrow H\) is continuous and for each \(x \in \mathcal{B}\), the function \(f(\cdot, \psi) : [0,b]\rightarrow H\) is strongly measurable.
-
(ii)
There exist an integrable function \(m_{f}:[0,b] \rightarrow[0,\infty)\) and a continuous nondecreasing function \(\Theta_{f}:[0,\infty)\rightarrow(0,\infty)\) such that
$$ E\bigl\Vert f (t,\psi)\bigr\Vert ^{2} \leq m_{f}(t) \Theta_{f}\bigl(\Vert \psi \Vert ^{2}_{\mathcal{B}} \bigr), \quad t\in[0,b], \psi\in \mathcal{B}. $$ -
(iii)
There exists an integrable function \(\zeta_{f}:[0,b]\rightarrow [0,\infty)\) such that, for each bounded \(D\subset \mathcal{B}\),
$$ \chi\bigl(f(t,D)\bigr)\leq \zeta_{f}(t)\sup_{-\infty< \theta\leq0} \chi\bigl(D(\theta)\bigr) $$for a.e. \(t \in[0,b]\), where \(D(\theta)=\{u(\theta):u\in D\}\).
-
(i)
-
(H4)
The function \(F : [0,b] \times\mathcal{B} \rightarrow L(K,H)\) satisfies the following conditions:
-
(i)
For each \(t \in[0,b]\), the function \(F(t, \cdot) : \mathcal{B}\rightarrow L(K,H)\) is continuous and for each \(x \in \mathcal{B}\), the function \(F(\cdot, \psi) : [0,b]\rightarrow L(K,H)\) is strongly measurable.
-
(ii)
There exist an integrable function \(m_{F}:[0,b] \rightarrow[0,\infty)\) and a continuous nondecreasing function \(\Theta_{F}:[0,\infty)\rightarrow(0,\infty)\) such that
$$ E\bigl\Vert F (t,\psi)\bigr\Vert ^{2} \leq m_{F}(t) \Theta_{F}\bigl(\Vert \psi \Vert ^{2}_{\mathcal{B}} \bigr), \quad t\in[0,b], \psi\in \mathcal{B}. $$ -
(iii)
There exists a square integrable function \(\zeta _{F}:[0,b]\rightarrow[0,\infty)\) such that, for each bounded \(D\subset \mathcal{B}\),
$$ \chi\bigl(F(t,D)\bigr)\leq \zeta_{F}(t)\sup_{-\infty< \theta\leq0} \chi\bigl(D(\theta)\bigr) $$for a.e. \(t \in[0,b]\), where \(D(\theta)=\{u(\theta):u\in D\}\).
-
(i)
-
(H5)
The functions \(g_{i}: (t_{i}, s_{i}]\times\mathcal{B}\rightarrow H\), \(i = 1, \ldots,N\), are continuous, and they satisfy the following conditions:
-
(i)
There exist constants \(c_{i},d_{i}>0\), \(i = 1, \ldots,N\), such that
$$ E\bigl\Vert g_{i}(t,\psi)\bigr\Vert ^{2} \leq c_{i}\Vert \psi \Vert ^{2}_{\mathcal{B}}+ d_{i}, \quad t\in (t_{i}, s_{i}],\psi\in \mathcal{B}. $$ -
(ii)
There exist constants \(\gamma_{i}>0\) such that, for each bounded \(D\subset \mathcal{B}\),
$$ \chi\bigl( g_{i}(t,D)\bigr)\leq \gamma_{i}\sup _{-\infty< \theta\leq0}\chi\bigl(D(\theta)\bigr) $$for a.e. \(t \in(t_{i}, s_{i}]\), \(i = 1, \ldots,N\), where \(D(\theta)=\{u(\theta):u\in D\}\), and
$$\begin{aligned}& \max_{1\leq i\leq N} \biggl\{ 4K_{b} \biggl(L \biggl[\bigl(1+M^{2}\bigr)\bigl\Vert (-A)^{-\beta}\bigr\Vert ^{2}+M^{2}_{1-\beta}\bigl(1 +M^{2}_{1}b^{2} \bigr)\frac{b^{2\beta}}{2\beta-1} \biggr] \biggr)^{\frac {1}{2}} \\& \quad {}+(M+1)\gamma_{i}+ M \int_{0}^{b}\zeta_{f}(s)\,ds+M \biggl( \operatorname{Tr}(Q) \int_{0}^{b}\zeta ^{2}_{F}(s) \,ds \biggr)^{\frac{1}{2}} \biggr\} < 1. \end{aligned}$$(3.1)
-
(i)
-
(H6)
For every bounded set \(\Xi\subset\mathcal{B}\), the set \(\{t \rightarrow g_{i}(t, x_{t}) : x_{t} \in\Xi\}\), \(i = 1, \ldots,N\), is equicontinuous in \(\mathcal{B}\).
Theorem 3.1
If the assumptions (H1)-(H6) are satisfied, then the system (1.1)-(1.3) has at least one mild solution on \([0,b]\), provided that
and
Proof
We introduce the space \(\mathcal{B}_{b}\) of all functions \(x : (-\infty, b] \rightarrow H \) such that \(x_{0}\in\mathcal{B}\) and the restriction \(x|_{[0,b]}\in\mathcal{PC}\). Let \(\| \cdot\|_{b}\) be a seminorm in \(\mathcal{B}_{b}\) defined by
We consider the operator \(\Phi: \mathcal{B}_{b} \rightarrow \mathcal{B}_{b}\) defined by
From Lemma 2.3 and (H2), the following inequality holds:
Then from the Bochner theorem, it follows that \(A\mathcal{S}_{\alpha}(t-s) G(s,x_{s})\) is integrable on \((s_{i}, t)\), \(i=0,1,\ldots,N\).
For \(\varphi\in\mathcal{B}\), we define φ̃ by
then \(\tilde{\varphi}\in\mathcal{B}_{b}\). Set \(x(t)=y(t)+\tilde{\varphi}(t)\), \(-\infty< t\leq b\). It is clear that x satisfies Definition 2.1 if and only if y satisfies \(y_{0} = 0 \) and
Let \(\mathcal{B}_{b}^{0}=\{y\in\mathcal{B}_{b}: y_{0}=0\in\mathcal{B}\}\). For any \(y\in\mathcal{B}_{b}^{0}\),
By (3.4), it follows that \((\mathcal{B}_{b}^{0},\|\cdot\|_{b})\) is a Banach space. For \(y \in B_{r}(0,\mathcal{B}_{b}^{0})=\{y\in\mathcal{B}_{b}^{0}:E\| y\|^{2}\leq r\}\), from Lemma 2.1, we have
Define the map \(\bar{\Phi} : \mathcal{B}_{b}^{0}\rightarrow \mathcal{B}_{b}^{0}\) defined by \((\bar{\Phi} y)(t)=0\), \(t\in(-\infty,0]\) and
Obviously, the operator Φ has a fixed point if and only if operator Φ̄ has a fixed point, to prove it we shall employ Lemma 2.8. For better readability, we break the proof into a sequence of steps.
Step 1. For \(0 < \lambda< 1\), set \(\{y \in\mathcal{PC}: y=\lambda\bar{\Phi} y \}\) is bounded.
Let \(y_{\lambda}\) be a solution of \(y=\lambda\bar{\Phi} y \) for \(0 < \lambda< 1\). Using Lemma 2.1, we obtain, for all \(t \in[0,b]\),
where \(\| y_{\lambda}\|_{t}= \sup_{0\leq s\leq t} \| y_{\lambda}(s)\|\). Consider the function \(v_{\lambda}\) defined by
Then, by (H1)-(H5), from the above equation, we have, for \(t \in[0,t_{1}]\),
For any \(t\in(t_{i}, s_{i}]\), \(i = 1, \ldots,N\), we have
Similarly, for any \(t\in(s_{i}, t_{i+1}]\), \(i = 1, \ldots,N\), we have
Then, for all \(t \in[0, b]\), we have
where
It is easy to see that
By (3.3), we have
and hence
Denoting by \(\eta_{\lambda}(t)\) the right-hand side of the above inequality, we have \(v_{\lambda}(t)\leq\eta_{\lambda}(t)\) for all \(t\in[0,b]\), and
This implies that
Using (3.2), this inequality shows that the functions \(\eta_{\lambda}(t)\) are bounded on \([0,b]\). Thus, the functions \(v_{\lambda}(t)\) are bounded on \([0,b]\), and \(y_{\lambda}(\cdot)\) are bounded on \([0,b]\).
Step 2. \(\bar{\Phi}:\mathcal{B}_{b}^{0}\rightarrow\mathcal{B}_{b}^{0}\) is continuous.
Let \(\{y^{(n)}\}_{n=0}^{\infty}\subseteq\mathcal{B}_{b}^{0}\) with \(y^{(n)}\rightarrow y\) (\(n\rightarrow\infty\)) in \(\mathcal{B}_{b}^{0}\). Then there is a number \(r > 0\) such that \(\| y^{(n)}(t)\|\leq r\) for all n and a.e. \(t \in[0,b]\), so \(y^{(n)} \in B_{r}(0,\mathcal{B}_{b}^{0})\) and \(y \in B_{r}(0,\mathcal{B}_{b}^{0})\). Again, similarly to (3.5), we have \(\| y^{(n)}_{t}+\tilde{\varphi}_{t}\|_{\mathcal{B}}\leq r^{*}\), \(t\in[0,b]\). Furthermore, from axiom (A), we know that
Thus, by (H3) and (H4), we see that, for \(t\in[0,b]\),
for each \(t \in[0,b]\), and since
In view of (H2)-(H6) and by the dominated convergence theorem we have, for \(t \in[0, t_{1} ]\),
For any \(t \in(t_{i}, s_{i} ]\), \(i = 1, \ldots , N\), we have
Similarly, for any \(t \in(s_{i}, t_{i+1}]\), \(i=1,\ldots,N\), we have
Then
Thus Φ̄ is continuous.
Step 3. Φ̄ maps bounded sets into bounded sets in \(\mathcal{B}^{0}_{b}\).
Indeed, it is enough to show that there exists a positive constant \(\mathcal{L}\) such that each \(y\in B_{r}(0,\mathcal{B}_{b}^{0})\), one has \(E\|\bar{\Phi}y\|^{2}\leq\mathcal{L}\). For \(t\in[0,t_{1}]\), we have
For any \(t\in(t_{i}, s_{i}]\), \(i = 1, \ldots,N\), we have
Similarly, for any \(t\in(s_{i}, t_{i+1}]\), \(i = 1, \ldots,N\), we have
Take \(\mathcal{L}=\max_{1\leq i\leq N}\{\mathcal{L}_{0},\mathcal {K}_{i}, \mathcal{L}_{i}\}\), then for each \(y\in B_{r}(0,\mathcal{B}_{b}^{0})\), we have \(E\| \bar{\Phi}y\|^{2}\leq\mathcal{L}\).
Step 4. Φ̄ is χ-contraction.
To clarify this, we decompose Φ̄ in the form \(\bar{\Phi}=\bar{\Phi}_{1}+\bar{\Phi}_{2}\) for \(t \in[0,b]\), where
Claim 1
\(\bar{\Phi}_{1}\) is Lipschitz continuous.
Let \(t \in[0,t_{1}]\) and \(u, v \in\mathcal{B}_{b}^{0}\). From (H2) and Lemma 2.1, we have
Similarly, for any \(t\in(t_{i}, t_{i+1}]\), \(i = 1, \ldots,N\), we have
Thus, for all \(t \in[0, b ]\), we have
Taking the supremum over t,
where \(L_{0}=16K^{2}_{b} L[(1+M^{2})\|(-A)^{-\beta}\|^{2}+M^{2}_{1-\beta }(1+M^{2}_{1}b^{2})\frac{b^{2\beta}}{2\beta-1}]\). By (3.1), we see that \(L_{0}<1\). Hence, \(\bar{\Phi}_{1}\) is Lipschitz continuous.
Claim 2
\(\bar{\Phi}_{2}\) maps bounded sets into equicontinuous sets of \(\mathcal{B}_{b}^{0}\).
Let \(0 < \tau_{1} < \tau_{2} \leq t_{1}\). For each \(x\in B_{r}(0,\mathcal{B}_{b}^{0})\), we have
For any \(\tau_{1}, \tau_{2} \in(t_{i}, s_{i} ]\), \(\tau_{1} < \tau_{2}\), \(i = 1, \ldots , N\), we have
Similarly, for any \(\tau_{1}, \tau_{2} \in(t_{i}, t_{i+1}]\), \(\tau_{1} < \tau_{2}\), \(i = 1, \ldots,N\), we have
The right-hand side tends to zero as \(\tau_{2}\rightarrow\tau_{1}\), since \(R(t)\) is equicontinuous for \(t>0\) implies the continuity in the uniform operator topology, and in view of condition (H6). The equicontinuities for the cases \(\tau_{1} < \tau_{2} \leq0\) or \(\tau_{1}\leq0 \leq\tau_{2}\) are very simple. Hence \(\bar{\Phi}_{2}\) maps \(B_{r}(0,\mathcal{B}_{b}^{0})\) into an equicontinuous family of functions.
Claim 3
\(\bar{\Phi}_{2}\) is a χ-contraction.
Let there be an arbitrary bounded subset \(W \subset\mathcal {B}_{b}^{0}\). Since the analytic resolvent operator \(R(\cdot)\) is equicontinuous, \(R (t-s)F(s, W_{s}+\tilde{\varphi}_{s})\) is piecewise equicontinuous on each \(\overline{J}_{i} = [s_{i}, t_{i+1}]\), \(i = 0, 1, \ldots, N\). For bounded sets \(W,V \in\mathcal{PC}\), we can deduce the following:
and hence
Then, from (H3)-(H5) and Lemmas 2.6, 2.7, we have, for \(t \in [0,t_{1}]\),
For any \(t \in(t_{i}, s_{i} ]\), \(i = 1, \ldots , N\), we have
Similarly, for any \(t \in(s_{i},t_{i+1}]\), \(i = 1, \ldots , N\), we have
Thus, for all \(t \in[0, b ]\), we have
and
Since
where \(\tilde{L}=\max_{1\leq i\leq N}\{\sqrt{L_{0}}+(M+1)\gamma_{i}+ M\int_{0}^{b}\zeta_{f}(s)\,ds+M(\operatorname{Tr}(Q)\int_{0}^{b}\zeta ^{2}_{F}(s)\,ds)^{\frac{1}{2}}\}<1\). Therefore, Φ̄ is a χ-contraction. In view of Lemma 2.8, we conclude that Φ̄ has at least one fixed point \(y^{*}\in W\subset\mathcal{B}_{b}^{0}\). Let \(x(t)=y^{*}(t)+ \tilde{\varphi}(t)\), \(t\in(-\infty,b]\). Then x is a fixed point of the operator Φ, which implies that x is a mild solution of the problem (1.1)-(1.3) and the proof of Theorem 3.1 is complete.  □
Theorem 3.2
If the assumptions (H1)-(H6) are satisfied, then the system (1.1)-(1.3) has at least one mild solution on \([0,b]\), provided that
Proof
Let Φ, Φ̄ be defined as in the proof of Theorem 3.1. We claim that there exists an \(k > 0\) such that \(\bar{\Phi }(B_{k}(0,\mathcal{B}_{b}^{0})) \subset(B_{k}(0,\mathcal{B}_{b}^{0}))\). If we assume that this assertion is false, then for each \(k > 0\) we can choose \(y^{k}\in B_{k}(0,\mathcal{B}_{b}^{0})\) and \(t^{k}\in[0,b]\) such that \(k < E\|(\Phi y^{k})(t^{k})\|^{2}\). Consequently, we have, for \(t^{k} \in [0,t_{1}]\),
For any \(t^{k}\in(t_{i}, s_{i}]\), \(i = 1, \ldots,N\), we have
Similarly, for any \(t^{k}\in(s_{i}, t_{i+1}]\), \(i = 1, \ldots,N\), we have
Then, for all \(t^{k} \in[0, b]\), we have
and hence
which is contrary to our assumption (3.6). The proofs of the other steps are similar to those in Theorem 3.1. Therefore, we omit the details. By means of Lemma 2.9, we conclude that (1.1)-(1.3) has at least a mild solution. The proof is complete. □
4 Application
Consider the impulsive stochastic partial functional neutral integro-differential equations of the form
where φ is continuous and there exists a constant \(K_{1}\) such that \(|\tilde{b}(t - s)| \leq K_{1}\). \(w(t)\) denotes a one-dimensional standard Wiener process in H defined on a stochastic space \((\Omega,\mathcal{F},P)\) and we take \(H=L^{2}([0,1])\) with the norm \(\|\cdot\|\) and define the operators \(A: H \rightarrow H\) by \(A\omega=\omega^{\prime\prime}\) with the domain
Then
where \(z_{n}(x) = \sqrt{\frac{2}{\pi}} \sin(nx)\), \(n =1, 2, 3,\ldots\) , is an orthogonal set of eigenvector of −A. It is well known that A generates a strongly continuous semigroup that is analytic, and a resolvent operator \(R(t)\) can be extracted from this analytic semigroup (see [27, 28]). Since the operator \(R(t)\) is analytic there exists a constant \(M > 0\) such that \(\| R(t)\|\leq M\) and it satisfies (H1).
The bounded linear operator \((-A)^{\frac{3}{4}}\) is given by
on the space
and \((-A)^{-\frac{3}{4}} \omega= \sum_{n=1 }^{\infty} \frac{1}{n^{\frac{3}{2}}}\langle\omega,z_{n}\rangle z_{n}\) for every \(\omega\in H\) and \(\|(-A)^{-\frac{3}{4}}\|\) is bounded.
Let \(r \geq0\), \(1 \leq p < +\infty\) and let \(\tilde{h}:(-\infty,-r]\rightarrow\mathbb{R}\) be a nonnegative measurable function which satisfies the conditions (h-5), (h-6) in the terminology of Hino et al. [36]. Briefly, this means that h̃ is locally integrable and there is a nonnegative, locally bounded function γ on \((-\infty,0]\) such that \(\tilde{h}(\xi+\tau)\leq\gamma(\xi )\tilde{h}(\tau)\) for all \(\xi\leq0\) and \(\theta\in(-\infty,-r)\setminus N_{\xi}\), where \(N_{\xi}\subseteq(-\infty,-r)\) is a set whose Lebesgue measure zero. We denote by \(\mathcal{PC}_{r} \times L^{p}(\tilde{h} ,H)\) the set that consists of all classes of functions \(\varphi:(-\infty,0]\rightarrow H\) such that \(\varphi_{|_{[-r,0]}}\in\mathcal{PC}([-r,0],H)\), \(\varphi(\cdot)\) is Lebesgue measurable on \((-\infty,-r)\), and \(\tilde{h}\| \varphi\|^{p}\) is Lebesgue integrable on \((-\infty,-r)\). The seminorm is given by
The space \(\mathcal{B}=\mathcal{PC}_{r} \times L^{p}(\tilde{h},H)\) satisfies axioms (A)-(C). Moreover, when \(r=0 \) and \(p =2\), we can take \(\tilde{H}=1\), \(M(t)=\gamma(-t)^{1/2}\), and \(K(t)=1+(\int_{-t}^{0}\tilde{h}(\tau)\,d\tau)^{1/2}\), for \(t \geq0\). (See Theorem 1.3.8 in [36] for details.)
Additionally, assume that the following conditions hold:
-
(i)
The functions \(\vartheta_{j}, \nu_{j},\varpi_{j}: \mathbb{R} \rightarrow\mathbb{R}\), \(j=1,2\), are continuous with \(L_{\vartheta_{2}}=\int_{-\infty}^{0}\frac{(\vartheta_{2}(s))^{2}}{\tilde {h}(s)}\,ds<\infty\), \(L_{\nu_{2}}=\int_{-\infty}^{0}\frac{(\nu_{2}(s))^{2}}{\tilde {h}(s)}\,ds<\infty\), \(L_{\varpi_{2}}=\int_{-\infty}^{0}\frac{(\varpi_{2}(s))^{2}}{\tilde {h}(s)}\,ds<\infty\).
-
(ii)
The functions \(\eta_{i} : \mathbb{R} \rightarrow\mathbb{R}\), \(i=1,\ldots ,N\), are continuous with \(\tilde{L}_{i}=\int_{-\infty}^{0}\frac{(\eta_{i}(s))^{2}}{\tilde {h}(s)}\,ds<\infty\) for every \(i=1,2,\ldots,N\).
Take \(\varphi\in\mathcal{B} =\mathcal{PC}_{0} \times L^{2}(\tilde{h},H) \) with \(\varphi(\theta)(x) = \varphi(\theta, x)\), \((\theta, x)\in(-\infty,0]\times\mathcal{B}\). Let \(z(s)(x) = z(s, x)\). \(G:[0,b]\times\mathcal{B}\rightarrow H\), \(f:[0,b]\times \mathcal{B}\rightarrow H\), \(F:[0,b]\times\mathcal{B}\rightarrow L(H)\), \(g_{i}: [0,b]\times\mathcal{B}\rightarrow H \) be the operators defined by
Under the above assumptions, the problem (4.1)-(4.4) can be written as (1.1)-(1.3). Moreover, for any \(t \in[0, b]\), \(\psi, \psi_{1}\in \mathcal{B}\), we have
and
where \(L_{G}=\|\vartheta_{1}\|^{2}_{\infty}L_{\vartheta_{2}}\). For any \(t \in[0, b]\), \(\psi, \psi_{1}\in\mathcal{B}\), we have
and
and we can see that, for each bounded set \(D \subset \mathcal{B}\),
where \(L_{f}=\|\nu_{1}\|^{2}_{\infty}L_{\nu_{2}}\). Similarly, we have
and
and we can see that, for each bounded set \(D \subset \mathcal{B}\),
where \(L_{F}=\| \varpi_{1}\|^{2}_{\infty}L_{\varpi_{2}}\).
Moreover, we have, for any \(t, \tilde{t}\in(t_{i},s_{i}]\), \(i = 1, \ldots,N\), \(\psi, \psi_{1} \in\mathcal{B}\),
and we can see that, for each bounded set \(D \subset\mathcal{B}\),
Obviously, \(\Theta_{f}(s)=\Theta_{F}(s)=s\), \(\int_{1}^{\infty}\frac{1}{\Theta_{f}(s)+\Theta_{F}(s)}\,ds=\infty\). If also the associated conditions (3.1) and (3.3) or (3.6) hold, then it satisfies all the assumptions given in Theorem 3.1 or Theorem 3.2, and we can conclude that the problem (4.1)-(4.4) has at least one mild solution on \([0, b]\).
5 Conclusion
In this paper, we studied a new class of impulsive stochastic partial neutral evolution equations with infinite delay in Hilbert spaces. More precisely, by using stochastic analysis, the theory of analytic resolvent operators, fractional power of closed operators, the Darbo fixed point theorem, and the Darbo-Sadovskii fixed point theorem combined with the Hausdorff measure of noncompactness techniques, we investigated the existence of mild solutions of the impulsive stochastic system. The conditions are formulated and proved under which \(R(\cdot)\) is analytic and f, F satisfy the Carathéodory condition. Finally, an application is provided to illustrate the applicability of the new results.
References
Benchohra, M, Henderson, J, Ntouyas, SK: Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York (2006)
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
Hernández, E, Rabello, M, HenrÃquez, H: Existence of solutions for impulsive partial neutral functional differential equations. J. Math. Anal. Appl. 331, 1135-1158 (2007)
Park, JY, Balachandran, K, Annapoorani, N: Existence results for impulsive neutral functional integrodifferential equations with infinite delay. Nonlinear Anal. 71, 3152-3162 (2009)
Mao, X: Stochastic Differential Equations and Their Applications. Horwood, Chichester (1997)
Sakthivel, R, Revathi, P, Anthoni, SM: Existence of pseudo almost automorphic mild solutions to stochastic fractional differential equations. Nonlinear Anal. 75, 3339-3347 (2012)
Ren, Y, Cheng, X, Sakthivel, R: On time-dependent stochastic evolution equations driven by fractional Brownian motion in a Hilbert space with finite delay. Math. Methods Appl. Sci. 37, 2177-2184 (2014)
Revathi, P, Sakthivel, R, Ren, Y, Anthoni, SM: Existence of almost automorphic mild solutions to non-autonomous neutral stochastic differential equations. Appl. Math. Comput. 230, 639-649 (2014)
Balasubramaniam, P, Tamilalagan, P: Approximate controllability of a class of fractional neutral stochastic integro-differential inclusions with infinite delay by using Mainardis function. Appl. Math. Comput. 256, 232-246 (2015)
Sakthivel, R, Luo, J: Asymptotic stability of impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 356, 1-6 (2009)
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)
Hu, L, Ren, Y: Existence results for impulsive neutral stochastic functional integro-differential equations with infinite delays. Acta Appl. Math. 111, 303-317 (2010)
Lin, A, Ren, Y, Xia, N: On neutral impulsive stochastic integro-differential equations with infinite delays via fractional operators. Math. Comput. Model. 51, 413-424 (2010)
Yan, Z, Yan, X: Existence of solutions for impulsive partial stochastic neutral integrodifferential equations with state-dependent delay. Collect. Math. 64, 235-250 (2013)
Sakthivel, R, Revathi, P, Ren, Y: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal. 81, 70-86 (2013)
Yan, Z, Zhang, H: Asymptotic stability of fractional impulsive neutral stochastic partial integro-differential equations with state-dependent delay. Electron. J. Differ. Equ. 2013, 206 (2013)
Balasubramaniam, P, Kumaresan, N, Ratnavelu, K, Tamilalagan, P: Local and global existence of mild solution for impulsive fractional stochastic differential equations. Bull. Malays. Math. Sci. Soc. 38, 867-884 (2015)
Ren, Y, Chenga, X, Sakthivel, R: Impulsive neutral stochastic functional integro-differential equations with infinite delay driven by fBm. Appl. Math. Comput. 247, 205-212 (2014)
Hernández, E, O’Regan, D: On a new class of abstract impulsive differential equations. Proc. Am. Math. Soc. 141, 1641-1649 (2013)
Pierri, M, O’Regan, D, Rolnik, V: Existence of solutions for semi-linear abstract differential equations with not instantaneous impulses. Appl. Math. Comput. 219, 6743-6749 (2013)
Gautam, GR, Dabas, J: Mild solution for fractional functional integro-differential equation with not instantaneous impulse. Malaya J. Mat. 2, 428-437 (2014)
Yu, X, Wang, J: Periodic boundary value problems for nonlinear impulsive evolution equations on Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 22, 980-989 (2015)
Fu, X, Liu, X, Lu, B: On a new class of impulsive fractional evolution equations. Adv. Differ. Equ. 2015, 227 (2015)
Yan, Z, Lu, F: Existence results for a new class of fractional impulsive partial neutral stochastic integro-differential equations with infinite delay. J. Appl. Anal. Comput. 5, 329-346 (2015)
Hernández, E, O’Regan, D: Controllability of Volterra-Fredholm type systems in Banach spaces. J. Franklin Inst. 346, 95-101 (2009)
Obukhovski, V, Zecca, P: Controllability for systems governed by semilinear differential inclusions in a Banach space with a noncompact semigroup. Nonlinear Anal. 70, 3424-3436 (2009)
Grimmer, R, Pritchard, AJ: Analytic resolvent operators for integral equations in a Banach space. J. Differ. Equ. 50, 234-259 (1983)
Grimmer, R: Resolvent operators for integral equations in a Banach space. Trans. Am. Math. Soc. 273, 333-349 (1982)
Oka, H: Integrated resolvent operators. J. Integral Equ. Appl. 7, 193-232 (1995)
Hale, JK, Kato, J: Phase spaces for retarded equations with infinite delay. Funkc. Ekvacioj 21, 11-41 (1978)
Yan, Z, Zhang, H: Existence of solutions to impulsive fractional partial neutral stochastic integro-differential inclusions with state-dependent delay. Electron. J. Differ. Equ. 2013, 81 (2013)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Banas, J, Goebel, K: Measure of Noncompactness in Banach Space. Lecture Notes in Pure and Applied Mathematics. Dekker, New York (1980)
Rogovchenko, YV: Nonlinear impulse evolution systems and applications to population models. J. Math. Anal. Appl. 207, 300-315 (1997)
Agarwal, R, Meehan, M, O’Regan, D: Fixed Point Theory and Applications. Cambridge Tracts in Mathematics, pp. 178-179. Cambridge University Press, New York (2001)
Hino, Y, Murakami, S, Naito, T: Functional-Differential Equations with Infinite Delay. Lecture Notes in Mathematics, vol. 1473. Springer, Berlin (1991)
Acknowledgements
The authors wish to thank the anonymous referee for the kind comments. This work is supported by the National Natural Science Foundation of China (11461019), the President Fund of Scientific Research Innovation and Application of Hexi University (xz2013-10, XZ2014-22), the Scientific Research Project of Universities of Gansu Province (2014A-110).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors completed the paper, and they read and approved the final manuscript.
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
Yan, Z., Jia, X. On existence of solutions of a impulsive stochastic partial functional integro-differential equation with the measure of noncompactness. Adv Differ Equ 2016, 56 (2016). https://doi.org/10.1186/s13662-016-0782-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0782-x
MSC
- 34A37
- 34A60
- 34K40
- 60H15
Keywords
- impulsive stochastic partial neutral functional integro-differential equations
- Hausdorff measure of noncompactness
- infinite delay
- analytic resolvent operators
- fixed point theorem