# Existence for a Second-Order Impulsive Neutral Stochastic Integrodifferential Equations with Nonlocal Conditions and Infinite Delay

Authors: Dang Huan Diem
Journal: Chinese Journal of Mathematics
 (2014)

---

## Abstract

The current paper is concerned with the existence of mild solutions
for a class of second-order impulsive neutral stochastic integrodifferential equations
with nonlocal conditions and infinite delays in a Hilbert space. A sufficient condition
for the existence results is obtained by using the Krasnoselskii-Schaefer-type fixed point
theorem combined with theories of a strongly continuous cosine family of bounded linear
operators. Finally, an application to the stochastic nonlinear wave equation with infinite
delay is given.


---

## Body

## 1. Introduction

The theory of impulsive neutral differential equations has been emerging as an important area of investigation in recent years, stimulated by their numerous applications to problems from physics, mechanics, electrical engineering, medicine biology, ecology, and so on. Ordinary differential equations of first and second order with impulses have been treated in several works and we refer the reader to the monographs of Lakshmikantham et al. [1], the papers [2–5], and the references therein related to this matter. Besides, noise or stochastic perturbation is unavoidable and omnipresent in nature as well as in man-made systems. Therefore, it is of great significance to import the stochastic effects into the investigation of impulsive neutral differential equations. As the generalization of classic impulsive neutral differential equations, impulsive neutral stochastic integrodifferential equations with infinite delays have attracted the researchers’ great interest. There are few publications on well-posedness of solutions for these equations (e.g., see, [6–8] and the references therein).Recently, in [9], Cui and Yan proved sufficient conditions for the existence of fractional neutral stochastic integrodifferential equations with infinite delay of the form
(1)
D
t
α
[
x
(
t
)
+
G
(
t
,
x
t
)
]
=
-
A
x
(
t
)
+
f
(
t
,
x
t
)
+
∫
-
∞
t
‍
σ
(
t
,
s
,
x
s
)
d
W
(
s
)
,
+
f
(
t
,
x
t
)
+
∫
-
∞
t
‍
σ
(
t
,
s
,
x
s
)
d
W
(
s
)
,
J
≔
[
0
,
b
]
,
x
(
t
)
=
ϕ
(
t
)
,
t
∈
(
-
∞
,
0
]
,
where 0
<
α
<
1 and D
t
α denotes the Caputo fractional derivative operator of order α by means of Sadovskii's fixed point theorem. And very recently, also thanks to the Sadovskii fixed point theorem combined with a noncompact condition on the cosine family of operators, Arthi and Balachandran [10] established the controllability of the following damped second-order impulsive neutral functional differential systems with infinite delay:
(2)
d
d
t
[
x
′
(
t
)
-
g
(
t
,
x
t
)
]
=
A
x
(
t
)
+
𝒟
x
′
(
t
)
+
B
u
(
t
)
+
f
(
t
,
x
t
)
,



=
A
x
(
t
)
+
𝒟
x
′
(
t
)
+
B
u
(
t
)
+
f
(
t
,
x
t
)
2
,
2
t
i
≠
t
∈
J
≔
[
0
,
a
]
,
x
0
=
φ
∈
ℬ
,
x
′
(
0
)
=
ξ
∈
X
,
Δ
x
(
t
i
)
=
I
i
(
x
t
i
)
,
i
=
1
,
…
,
n
,
Δ
x
′
(
t
i
)
=
J
i
(
x
t
i
)
,
i
=
1
,
…
,
n
,
where 𝒟 is a bounded linear operator on a Banach space X with D
(
𝒟
)
⊂
D
(
A
).On the other hand, there has not been very much study of second-order impulsive neutral stochastic functional differential equations with infinite delays, while these have begun to gain attention recently. To be more precise, in [11], Balasubramaniam and Muthukumar discussed on approximate controllability of second-order stochastic distributed implicit functional differential systems with infinite delay. Cui and Yan [12] investigated the existence of mild solutions for impulsive neutral second-order stochastic evolution equations with nonlocal conditions. Mahmudov and McKibben [13] established the results concerning the global existence, uniqueness, approximation, and exact controllability of mild solutions for a class of abstract second-order damped McKean-Vlasov stochastic evolution equations in a real separable Hilbert space. However, up to now, the well-posedness of mild solutions for a class of second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions and infinite delays in a Hilbert spaces has not been considered in the literature. In order to fill this gap, based on ideas and techniques in the above works, in this paper, we will study the well-posedness of mild solutions for a class of second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions and infinite delays of the form
(3)
d
[
x
′
(
t
)
-
g
(
t
,
x
t
,
∫
0
t
‍
σ
1
(
t
,
s
,
x
s
)
d
s
)
]
=
[
A
x
(
t
)
+
f
(
t
,
x
t
,
∫
0
t
‍
σ
2
(
t
,
s
,
x
s
)
d
s
)
]
d
t
+
∫
-
∞
t
‍
σ
(
t
,
s
,
x
s
)
d
w
(
s
)
,
t
k
≠
t
∈
J
≔
[
0
,
T
]
,
Δ
x
(
t
k
)
=
I
k
1
(
x
(
t
k
-
)
)
,
k
=
{
1
,
…
,
m
}
=
:
1
,
m
¯
,
Δ
x
′
(
t
k
)
=
I
k
2
(
x
(
t
k
-
)
)
,
k
=
1
,
m
¯
,
x
′
(
0
)
=
x
1
∈
ℍ
,
x
(
0
)
-
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
=
x
0
=
φ
∈
ℬ
,
=
x
0
=
φ
∈
ℬ
,
for
a
.
e
.
s
∈
J
0
≔
(
-
∞
,
0
]
.
Here, x
(
·
) is a stochastic process taking values in a real separable Hilbert space ℍ; A
:
D
(
A
)
⊂
ℍ
→
ℍ is the infinitesimal generator of a strongly continuous cosine family on ℍ. The history x
t
:
J
0
→
ℍ, x
t
(
θ
)
=
x
(
t
+
θ
) for t
≥
0, belongs to the phase space ℬ, which will be described in Section 2. Assume that the mappings f
,
g
:
J
×
ℬ
×
ℍ
→
ℍ, σ
:
J
×
J
×
ℬ
→
ℒ
2
0,  σ
i
:
J
×
J
×
ℬ
→
ℍ, i
=
1,2,  I
k
1
,
I
k
2
:
ℍ
→
ℍ, k
=
1
,
m
¯, q
:
ℬ
n
→
ℬ are appropriate functions to be specified later. Furthermore, let 0
<
t
1
<
⋯
<
t
m
<
T be prefixed points, and Δ
x
(
t
k
)
=
x
(
t
k
+
)
-
x
(
t
k
-
) represents the jump of the function x at time t
k with I
k determining the size of the jump, where x
(
t
k
+
) and x
(
t
k
-
) represent the right and left limits of x
(
t
) at t
=
t
k, respectively. Similarly x
′
(
t
k
+
) and x
′
(
t
k
-
) denote, respectively, the right and left limits of x
′
(
t
) at t
k. Let φ
(
t
)
∈
ℒ
2
(
Ω
,
ℬ
) and x
1
(
t
) be ℍ-valued ℱ
t-measurable random variables independent of the Wiener process W with a finite second moment.The structure of this paper is as follows. In Section2, we briefly present some basic notations, preliminaries, and assumptions. The main results in Section 3 are devoted to study the well-posedness of mild solutions for (3) with their proofs. An example is given in Section 4 to illustrate the theory. In the last section, concluding remarks are given.


## 2. Preliminaries

In this section, we briefly recall some basic definitions and results for stochastic equations in infinite dimensions and cosine families of operators. For more details on this section, we refer the reader to [14–16].Let(
ℍ
,
∥
·
∥
ℍ
,
〈
·
,
·
〉
ℍ
) and (
𝕂
,
∥
·
∥
𝕂
,
〈
·
,
·
〉
𝕂
) denote two real separable Hilbert spaces, with their vector norms and their inner products, respectively. We denote by ℒ
(
𝕂
;
ℍ
) the set of all linear bounded operators from 𝕂 into ℍ, which is equipped with the usual operator norm ∥
·
∥. In this paper, we use the symbol ∥
·
∥ to denote norms of operators regardless of the spaces potentially involved when no confusion possibly arises. Let (
Ω
,
ℱ
,
{
ℱ
t
}
t
≥
0
,
P
) be a complete filtered probability space satisfying the usual condition (i.e., it is right continuous and ℱ
0 contains all P-null sets). Let W
=
(
W
(
t
)
)
t
≥
0 be a Q-Wiener process defined on the probability space (
Ω
,
ℱ
,
{
ℱ
t
}
t
≥
0
,
P
) with the covariance operator Q such that T
r
(
Q
)
<
∞. We assume that there exists a complete orthonormal system {
e
k
}
k
≥
1 in 𝕂, a bounded sequence of nonnegative real numbers λ
k such that Q
e
k
=
λ
k
e
k
,
k
=
1,2
,
…, and a sequence of independent Brownian motions {
β
k
}
k
≥
1 such that 〈
W
(
t
)
,
e
〉
𝕂
=
∑
k
=
1
∞
‍
λ
k
〈
e
k
,
e
〉
𝕂
β
k
(
t
)
,
e
∈
𝕂
,
t
≥
0.Letℒ
2
0
=
ℒ
2
(
Q
1
/
2
𝕂
;
ℍ
) be the space of all Hilbert-Schmidt operators from Q
1
/
2
𝕂 to ℍ with the inner product 〈
Ψ
,
ϕ
〉
ℒ
2
0
=
T
r
[
Ψ
Q
ϕ
*
], where ϕ
* is the adjoint of the operator ϕ.The collection of all strongly measurable, square-integrableℍ-valued random variables, denoted by ℒ
2
(
Ω
,
ℍ
), is a Banach space equipped with norm ∥
x
∥
ℒ
2
=
(
E
∥
x
∥
2
)
1
/
2. Let C
(
J
,
ℒ
2
(
Ω
,
ℍ
)
) be the Banach space of all continuous maps from J to ℒ
2
(
Ω
,
ℍ
) satisfying the condition sup
⁡
t
∈
J
E
∥
x
(
t
)
∥
2
<
∞. An important subspace is given by ℒ
2
0
(
Ω
,
ℍ
)
=
{
f
∈
ℒ
2
(
Ω
,
ℍ
)
:
f
is
ℱ
0
-measurable
}.Next, to be able to access well-posedness of mild solutions for (3) we need to introduce theory of cosine functions of operators and the second-order abstract Cauchy problem.Definition 1.
(1) The one-parameter family{
C
(
t
)
}
t
∈
ℝ
⊂
ℒ
(
ℍ
) is said to be a strongly continuous cosine family if the following hold:(i)
C
(
0
)
=
I, I is the identity operators in ℍ;
(ii)
C
(
t
)
x is continuous in t on ℝ for any x
∈
ℍ;
(iii)
C
(
t
+
s
)
+
C
(
t
-
s
)
=
2
C
(
t
)
C
(
s
) for all t
,
s
∈
ℝ.
(2) The corresponding strongly continuous sine family{
S
(
t
)
}
t
∈
ℝ
⊂
ℒ
(
ℍ
), associated with the given strongly continuous cosine family {
C
(
t
)
}
t
∈
ℝ
⊂
ℒ
(
ℍ
), is defined by
(4)
S
(
t
)
x
=
∫
0
t
‍
C
(
s
)
x
d
s
,
t
∈
ℝ
,
x
∈
ℍ
.
(3) The infinitesimal generatorA
:
ℍ
→
ℍ of {
C
(
t
)
}
t
∈
ℝ
⊂
ℒ
(
ℍ
) is given by
(5)
A
x
=
d
2
d
t
2
C
(
t
)
x
|
t
=
0
,
for all x
∈
D
(
A
)
=
{
x
∈
ℍ
:
C
(
·
)
∈
C
2
(
ℝ
,
ℍ
)
}.It is well known that the infinitesimal generatorA is a closed, densely defined operator on ℍ, and the following properties hold; see Travis and Webb [16].Proposition 2.
Suppose thatA is the infinitesimal generator of a cosine family of operators {
C
(
t
)
}
t
∈
ℝ. Then, the following hold:(i)
there exist a pair of constants
M
A
≥
1
and
α
≥
0
such that
∥
C
(
t
)
∥
≤
M
A
e
α
|
t
|
and hence,
∥
S
(
t
)
∥
≤
M
A
e
α
|
t
|
;
(ii)
A
∫
s
r
‍
S
(
u
)
x
d
u
=
[
C
(
r
)
-
C
(
s
)
]
x
, for all
0
≤
s
≤
r
<
∞
;
(iii)
there exist
N
≥
1
such that
∥
S
(
s
)
-
S
(
r
)
∥
≤
N
|
∫
s
r
‍
e
α
|
s
|
d
s
|
,  0
≤
s
≤
r
<
∞
.Thanks to Proposition2 and the uniform boundedness principle, as a direct consequence we see that both {
C
(
t
)
}
t
∈
J and {
S
(
t
)
}
t
∈
J are uniformly bounded by M
~
=
M
A
e
α
|
T
|.The existence of solutions for the second-order linear abstract Cauchy problem(6)
x
′′
(
t
)
=
A
x
(
t
)
+
h
(
t
)
,
t
∈
J
,
x
(
0
)
=
z
,
x
′
(
0
)
=
w
,
where h
:
J
→
ℍ is an integrable function has been discussed in [17]. Similarly, the existence of solutions of the semilinear second-order abstract Cauchy problem has been treated in [16].Definition 3.
The functionx
(
·
) given by
(7)
x
(
t
)
=
C
(
t
)
z
+
S
(
t
)
w
+
∫
0
t
‍
S
(
t
-
s
)
h
(
s
)
d
s
,
t
∈
J
,
is called a mild solution of (6), and that when z
∈
ℍ, x
(
·
) is continuously differentiable and
(8)
x
′
(
t
)
=
A
S
(
t
)
z
+
C
(
t
)
w
+
∫
0
t
‍
C
(
t
-
s
)
h
(
s
)
d
s
,
t
∈
J
.For additional details about cosine function theory, we refer the reader to [16, 17].Now we define the abstract phase spaceℬ. Assume that l
:
J
0
→
(
0
,
+
∞
) is a continuous function with l
0
=
∫
J
0
‍
l
(
t
)
d
t
<
∞. For any a
>
0, we define
(9)
ℬ
:
=
{
∫
J
0
l
(
s
)
sup
⁡
θ
∈
[
s
,
0
]
⁡
(
E
∥
ψ
(
θ
)
∥
2
)
1
/
2
d
s
<
+
∞
ψ
:
J
0
→
ℍ
:
(
E
∥
ψ
(
θ
)
∥
2
)
1
/
2
is
a
bounded
and
measurable
function
on
⁡
[
-
a
,
0
]
and
∫
J
0
l
(
s
)
sup
⁡
θ
∈
[
s
,
0
]
⁡
(
E
∥
ψ
(
θ
)
∥
2
)
1
/
2
d
s
<
+
∞
}
.
If ℬ is endowed with the norm
(10)
∥
ψ
∥
ℬ
=
∫
J
0
‍
l
(
s
)
sup
⁡
θ
∈
[
s
,
0
]
(
E
∥
ψ
(
θ
)
∥
2
)
1
/
2
d
s
,
∀
ψ
∈
ℬ
,
then it is clear that (
ℬ
,
∥
·
∥
ℬ
) is a Banach space [18].LetJ
T
=
(
-
∞
,
T
]. We consider the space
(11)
ℬ
T
:
=
{
1
,
m
¯
x
:
J
T
⟶
ℍ
such
that
x
k
∈
C
(
J
k
,
ℍ
)
and
there
exist
x
(
t
k
-
)
and
x
(
t
k
+
)
with
x
(
t
k
-
)
=
x
(
t
k
+
)
,
x
(
0
)
-
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
=
φ
∈
ℬ
,
k
=
1
,
m
¯
}
,
where x
k is the restriction of x to J
k
=
(
t
k
,
t
k
+
1
],  k
=
1
,
m
¯. Set ∥
·
∥
T as a seminorm in ℬ
T defined by
(12)
∥
x
∥
T
=
∥
φ
∥
ℬ
+
sup
⁡
s
∈
J
(
E
∥
x
(
s
)
∥
2
)
1
/
2
,
x
∈
ℬ
T
.Lemma 4 (see [2]).
Assume thatx
∈
ℬ
T, then for t
∈
J, x
t
∈
ℬ. Moreover,
(13)
l
0
(
E
∥
x
(
t
)
∥
2
)
1
/
2
≤
∥
x
t
∥
ℬ
≤
∥
x
0
∥
ℬ
+
l
0
sup
⁡
s
∈
[
0
,
t
]
(
E
∥
x
(
s
)
∥
2
)
1
/
2
.Next, we present the Krasnoselskii-Schaefer-type fixed point theorem appearing in [19], which is our main tool.Lemma 5 (see [19]).
LetΠ
1 and Π
2 be two operators of ℍ such that (a)
Π
1 is a contraction, and
(b)
Π
2 is completely continuous.
Then, either
(i)
the operator equationΠ
1
x
+
Π
2
x
=
x has a solution, or
(ii)
the setΛ
=
{
x
∈
ℍ
:
λ
Π
1
(
x
/
λ
)
+
λ
Π
2
x
=
x
} is unbounded for λ
∈
(
0,1
).Now, we give the definition of mild solution for (3).Definition 6.
Anℱ
t-adapted stochastic process x
:
J
T
→
ℍ is called a mild solution of (3) on J
T if x
(
0
)
-
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
=
x
0
=
φ
∈
ℬ satisfying q
,
x
0
∈
ℒ
2
0
(
Ω
,
ℍ
) and x
′
(
0
)
=
x
1
∈
ℍ satisfying x
1
∈
ℒ
2
0
(
Ω
,
ℍ
); the functions C
(
t
-
s
)
g
(
s
,
x
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
x
τ
)
d
τ
) and S
(
t
-
s
)
f
(
s
,
x
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
x
τ
)
d
τ
) are integrable on J such that the following conditions hold:(i)
{
x
t
:
t
∈
J
} is a ℬ-valued stochastic process;
(ii)
for arbitraryt
∈
J, x
(
t
) satisfies the following integral equation:
(14)
x
(
t
)
=
C
(
t
)
[
φ
(
0
)
+
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
0
)
]
+
S
(
t
)
[
x
1
-
g
(
0
,
x
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
x
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
x
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
x
(
t
k
-
)
)
+
∫
0
t
‍
S
(
t
-
s
)
∫
-
∞
s
‍
σ
(
s
,
τ
,
x
τ
)
d
W
(
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
x
(
t
k
-
)
)
;
(iii)
Δ
x
(
t
k
)
=
I
k
1
(
x
(
t
k
-
)
), Δ
x
′
(
t
k
)
=
I
k
2
(
x
(
t
k
-
)
), k
=
1
,
m
¯.In this paper, we will work under the following assumptions.(H1)
The cosine family of operators{
C
(
t
)
}
t
∈
J on ℍ and the corresponding sine family {
S
(
t
)
}
t
∈
J are compact for t
>
0, and there exist positive constants M
C, M
S such that for all t
∈
J,
(15)
∥
C
(
t
)
∥
2
≤
M
C
,
∥
S
(
t
)
∥
2
≤
M
S
.
(H2)
There exists a positive constantM
σ
1 such that for all t
,
s
∈
J
,
x
,
y
∈
ℬ
(16)
E
∥
∫
0
t
‍
[
σ
1
(
t
,
s
,
x
)
-
σ
1
(
t
,
s
,
y
)
]
d
s
∥
2
≤
M
σ
1
∥
x
-
y
∥
ℬ
2
.
(H3)
The functiong
:
J
×
ℬ
×
ℍ
→
ℍ is continuous and there exists a positive constant M
g such that for all t
∈
J,x
1
,
x
2
∈
ℬ, y
1
,
y
2
∈
ℍ
(17)
E
∥
g
(
t
,
x
1
,
y
1
)
-
g
(
t
,
x
2
,
y
2
)
∥
2
≤
M
g
(
∥
x
1
-
x
2
|
ℬ
2
+
E
∥
y
1
-
y
2
∥
2
)
.(H4)
For each(
t
,
s
)
∈
J
×
J, the function σ
2
(
t
,
s
,
·
)
:
ℬ
→
ℍ is continuous and for each x
∈
ℬ, the function σ
2
(
·
,
·
,
x
)
:
J
×
J
→
ℍ is strongly measurable. There exists an integrable function μ
:
J
→
[
0
,
∞
) and a positive constant M
σ such that
(18)
E
∥
σ
2
(
t
,
s
,
x
)
∥
2
≤
M
σ
μ
(
s
)
Ω
1
(
∥
x
∥
ℬ
2
)
,whereΩ
1
:
[
0
,
∞
)
→
(
0
,
∞
) is a continuous nondecreasing function. Assume that the finite bound of ∫
0
t
‍
M
σ
μ
(
s
)
d
s is M
μ.
(H5)
The functionf
:
J
×
ℬ
×
ℍ
→
ℍ satisfies the following Carathéodory conditions:
(i)
t
→
f
(
t
,
x
,
y
) is measurable for each (
x
,
y
)
∈
ℬ
×
ℍ;
(ii)
(
x
,
y
)
→
f
(
t
,
x
,
y
) is continuous for almost all t
∈
J;
(iii)
E
∥
f
(
t
,
x
,
y
)
∥
2
≤
η
(
t
)
Ω
2
(
∥
x
∥
ℬ
2
+
E
∥
y
∥
2
) for almost all t
∈
J, y
∈
ℍ,
whereη
∈
ℒ
1
(
J
,
[
0
,
∞
)
) and Ω
2
:
[
0
,
∞
)
→
(
0
,
∞
) is a continuous increasing function.
(H6)
The functionsI
k
1
,
I
k
2
∈
C
(
ℍ
,
ℍ
) and there exist positive constants M
I
k
1, M
I
k
2 such that for all x
∈
ℍ,
(19)
E
∥
I
k
1
(
x
)
∥
2
≤
M
I
k
1
,
E
∥
I
k
2
(
x
)
∥
2
≤
M
I
k
2
,
k
=
1
,
m
¯
.
(H7)
For eachφ
∈
ℬ, h
(
t
)
=
lim
⁡
c
→
∞
∫
-
c
0
‍
σ
(
t
,
s
,
φ
)
d
W
(
s
) exists and is continuous. Further, there exists a positive constant M
h such that
(20)
E
∥
h
(
t
)
∥
2
≤
M
h
.(H8)
The functionσ
:
J
×
J
×
ℬ
→
ℒ
(
𝕂
,
ℍ
) is continuous and there exists a positive constant M
σ such that for all s
,
t
∈
J and ν
∈
ℬ
(21)
E
∥
σ
(
t
,
s
,
ν
)
∥
ℒ
2
0
2
≤
M
σ
.(H9)
The functionq
:
ℬ
n
→
ℬ is continuous and there exists a positive constant M
q such that for all x
,
y
∈
ℬ, t
∈
J
0
(22)
E
∥
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
t
)
∥
2
≤
M
q
.(H10)
Assume that the following relationship holds:
(23)
∫
0
T
‍
Ω
^
(
s
)
d
s
≤
∫
M
1
∞
‍
d
s
Ω
1
(
s
)
+
Ω
2
(
s
)
,
Ω
^
(
t
)
≔
max
⁡
⁡
{
M
2
η
(
t
)
,
M
σ
T
μ
(
t
)
}
,
C
1
:
=
T
sup
⁡
(
t
,
s
)
∈
J
×
J
σ
1
2
(
t
,
s
,
0
)
,
C
2
:
=
sup
⁡
t
∈
J
∥
g
(
t
,
0,0
)
∥
2
,
28
l
0
2
T
2
M
C
M
g
(
1
+
2
M
σ
1
)
<
1
,
M
1
≔
2
∥
φ
∥
ℬ
2
+
2
l
0
2
M
⋆
1
-
28
l
0
2
T
2
M
C
M
g
(
1
+
2
M
σ
1
)
,
M
2
≔
14
l
0
2
T
M
S
1
-
28
l
0
2
T
2
M
C
M
g
(
1
+
2
M
σ
1
)
,
M
⋆
∶
=
14
M
C
[
E
∥
φ
(
0
)
∥
2
+
M
q
]
+
14
M
S
[
E
∥
x
1
∥
2
+
2
(
M
g
∥
φ
∥
ℬ
2
+
C
2
)
]
+
28
T
2
M
C
M
g
C
1
+
14
T
2
M
C
C
2
+
14
T
2
M
S
(
M
h
+
T
T
r
(
Q
)
M
σ
)
+
7
M
C
∑
k
=
1
m
‍
M
I
k
1
+
7
M
S
∑
k
=
1
m
‍
M
I
k
2
.


## 3. Main Results

In this section, we will investigate the existence of mild solutions for a class of second- order impulsive neutral stochastic integrodifferential equations with nonlocal conditions and infinite delays in Hilbert spaces.We consider the operatorΠ
:
ℬ
T
→
ℬ
T defined by
(24)
Π
x
(
t
)
=
φ
(
t
)
+
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
t
)
,
t
∈
J
0
;
Π
x
(
t
)
=
C
(
t
)
[
φ
(
0
)
+
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
0
)
]
+
S
(
t
)
[
x
1
-
g
(
0
,
x
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
x
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
x
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
x
(
t
k
-
)
)
+
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
x
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
x
(
t
k
-
)
)
,
t
∈
J
.Forφ
∈
ℬ, we defined φ
~ by
(25)
φ
~
(
t
)
=
{
φ
(
t
)
if
t
∈
J
0
,
C
(
t
)
[
φ
(
0
)
+
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
0
)
]
if
t
∈
J
.
Then φ
~
∈
ℬ
T.Letx
(
t
)
=
u
(
t
)
+
φ
~
(
t
), t
∈
J
T. It is easy to see that x satisfies (14) if and only if u satisfies u
0
=
0, x
′
(
0
)
=
x
1
=
u
′
(
0
)
=
u
1, and
(26)
u
(
t
)
=
S
(
t
)
[
u
1
-
g
(
0
,
φ
~
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
∫
-
∞
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
,
t
∈
J
.Letℬ
T
0
=
{
u
∈
ℬ
T
:
u
0
=
0
∈
ℬ
}. For any u
∈
ℬ
T
0, we have
(27)
∥
u
∥
T
=
∥
u
0
∥
ℬ
+
sup
⁡
s
∈
J
(
E
∥
u
(
s
)
∥
2
)
1
/
2
=
sup
⁡
s
∈
J
(
E
∥
u
(
s
)
∥
2
)
1
/
2
,
and thus (
ℬ
T
0
,
∥
·
∥
T
) is a Banach space. Set
(28)
B
r
=
{
u
∈
ℬ
T
0
:
∥
u
∥
T
2
≤
r
}
for
some
r
≥
0
.
Then B
r
⊆
ℬ
T
0 is uniformly bounded, and for u
∈
B
r, by Lemma 4, we have
(29)
∥
u
t
+
φ
~
t
∥
ℬ
2
≤
2
(
∥
u
t
∥
ℬ
2
+
∥
φ
~
t
∥
ℬ
2
)
≤
4
(
l
0
2
sup
⁡
s
∈
[
0
,
t
]
(
E
∥
u
(
s
)
∥
2
)
+
∥
u
0
∥
ℬ
2
≤
4
mm
+
l
0
2
sup
⁡
s
∈
[
0
,
t
]
(
E
∥
φ
~
(
s
)
∥
2
)
+
∥
φ
~
0
∥
ℬ
2
)
≤
4
l
0
2
(
r
+
2
M
C
[
E
∥
φ
(
0
)
∥
2
+
M
q
]
)
+
4
∥
φ
~
∥
ℬ
2
∶
=
r
⋆
.




Define the map Π
¯
:
ℬ
T
0
→
ℬ
T
0 defined by Π
¯
u
(
t
)
=
0, for t
∈
J
0 and
(30)
Π
-
u
(
t
)
=
S
(
t
)
[
u
1
-
g
(
0
,
φ
~
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
,
t
∈
J
.Now, we decomposeΠ
¯ as Π
¯
=
Π
¯
1
+
Π
¯
2, where
(31)
Π
-
1
u
(
t
)
=
S
(
t
)
[
u
1
-
g
(
0
,
φ
~
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
,
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
,
t
∈
J
,
Π
-
2
u
(
t
)
=
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
,
t
∈
J
.
Obviously, the operator Π having a fixed point is equivalent to Π
¯ having one. Now, we will show that the operators Π
¯
1, Π
¯
2 satisfy all the conditions of Lemma 5.Lemma 7.
Let the assumptions (H1)–(H10) hold. ThenΠ
¯
1 is contractive.Proof.
Letu
,
v
∈
ℬ
T
0. Then, by our assumptions and Lemma 4, for each t
∈
J, we have
(32)
E
∥
(
Π
-
1
u
)
(
t
)
-
(
Π
-
1
v
)
(
t
)
∥
2
≤
T
2
M
C
M
g
(
1
+
M
σ
1
)
∥
u
t
-
v
t
∥
ℬ
2
≤
2
l
0
2
T
2
M
C
M
g
(
1
+
M
σ
1
)
sup
⁡
s
∈
J
E
∥
u
(
s
)
-
v
(
s
)
∥
2
.
Since ∥
u
0
∥
ℬ
2
=
0 and ∥
v
0
∥
ℬ
2
=
0. Taking the supremum over t, we obtain
(33)
∥
(
Π
-
1
u
)
-
(
Π
-
1
v
)
∥
T
2
≤
2
l
0
2
T
2
M
C
M
g
(
1
+
M
σ
1
)
∥
u
-
v
∥
T
2
.
By assumption (H10), we conclude that Π
¯
1 is a contraction on ℬ
T
0. Thus we have completed the proof of Lemma 7.Lemma 8.
Let the assumptions (H1)–(H10) hold. ThenΠ
¯
2 is completely continuous.Proof.
The proof of the lemma is long. Therefore it is convenient to divide it into the following four steps.
Step
1. Π
¯
2 maps bounded sets to bounded sets in ℬ
T
0.
Indeed, it is enough to show that there exists a positive constantΔ such that for each u
∈
B
r
=
{
u
∈
ℬ
T
0
:
∥
u
∥
T
2
≤
r
}, one has E
∥
Π
¯
2
u
∥
T
2
≤
Δ. By our assumptions, Hölder's inequality, and Burkholder-Davis-Gundy's inequality, for t
∈
J, we have
(34)
E
∥
Π
-
2
u
(
t
)
∥
2
≤
4
E
∥
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
∥
2
+
4
E
∥
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
∥
2
+
4
E
∥
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
+
4
E
∥
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
≤
4
[
∑
k
=
1
m
‍
M
S
T
Ω
2
(
r
⋆
+
M
μ
Ω
1
(
r
⋆
)
)
∫
0
T
‍
η
(
s
)
d
s
+
M
S
T
2
(
2
M
h
+
2
T
r
(
Q
)
T
M
σ
)
+
M
C
∑
k
=
1
m
‍
M
I
k
1
+
M
S
∑
k
=
1
m
‍
M
I
k
2
]
∶
=
Δ
.
Then, for each u
∈
B
r
=
{
u
∈
ℬ
T
0
:
∥
u
∥
T
2
≤
r
}, we get E
∥
Π
¯
2
u
∥
T
2
≤
Δ.
Step
2. Π
¯
2 maps bounded sets into equicontinuous sets of ℬ
T
0.
Let0
<
ν
1
<
ν
2
≤
T, for each u
∈
B
r
=
{
u
∈
ℬ
T
0
:
∥
u
∥
T
2
≤
r
}. Let ν
1
,
ν
2
∈
J
∖
{
t
1
,
t
2
,
…
,
t
m
}. Then, by our assumptions, Hölder's inequality, and Burkholder-Davis-Gundy's inequality, we get
(35)
E
∥
(
Π
-
2
u
)
(
ν
1
)
-
(
Π
-
2
u
)
(
ν
2
)
∥
2
≤
8
E
∥
∫
0
ν
1
[
S
(
ν
1
-
s
)
-
S
(
ν
2
-
s
)
]
f
m
×
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
∥
2
+
8
E
∥
∫
ν
1
ν
2
S
(
ν
2
-
s
)
f
m
×
(
s
,
u
s
+
φ
~
s
,
∫
0
s
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
∥
2
+
8
E
∥
∫
0
ν
1
[
S
(
ν
1
-
s
)
-
S
(
ν
2
-
s
)
]
m
×
[
h
(
s
)
+
∫
0
s
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
∥
2
+
8
E
∥
[
∫
4
2
4
]
∫
ν
1
ν
2
S
(
ν
2
-
s
)
m
×
[
h
(
s
)
+
∫
0
s
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
∥
2
+
8
E
∥
∑
0
<
t
k
<
ν
1
[
C
(
ν
1
-
t
k
)
-
C
(
ν
2
-
t
k
)
]
m
×
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∑
33
3
33
222
∥
2
+
8
E
∥
∑
ν
1
<
t
k
<
ν
2
C
(
ν
2
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
+
8
E
∥
∑
0
<
t
k
<
ν
1
[
S
(
ν
1
-
t
k
)
-
S
(
ν
2
-
t
k
)
]
m
×
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∑
e
e
∥
2
+
8
E
∥
∑
ν
1
<
t
k
<
ν
2
S
(
ν
2
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
≤
8
T
∫
0
ν
1
∥
S
(
ν
1
-
s
)
-
S
(
ν
2
-
s
)
∥
2
η
(
s
)
Ω
2
(
r
⋆
)
d
s
+
8
T
[
M
h
+
T
r
(
Q
)
T
M
σ
]
×
∫
0
ν
1
∥
S
(
ν
1
-
s
)
-
S
(
ν
2
-
s
)
∥
2
d
s
+
8
(
ν
2
-
ν
1
)
∫
ν
1
ν
2
‍
∥
S
(
ν
2
-
s
)
∥
2
η
(
s
)
Ω
2
(
r
⋆
)
d
s
+
8
(
ν
2
-
ν
1
)
[
M
h
+
T
r
(
Q
)
(
ν
2
-
ν
1
)
M
σ
]
×
∫
ν
1
ν
2
∥
S
(
ν
2
-
s
)
∥
2
d
s
+
8
∑
0
<
t
k
<
ν
1
∥
C
(
ν
1
-
t
k
)
-
C
(
ν
2
-
t
k
)
∥
2
M
I
k
1
+
8
∑
ν
1
<
t
k
<
ν
2
∥
C
(
ν
2
-
t
k
)
∥
2
M
I
k
1
+
8
∑
0
<
t
k
<
ν
1
∥
S
(
ν
1
-
t
k
)
-
S
(
ν
2
-
t
k
)
∥
2
M
I
k
2
+
8
∑
ν
1
<
t
k
<
ν
2
∥
S
(
ν
2
-
t
k
)
∥
2
M
I
k
2
.
The right-hand side of the above inequality which is independent of u
∈
B
r tends to zero as ν
2
-
ν
1
→
0. Thus, the set {
Π
¯
2
(
u
)
:
u
∈
B
r
} is equicontinuous. (Note that we consider only the case 0
<
ν
1
<
ν
2
≤
T; this proves the equicontinuity for the case where t
≠
t
k, k
=
1
,
m
¯. Easily we prove the equicontinuity for the case where t
=
t
k. And also the other cases ν
1
<
ν
2
≤
0 and ν
1
≤
0
≤
ν
2
≤
T are very simple.)
Step
3. Π
¯
2
:
ℬ
T
0
→
ℬ
T
0 is continuous.
Let{
u
(
n
)
}
n
=
0
∞
⊆
ℬ
T
0, with u
(
n
)
→
u in ℬ
T
0. Then, there is a number r
>
0 such that ∥
u
(
n
)
∥
≤
r for all n and a.e. t
∈
J, so u
(
n
)
∈
B
r and u
∈
B
r. In view of (29), for t
∈
J, we have ∥
u
t
+
φ
~
t
∥
ℬ
2
≤
r
⋆.
By Definition6, the assumptions (H5)–(H8),
(36)
f
(
t
,
u
t
(
n
)
+
φ
~
t
,
∫
0
t
‍
σ
2
(
s
,
τ
,
u
τ
(
n
)
+
φ
~
τ
)
d
τ
)
⟶
f
(
t
,
u
t
+
φ
~
t
,
∫
0
t
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
,
for each t
∈
J, and since
(37)
E
∥
f
(
t
,
u
t
(
n
)
+
φ
~
t
,
∫
0
t
‍
σ
2
(
s
,
τ
,
u
τ
(
n
)
+
φ
~
τ
)
d
τ
)
-
f
(
t
,
u
t
+
φ
~
t
,
∫
0
t
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
∥
2
≤
2
η
(
t
)
Ω
2
(
r
⋆
)
thanks to the dominated convergence theorem, we obtain that
(38)
∥
Π
-
2
u
(
n
)
-
Π
-
2
u
∥
T
2
≤
4
T
M
S
∫
0
t
E
∥
f
(
t
,
u
t
(
n
)
+
φ
~
t
,
∫
0
t
σ
2
(
s
,
τ
,
u
τ
(
n
)
+
φ
~
τ
)
d
τ
)
‍
≤
4
T
M
S
mm
-
f
(
t
,
u
t
+
φ
~
t
,
∫
0
t
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
∥
2
d
s
+
4
T
M
S
T
r
(
Q
)
∫
0
t
∫
0
s
E
∥
σ
(
s
,
τ
,
u
τ
(
n
)
+
φ
~
τ
)
∫
0
t
∫
0
s
E
∥
mmm
-
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
(
s
,
τ
,
u
τ
(
n
)
+
φ
~
τ
)
∥
2
d
τ
d
s
+
4
∑
0
<
t
k
<
t
‍
∥
C
(
t
-
t
k
)
∥
2
E
∥
I
k
1
(
u
(
n
)
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
111111111111111111111111
-
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
+
4
∑
0
<
t
k
<
t
‍
∥
S
(
t
-
t
k
)
∥
2
E
∥
I
k
2
(
u
(
n
)
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
111111111111111111111111
-
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
→
n
→
∞
0
.



Thus, Π
¯
2 is continuous.
Step
4. Π
¯
2 maps B
r onto a precompact set in B
r. That is, for every fixed t
∈
J, the set V
¯
(
t
)
=
{
(
Π
¯
2
u
)
(
t
)
:
u
∈
B
r
} is precompact in B
r.
It is obvious thatV
¯
(
0
)
=
{
(
Π
¯
2
u
)
(
0
)
} is precompact. Let 0
<
t
≤
T be fixed and ϵ a real number satisfying ϵ
∈
(
0
,
t
). For u
∈
B
r, we define the operator
(39)
(
Π
-
2
ϵ
⁡
u
)
(
t
)
=
∫
0
t
-
ϵ
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
-
ϵ
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
-
ϵ
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
-
ϵ
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
.
Since C
(
t
), S
(
t
), t
>
0, are compact, it follows that the set V
¯
ϵ
(
t
)
=
{
(
Π
¯
2
ϵ
u
)
(
t
)
:
u
∈
B
r
} is precompact in ℍ, for every ϵ, ϵ
∈
(
0
,
t
). Moreover, also by Hölder's inequality and Burkholder-Davis-Gundy's inequality, for each u
∈
B
r, we get
(40)
E
∥
(
Π
-
2
u
)
(
t
)
-
(
Π
-
2
ϵ
⁡
u
)
(
t
)
∥
2
≤
4
ϵ
∫
t
-
ϵ
t
‍
∥
S
(
t
-
s
)
∥
2
×
E
∥
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
∥
2
d
s
+
4
ϵ
∫
t
-
ϵ
t
‍
∥
S
(
t
-
s
)
∥
2
×
E
∥
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
∥
2
d
s
+
4
∑
t
-
ϵ
<
t
k
<
t
‍
∥
C
(
t
-
t
k
)
∥
2
E
∥
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
+
4
∑
t
-
ϵ
<
t
k
<
t
‍
∥
S
(
t
-
t
k
)
∥
2
E
∥
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
∥
2
≤
4
ϵ
M
S
(
∫
t
-
ϵ
t
‍
η
(
s
)
Ω
2
(
r
⋆
)
d
s
+
2
M
h
T
+
2
T
2
T
r
(
Q
)
M
σ
)
+
4
M
C
∑
t
-
ϵ
<
t
k
<
t
‍
M
I
k
1
+
4
M
S
∑
t
-
ϵ
<
t
k
<
t
‍
M
I
k
2
→
ϵ
→
0
0
,
and there are precompact sets arbitrarily close to the set {
(
Π
¯
2
u
)
(
t
)
:
u
∈
B
r
}. Thus, the set {
(
Π
¯
2
u
)
(
t
)
:
u
∈
B
r
} is precompact in B
r.
Finally, by the Arzelá-Ascoli theorem, we can conclude that the operatorΠ
¯
2 is completely continuous. Thus we have completed the proof of Lemma 8.In order to study the existence results for system (3), we consider the following nonlinear operator equation:
(41)
x
(
t
)
=
λ
Π
~
x
(
t
)
,
λ
∈
(
0,1
)
,
where Π
~ is already defined. The following lemma proves that a priori bound exists for the solution of the above equation.Lemma 9.
If the assumptions (H1)–(H10) hold. Then, there exists a priori boundC
*
>
0 such that
(42)
∥
x
t
∥
ℬ
2
≤
C
*
,
t
∈
J
,
where C
* depends only on T and on the functions Ω
^ and Ω
i, i
=
1,2.Proof.
From (41), by our assumptions, Hölder's inequality and Burkholder-Davis-Gundy's inequality, for t
∈
J, we have
(43)
E
∥
x
(
t
)
∥
2
≤
14
M
C
[
E
∥
φ
(
0
)
∥
2
+
M
q
]
+
14
M
S
[
E
∥
x
1
∥
2
+
2
(
M
g
∥
φ
∥
ℬ
2
+
C
2
)
]
+
14
T
2
M
C
[
M
g
(
[
1
+
2
M
σ
1
]
∥
x
t
∥
ℬ
2
+
2
C
1
)
+
C
2
]
+
7
T
M
S
×
∫
0
t
‍
η
(
s
)
Ω
2
(
∥
x
s
∥
ℬ
2
+
M
σ
T
∫
0
s
‍
μ
(
τ
)
Ω
1
(
∥
x
τ
∥
ℬ
2
)
d
τ
)
d
s
+
14
T
2
M
S
(
M
h
+
T
T
r
(
Q
)
M
σ
)
+
7
M
C
∑
k
=
1
m
‍
M
I
k
1
+
7
M
S
∑
k
=
1
m
‍
M
I
k
2
.
Thus, again by Lemma 4, for every t
∈
J, we obtain
(44)
∥
x
t
∥
ℬ
2
≤
2
∥
φ
∥
ℬ
2
+
2
l
0
2
sup
⁡
s
∈
[
0
,
t
]
E
∥
x
(
s
)
∥
2
≤
2
∥
φ
∥
ℬ
2
+
2
l
0
2
×
{
∫
0
s
‍
M
⋆
+
14
T
2
M
C
M
g
[
1
+
2
M
σ
1
]
∥
x
t
∥
ℬ
2
+
7
T
M
S
×
×
∫
0
t
‍
η
(
s
)
Ω
2
×
×
(
∥
x
s
∥
ℬ
2
+
M
σ
T
∫
0
s
‍
μ
(
τ
)
Ω
1
(
∥
x
τ
∥
ℬ
2
)
d
τ
)
d
s
}
.
Now, we consider the functionς defined by
(45)
ς
(
t
)
∶
=
sup
⁡
s
∈
[
0
,
t
]
⁡
∥
x
s
∥
ℬ
2
,
t
∈
J
.
Then the function ς
(
t
) is nondecreasing in J, and we get
(46)
ς
(
t
)
≤
2
∥
φ
∥
ℬ
2
+
2
l
0
2
sup
⁡
s
∈
[
0
,
t
]
E
∥
x
(
s
)
∥
2
≤
2
∥
φ
∥
ℬ
2
+
2
l
0
2
M
⋆
+
28
l
0
2
T
2
M
C
M
g
(
1
+
2
M
σ
1
)
ς
(
t
)
+
14
l
0
2
T
M
S
×
∫
0
t
‍
η
(
s
)
Ω
2
(
ς
(
s
)
+
M
σ
T
∫
0
s
‍
μ
(
τ
)
Ω
1
(
ς
(
τ
)
)
d
τ
)
d
s
.
Consequently,
(47)
ς
(
t
)
≤
M
1
+
M
2
×
∫
0
t
‍
η
(
s
)
Ω
2
(
ς
(
s
)
+
M
σ
T
∫
0
s
‍
μ
(
τ
)
Ω
1
(
ς
(
τ
)
)
d
τ
)
d
s
.
Denoting the right-hand side of the above inequality by ϑ
(
t
). Then ϑ
(
0
)
=
M
1, ς
(
t
)
≤
ϑ
(
t
), t
∈
J, and
(48)
ϑ
′
(
t
)
≤
M
2
η
(
t
)
Ω
2
(
ς
(
t
)
+
M
σ
T
∫
0
t
‍
μ
(
s
)
Ω
1
(
ς
(
s
)
)
d
s
)
.
Since Ω
i, i
=
1,2 are nondecreasing, for t
∈
J, we get
(49)
ϑ
′
(
t
)
≤
M
2
η
(
t
)
Ω
2
(
ϑ
(
t
)
+
M
σ
T
∫
0
t
‍
μ
(
s
)
Ω
1
(
ϑ
(
s
)
)
d
s
)
.
Let
(50)
ρ
(
t
)
≔
ϑ
(
t
)
+
M
σ
T
∫
0
t
‍
μ
(
s
)
Ω
1
(
ϑ
(
s
)
)
d
s
.
Then ρ
(
0
)
=
ϑ
(
0
), ϑ
(
t
)
≤
ρ
(
t
), and
(51)
ρ
′
(
t
)
≤
ϑ
′
(
t
)
+
M
σ
T
μ
(
t
)
Ω
1
(
ϑ
(
t
)
)
≤
M
2
η
(
t
)
Ω
2
(
ρ
(
t
)
)
+
M
σ
T
μ
(
t
)
Ω
1
(
ρ
(
t
)
)
≤
Ω
^
(
t
)
(
Ω
1
(
ρ
(
t
)
)
+
Ω
2
(
ρ
(
t
)
)
)
.
This implies that
(52)
∫
ρ
(
0
)
ρ
(
t
)
‍
d
s
Ω
1
(
ρ
(
t
)
)
+
Ω
2
(
ρ
(
t
)
)
≤
∫
0
T
‍
Ω
^
(
s
)
d
s
≤
∫
M
1
∞
‍
d
s
Ω
1
(
ρ
(
t
)
)
+
Ω
2
(
ρ
(
t
)
)
,
which shows that ϑ
(
t
)
<
∞. Thus, there exists a constant C
(
T
,
Ω
^
,
Ω
1
,
Ω
2
) such that ϑ
(
t
)
≤
C
*, t
∈
J. So, we get
(53)
∥
x
t
∥
ℬ
2
≤
ς
(
t
)
≤
ϑ
(
t
)
≤
C
*
,
t
∈
J
.
Thus we have completed the proof of Lemma 9.Now, we state the main result of our paper.Theorem 10.
Assume that the assumptions (H1)–(H10) hold. Then, the system (3) has at least one mild solution on J.Proof.
Let us take the set(54)
Λ
(
Π
-
)
≔
{
u
∈
ℬ
T
0
:
u
=
λ
Π
-
1
(
u
x
)
+
λ
Π
-
2
u
,
for
some
λ
∈
(
0,1
)
}
.
Then, by Lemma 9, for any u
∈
Λ
(
Π
¯
), we have ∥
x
t
∥
ℬ
2
≤
C
*
,
t
∈
J, and hence
(55)
∥
u
∥
T
2
=
sup
⁡
s
∈
J
(
E
∥
u
(
s
)
∥
2
)
≤
2
sup
⁡
s
∈
J
(
E
∥
x
(
s
)
∥
2
)
+
2
sup
⁡
s
∈
J
(
E
∥
φ
~
(
s
)
∥
2
)
≤
2
sup
⁡
s
∈
J
l
0
-
2
∥
x
t
∥
ℬ
2
+
2
sup
⁡
s
∈
J
E
∥
C
(
t
)
φ
(
0
)
∥
2
≤
2
l
0
-
2
C
*
+
2
M
C
E
∥
φ
(
0
)
∥
2
.
This conclude that Λ is bounded on J. Consequently, by Krasnoselskii-Schaefer-type fixed point theorem, there exists a fixed point u
*
(
·
) for Π
¯ on B
r such that Π
¯
u
(
t
)
=
u
(
t
). Since x
(
t
)
=
u
*
(
t
)
+
φ
~
(
t
), t
∈
J
T, x
(
·
) is a fixed point of the operator Π which is a mild solution of system (3). The proof for Theorem 10 is thus complete.Remark 11.
In recent years, the stochastic differential equations with Poisson jumps have become very important in modeling the phenomena arising in the fields, such as economics, finance, physics, biology, medicine, and other sciences. It is inspiring that a large number of results about the existence, uniqueness, stability, and invariant measures of stochastic differential equations with Poisson jumps have been reported in the literature. For instance, in [20], Luo and Liu studied the stability of infinite dimensional stochastic evolution with memory and Markovian jumps. Albeverio et al. [21] discussed the existence of global solutions and invariant measures for stochastic differential equations driven by Poisson-type noise with non-Lipschitz coefficients. But there has not been any result on the existence for second- order impulsive neutral stochastic integrodifferential equations with infinite delays and Poisson jumps. This situation motivates our present research. Therefore, in this remark, we will study the well-posedness for second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions, infinite delays, and Poisson jumps in the form
(56)
d
[
x
′
(
t
)
-
g
(
t
,
x
t
,
∫
0
t
‍
σ
1
(
t
,
s
,
x
s
)
d
s
)
]
=
[
A
x
(
t
)
+
f
(
t
,
x
t
,
∫
0
t
‍
σ
2
(
t
,
s
,
x
s
)
d
s
)
]
d
t
+
∫
-
∞
t
‍
σ
(
t
,
s
,
x
s
)
d
W
(
s
)
+
∫
𝒰
‍
γ
(
t
,
x
(
t
-
)
,
v
)
N
~
(
d
t
,
d
v
)
,
t
k
≠
t
∈
J
≔
[
0
,
T
]
,



Δ
x
(
t
k
)
=
I
k
1
(
x
(
t
k
-
)
)
,
k
=
{
1
,
…
,
m
}
=
:
1
,
m
¯
,
Δ
x
′
(
t
k
)
=
I
k
2
(
x
(
t
k
-
)
)
,
k
=
1
,
m
¯
,
x
′
(
0
)
=
x
1
∈
ℍ
,
x
(
0
)
-
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
=
x
0
=
φ
∈
ℬ
,
(
0
)
-
q
I
x
t
1
,
x
t
2
for
a
.
e
.
s
∈
J
0
≔
(
-
∞
,
0
]
,
where the functions g
,
f
,
σ
1
,
σ
2
,
σ
,
q, and I
k
1
,
I
k
2 are defined as in Theorem 10; γ
:
J
×
ℍ
×
𝒰
→
ℍ are appropriate mappings which will be specified later; N
~
(
d
s
,
d
v
) is a compensated Poisson random measure induced by Poisson point process p
(
·
), which is independent of the Wiener process W and takes values in a measurable space (
𝒰
,
𝔅
(
𝒰
)
) with a σ-finite intensity measure λ
(
d
v
) by N
(
d
t
,
d
v
) the Poisson counting measure associated with p
(
·
); that is, N
(
t
,
𝒰
)
=
∑
s
∈
D
p
,
s
≤
t
‍
𝕀
𝒰
(
p
(
s
)
), for any measurable set 𝒰
∈
𝔅
(
𝕂
-
{
0
}
), which denotes the Borel σ-field of (
𝕂
-
{
0
}
). Let
(57)
N
~
(
d
t
,
d
v
)
∶
=
N
(
d
t
,
d
v
)
-
λ
(
d
v
)
d
t
.
Denote by 𝒫
2
(
J
×
𝒰
;
ℍ
) the space of all predictable mappings γ
:
J
×
𝒰
→
ℍ for which
(58)
∫
0
t
‍
∫
𝒰
‍
E
∥
γ
(
t
,
v
)
∥
ℍ
2
λ
(
d
v
)
d
t
<
∞
.
Then, we may define the ℍ-valued stochastic integral ∫
0
t
‍
∫
𝒰
‍
γ
(
t
,
v
)
N
~
(
d
t
,
d
v
), which is a centred square-integrable martingale. For the construction of this kind of integral, we refer the reader to Protter [22].
Letφ
(
t
)
∈
ℒ
2
(
Ω
,
ℬ
) and let x
1
(
t
) be ℍ-valued ℱ
t-measurable random variable independent of the Wiener process W and the Poisson point process p
(
·
), with finite second moment.
Next, we give the definition of mild solution for (56).Definition 12.
Anℱ
t-adapted càdlàg stochastic process x
:
J
T
→
ℍ is called a mild solution of (3) on J
T if x
(
0
)
-
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
=
x
0
=
φ
∈
ℬ satisfying q
,
x
0
∈
ℒ
2
0
(
Ω
,
ℍ
) and x
′
(
0
)
=
x
1
∈
ℍ satisfying x
1
∈
ℒ
2
0
(
Ω
,
ℍ
); the functions C
(
t
-
s
)
g
(
s
,
x
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
x
τ
)
d
τ
) and S
(
t
-
s
)
f
(
s
,
x
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
x
τ
)
d
τ
) are integrable on J such that the following conditions hold:(i)
{
x
t
:
t
∈
J
} is a ℬ-valued stochastic process;
(ii)
for arbitraryt
∈
J, x
(
t
) satisfies the following integral equation:
(59)
x
(
t
)
=
C
(
t
)
[
φ
(
0
)
+
q
(
x
t
1
,
x
t
2
,
…
,
x
t
n
)
(
0
)
]
+
S
(
t
)
[
x
1
-
g
(
0
,
x
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
x
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
x
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
x
τ
)
d
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
x
(
t
k
-
)
)
+
∫
0
t
‍
S
(
t
-
s
)
∫
-
∞
s
‍
σ
(
s
,
τ
,
x
τ
)
d
W
(
τ
)
d
s
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
x
(
t
k
-
)
)
+
∫
0
t
‍
S
(
t
-
s
)
∫
𝒰
‍
γ
(
t
,
x
(
t
-
)
,
v
)
N
~
(
d
t
,
d
v
)
;
(iii)
Δ
x
(
t
k
)
=
I
k
1
(
x
(
t
k
-
)
), Δ
x
′
(
t
k
)
=
I
k
2
(
x
(
t
k
-
)
), k
=
1
,
m
¯.To establish the well-posedness of mild solution for second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions, infinite delays, and Poisson jumps, we need the following assumption.(H11)
For anyx
,
y
∈
ℍ, and t
∈
J such that
(60)
∫
𝒰
‍
∥
γ
(
t
,
x
(
s
-
)
,
v
)
-
γ
(
t
,
y
(
s
-
)
,
v
)
∥
ℍ
2
λ
(
d
v
)
∨
(
∫
𝒰
‍
∥
γ
(
t
,
x
(
s
-
)
,
v
)
-
γ
(
t
,
y
(
s
-
)
,
v
)
∥
ℍ
4
λ
(
d
v
)
)
1
/
2
≤
M
γ
∥
x
(
s
)
-
y
(
s
)
∥
ℍ
2
,where M
γ is a positive constant.Theorem 13.
Assume that the assumptions (H1)–(H11) hold. If(61)
4
l
0
2
T
M
C
M
g
(
1
+
M
σ
1
)
+
2
T
C
M
γ
<
1
,
C
=
C
(
T
)
i
s
a
p
o
s
i
t
i
v
e
c
o
n
s
t
a
n
t
,
then the system (56) has at least one mild solution on J.Proof.
By adapting and employing the techniques used in Theorem10, we can easily prove the conclusion of Theorem 13. Indeed, similar to the above discussion, we consider the mapping Π
¯
:
ℬ
T
0
→
ℬ
T
0 defined by Π
¯
u
(
t
)
=
0, for t
∈
J
0 and
(62)
Π
-
u
(
t
)
=
S
(
t
)
[
u
1
-
g
(
0
,
φ
~
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∫
0
t
‍
S
(
t
-
s
)
∫
𝒰
‍
γ
(
t
,
u
(
t
-
)
+
φ
~
(
t
-
)
,
v
)
N
~
(
d
t
,
d
v
)
,
∫
0
t
‍
S
(
t
-
s
)
∫
𝒰
‍
γ
(
t
,
u
(
t
-
)
+
φ
~
(
t
-
)
,
v
)
N
~
(
d
t
,
d
v
)
,
t
∈
J
.
Now, for t
∈
J, we decompose Π
¯ as Π
¯
=
Π
¯
1
+
Π
¯
2, where
(63)
Π
¯
1
u
(
t
)
=
S
(
t
)
[
u
1
-
g
(
0
,
φ
~
0
,
0
)
]
+
∫
0
t
‍
C
(
t
-
s
)
g
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
1
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
∫
𝒰
‍
γ
(
t
,
u
(
t
-
)
+
φ
~
(
t
-
)
,
v
)
N
~
(
d
t
,
d
v
)
,
Π
¯
2
u
(
t
)
=
∫
0
t
‍
S
(
t
-
s
)
f
(
s
,
u
s
+
φ
~
s
,
∫
0
s
‍
σ
2
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
τ
)
d
s
+
∫
0
t
‍
S
(
t
-
s
)
[
h
(
s
)
+
∫
0
s
‍
σ
(
s
,
τ
,
u
τ
+
φ
~
τ
)
d
W
(
τ
)
]
d
s
+
∑
0
<
t
k
<
t
‍
C
(
t
-
t
k
)
I
k
1
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
+
∑
0
<
t
k
<
t
‍
S
(
t
-
t
k
)
I
k
2
(
u
(
t
k
-
)
+
φ
~
(
t
k
-
)
)
.
Next, we will show that the operatorsΠ
¯
1, Π
¯
2 satisfy all the conditions of Lemma 5. Lemma 8 has shown that the operator Π
¯
2 is completely continuous. Moreover, by assumptions (H1)–(H3), (H11), Lemma 4, the Burkholder-Davis-Gundy inequality for pure jump stochastic integral in Hilbert space (Lemma 2.2 in [20]), and assumption (61), for each t
∈
J, we conclude immediately that Π
¯
1 is contractive.
Finally, by using the same arguments as Theorem10, we infer that there exists a mild solution of the system (56). This completes the proof of Theorem 13.


## 4. Application

As we know, wave equations subject to random excitations have been intensively studied in the last forty years for their applications in physics, relativistic quantum mechanics, or oceanography; see, for instance, [23–27] and the references therein. The stochastic wave equation is one of the fundamental stochastic partial differential equations of hyperbolic type. The well-posedness of its solutions is significantly different from those of solutions to other stochastic partial differential equations, such as the stochastic heat equation or the stochastic Laplace equation. Therefore, in this section, an example on the stochastic nonlinear wave equation will be provided to illustrate the obtained theory. Specifically, we consider the existence of the following impulsive neutral stochastic nonlinear wave equations with nonlocal conditions and infinite delays of the form
(64)
∂
∂
t
[
∂
∂
t
y
(
t
,
ξ
)
-
∫
-
∞
t
‍
δ
1
(
t
,
ξ
,
s
-
t
,
)
P
1
(
y
(
s
,
ξ
)
)
d
s
m
-
∫
0
t
‍
∫
-
∞
s
‍
b
1
(
s
-
τ
)
P
2
(
y
(
τ
,
ξ
)
)
d
τ
d
s
]
=
[
∂
2
∂
ξ
2
y
(
t
,
ξ
)
+
∫
-
∞
t
‍
δ
2
(
t
,
ξ
,
s
-
t
,
)
G
1
(
y
(
s
,
ξ
)
)
d
s
mm
+
∫
0
t
‍
∫
-
∞
s
‍
b
2
(
s
-
τ
)
G
2
(
y
(
τ
,
ξ
)
)
d
τ
d
s
]
d
t
+
∫
-
∞
t
‍
δ
(
s
-
t
)
y
(
t
,
ξ
)
d
β
(
s
)
,
2222222222222222222222
t
≠
t
k
,
t
∈
J
,
ξ
∈
[
0
,
π
]
,
Δ
y
(
t
k
)
(
ξ
)
=
∫
-
∞
t
k
‍
η
k
(
t
k
-
s
)
y
(
s
,
ξ
)
d
s
,
Δ
y
(
t
k
)
(
ξ
)
=
∫
-
∞
t
k
‍
k
=
1
,
m
¯
,
ξ
∈
[
0
,
π
]
,
Δ
y
′
(
t
k
)
(
ξ
)
=
∫
-
∞
t
k
‍
ρ
k
(
t
k
-
s
)
y
(
s
,
ξ
)
d
s
,
Δ
y
′
(
t
k
)
(
ξ
)
=
∫
-
∞
t
k
‍
k
=
1
,
m
¯
,
ξ
∈
[
0
,
π
]
,
y
(
t
,
0
)
=
y
(
t
,
π
)
=
0
,
t
∈
J
,
∂
∂
t
y
(
0
,
ξ
)
=
x
1
(
ξ
)
,
y
(
t
,
ξ
)
-
∑
i
=
1
n
‍
∫
0
π
‍
p
i
(
ξ
,
ζ
)
y
(
t
i
,
ζ
)
d
ζ
=
φ
(
t
,
ξ
)
,
y
(
t
,
ξ
)
-
∑
i
=
1
n
‍
∫
0
π
‍
p
i
(
ξ
,
ζ
)
y
,
ζ
t
∈
J
0
,
ξ
∈
[
0
,
π
]
,
where β
(
t
) is a standard one-dimensional Wiener process in ℍ defined on a stochastic basis (
Ω
,
ℱ
,
P
), 0
<
t
1
<
t
2
<
⋯
<
t
n
<
T, n
∈
ℕ, 0
=
t
0
<
t
1
<
⋯
<
t
m
<
T are prefixed numbers, and φ
∈
ℬ. We take ℍ
=
L
2
(
[
0
,
π
]
) with the norm ∥
·
∥. Define A
:
ℍ
→
ℍ by A
x
=
x
′′ with domain
(65)
D
(
A
)
=
{
x
(
·
)
∈
ℍ
:
x
,
x
′
are
absolutely
continuous
,
x
′′
∈
ℍ
,
x
(
0
)
=
x
(
π
)
=
0
}
.
The spectrum of A consists of the eigenvalues -
n
2 for n
∈
ℕ, with associated eigenvectors e
n
(
ξ
)
:
=
2
/
π
sin
n
ξ, n
=
1,2
,
3
,
…. Furthermore, the set {
e
n
:
n
∈
ℕ
} is an orthogonal basics in ℍ. Then
(66)
A
x
=
∑
n
=
1
∞
‍
n
2
〈
x
,
e
n
〉
e
n
,
x
∈
D
(
A
)
.
Using (66), one can easily verify that the operators C
(
t
) defined by
(67)
C
(
t
)
x
=
∑
n
=
1
∞
‍
cos
⁡
⁡
(
n
t
)
〈
x
,
e
n
〉
e
n
,
t
∈
ℝ
,
form a cosine function on ℍ, with associated sine function
(68)
S
(
t
)
x
=
∑
n
=
1
∞
‍
sin
⁡
(
n
t
)
n
〈
x
,
e
n
〉
e
n
,
t
∈
ℝ
.
It is clear that (see [17]) for all x
∈
ℍ, t
∈
ℝ,C
(
·
)
x and S
(
·
)
x are periodic functions with ∥
C
(
t
)
∥
≤
1 and ∥
S
(
t
)
∥
≤
1. Thus, (H1) is true.Now, we give a specialℬ-space. Let l
(
s
)
=
e
2
s, s
≤
0; then l
0
=
∫
J
0
‍
l
(
s
)
d
s
=
1
/
2 and define
(69)
∥
ψ
∥
ℬ
=
∫
J
0
‍
l
(
s
)
sup
⁡
θ
∈
[
s
,
0
]
(
E
∥
ψ
(
θ
)
∥
2
)
1
/
2
d
s
,
∀
ψ
∈
ℬ
.
It follows from [18] that (
ℬ
,
∥
·
∥
ℬ
) is a Banach space. Hence for (
t
,
ψ
)
∈
J
×
ℬ, where ψ
(
θ
)
x
=
ψ
(
θ
,
x
), (
θ
,
x
)
∈
J
0
×
[
0
,
π
]. Let y
(
t
)
(
ξ
)
=
y
(
t
,
ξ
).To study the system (64), we assume that the following conditions hold.(i)
The functionsp
i
:
[
0
,
π
]
×
[
0
,
π
]
→
ℝ are C
2-functions, for each i
=
1
,
n
¯.
(ii)
The functionsη
k
,
ρ
k
∈
C
(
ℝ
,
ℝ
) such that for k
=
1
,
m
¯,
(70)
M
¯
I
k
1
=
∫
J
0
‍
l
(
s
)
η
k
2
(
s
)
d
s
<
∞
,
M
¯
I
k
2
=
∫
J
0
‍
l
(
s
)
ρ
k
2
(
s
)
d
s
<
∞
.If we put
(71)
g
(
t
,
ψ
,
V
1
ψ
)
(
ξ
)
=
∫
J
0
‍
δ
1
(
t
,
ξ
,
θ
)
P
1
(
ψ
(
θ
)
(
ξ
)
)
d
θ
+
V
1
ψ
(
ξ
)
,
f
(
t
,
ψ
,
V
2
ψ
)
(
ξ
)
=
∫
J
0
‍
δ
2
(
t
,
ξ
,
θ
)
G
1
(
ψ
(
θ
)
(
ξ
)
)
d
θ
+
V
2
ψ
(
ξ
)
,
σ
(
t
,
s
,
ψ
)
(
ξ
)
=
∫
J
0
‍
δ
(
θ
)
ψ
(
θ
)
(
ξ
)
d
θ
,
I
k
1
(
t
,
ψ
)
(
ξ
)
=
∫
J
0
‍
η
k
(
-
s
)
ψ
(
θ
)
(
ξ
)
d
s
,
k
=
1
,
m
¯
,
I
k
2
(
t
,
ψ
)
(
ξ
)
=
∫
J
0
‍
ρ
k
(
-
s
)
ψ
(
θ
)
(
ξ
)
d
s
,
k
=
1
,
m
¯
,
where
(72)
V
1
ψ
(
ξ
)
=
∫
0
t
‍
∫
J
0
‍
b
1
(
s
-
θ
)
P
2
(
ψ
(
θ
)
(
ξ
)
)
d
θ
d
s
,
V
2
ψ
(
ξ
)
=
∫
0
t
‍
∫
J
0
‍
b
2
(
s
-
θ
)
G
2
(
ψ
(
θ
)
(
ξ
)
)
d
θ
d
s
.
Then, the system (64) can be written in the abstract form as the system (3). Further, we can impose some suitable conditions on the above defined functions as those in the assumptions (H1)–(H10). Therefore, by Theorem 10, we can conclude that the system (64) has a mild solution on J.


## 5. Conclusion

In this paper, we have discussed the existence for a class of second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions and infinite delays in a Hilbert space. By using the Krasnoselskii-Schaefer-type fixed point theorem combined with theories of a strongly continuous cosine family of bounded linear operators, the well-posedness of mild solution for the second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions and infinite delays is obtained. Besides, if the system (3) is added to the Poisson jumps, then we also get the existence of mild solution for second-order impulsive neutral stochastic integrodifferential equations with nonlocal conditions, infinite delays, and Poisson jumps. Finally, an example illustrating the applicability of the general theory is also provided.



---

*Source: 143860-2014-02-27.xml*