Skip to main content

Theory and Modern Applications

Existence and exponential stability of pseudo almost periodic solutions for impulsive nonautonomous partial stochastic evolution equations

Abstract

In this paper, the concept of p-mean piecewise pseudo almost periodic for stochastic processes is first introduced. Using the exponential dichotomy techniques and a fixed point strategy with stochastic analysis theory, we establish the existence of p-mean piecewise pseudo almost periodic mild solutions for a class of impulsive nonautonomous partial stochastic evolution equations in Hilbert spaces. Moreover, the exponential stability of p-mean piecewise pseudo almost periodic mild solutions is investigated. Finally, an example is provided to illustrate the obtained theory.

1 Introduction

The almost periodic functions plays an important role in describing the phenomena that are similar to the periodic oscillations which can be observed frequently in many fields, such as celestial mechanics, nonlinear vibration, electromagnetic theory, and so on (see [1]). The concept of pseudo almost periodic functions is a natural generalization of almost periodic functions. The study of the existence of pseudo almost periodic solutions is one of the most interesting topics in the qualitative theory of differential equations both due to its mathematical interest as well as due to their applications in physics, mathematical biology, and other areas [2–6]. In the real world, stochastic perturbation is unavoidable. Therefore, we must move from deterministic problems to stochastic ones. The stochastic differential equations with delays and without delays have been extensively studied in the last decades (see [7–12]). Particularly, some authors focused on the existence of almost periodic or pseudo almost periodic solutions to stochastic differential equations in Hilbert spaces [13–21]. Among them, Bezandry and Diagana [22, 23] studied the existence of square-mean almost periodic solutions nonautonomous stochastic differential equations. In [24, 25], the authors introduced the concepts of p-mean pseudo almost periodicity, and studied the existence of p-mean pseudo almost periodic mild solutions to a nonautonomous semilinear stochastic differential equations. Diop et al. [26] obtained the existence, uniqueness and global attractiveness of an p-mean pseudo almost periodic solution for stochastic evolution equation driven by a fractional Brownian motion.

The theory of impulsive partial differential equations has become an active area of investigation due to their applications in fields such as mechanics, electrical engineering, medicine biology (see [27–29]). The existence, uniqueness and stability of almost periodic solutions for impulsive differential equations have been considered in abstract spaces by many authors. For example, Henríquez et al. [30], Stamov et al. [31, 32] discussed the existence and uniqueness of piecewise almost periodic solutions for a class of abstract impulsive semilinear differential equations. Stamov [33] established the existence and asymptotic stability of piecewise almost periodic solutions of impulsive differential equations with time-varying delay. Liu and Zhang [34] studied the existence and exponential stability of piecewise almost periodic solutions to abstract impulsive differential equation. The authors in [35, 36] introduced the concept of piecewise pseudo almost periodic functions on a Banach space and established the existence, uniqueness and exponential stability of piecewise pseudo almost periodic solutions to impulsive differential equations. Bainov and Simeonov [37] concerned with the asymptotic equivalence of impulsive differential equations. However, besides impulse effects and delays, stochastic effects likewise exist in real systems. In recent years, several interesting results on impulsive partial stochastic systems have been reported in many publications [38–41] and the references therein. Further, Zhang et al. [42] obtained the existence and uniqueness of almost periodic solutions for a class of impulsive stochastic differential equations with delay by mean of the Banach contraction principle. In [43], the authors investigated the existence and stability of square-mean piecewise almost periodic solutions for nonlinear impulsive stochastic differential equations by using Schauder fixed point theorem. In this paper, we consider the existence and exponential stability of p-mean piecewise pseudo almost periodic mild solutions to the following impulsive nonautonomous partial stochastic evolution equations:

$$\begin{aligned}& dx(t)=\bigl[A(t)x(t) +g\bigl(t, x(t)\bigr)\bigr]\,dt+ f\bigl(t,x(t)\bigr) \,dW(t),\quad t\in\mathbb{R},t\neq t_{i}, i \in\mathbb{Z}, \end{aligned}$$
(1.1)
$$\begin{aligned}& \Delta x(t_{i})=x\bigl(t_{i}^{+}\bigr)- x \bigl(t_{i}^{-}\bigr)=I_{i}\bigl(x(t_{i}) \bigr), \quad i\in \mathbb{Z}, \end{aligned}$$
(1.2)

where \(A(t) : D(A(t)) \subseteq L^{p}(\mathbb{P}, \mathbb{H}) \rightarrow L^{p}(\mathbb{P}, \mathbb{H})\) is a family of densely defined closed linear operators satisfying the so-called ‘Acquistapace-Terrani’ conditions, and \(W(t)\) is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space \((\Omega,\mathcal{F}, \mathbb{P},\mathcal{F}_{t} )\), where \(\mathcal{F}_{t} = \sigma\{W(u) - W(v); u, v \leq t\}\). g, f, \(I_{i}\), \(t_{i}\) satisfy suitable conditions which will be established later. \(x(t^{+}_{i} )\), \(x(t^{-}_{i})\) represent the right-hand side and the left-hand side limits of \(x(\cdot)\) at \(t_{i}\), respectively.

The study of the asymptotic properties of mild solutions to partial differential equations is one of the fundamental tasks of the analysis theory and finds its application in various fields, such as almost periodicity, asymptotically almost periodic, pseudo almost periodicity, almost automorphy, stability, and so on. There are several papers on the pseudo almost periodicity of mild solutions for partial differential systems, stochastic partial differential systems and impulsive partial differential systems in abstract spaces; see [2–6, 20, 21, 35, 36] and the references therein. On the other hand, the stochastic systems with impulse deserve a study because the system is a more general hybrid system, and that of can be more accurate description of the actual phenomenon in the real world. So it is natural to extend the concept of pseudo almost periodicity of mild solutions to dynamical systems represented by these impulsive systems. To the authors knowledge, no results are available for the existence and exponential stability of p-mean piecewise pseudo almost periodic mild solutions for nonlinear impulsive stochastic system (1.1)-(1.2). The systems have variable structures subject to stochastic abrupt changes, which may result from abrupt phenomena such as stochastic failures and repairs of the components, changes in the interconnections of subsystems, sudden environment changes, etc. Therefore, the system (1.1)-(1.2) involves a wide area of applications in physics and mathematics. Motivated by the above consideration, we will study these interesting problems, which are natural generalizations of the concept of pseudo almost periodicity for stochastic differential equations well known in the theory of infinite dimensional systems.

In this paper, we introduce and develop the notion of p-mean piecewise pseudo almost periodic for stochastic processes, which generalizes in a natural fashion the concept of piecewise almost periodic and p-mean almost periodic stochastic processes. As an application, we study the existence and exponential stability of p-mean piecewise pseudo almost periodic mild solution for the impulsive stochastic evolution equation (1.1)-(1.2) with pseudo almost periodic coefficients. In order to obtain the existence of pseudo almost periodic mild solutions for differential equations, most of the previous research on composition theorems for pseudo almost periodic functions was based upon a Lipschitz condition. It is obvious that the conditions for contraction mapping principle are too strong. In this paper we establish a new composition theorem for p-mean pseudo almost periodic functions under conditions which are different from Lipschitz conditions. Then, using this new composition theorem together with the Leray-Schauder nonlinear alternative and the exponential dichotomy techniques with stochastic analysis theory, we get new existence and exponential stability results. The well-known results that appeared in [2–6, 20, 21, 35, 36] are generalized to the impulsive stochastic systems settings and the case of piecewise pseudo almost periodicity. Moreover, the results are also new for deterministic systems with impulse.

The paper is organized as follows. In Section 2, we introduce some notations and necessary preliminaries. In Section 3, we give the existence of p-mean piecewise pseudo almost periodic mild solutions for (1.1)-(1.2). In Section 4, we establish the exponential stability of p-mean piecewise pseudo almost periodic mild solutions for (1.1)-(1.2). In Section 5, an interesting example is given to illustrate our results. Finally, concluding remarks are given in Section 6.

2 Preliminaries

Throughout the paper, \(\mathbb{N}\), \(\mathbb{Z}\), \(\mathbb{R}\) and \(\mathbb{R}^{+}\) stand for the set of natural numbers, integers, real numbers, positive real numbers, respectively. We assume that \((\mathbb{H},\|\cdot\|)\), \((\mathbb{K},\|\cdot\|_{\mathbb{K}})\) are real separable Hilbert spaces and \((\Omega,\mathcal{F},\mathbb{P})\) is supposed to be a filtered complete probability space. Define \(L^{p}(\mathbb{P} ,\mathbb{H})\), for \(p \geq1\), to be the space of all \(\mathbb{H}\)-valued random variables x such that \(E\| x\|^{p}=\int_{\Omega}\| x\|^{p} \, d\mathbb{P}<\infty\). Then \(L^{p}(\mathbb{P} ,\mathbb{H})\) is a Banach space when it is equipped with its natural norm \(\|\cdot\|_{p}\) defined by \(\| x\|_{p}=(\int_{\Omega}E\| x\|^{p}\, d\mathbb{P})^{1/p}<\infty\) for each \(x\in L^{p}(\mathbb{P} ,\mathbb{H})\). We let \(L(\mathbb{K},\mathbb{H})\) be the space of all linear bounded operators from \(\mathbb{K}\) into \(\mathbb{H}\), equipped with the usual operator norm \(\|\cdot\|_{L(\mathbb{K},\mathbb{H})}\); in particular, this is simply denoted by \(L(\mathbb{H})\) when \(\mathbb{K} = \mathbb{H}\). Furthermore, \(L^{0}_{2} (\mathbb{K},\mathbb{H})\) denotes the space of all Q-Hilbert-Schmidt operators from \(\mathbb{K}\) to \(\mathbb{H}\) with the norm \(\|\psi\|^{2}_{L^{0}_{2}}=\operatorname{Tr}(\psi Q\psi^{*})<\infty\) for any \(\psi\in L(\mathbb{K} , \mathbb{H})\). Let \(C(\mathbb{R} ,L^{p}(\mathbb{P},\mathbb{H}))\), \(BC(\mathbb{R} ,L^{p}(\mathbb{P},\mathbb{H}))\) stand for the collection of all continuous functions from \(\mathbb{R}\) into \(L^{p}(\mathbb{P},\mathbb{H})\), the Banach space of all bounded continuous functions from \(\mathbb{R}\) into \(L^{p}(\mathbb{P},\mathbb{H})\), equipped with the sup norm, respectively.

Definition 2.1

[24]

A stochastic process \(x :\mathbb{R} \rightarrow L^{p}(\mathbb{P},\mathbb{H})\) is said to be continuous provided that, for any \(s \in\mathbb{R}\),

$$\lim_{t\rightarrow s}E\bigl\Vert x(t) - x(s)\bigr\Vert ^{p} = 0. $$

Definition 2.2

[24]

A stochastic process \(x:\mathbb{R} \rightarrow L^{p}(\mathbb{P},\mathbb{H})\) is said to be stochastically bounded provided that

$$\lim_{N\rightarrow \infty}\limsup_{t\in\mathbb{R}}\bigl\{ \mathbb{P} \bigl\Vert x(t)\bigr\Vert >N\bigr\} = 0. $$

Let \(\mathbb{T}\) be the set consisting of all real sequences \(\{t_{i}\}_{i\in\mathbb{Z}}\) such that \(\alpha= \inf_{i\in \mathbb{Z}}(t_{i+1}-t_{i}) >0\), \(\lim_{i\rightarrow\infty} t_{i} = \infty\), and \(\lim_{i\rightarrow-\infty} t_{i} = -\infty\). For \(\{t_{i}\}_{i\in\mathbb{Z}}\in\mathbb{T}\), let \(PC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) be the space consisting of all stochastically bounded piecewise continuous functions \(f : \mathbb{R} \rightarrow L^{p}(\mathbb{P},\mathbb{H})\) such that \(f(\cdot)\) is stochastically continuous at t for any \(t \notin\{t_{i}\}_{i\in\mathbb{Z}}\) and \(f(t_{i}) = f(t^{-}_{i} )\) for all \(i \in\mathbb{Z}\); let \(PC(\mathbb{R} \times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H}))\) be the space formed by all stochastically piecewise continuous functions \(f : \mathbb{R} \times L^{p}(\mathbb{P},\mathbb{K})\rightarrow L^{p}(\mathbb{P},\mathbb{H})\) such that, for any \(x \in L^{p}(\mathbb{P},\mathbb{K})\), \(f(\cdot, x)\in PC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) and for any \(t \in\mathbb{R}\), \(f(t, \cdot)\) is stochastically continuous at \(x \in L^{p}(\mathbb{P},\mathbb{K})\).

Definition 2.3

[24]

A function \(f \in C(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) is said to be p-mean almost periodic if, for each \(\varepsilon> 0\), there exists an \(l(\varepsilon)> 0\), such that every interval J of length \(l(\varepsilon)\) contains a number Ï„ with the property that \(E\| f(t+\tau )-f(t)\|^{p} < \varepsilon\) for all \(t \in R\). Denote by \(AP(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) the set of such functions.

Definition 2.4

Compare with [28]

A sequence \(\{x_{n}\}\) is called p-mean almost periodic if, for any \(\varepsilon> 0\), there exists a relatively dense set of its ε-periods, i.e., there exists a natural number \(l = l(\varepsilon)\), such that, for \(k \in\mathbb{Z}\), there is at least one number q in \([k, k + l]\), for which inequality \(E\| x_{n+q}- x_{n}\|^{p} < \varepsilon\) holds for all \(n \in\mathbb{N}\). Denote by \(AP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\) the set of such sequences.

Define \(l^{\infty}(\mathbb{Z},L^{p}(\mathbb{P} ,\mathbb{H})) = \{x : \mathbb{Z}\rightarrow L^{p}(\mathbb{P} ,\mathbb{H}) : \| x\|= \sup_{n\in\mathbb{Z}}( E\| x(n)\|^{p})^{1/p} < \infty\}\), and

$$PAP_{0}\bigl(\mathbb{Z}, L^{p}(\mathbb{P},\mathbb{H})\bigr)= \Biggl\{ x \in l^{\infty}\bigl(\mathbb{Z},L^{p}(\mathbb{P} , \mathbb{H})\bigr): \lim_{n\rightarrow\infty}\frac{1}{2n}\sum _{j=-n}^{n} E\bigl\Vert x(n)\bigr\Vert ^{p}\,dt=0 \Biggr\} . $$

Definition 2.5

A sequence \(\{x_{n}\}_{n\in_{Z}} \in l^{\infty}(\mathbb{Z},X)\) is called p-mean pseudo almost periodic if \(x_{n} = x^{1}_{n} + x^{2}_{n}\), where \(x^{1}_{n} \in AP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\), \(x^{2}_{n} \in PAP_{0}(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\). Denote by \(PAP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\) the set of such sequences.

Definition 2.6

Compare with [28]

For \(\{t_{i}\}_{i\in\mathbb{Z}}\in\mathbb{T}\), the function \(f \in PC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) is said to be p-mean piecewise almost periodic if the following conditions are fulfilled:

  1. (i)

    \(\{t^{j}_{i} = t_{i+j} - t_{i}\}\), \(j\in\mathbb{Z}\), is equipotentially almost periodic, that is, for any \(\varepsilon> 0\), there exists a relatively dense set \(Q_{\varepsilon}\) of \(\mathbb{R}\) such that for each \(\tau\in Q_{\varepsilon}\) there is an integer \(q \in\mathbb{Z}\) such that \(|t_{i+q}-t_{i}-\tau| < \varepsilon\) for all \(i \in\mathbb{Z}\).

  2. (ii)

    For any \(\varepsilon> 0\), there exists a positive number \(\tilde {\delta} = \tilde{\delta}(\varepsilon)\) such that if the points \(t^{\prime}\) and \(t^{\prime\prime}\) belong to a same interval of continuity of φ and \(|t^{\prime}-t^{\prime\prime}| < \tilde{\delta}\), then \(E\| f(t^{\prime})-f(t^{\prime\prime})\|^{p}<\varepsilon\).

  3. (iii)

    For every \(\varepsilon> 0\), there exists a relatively dense set \(\tilde{\Omega}(\varepsilon)\) in \(\mathbb{R}\) such that if \(\tau\in\tilde{\Omega}(\varepsilon)\), then

    $$E\bigl\Vert f(t+\tau)-f(t)\bigr\Vert ^{p}< \varepsilon $$

    for all \(t \in\mathbb{R}\) satisfying the condition \(|t - t_{i}| >\varepsilon\), \(i \in\mathbb{Z}\). The number τ is called ε-translation number of f.

We denote by \(AP_{T} (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) the collection of all the p-mean piecewise almost periodic functions. Obviously, the space \(AP_{T} (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) endowed with the sup norm defined by \(\| f\|_{\infty} = \sup_{t\in\mathbb{R}}( E\| f(t)\|^{p})^{1/p}\) for any \(f\in AP_{T} (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) is a Banach space. Let \(UPC (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) be the space of all stochastic functions \(f\in PC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) such that f satisfies the condition (ii) in Definition 2.6.

Definition 2.7

Compare with [28]

The function \(f \in PC(\mathbb{R} \times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H}))\) is said to be p-mean piecewise almost periodic in \(t \in\mathbb{R}\) uniform in \(x\in L^{p}(\mathbb{P},\mathbb{K})\) if, for every compact subset \(K \subseteq L^{p}(\mathbb{P},\mathbb{K})\), \(\{f(\cdot, x) : x \in K\}\) is uniformly bounded, and given \(\varepsilon>0\), there exists a relatively dense subset \(\Omega_{\varepsilon}\) such that

$$E\bigl\Vert f(t+\tau,x)-f(t,x)\bigr\Vert ^{p}< \varepsilon $$

for all \(x \in K\), \(\tau\in\Omega_{\varepsilon}\), and \(t \in \mathbb{R}\) satisfying \(|t - t_{i}| > \varepsilon\). Denote by \(AP_{T} (\mathbb{R} \times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H}))\) the set of all such functions.

Denote

$$\begin{aligned}& PC^{0}_{T}\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr)= \Bigl\{ f \in PC\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr): \lim_{t\rightarrow\infty}E\bigl\Vert f(t)\bigr\Vert ^{p}=0 \Bigr\} , \\& PAP^{0}_{T}\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr)= \biggl\{ f \in PC\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr): \lim_{r\rightarrow\infty}\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f(t)\bigr\Vert ^{p}\,dt=0 \biggr\} , \\& PAP^{0}_{T}\bigl(\mathbb{R}\times L^{p}( \mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H})\bigr) \\& \quad = \biggl\{ f \in PC\bigl(\mathbb{R}\times L^{p}(\mathbb{P}, \mathbb{K}), L^{p}(\mathbb{P},\mathbb{H})\bigr): \\& \qquad \lim_{r\rightarrow\infty}\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f(t,x)\bigr\Vert ^{p}\,dt=0 \text{ uniformly with respect to } x \in K, \\& \qquad \text{where } K \text{ is an arbitrary compact subset of } L^{p}(\mathbb{P},\mathbb{K}) \biggr\} . \end{aligned}$$

Definition 2.8

A function \(f \in PC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) is said to be p-mean piecewise pseudo almost periodic if it can be decomposed as \(f = h+\varphi\), where \(h \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) and \(\varphi\in PAP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\). Denoted by \(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) the set of all such functions.

\(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) is a Banach space with the sup norm \(\|\cdot\|_{\infty}\).

Similar to [2, 35], one has the following.

Remark 2.1

  1. (i)

    \(PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) is a translation invariant set of \(PC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

  2. (ii)

    \(PC^{0}_{T }(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H})) \subset PAP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Lemma 2.1

Let \(\{f_{n}\}_{n\in\mathbb{N}} \subset PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) be a sequence of functions. If \(f_{n}\) converges uniformly to f, then \(f \in PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

One can refer to Lemma 2.5 in [5] for the proof of Lemma 2.1.

Definition 2.9

A function \(f \in PC(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H}))\) is said to be p-mean piecewise pseudo almost periodic if it can be decomposed as \(f = h+\varphi\), where \(h \in AP_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P}, \mathbb{H}))\) and \(\varphi\in PAP^{0}_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P}, \mathbb{H}))\). Denoted by \(PAP_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},\mathbb{H}))\) the set of all such functions.

We need the following composition of p-mean pseudo almost periodic processes.

Lemma 2.2

Assume \(f\in PAP_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}),L^{p}(\mathbb{P},\mathbb{H}))\). Assume that the following conditions hold:

  1. (i)

    \(\{f (t, x) : t \in\mathbb{R}, x\in K\} \) is bounded for every bounded subset \(K\subset L^{p}(\mathbb{P},\mathbb{K})\).

  2. (ii)

    \(f (t, \cdot)\) is uniformly continuous in each bounded subset of \(L^{p}(\mathbb{P},\mathbb{K})\) uniformly in \(t \in\mathbb{R}\).

If \(\phi(\cdot)\in PAP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{K})) \) such that \(\mathbb{R}(\phi)\subset L^{p}(\mathbb{P},\mathbb{K})\), then \(f (\cdot,\phi(\cdot))\in PAP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\).

Lemma 2.3

Assume the sequence of vector-valued functions \(\{I_{i}\}_{i\in\mathbb{Z}}\) is pseudo almost periodic, i.e., for any \(x \in L^{p}(\mathbb{P},\mathbb{H})\), \(\{ I_{i}(x), i \in\mathbb{Z}\}\) is a pseudo almost periodic sequence. Suppose \(\{I_{i}(x) : i \in\mathbb{Z}, x \in K\}\) is bounded for every bounded subset \(K\subset L^{p}(\mathbb{P},\mathbb{H} )\), \(I_{i}(x)\) is uniformly continuous in \(x\in L^{p}(\mathbb{P},\mathbb{H}) \) uniformly in \(\in\mathbb{Z}\). If \(\phi\in PAP_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H})) \cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) such that \(\mathbb{R}(\phi) \subset L^{p}(\mathbb{P},\mathbb{K})\), then \(I_{i}(\phi(t_{i}))\) is pseudo almost periodic.

One can refer to Lemmas 3.1, 3.4 in [35] for the proof of Lemmas 2.2 and 2.3.

Next, we introduce a useful compactness criterion on \(PC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\). Let \(h : \mathbb{R}\rightarrow\mathbb{R}^{+}\) be a continuous function such that \(h(t) \geq1\) for all \(t \in\mathbb{R} \) and \(h(t)\rightarrow\infty\) as \(|t| \rightarrow\infty\). Define

$$PC^{0}_{h}\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr)= \biggl\{ f \in PC\bigl(\mathbb{R}, L^{p}(\mathbb{P}, \mathbb{H})\bigr): \lim_{|t|\rightarrow\infty} \frac{E\| f(t)\|^{p}}{h(t)}=0 \biggr\} $$

endowed with the norm \(\|f\|_{h}=\sup_{t\in\mathbb{R}}\frac{E\| f(t)\|^{p}}{h(t)}\), it is a Banach space.

Similarly as the proof of Lemma 4.2 in [35], one has the following.

Lemma 2.4

A set \(B \subseteq PC^{0}_{h}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) is relatively compact if and only if it verifies the following conditions:

  1. (i)

    \(\lim_{|t|\rightarrow\infty} \frac{E\| f(t)\|^{p}}{h(t)}=0\) uniformly for \(f \in B\).

  2. (ii)

    \(B(t) = \{f(t) : f \in B\}\) is relatively compact in \(L^{p}(\mathbb{P},\mathbb{H})\) for every \(t\in\mathbb{R}\).

  3. (iii)

    The set B is equicontinuous on each interval \((t_{i}, t_{i+1})\) (\(i \in Z\)).

We also need the following concepts concerning evolution family and exponential dichotomy.

Definition 2.10

[44]

A family of bounded linear operators \(\{U(t,s): t \geq s, t, s \in\mathbb{R}\}\) on \(L^{p}(\mathbb{P},\mathbb{H})\) associated with \(A(t)\) is said to be an evolution family of operators if the following conditions hold:

  1. (a)

    \(U(s, s) =I\), \(U(t,s)=U(t, \tau)U(\tau, s)\) for \(t \geq\tau \geq s\) and \(t, \tau, s \in\mathbb{R}\).

  2. (b)

    \((t, s)\rightarrow U(t, s)\in L(L^{p}(\mathbb{P},\mathbb{H}))\) is strongly continuous for \(t > s\).

Definition 2.11

[44]

An evolution family U is called hyperbolic (or has exponential dichotomy) if there are projections \(P(t)\), \(t \in\mathbb{R}\), uniformly bounded and strongly continuous in t, and constants \(M, \delta> 0\) such that

  1. (a)

    \(U(t, s)P(s)= P(t)U(t, s)\) for all \(t \geq s\);

  2. (b)

    the restriction \(U_{Q} (t,s) : Q(s)L^{p}(\mathbb{P},\mathbb {H})\rightarrow Q(t)L^{p}(\mathbb{P},\mathbb{H})\) is invertible for all \(t \geq s\) (and we set \(U_{Q} (s, t)= U_{Q} (t,s)^{-1}\));

  3. (c)

    \(\| U(t, s)P(s)\|\leq Me^{-\delta(t-s)}\) and \(\|U_{Q}(s,t)Q(t)\|\leq Me^{-\delta(t-s)}\) for all \(t \geq s\).

Here and below \(Q := I - P\). If \(P(t)=I\) for \(t \in\mathbb{R}\), then \((U(t,s))_{t\geq s}\) is exponentially stable (see [44, 45]).

Definition 2.12

[44]

If U is a hyperbolic evolution family, then

$$ \Gamma(t,s):= \left \{\textstyle\begin{array}{l@{\quad}l} U(t,s)P(s) & \text{if } t \geq s, t, s \in\mathbb{R}, \\ -U_{Q}(t,s)Q(s) & \text{if } t < s, t, s \in\mathbb{R}, \end{array}\displaystyle \right . $$

is called Green’s function corresponding to U and \(P(\cdot)\).

Lemma 2.5

Leray-Schauder nonlinear alternative [46]

Let X be a Banach space with \(D\subset X\) closed and convex. Assume V is a relatively open subset of D with \(0 \in V\) and \(\Psi: \overline{V} \rightarrow D\) is a compact map, then either

  1. (i)

    Ψ has a fixed point in V̅, or

  2. (ii)

    there is a point \(x \in\partial V\) and \(\lambda\in(0, 1)\) with \(x\in\lambda \Psi(x)\).

3 Existence

In this section, we investigate the existence of p-mean piecewise pseudo almost periodic mild solution for system (1.1)-(1.2). We first introduce the notion of mild solution to system (1.1)-(1.2).

Definition 3.1

An \(\mathcal{F}_{t}\)-progressively measurable process \(\{x(t)\}_{t\in\mathbb{R}}\) is called a mild solution of system (1.1)-(1.2) if, for any \(t \in\mathbb{R}\), \(t > s\), \(s \neq t_{i}\), \(i \in\mathbb{Z}\),

$$\begin{aligned} x(t) =&U(t,s)x(s)+ \int_{s}^{t}U(t,\tau) g\bigl(\tau,x(\tau)\bigr)\,d \tau \\ &{} + \int_{s}^{t}U(t,\tau) f\bigl(\tau,x(\tau)\bigr) \,dW(\tau)+\sum_{s< t_{i}< t}U(t,t_{i})I_{i} \bigl(x(t_{i})\bigr). \end{aligned}$$
(3.1)

In order to obtain our main results, we make the following hypotheses:

  1. (H1)

    There exist constants \(\lambda_{0} > 0\), \(\theta\in(\frac{\pi }{2},\pi)\), \(K_{0}, K_{1} \geq0\), and \(\alpha_{1},\alpha_{2}\in(0,1]\) with \(\alpha_{1}+\alpha_{2}> 1 \) such that

    $$\Sigma_{\theta}\cup\{0\}\subset \rho\bigl(A(t)-\lambda_{0} \bigr), \qquad \bigl\Vert R\bigl(\lambda, A(t)-\lambda_{0}\bigr)\bigr\Vert \leq\frac{K_{1}}{1+|\lambda|}, $$

    and

    $$ \bigl\Vert \bigl(A(t)-\lambda_{0}\bigr)R\bigl(\lambda, A(t)- \lambda_{0}\bigr)\bigl[R\bigl(\lambda_{0}, A(t)\bigr)-R\bigl( \lambda_{0}, A(s)\bigr)\bigr]\bigr\Vert \leq K_{0}|t-s|^{\alpha_{1}}| \lambda|^{-\alpha_{2}} $$

    for \(t, s \in\mathbb{R}\), \(\lambda\in\Sigma_{\theta}:=\{\lambda\in \mathbb{C}\setminus\{0\} : \vert \arg \lambda \vert \leq\theta\}\).

  2. (H2)

    \(R(\lambda_{0}, A(\cdot)) \in AP(L(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})))\).

  3. (H3)

    The evolution family \(U(t, s)\) generated by \(A(t)\) has an exponential dichotomy with constants \(M,\delta> 0\), dichotomy projections \(P(t)\), \(t \in\mathbb{R}\), and Green’s function \(\Gamma(t,s)\). Moreover, \(U(t,s)\) is compact for \(t > s\).

  4. (H4)

    For each \(x \in\mathbb{H}\), \(U(t + h, t)x \rightarrow x\) as \(h \rightarrow0^{+}\) uniformly for \(t \in \mathbb{R}\).

  5. (H5)

    The functions \(g\in PAP_{T} (\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}),L^{p}(\mathbb{P},\mathbb{H}))\), \(f\in PAP_{T} (\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{K}), L^{p}(\mathbb{P},L^{0}_{2}))\), and \(g (t, \cdot)\), \(f (t, \cdot)\) are uniformly continuous in each bounded subset of \(L^{p}(\mathbb{P},\mathbb{K})\) uniformly in \(t \in\mathbb{R}\); \(I_{i}\) is a pseudo almost periodic sequence, \(I_{i}(x)\) is uniformly continuous in \(x \in L^{p}(\mathbb{P},\mathbb{K})\) uniformly in \(i \in\mathbb{Z}\).

  6. (H6)

    There exists a continuous nondecreasing function \(\Theta: [0,\infty) \rightarrow(0,\infty)\) such that

    $$\sup_{t\in\mathbb{R}}\bigl[E\bigl\Vert g(t, x)\bigr\Vert ^{p}+ E\bigl\Vert f(t, x)\bigr\Vert ^{p}_{L^{0}_{2}} \bigr]\leq\Theta\bigl(\Vert x\Vert ^{p}\bigr), \quad x\in L^{p}(\mathbb{P},\mathbb{K}), $$

    and there exist continuous nondecreasing functions \(\tilde{\Theta}_{i} : [0,\infty) \rightarrow(0,\infty) \), \(i\in\mathbb{Z}\), such that

    $$E\bigl\Vert I_{i}(x)\bigr\Vert ^{p}\leq\tilde{ \Theta}_{i}\bigl(E\Vert x\Vert ^{p}\bigr), \quad x\in L^{p}(\mathbb{P},\mathbb{K}). $$
  7. (H7)

    There exists a constant \(M^{*} > 0\) such that

    $$ \frac{M^{*}}{N_{1} \Theta(M^{*}) +N_{2} \sup_{i\in\mathbb{Z}}\tilde{\Theta}_{i}(M^{*})}>1, $$

    where for \(p> 2\), \(N_{1}=6^{p-1}M^{p}[\frac{2}{\delta^{p}} +C_{p}(\frac{p-2}{p\delta})^{\frac{p-2}{p}}\frac{4}{p\delta}]\), \(N_{2}=6^{p-1}M^{p}\frac{2}{(1-e^{-\delta\alpha})^{p}}\), and for \(p=2\), \(N_{1}=12M^{2}[\frac{1}{\delta^{2}} +\frac{1}{2\delta}]\), \(N_{2}=12M^{2}\frac{1}{(1-e^{-\delta\alpha})^{2}}\).

Remark 3.1

Assumption (H1) is usually called the ‘Acquistapace-Terreni’ condition, which was first introduced in [44] and widely used to investigate nonautonomous evolution equations in [4–6, 45]. If (H1) holds, then there exists a unique evolution family \(\{U(t, s), t \geq s > -\infty\}\) on \(L^{p}(\mathbb{P},\mathbb{H})\).

Lemma 3.1

[47]

Assume that (H1)-(H2) hold. If \(U(\cdot,\cdot)\) has an exponential dichotomy with constants \(M, \delta > 0\), then for each \(\varepsilon> 0 \) and \(h > 0\) there is a relatively dense set \(\Omega_{\varepsilon,h}\) such that

$$\bigl\Vert \Gamma(t+\tau, s +\tau)- \Gamma(t,s)\bigr\Vert \leq\varepsilon e^{-\frac{\delta}{2}|t-s|}, \quad |t - s| > h, t,s \in\mathbb{R}, \tau\in \Omega_{\varepsilon,h}. $$

We abbreviate this property by writing \(\Gamma\in AP(L(\mathbb{H}))\).

Lemma 3.2

Compare with [28]

Assume that \(f \in AP_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), the sequence \(\{x_{i}\}_{i\in\mathbb{Z}} \in AP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\), and \(\{t^{j}_{ i}\}\), \(j \in\mathbb{Z}\) are equipotentially almost periodic. Then, for each \(\varepsilon> 0\), there exist relatively dense sets \(\Omega_{\varepsilon}\) of \(\mathbb{R}\) and \(\Omega_{\varepsilon}\) of \(\mathbb{Z}\) such that

  1. (i)

    \(E\| f(t + \tau) -f(t)\|^{p} < \varepsilon\) for all \(t \in\mathbb{R}\), \(|t - t_{i}| > \varepsilon\), \(\tau\in \Omega_{\varepsilon}\) and \(i \in \mathbb{Z}\).

  2. (ii)

    \(\|\Gamma(t+\tau, s +\tau)- \Gamma(t,s)\|^{p}< \varepsilon\) for all \(t, s\in\mathbb{R}\), \(|t - s| > 0\), \(|s - t_{i}| > \varepsilon\), \(|t-t_{i}| > \varepsilon\), \(\tau\in\Omega_{\varepsilon } \) and \(i \in\mathbb{Z}\).

  3. (iii)

    \(E\| x_{i+q}-x_{i}\|^{p} < \varepsilon\) for all \(q \in \Omega_{\varepsilon}\) and \(i \in \mathbb{Z}\).

  4. (iv)

    \(E\| x^{q}_{i}-\tau\|^{p} < \varepsilon\) for all \(q,\tau\in \Omega_{\varepsilon}\) and \(i \in \mathbb{Z}\).

Also, we need to introduce a few preliminary and important results.

Lemma 3.3

Assume that (H1)-(H4) hold. If \(g\in PAP_{T }(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) and if G is the function defined by

$$ G(t):= \int_{-\infty}^{t}U(t,\tau) P(\tau)g(\tau)\,d\tau- \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)g(\tau) \,d\tau $$
(3.2)

for each \(t\in\mathbb{R}\), then \(G\in PAP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\).

Proof

Since \(g \in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), there exist \(g_{1}\in AP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})) \) and \(g_{2}\in PAP^{0}_{T} (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\), such that \(g= g_{1} +g_{2}\), then \(G(t)\) can be decomposed as

$$\begin{aligned} G(t) =& \biggl[ \int_{-\infty}^{t}U(t,\tau) P(\tau)g_{1}(\tau) \,d\tau- \int_{t}^{+\infty}U_{Q}(t,\tau) Q( \tau)g_{1}(\tau)\,d\tau \biggr] \\ &{} + \biggl[ \int_{-\infty}^{t}U(t,\tau) P(\tau)g_{2}(\tau) \,d\tau- \int_{t}^{+\infty}U_{Q}(t,\tau) Q( \tau)g_{2}(\tau)\,d\tau \biggr] \\ =:&G_{1}(t)+G_{2}(t). \end{aligned}$$

Next we show that \(G_{1}(t) \in AP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})) \) and \(G_{2}(t) \in PAP^{0}_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). Thus, the following verification procedure is divided into three steps.

Step 1. \(G_{1}\in UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(t^{\prime}, t^{\prime\prime} \in(t_{i}, t_{i+1})\), \(i \in \mathbb{Z}\), \(t^{\prime\prime} < t^{\prime}\). By (H4), for any \(\varepsilon > 0\), there exists \(0< \xi< (\frac{\varepsilon}{4\tilde{g}_{1}})^{1/p}\) such that \(0< t^{\prime}-t^{\prime\prime} <\xi\), we have

$$ \bigl\Vert U\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{\delta^{p}\varepsilon}{ 4\tilde{g}_{1}},\qquad \bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{\delta^{p}\varepsilon}{ 4\tilde{g}_{1}}, $$

where \(\tilde{g}_{1}=4^{p-1}M^{p}\| g_{1}\|_{\infty}^{p}\). Using Hölder’s inequality, we have

$$\begin{aligned}& E\bigl\Vert G_{1}\bigl(t^{\prime}\bigr)-G_{1} \bigl(t^{\prime\prime}\bigr)\bigr\Vert ^{p} \\& \quad \leq 4^{p-1}E\biggl\Vert \int_{-\infty}^{t^{\prime\prime }}\bigl[U\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr]U\bigl(t^{\prime\prime},\tau \bigr)P(\tau) g_{1}(\tau)\,d \tau\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{t^{\prime }}U\bigl(t^{\prime},\tau\bigr)P( \tau) g_{1}(\tau)\,d\tau\biggr\Vert ^{p} \\& \qquad {}+ 4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{+\infty }\bigl[U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr]U_{Q} \bigl(t^{\prime\prime},\tau \bigr)Q(\tau) g_{1}(\tau)\,d\tau\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{t^{\prime }}U_{Q}\bigl(t^{\prime}, \tau\bigr)Q(\tau) g_{1}(\tau)\,d\tau\biggr\Vert ^{p} \\& \quad \leq4^{p-1}M^{p}\bigl\Vert U\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr\Vert ^{p} \biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\delta(t^{\prime \prime}-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\delta(t^{\prime \prime}-\tau)} E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {}+4^{p-1}M^{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\delta (t^{\prime}-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\delta(t^{\prime }-\tau)} E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {}+4^{p-1}M^{p}\bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p} \biggl( \int_{t^{\prime\prime}}^{+\infty}e^{-\delta(t^{\prime \prime}-\tau)}\,d\tau \biggr)^{p-1}\biggl( \int_{t^{\prime\prime}}^{+\infty}e^{-\delta(t^{\prime \prime}-\tau)} E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {}+4^{p-1}M^{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\delta (t^{\prime}-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\delta(t^{\prime }-\tau)} E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \biggr) \\& \quad \leq4^{p-1}M^{p}\bigl\Vert U\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr\Vert ^{p} \biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\delta(t^{\prime \prime}-\tau)}\,d\tau \biggr)^{p} \sup_{\tau\in\mathbb{R}}\bigl\Vert g_{1}( \tau)\bigr\Vert ^{p} \\& \qquad {}+4^{p-1}M^{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\delta (t-\tau)}\,d\tau \biggr)^{p} \sup_{\tau\in\mathbb{R}}\bigl\Vert g_{1}( \tau)\bigr\Vert ^{p} \\& \qquad {}+ 4^{p-1}M^{p}\bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p} \biggl( \int_{t^{\prime\prime}}^{+\infty}e^{\delta(t^{\prime\prime }-\tau)}\,d\tau \biggr)^{p} \sup_{\tau\in\mathbb{R}}\bigl\Vert g_{1}( \tau)\bigr\Vert ^{p} \\& \qquad {}+4^{p-1}M^{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{\delta (t-\tau)}\,d\tau \biggr)^{p} \sup_{\tau\in\mathbb{R}}\bigl\Vert g_{1}( \tau)\bigr\Vert ^{p} \\& \quad \leq 4^{p-1}M^{p} \Vert g_{1}\Vert _{\infty}^{p}\frac{\delta^{p}\varepsilon }{4\tilde{g}_{1}} \biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\delta(t^{\prime \prime}-\tau)}\,d\tau \biggr)^{p} +4^{p-1}M^{p} \Vert g_{1} \Vert _{\infty}^{p}\biggl[\biggl(\frac{\varepsilon}{4 \tilde{g}_{1}} \biggr)^{p} \biggr]^{1/p} \\& \qquad {}+ 4^{p-1}M^{p} \Vert g_{1}\Vert _{\infty}^{p}\frac{\delta^{p}\varepsilon }{4\tilde{g}_{1}} \biggl( \int_{t^{\prime\prime}}^{+\infty}e^{\delta(t^{\prime\prime }-\tau)}\,d\tau \biggr)^{p} +4^{p-1}M^{p} \Vert g_{1} \Vert _{\infty}^{p}\biggl[\biggl(\frac{\varepsilon}{4 \tilde{g}_{1}} \biggr)^{p} \biggr]^{1/p} \\& \quad < \frac{\varepsilon}{4}+\frac{\varepsilon}{4}+\frac {\varepsilon}{4}+ \frac{\varepsilon}{4}=\varepsilon. \end{aligned}$$

Step 2. \(G_{1} \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(t_{i} < t \leq t_{i+1}\). For \(\varepsilon> 0\), let \(\Omega_{\varepsilon}\) be a relatively dense set of \(\mathbb{R}\) formed by ε-periods of \(G_{1}\). For \(\tau^{\prime} \in \Omega_{\varepsilon}\) and \(0 < \eta< \min\{\varepsilon, \alpha/2\}\), we have

$$\begin{aligned}& E\bigl\Vert G_{1}\bigl(t+\tau^{\prime}\bigr)-G_{1}(t) \bigr\Vert ^{p} \\& \quad \leq4^{p-1}E\biggl\Vert \int_{-\infty}^{t}U\bigl(t+\tau ^{\prime},\tau+ \tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime}\bigr)\bigl[ g_{1}\bigl(\tau+\tau^{\prime}\bigr)-g_{1}(\tau)\bigr] \,d\tau\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{-\infty}^{t}\bigl[U\bigl(t+\tau ^{\prime}, \tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime}\bigr) -U(t,\tau)P( \tau)\bigr]g_{1}(\tau)\,d\tau\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t}^{+\infty}U_{Q}\bigl(t+\tau ^{\prime},\tau+\tau^{\prime}\bigr)Q\bigl(\tau+\tau^{\prime} \bigr)\bigl[ g_{1}\bigl(\tau+\tau^{\prime}\bigr)-g_{1}( \tau)\bigr]\,d\tau\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t}^{+\infty }\bigl[U_{Q}\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)Q\bigl(\tau+\tau^{\prime} \bigr) -U_{Q}(t,\tau)Q(\tau)\bigr]g_{1}(\tau)\,d\tau\biggr\Vert ^{p} \\& \quad =\sum_{k=1}^{4}J_{k}. \end{aligned}$$

Using Hölder’s inequality, it follows that

$$\begin{aligned} J_{1} \leq&4^{p-1}M^{p}\biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} \,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau\biggr) \\ \leq&4^{p-1}M^{p}\biggl( \int_{-\infty}^{t}e^{-\delta (t-\tau)} \,d\tau \biggr)^{p-1}\Biggl[\sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta }^{t_{j+1}-\eta}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j}}^{t_{j}+\eta}e^{-\delta (t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j+1}-\eta }^{t_{j+1}}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \\ &{}+ \int_{t_{i}}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \Biggr]. \end{aligned}$$

Since \(g_{1} \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), one has

$$E\bigl\Vert g_{1}(t + \tau) -g_{1} (t)\bigr\Vert ^{p} < \varepsilon $$

for all \(t \in[t_{j} + \eta, t_{j+1} -\eta]\), \(j \in\mathbb{Z}\), \(j \leq i\), and \(t- \tau\geq t-t_{i} +t_{i}-(t_{j+1}-\eta) \geq t-t_{i}+\alpha(i-1-j)+\eta\). Then

$$\begin{aligned}& \sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta}e^{-\delta (t-\tau)}E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \\ & \quad \leq\varepsilon \sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta}e^{-\delta (t-\tau)} \,d\tau \\ & \quad \leq\frac{\varepsilon}{\delta} \sum_{j=-\infty}^{i-1} e^{-\delta(t-t_{j+1}+\eta)} \\ & \quad \leq\frac{\varepsilon}{\delta} \sum_{j=-\infty}^{i-1} e^{-\delta\alpha(i-j-1)} \\ & \quad \leq\frac{\varepsilon}{\delta(1-e^{-\delta\alpha})}, \\ & \sum_{j=-\infty}^{i-1} \int_{t_{j}}^{t_{j}+\eta}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau \\ & \quad \leq2^{p-1}\sup_{s\in\mathbb{R}}E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p}\sum _{j=-\infty}^{i-1} \int _{t_{j}}^{t_{j}+\eta}e^{-\delta(t-\tau)}\,d\tau \\ & \quad \leq2^{p-1}\Vert g_{1}\Vert _{\infty}^{p} \varepsilon e^{\delta\eta}\sum_{j=-\infty}^{i-1}e^{-\delta(t-t_{j})} \\ & \quad \leq2^{p-1}\Vert g_{1}\Vert _{\infty}^{p} \varepsilon e^{\delta\eta}e^{-\delta (t-t_{i})}\sum_{j=-\infty}^{i-1}e^{-\delta\alpha(i-j)} \\ & \quad \leq\frac{2^{p-1}\Vert g_{1}\Vert _{\infty}^{p} e^{\delta\alpha/2}\varepsilon}{1-e^{-\delta\alpha}}. \end{aligned}$$

Similarly, one has

$$\begin{aligned}& \sum_{j=-\infty}^{i-1} \int_{t_{j+1}-\eta}^{t_{j+1}}e^{-\delta (t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau\leq\tilde{M}_{1}\varepsilon, \\ & \int_{t_{i}}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g_{1}\bigl(\tau+\tau^{\prime}\bigr)- g_{1}(\tau)\bigr\Vert ^{p}\,d\tau\leq \tilde{M}_{2}\varepsilon, \end{aligned}$$

where \(\tilde{M}_{1}\), \(\tilde{M}_{2}\) are some positive constants. Therefore, we get \(J_{1}\leq\bar{N}_{1}\varepsilon\) for \(\bar{N}_{1}>0\). Using Lemma 3.1, we have

$$\begin{aligned} J_{2} \leq&8^{p-1}E \biggl[ \int_{-\infty}^{t-\eta}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]g_{1}(\tau)\bigr\Vert \,d\tau \biggr]^{p} \\ &{} +8^{p-1}E \biggl[ \int_{t-\eta}^{t}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]g_{1}(\tau)\bigr\Vert \,d\tau \biggr]^{p} \\ \leq&8^{p-1}\varepsilon^{p} \biggl( \int_{-\infty}^{t-\eta}e^{-\frac {\delta}{2}(t-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t-\eta}e^{-\frac{\delta}{2}(t-\tau )}E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p} \,d\tau \biggr) \\ &{} +8^{p-1}(2M)^{p}\eta^{p}\sup _{\tau\in\mathbb{R}}E\bigl\Vert g_{1}(\tau)\bigr\Vert ^{p} \\ \leq&8^{p-1} \biggl[ \biggl(\frac{2}{\delta} \biggr)^{p}+(2M)^{p} \biggr]\Vert g_{1}\Vert ^{p}_{\infty} \varepsilon^{p}. \end{aligned}$$

Similar to the proof of \(J_{1}\), \(J_{2}\) we have \(J_{3}\leq\bar{N}_{2}\varepsilon\), \(J_{4}\leq \bar{N}_{3}\varepsilon^{p} \) for \(\bar{N}_{2}, \bar{N}_{3}>0\). Hence, \(G_{1}\in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 3. \(G_{2}\in P AP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

For \(r > 0\), by Hölder’s inequality, we have

$$\begin{aligned}& \frac{1}{2r} \int_{-r}^{r}E\bigl\Vert G_{2}(t)\bigr\Vert ^{p}\,dt \\& \quad \leq2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int _{-\infty}^{t}U(t,\tau)P(\tau) g_{2}(\tau) \,d\tau\biggr\Vert ^{p}\,dt \\& \qquad {}+ 2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int_{t}^{+\infty }U_{Q}(t,\tau)Q(\tau) g_{2}(\tau)\,d\tau\biggr\Vert ^{p}\,dt \\& \quad =2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int _{0}^{+\infty}U(t,t-\tau)P(t-\tau) g_{2}(t- \tau)\,d\tau\biggr\Vert ^{p}\,dt \\& \qquad {}+2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int _{-\infty}^{0}U_{Q}(t,t-\tau)Q(t-\tau) g_{2}(t-\tau)\,d\tau\biggr\Vert ^{p}\,dt \\& \quad \leq2^{p-1}M^{p}\frac{1}{2r} \int_{-r}^{r}\biggl( \int _{0}^{+\infty}e^{-\delta \tau}\,d\tau \biggr)^{p-1} \int_{0}^{\infty}e^{-\delta\tau} E\bigl\Vert g_{2}(t-\tau)\bigr\Vert ^{p}\,d\tau \,dt \\& \qquad {}+2^{p-1}M^{p}\frac{1}{2r} \int_{-r}^{r}\biggl( \int _{-\infty}^{0}e^{\delta \tau}\,d\tau \biggr)^{p-1} \int_{-\infty}^{0}e^{\delta\tau} E\bigl\Vert g_{2}(t-\tau)\bigr\Vert ^{p}\,d\tau \,dt \\& \quad =2^{p-1}M^{p}\biggl( \int_{0}^{+\infty}e^{-\delta \tau}\,d\tau \biggr)^{p-1} \int_{0}^{\infty}e^{-\delta \tau}\,d\tau\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert g_{2}(t-\tau) \bigr\Vert ^{p}\,dt \\& \qquad {}+2^{p-1}M^{p}\biggl( \int_{-\infty}^{0}e^{\delta \tau}\,d\tau \biggr)^{p-1} \int_{-\infty}^{0}e^{\delta \tau}\,d\tau \frac{1}{2r} \int_{-r}^{r} E\bigl\Vert g_{2}(t-\tau) \bigr\Vert ^{p}\,dt . \end{aligned}$$

Since \(g_{2} \in PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), it follows that \(g_{2}(\cdot-\tau) \in PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) for each \(s \in\mathbb{R}\) by Remark 2.1, hence

$$\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert g_{2}(t-\tau) \bigr\Vert ^{p}\,dt\rightarrow0 \quad \text{as } r \rightarrow\infty $$

for all \(s \in\mathbb{R}\). Using Lebesgue’s dominated convergence theorem, we have \(G_{2}\in PAP^{0}_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). This completes the proof. □

Lemma 3.4

Assume that (H1)-(H4) hold. If \(f\in PAP_{T }(\mathbb{R}, L^{p}(\mathbb{P},L^{0}_{2}))\) and if F is the function defined by

$$ F(t):= \int_{-\infty}^{t}U(t,\tau) P(\tau)f(\tau)\,dW(\tau)- \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)f(\tau) \,dW(\tau) $$
(3.3)

for each \(t\in\mathbb{R}\), then \(F\in PAP_{T}(\mathbb{R}, L^{p}(\mathbb{P},L^{0}_{2}))\).

Proof

Since \(f \in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},L^{0}_{2}))\), there exist \(f_{1}\in AP_{T}(\mathbb{R}, L^{p}(\mathbb{P},L^{0}_{2})) \) and \(f_{2}\in PAP^{0}_{T} (\mathbb{R}, L^{p}(\mathbb{P},L^{0}_{2}))\), such that \(f= f_{1} +f_{2}\), then \(F(t)\) can be decomposed as

$$\begin{aligned} F(t) =& \biggl[ \int_{-\infty}^{t}U(t,\tau) P(\tau)f_{1}(\tau) \,dW(\tau)- \int_{t}^{+\infty}U_{Q}(t,\tau) Q( \tau)f_{1}(\tau)\,dW(\tau) \biggr] \\ &{} + \biggl[ \int_{-\infty}^{t}U(t,\tau) P(\tau)f_{2}(\tau) \,dW(\tau)- \int_{t}^{+\infty}U_{Q}(t,\tau) Q( \tau)f_{2}(\tau)\,dW(\tau) \biggr] \\ =:&F_{1}(t)+F_{2}(t). \end{aligned}$$

Next we show that \(F_{1}(t) \in AP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})) \) and \(F_{2}(t) \in PAP^{0}_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). Thus, the verification procedure is divided into the following three steps.

Step 1. \(F_{1}\in UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(t^{\prime}, t^{\prime\prime} \in(t_{i}, t_{i+1})\), \(i \in \mathbb{Z}\), \(t^{\prime\prime} < t^{\prime}\). By (H4), for any \(\varepsilon > 0\), there exists \(0< \xi< (\frac{\varepsilon}{4\tilde{f}_{1}})^{2(p-1)/p}\) such that \(0< t^{\prime}-t^{\prime\prime} <\xi\), we have, for \(p > 2\),

$$ \bigl\Vert U\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{(\frac{p\delta}{p-2})^{(p-2)/2}\frac{p\delta}{2}\varepsilon}{ 4\tilde{f}_{1}},\qquad \bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{(\frac{p\delta}{p-2})^{(p-2)/2}\frac{p\delta}{2}\varepsilon}{ 4\tilde{f}_{1}}, $$

where \(\tilde{f}_{1}=4^{p-1}M^{p}C_{p}\| f_{1}\|_{\infty}^{p}\). Using Hölder’s inequality and the Ito integral [48], we have

$$\begin{aligned}& E\bigl\Vert F_{1}\bigl(t^{\prime}\bigr)-F_{1} \bigl(t^{\prime\prime}\bigr)\bigr\Vert ^{p} \\& \quad \leq 4^{p-1}E\biggl\Vert \int_{-\infty}^{t^{\prime\prime }}\bigl[U\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr]U\bigl(t^{\prime\prime},\tau \bigr)P(\tau) f_{1}(\tau) \,dW(\tau)\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{t^{\prime }}U\bigl(t^{\prime},\tau\bigr)P( \tau) f_{1}(\tau)\,dW(\tau)\biggr\Vert ^{p} \\& \qquad {}+ 4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{+\infty }\bigl[U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr]U_{Q} \bigl(t^{\prime\prime},\tau \bigr)Q(\tau) f_{1}(\tau)\,dW(\tau)\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \int_{t^{\prime\prime}}^{t^{\prime }}U_{Q}\bigl(t^{\prime}, \tau\bigr)Q(\tau) f_{1}(\tau)\,dW(\tau)\biggr\Vert ^{p} \\& \quad \leq 4^{p-1}M^{p}C_{p}E\biggl[ \int_{-\infty}^{t^{\prime\prime }}e^{-2\delta(t^{\prime\prime}-\tau)}\bigl\Vert U \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{2} \bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \biggr]^{p/2} \\& \qquad {}+4^{p-1}M^{p}C_{p}E\biggl[ \int_{t^{\prime\prime}}^{t^{\prime }}e^{-2\delta(t^{\prime}-\tau)} \bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \biggr]^{p/2} \\& \qquad {}+4^{p-1}M^{p}C_{p}E\biggl[ \int_{t^{\prime\prime}}^{+\infty }e^{2\delta(t^{\prime\prime}-\tau)}\bigl\Vert U_{Q}\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{2} \bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau\biggr]^{p/2} \\& \qquad {}+4^{p-1}M^{p}C_{p}E\biggl[ \int_{t^{\prime\prime}}^{t^{\prime }}e^{2\delta(t^{\prime}-\tau)} \bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \biggr]^{p/2} \\& \quad \leq4^{p-1}M^{p}C_{p}\bigl\Vert U \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p} \biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\frac{p}{p-2}\delta (t^{\prime\prime}-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \\& \qquad {}\times\biggl( \int_{-\infty}^{t^{\prime\prime }}e^{-\frac{p}{2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p} \\& \qquad {}+4^{p-1}M^{p}C_{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime }}e^{-\frac{p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-\frac{p}{2}\delta (t-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p} \\& \qquad {}+ 4^{p-1}M^{p}C_{p}\bigl\Vert U_{Q}\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p} \biggl( \int_{t^{\prime\prime}}^{+\infty}e^{\frac{p}{p-2}\delta (t^{\prime\prime}-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \\& \qquad {}\times\biggl( \int_{t^{\prime\prime}}^{+\infty }e^{\frac{p}{2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p} \\& \qquad {}+4^{p-1}M^{p}C_{p}\biggl( \int_{t^{\prime\prime}}^{t^{\prime }}e^{\frac{p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{\frac{p}{2}\delta (t-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p} \\& \quad \leq 4^{p-1}M^{p}C_{p} \Vert f_{1}\Vert _{\infty}^{p}\frac{(\frac{p\delta }{p-2})^{(p-2)/p}\frac{p\delta}{2}\varepsilon}{ 4\tilde{f}_{1}}\biggl( \int_{-\infty}^{t^{\prime\prime}}e^{-\frac {p}{p-2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \\& \qquad {}\times\biggl( \int_{-\infty}^{t^{\prime\prime }}e^{-\frac{p}{2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) \\& \qquad {}+4^{p-1}M^{p}C_{p} \Vert f_{1}\Vert _{\infty}^{p}\biggl[\biggl( \frac{\varepsilon}{4 \tilde{f}_{1}} \biggr)^{\frac{p}{2(p-1)}} \biggr]^{\frac {2(p-2)}{p}} \\& \qquad {}+ 4^{p-1}M^{p}C_{p} \Vert f_{1}\Vert _{\infty}^{p}\frac{(\frac{p\delta }{p-2})^{(p-2)/p}\frac{p\delta}{2}\varepsilon}{ 4\tilde{f}_{1}}\biggl( \int_{t^{\prime\prime}}^{+\infty}e^{\frac {p}{p-2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \\& \qquad {}\times\biggl( \int_{t^{\prime\prime}}^{+\infty }e^{\frac{p}{2}\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) \\& \qquad {}+4^{p-1}M^{p}C_{p} \Vert f_{1}\Vert _{\infty}^{p}\biggl[\biggl( \frac{\varepsilon}{4 \tilde{f}_{1}} \biggr)^{\frac{p}{2(p-1)}} \biggr]^{\frac {2(p-2)}{p}} \\& \quad < \frac{\varepsilon}{4}+\frac{\varepsilon}{4}+\frac {\varepsilon}{4}+ \frac{\varepsilon}{4}=\varepsilon. \end{aligned}$$

For \(p = 2\). Let \(\varepsilon > 0\), there exists \(0< \xi< \frac{\varepsilon}{4\tilde{f}_{1}}\) such that \(0< t^{\prime}-t^{\prime\prime} <\xi\), we have

$$ \bigl\Vert U\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{2}\leq \frac{ \delta\varepsilon}{ 2\tilde{f}_{1}},\qquad \bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{2}\leq \frac{ \delta\varepsilon}{ 2\tilde{f}_{1}}, $$

where \(\tilde{f}_{1}=4M^{2}\| f_{1}\|_{\infty}^{2}\). Similar to the above discussion, one has

$$\begin{aligned}& E\bigl\Vert F_{1}\bigl(t^{\prime}\bigr)-F_{1} \bigl(t^{\prime\prime}\bigr)\bigr\Vert ^{2} \\& \quad \leq4M^{2}\bigl\Vert U\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr\Vert ^{2}\biggl( \int_{-\infty }^{t^{\prime\prime}}e^{-2\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2} \\& \qquad {}+4M^{2}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{-2\delta (t-s)}\,ds \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2} \\& \qquad {}+4M^{2}\bigl\Vert U_{Q}\bigl(t^{\prime},t^{\prime\prime} \bigr)-I\bigr\Vert ^{2}\biggl( \int _{t^{\prime\prime}}^{+\infty}e^{2\delta(t^{\prime\prime}-\tau )}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2} \\& \qquad {} +4M^{2}\biggl( \int_{t^{\prime\prime}}^{t^{\prime}}e^{2\delta (t-\tau)}\,d\tau \biggr) \sup _{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2} \\ & \quad \leq4M^{2} \Vert f_{1}\Vert _{\infty}^{2} \frac{\delta\varepsilon}{ 2\tilde{f}_{1}}\biggl( \int_{-\infty}^{t^{\prime\prime }}e^{-2\delta(t^{\prime\prime}-\tau)}\,d\tau \biggr) +4M^{p} \Vert f_{1}\Vert _{\infty}^{2} \biggl(\frac{\varepsilon}{4 \tilde{f}_{1}} \biggr) \\ & \qquad {}+ 4M^{2} \Vert f_{1}\Vert _{\infty}^{2} \frac{\delta\varepsilon}{ 2\tilde{f}_{1}}\biggl( \int_{t^{\prime\prime}}^{+\infty}e^{2\delta (t^{\prime\prime}-\tau)}\,d\tau \biggr) +4M^{p} \Vert f_{1}\Vert _{\infty}^{2} \biggl(\frac{\varepsilon}{4 \tilde{f}_{1}} \biggr) \\ & \quad < \frac{\varepsilon}{4}+\frac{\varepsilon}{4}+\frac {\varepsilon}{4}+ \frac{\varepsilon}{4}=\varepsilon. \end{aligned}$$

Consequently, \(F_{1}\in UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 2. \(F_{1} \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(t_{i} < t \leq t_{i+1}\). For \(\varepsilon> 0\), let \(\Omega_{\varepsilon}\) be a relatively dense set of \(\mathbb{R}\) formed by ε-periods of F. For \(\tau^{\prime} \in \Omega_{\varepsilon}\) and \(0 < \eta< \min\{\varepsilon, \alpha/2\}\), we have

$$\begin{aligned}& E\bigl\Vert F_{1}\bigl(t+\tau^{\prime}\bigr)-F_{1}(t) \bigr\Vert ^{p} \\ & \quad \leq4^{p-1}E\biggl\Vert \int_{-\infty}^{t}U\bigl(t+\tau^{\prime },\tau+ \tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime}\bigr)\bigl[ f_{1}\bigl(\tau+\tau^{\prime}\bigr)-f_{1}(\tau)\bigr] \,dW(\tau)\biggr\Vert ^{p} \\ & \qquad {}+4^{p-1}E\biggl\Vert \int_{-\infty}^{t}\bigl[U\bigl(t+\tau^{\prime }, \tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime}\bigr) -U(t,\tau)P( \tau)\bigr]f_{1}(\tau)\,dW(\tau)\biggr\Vert ^{p} \\ & \qquad {}+4^{p-1}E\biggl\Vert \int_{t}^{+\infty}U_{Q}\bigl(t+\tau ^{\prime},\tau+\tau^{\prime}\bigr)Q\bigl(\tau+\tau^{\prime} \bigr)\bigl[ f_{1}\bigl(\tau+\tau^{\prime}\bigr)-f_{1}( \tau)\bigr]\,dW(\tau)\biggr\Vert ^{p} \\ & \qquad {}+4^{p-1}E\biggl\Vert \int_{t}^{+\infty}\bigl[U_{Q}\bigl(t+\tau ^{\prime},\tau+\tau^{\prime}\bigr)Q\bigl(\tau+\tau^{\prime} \bigr) -U_{Q}(t,\tau)Q(\tau)\bigr]f_{1}(\tau)\,dW(\tau) \biggr\Vert ^{p} \\ & \quad =\sum_{k=1}^{4} \tilde{J}_{k}. \end{aligned}$$

Using Hölder’s inequality and the Ito integral, we have, for \(p > 2\),

$$\begin{aligned} \tilde{J}_{1} \leq&4^{p-1}C_{p}M^{p}E \biggl[ \int_{-\infty}^{t}e^{-2\delta(t-\tau)} \bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau\biggr]^{p/2} \\ \leq&4^{p-1}C_{p}M^{p}\biggl( \int_{-\infty}^{t}e^{-\frac {p}{p-2}\delta(t-\tau)} \,d\tau \biggr)^{\frac{p-2}{p}} \\ &{}\times \Biggl[\sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta }e^{-\frac{p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j}}^{t_{j}+\eta}e^{-\frac {p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j+1}-\eta }^{t_{j+1}}e^{-\frac{p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \\ &{}+ \int_{t_{i}}^{t}e^{-\frac{p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \Biggr]. \end{aligned}$$

Since \(f_{1} \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},L^{0}_{2}))\), one has

$$E\bigl\Vert f_{1}(t + \tau) -f_{1} (t)\bigr\Vert _{L^{0}_{2}}^{p} < \varepsilon $$

for all \(t \in[t_{j} + \eta, t_{j+1} -\eta]\), \(t- \tau\geq t-t_{i} +t_{i}-(t_{j+1}-\eta) \geq t-t_{i}+\alpha(i-1-j)+\eta\), and \(j\in\mathbb{Z}\), \(j \leq i\). Then

$$\begin{aligned}& \sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta}e^{-\frac {p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \\& \quad \leq\varepsilon \sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta}e^{-\frac {p}{2}\delta(t-\tau)}\,d\tau \\& \quad \leq\frac{2}{\delta p} \sum_{j=-\infty}^{i-1} e^{-\frac{p}{2}\delta(t-t_{j+1}+\eta)} \\& \quad \leq\frac{2\varepsilon}{\delta p} \sum_{j=-\infty}^{i-1} e^{-\frac{p}{2}\delta\alpha(i-j-1)} \\& \quad \leq\frac{2\varepsilon}{\delta p(1-e^{-\delta\alpha})}, \\& \sum_{j=-\infty}^{i-1} \int_{t_{j}}^{t_{j}+\eta}e^{-\frac {p}{2}\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \\& \quad \leq2^{p-1}\sup_{s\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\sum _{j=-\infty}^{i-1} \int _{t_{j}}^{t_{j+1}+\eta}e^{-\frac{p}{2}\delta(t-\tau)}\,d\tau \\& \quad \leq2^{p-1}\sup_{s\in\mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\varepsilon e^{\frac{p}{2}\delta \eta} e^{-\frac{p}{2}\delta(t-t_{i})}\sum_{j=-\infty}^{i-1}e^{-\frac {p}{2}\delta\alpha(i-j)} \\& \quad \leq2^{p-1}\sup_{s\in\mathbb{R}}E\bigl\Vert f_{1}(s)\bigr\Vert _{L^{0}_{2}}^{p}\varepsilon e^{\frac{p}{2}\delta \eta} e^{-\frac{p}{2}\delta(t-t_{i})}\sum_{j=-\infty}^{i-1}e^{-\frac {p}{2}\delta\alpha(i-j)} \\& \quad \leq\frac{2^{p-1}\Vert f_{1}\Vert _{\infty}^{p} e^{\delta\alpha/4}\varepsilon}{1-e^{-\frac{p}{2}\delta\alpha}}. \end{aligned}$$

Similarly, one has

$$\begin{aligned}& \sum_{j=-\infty}^{i-1} \int_{t_{j+1}-\eta}^{t_{j+1}}e^{-\frac {p}{2}\delta(t-s)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,ds\leq\tilde{M}_{3}\varepsilon, \\& \int_{t_{i}}^{t}e^{-\frac{p}{2}\delta(t-s)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,ds\leq\tilde{M}_{4}\varepsilon, \end{aligned}$$

where \(\tilde{M}_{3}\), \(\tilde{M}_{4}\) are some positive constants. Therefore, we get \(\tilde{J}_{1}\leq \tilde{N}_{1}\varepsilon\) for \(\tilde{N}_{1}>0\). For \(p = 2\), we have

$$\begin{aligned} \tilde{J}_{1} \leq&4M^{p}E \int_{-\infty}^{t}e^{-2\delta(t-\tau)} \bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \\ \leq&4M^{2} \Biggl[\sum_{j=-\infty}^{i-1} \int_{t_{j}+\eta}^{t_{j+1}-\eta }e^{-2\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j}}^{t_{j}+\eta}e^{-2\delta (t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \\ &{}+\sum_{j=-\infty}^{i-1} \int_{t_{j+1}-\eta }^{t_{j+1}}e^{-2\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \\ &{}+ \int_{t_{i}}^{t}e^{-2\delta(t-\tau)} E\bigl\Vert f_{1}\bigl(\tau+\tau^{\prime}\bigr)- f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \Biggr]. \end{aligned}$$

Similar to the above proof, we get \(\tilde{J}_{1}\leq\tilde{N}_{2}\varepsilon\) for \(\tilde{N}_{2}>0\).

Using Lemma 3.1, we have, for \(p > 2\),

$$\begin{aligned} \tilde{J}_{2} \leq&8^{p-1}E \biggl[ \int_{-\infty}^{t-\eta}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]f_{1}(\tau)\bigr\Vert \,dW(\tau) \biggr]^{p} \\ &{} +8^{p-1}E \biggl[ \int_{t-\eta}^{t}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]f_{1}(\tau)\bigr\Vert \,dW(\tau) \biggr]^{p} \\ \leq&8^{p-1}C_{p}\varepsilon^{p} E \biggl[ \int_{-\infty}^{t-\eta }e^{-\delta(t-\tau)}\bigl\Vert f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}} \,d\tau \biggr]^{p/2} \\ &{} +8^{p-1}C_{p}E \biggl[ \int_{t-\eta}^{t}(2M)^{2}\bigl\Vert f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}} \,d\tau \biggr]^{p/2} \\ \leq&8^{p-1}C_{p}\varepsilon^{p} \biggl( \int_{-\infty}^{t-\eta }e^{-\frac{p}{p-2}\frac{\delta}{2}(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{-\infty}^{t-\eta}e^{-\frac{\delta}{4}(t-\tau )}E\bigl\Vert f_{1}(\tau)\bigr\Vert ^{p}_{L^{0}_{2}} \,d\tau \biggr) \\ &{} +8^{p-1}C_{p}(2M)^{p}\eta^{\frac{2(p-1)}{p}}\sup _{\tau\in \mathbb{R}}E\bigl\Vert f_{1}(\tau)\bigr\Vert _{L^{0}_{2}}^{p} \\ \leq&8^{p-1}C_{p} \biggl[ \biggl(\frac{2(p-2)}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{4}{p\delta}\varepsilon^{p-1} +(2M)^{p}\varepsilon^{\frac{p-2}{p}} \biggr]\Vert f_{1} \Vert ^{p}_{\infty}\varepsilon. \end{aligned}$$

For \(p = 2\), we have

$$\begin{aligned} \tilde{J}_{2} \leq&8E \biggl[ \int_{-\infty}^{t-\eta}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]f_{1}(\tau)\bigr\Vert \,dW(\tau) \biggr]^{2} \\ &{}+8E \biggl[ \int_{t-\eta}^{t}\bigl\Vert \bigl[ U\bigl(t+ \tau^{\prime},\tau+\tau^{\prime}\bigr)P\bigl(\tau+\tau^{\prime} \bigr) -U(t,\tau)P(\tau)\bigr]f_{1}(\tau)\bigr\Vert \,dW(\tau) \biggr]^{2} \\ \leq&8\varepsilon^{2} \int_{-\infty}^{t-\eta}e^{-\delta(t-\tau )}E\bigl\Vert f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}} \,d\tau+8 \int_{t-\eta }^{t}(2M)^{2}E\bigl\Vert f_{1}(\tau)\bigr\Vert ^{2}_{L^{0}_{2}} \,d\tau \\ \leq&8 \biggl(\varepsilon^{2} \int_{-\infty}^{t-\eta}e^{-\delta (t-\tau)}\,d\tau+ (2M)^{2}\eta \biggr)\sup_{\tau\in\mathbb{R}}E\bigl\Vert f_{1}(\tau )\bigr\Vert _{L^{0}_{2}}^{2} \\ \leq&8 \biggl[\frac{\varepsilon}{\delta}+(2M)^{2} \biggr]\Vert f_{1}\Vert ^{2}_{\infty}\varepsilon. \end{aligned}$$

Similar to the proof of \(\tilde{J}_{1}\), \(\tilde{J}_{2}\) we have \(\tilde{J}_{3}\leq\tilde{N}_{3}\varepsilon\), \(\tilde{J}_{4}\leq \tilde{N}_{4}\varepsilon\) for \(\tilde{N}_{3}, \tilde{N}_{4}>0\). Hence, \(F_{1}\in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 3. \(F_{2} \in P AP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

For \(r > 0\), by Hölder’s inequality and the Ito integral, we have, for \(p > 2\),

$$\begin{aligned}& \frac{1}{2r} \int_{-r}^{r}E\bigl\Vert F_{2}(t)\bigr\Vert ^{p}\,dt \\ & \quad \leq 2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int_{-\infty }^{t}U(t,\tau)P(\tau) f_{2}(\tau) \,dW(\tau)\biggr\Vert ^{p}\,dt \\ & \qquad {}+2^{p-1}\frac{1}{2r} \int_{-r}^{r}E \biggl\Vert \int_{t}^{+\infty}U_{Q}(t,\tau)Q(\tau) f_{2}(\tau)\,dW(\tau)\biggr\Vert ^{p}\,dt \\ & \quad = 2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int_{0}^{\infty }U(t,t-\tau)P(t-\tau) f_{2}(t- \tau)\,dW(s)\biggr\Vert ^{p}\,dt \\ & \qquad {}+2^{p-1}\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int _{-\infty}^{0}U_{Q}(t,t-\tau)Q(t-\tau) f_{2}(t-\tau)\,dW(s)\biggr\Vert ^{p}\,dt \\ & \quad \leq 2^{p-1}C_{p}\frac{1}{2r} \int_{-r}^{r}E\biggl[ \int_{0}^{\infty }e^{-2\tau} \bigl\Vert f_{2}(t-\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr]^{p/2}\,dt \\ & \qquad {}+2^{p-1}C_{p}\frac{1}{2r} \int_{-r}^{r}E\biggl[ \int _{-\infty}^{0}e^{2\tau} \bigl\Vert f_{2}(t-\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr]^{p/2}\,dt \\ & \quad \leq 2^{p-1}M^{p}C_{p}\frac{1}{2r} \int_{-r}^{r}\biggl( \int_{0}^{\infty }e^{-\frac{p}{p-2}\delta \tau}\,d\tau \biggr)^{\frac{p-2}{p}} \int_{0}^{\infty}e^{-\frac {p}{2}\delta s} E\bigl\Vert f_{2}(t-\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \,dt \\ & \qquad {}+2^{p-1}M^{p}C_{p}\frac{1}{2r} \int_{-r}^{r}\biggl( \int _{-\infty}^{0}e^{-\frac{p}{p-2}\delta \tau}\,d\tau \biggr)^{\frac{p-2}{p}} \int_{-\infty}^{0}e^{-\frac {p}{2}\delta s} E\bigl\Vert f_{2}(t-\tau)\bigr\Vert _{L^{0}_{2}}^{p}\,d\tau \,dt \\ & \quad = 2^{p-1}M^{p}C_{p}\biggl( \int_{0}^{\infty}e^{-\frac{p-2}{p}\delta \tau}\,d\tau \biggr)^{\frac{p-2}{p}} \int_{0}^{\infty}e^{-\frac {p}{2}\delta s}\,ds\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f_{2}(t-\tau) \bigr\Vert _{L^{0}_{2}}^{p}\,dt \\ & \qquad {}+2^{p-1}M^{p}C_{p}\biggl( \int_{-\infty}^{0}e^{-\frac {p-2}{p}\delta \tau}\,d\tau \biggr)^{\frac{p-2}{p}} \int_{0}^{\infty}e^{-\frac {p}{2}\delta s}\,ds\frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f_{2}(t-\tau) \bigr\Vert _{L^{0}_{2}}^{p}\,dt . \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned}& \frac{2}{2r} \int_{-r}^{r}E\biggl\Vert \int_{-\infty }^{t}U(t,\tau) f_{2}(\tau)\,dW( \tau)\biggr\Vert ^{2}\,dt \\ & \qquad {}+\frac{2}{2r} \int_{-r}^{r}E\biggl\Vert \int _{+\infty}^{t}U_{Q}(t,\tau) f_{2}(\tau)\,dW(\tau)\biggr\Vert ^{2}\,dt \\ & \quad \leq 2M^{2}\frac{1}{2r} \int_{-r}^{r} \int_{0}^{\infty}e^{-2\tau} E\bigl\Vert f_{2}(t-\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \,dt \\ & \qquad {}+2M^{2}\frac{1}{2r} \int_{-r}^{r} \int_{-\infty }^{0}e^{2\tau} E\bigl\Vert f_{2}(t-\tau)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \,dt \\ & \quad = 2M^{2}\biggl( \int_{0}^{\infty}e^{-2\delta \tau}\,d\tau \biggr) \frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f_{2}(t-\tau) \bigr\Vert _{L^{0}_{2}}^{p}\,dt \\ & \qquad {}+2M^{2}\biggl( \int_{-\infty}^{0}e^{2\delta \tau}\,d\tau \biggr) \frac{1}{2r} \int_{-r}^{r} E\bigl\Vert f_{2}(t-\tau) \bigr\Vert _{L^{0}_{2}}^{p}\,dt. \end{aligned}$$

Since \(f_{2} \in PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), it follows that \(f_{2}(\cdot-s) \in PAP^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) for each \(s \in\mathbb{R}\) by Remark 2.1, hence

$$\frac{1}{2r} \int_{-r}^{r}E\biggl\Vert \int_{-\infty}^{t} f_{2}(s)\,dW(s)\biggr\Vert ^{p}\,dt\rightarrow0 \quad \text{as } r \rightarrow\infty $$

for all \(s \in\mathbb{R}\). Using Lebesgue’s dominated convergence theorem, we have \(F_{2}\in PAP^{0}_{T} (\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). This completes the proof. □

Lemma 3.5

Assume that (H1)-(H4) hold. If \(\gamma_{i}\in PAP(\mathbb{Z}, L^{p}(\mathbb{P},\mathbb{H}))\), \(i\in \mathbb{Z}\), and if \(\tilde{\gamma}_{i}\) is the function defined by

$$ \tilde{\gamma}_{i}(t):= \sum _{t_{i}< t}U(t,t_{i}) P(t_{i}) \gamma_{i}-\sum_{t< t_{i}}U_{Q}(t,t_{i}) Q(t_{i})\gamma_{i} $$
(3.4)

for each \(t\in\mathbb{R}\), then \(\tilde{\gamma}_{i}\in PAP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\).

Proof

Since \(\gamma_{i} \in PAP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\), there exist \(\gamma_{1,i}\in AP(\mathbb{Z}, L^{p}(\mathbb{P},\mathbb{H})) \) and \(\gamma_{2,i}\in PAP_{0} (\mathbb{Z}, L^{p}(\mathbb{P},\mathbb{H}))\), such that \(\gamma_{i}=\gamma_{1,i}+\gamma_{2,i}\), then \(\tilde{\gamma}_{i}(t)\) can be decomposed as

$$\begin{aligned} \tilde{\gamma}_{i}(t) =& \biggl[ \sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{1,i}-\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i}) \gamma_{1,i} \biggr] \\ &{} + \biggl[\sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{2,i}-\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i}) \gamma_{2,i} \biggr] \\ =:&\Pi_{1,i}(t)+\Pi_{2,i}(t). \end{aligned}$$

Next we show that \(\Pi_{1,i}(t) \in AP_{T}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})) \) and \(\Pi_{2,i}(t) \in PAP_{T}^{0}(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). Thus, the verification procedure is divided into the following three steps.

Step 1. \(\Pi_{1,i}\in UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(t^{\prime}, t^{\prime\prime} \in(t_{i}, t_{i+1})\), \(i \in \mathbb{Z}\), \(t^{\prime\prime} < t^{\prime}\). By (H4), for any \(\varepsilon > 0\), we have

$$ \bigl\Vert U\bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{(1-e^{-\delta\alpha})^{p}\varepsilon}{2\tilde{\gamma}^{1}},\qquad \bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr)-I\bigr\Vert ^{p}\leq \frac{(1-e^{-\delta\alpha})^{p}\varepsilon}{2\tilde{\gamma}^{1}}, $$

where \(\tilde{\gamma}^{1}=2^{p-1}M^{p}\| \gamma_{1,i}\|_{\infty}^{p}\). Using Hölder’s inequality, we have

$$\begin{aligned}& E\bigl\Vert \Pi_{1,i}\bigl(t^{\prime}\bigr)- \Pi_{1,i}\bigl(t^{\prime\prime }\bigr)\bigr\Vert ^{p} \\& \quad \leq 2^{p-1}E\biggl\Vert \sum_{t_{i}< t^{\prime\prime}} \bigl[U\bigl(t^{\prime },t^{\prime\prime}\bigr) -I\bigr]U \bigl(t^{\prime\prime},t_{i}\bigr)P(t_{i}) \gamma_{1,i}\biggr\Vert ^{p} \\& \qquad {}+2^{p-1}E\biggl\Vert \sum_{t^{\prime }< t_{i}} \bigl[U_{Q}\bigl(t^{\prime},t^{\prime\prime}\bigr) -I \bigr]U_{Q}\bigl(t^{\prime\prime},t_{i} \bigr)Q(t_{i})\gamma_{1,i}\biggr\Vert ^{p} \\& \quad \leq2^{p-1}M^{p}\bigl\Vert U\bigl(t^{\prime},t^{\prime\prime} \bigr) -I\bigr\Vert ^{p}\biggl(\sum_{t_{i}< t^{\prime\prime}}e^{-\delta (t^{\prime\prime}-t_{i})} \biggr)^{p-1} \biggl(\sum_{t_{i}< t^{\prime\prime}}e^{-\delta(t^{\prime\prime}-t_{i})} E\Vert \gamma_{1,i}\Vert ^{p}\biggr) \\& \qquad {}+2^{p-1}M^{p}\bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr) -I\bigr\Vert ^{p}\biggl( \sum_{t^{\prime}< t_{i}}e^{\delta(t^{\prime \prime}-t_{i})} \biggr)^{p-1} \biggl(\sum_{t^{\prime}< t_{i}}e^{\delta(t^{\prime\prime}-t_{i})} E\Vert \gamma_{1,i}\Vert ^{p}\biggr) \\& \quad \le2^{p-1}M^{p}\bigl\Vert U\bigl(t^{\prime},t^{\prime\prime} \bigr) -I\bigr\Vert ^{p}\biggl(\sum_{t_{i}< t^{\prime\prime}}e^{-\delta (t^{\prime\prime}-t_{i})} \biggr)^{p} \sup_{i\in\mathbb{Z}}E\Vert \gamma_{1,i} \Vert ^{p} \\& \qquad {}+2^{p-1}M^{p}\bigl\Vert U_{Q} \bigl(t^{\prime},t^{\prime\prime}\bigr) -I\bigr\Vert ^{p}\biggl( \sum_{t^{\prime\prime}< t_{i}}e^{\delta (t^{\prime\prime}-t_{i})} \biggr)^{p} \sup_{i\in\mathbb{Z}}E\Vert \gamma_{1,i}\Vert ^{p} \\& \quad \leq2^{p-1}M^{p}\frac{(1-e^{-\delta \gamma})^{p}\varepsilon}{2\tilde{\gamma}^{1}}\biggl(\sum _{t_{i}< t^{\prime\prime}}e^{-\delta(t^{\prime\prime}-t_{i})} \biggr)^{p} \Vert \gamma_{1,i}\Vert _{\infty}^{p} \\& \qquad {}+2^{p-1}M^{p}\frac{(1-e^{-\delta \gamma})^{p}\varepsilon}{2\tilde{\gamma}^{1}}\biggl(\sum _{t^{\prime}< t_{i}}e^{\delta(t^{\prime\prime}-t_{i})} \biggr)^{p} \Vert \gamma_{1,i}\Vert _{\infty}^{p} \\& \quad < \frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon. \end{aligned}$$

Consequently, \(\Pi_{1,i}\in UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 2. \(\Pi_{1,i} \in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

For \(\varepsilon> 0\), \(\Omega_{\varepsilon}\) be a relatively dense set of \(\mathbb{R}\) formed by ε-periods of \(\Pi_{1,i}\). For \(\tau^{\prime} \in\Omega_{\varepsilon}\) and \(0 < \eta< \min\{\varepsilon, \alpha/2\}\), we have

$$\begin{aligned}& E\bigl\Vert \Pi_{1,i}\bigl(t+\tau^{\prime}\bigr)- \Pi_{1,i}(t)\bigr\Vert ^{p} \\& \quad \leq2^{p-1}E\biggl\Vert \sum_{t_{i}< t+\tau^{\prime }}U \bigl(t+\tau^{\prime},t_{i}\bigr)P(t_{i}) \gamma_{1,i} -\sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{1,i}\biggr\Vert ^{p} \\& \qquad {}+2^{p-1}E\biggl\Vert \sum_{t+\tau^{\prime }< t_{i}}U_{Q} \bigl(t+\tau^{\prime},t_{i}\bigr)Q(t_{i}) \gamma_{1,i} -\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i}) \gamma_{1,i}\biggr\Vert ^{p} \\& \quad \leq4^{p-1}E\biggl\Vert \sum_{t_{i}< t}U \bigl(t+\tau^{\prime },t_{i+q}\bigr)P(t_{i+q}) \gamma_{1,i+q} -\sum_{t_{i}< t}U\bigl(t+ \tau^{\prime},t_{i+q}\bigr)P(t_{i+q})\gamma _{1,i}\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \sum_{t_{i}< t}U \bigl(t+\tau^{\prime },t_{i+q}\bigr)P(t_{i+q}) \gamma_{1,i} -\sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{1,i}\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \sum_{t< t_{i}}U_{Q} \bigl(t+\tau ^{\prime},t_{i+q}\bigr)Q(t_{i+q}) \gamma_{1,i+q} -\sum_{t< t_{i}}U_{Q} \bigl(t+\tau^{\prime},t_{i+q}\bigr)Q(t_{i+q})\gamma _{1,i}\biggr\Vert ^{p} \\& \qquad {}+4^{p-1}E\biggl\Vert \sum_{t_{i}< t}U \bigl(t+\tau^{\prime },t_{i+q}\bigr)P(t_{i+q}) \gamma_{1,i} -\sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{1,i}\biggr\Vert ^{p} \\& \quad =\sum_{k=1}^{4} \hat{J}_{k}. \end{aligned}$$

For any \(\varepsilon> 0\), by Lemma 3.2, there exist relative dense sets of real numbers \(\Omega_{\varepsilon}\) and integers \(Q_{\varepsilon}\), for every \(\tau^{\prime} \in \Omega_{\varepsilon}\), there exists at least one number \(q\in Q_{\varepsilon}\) such that \(t_{i} < t \leq t_{i+1}\), \(\tau^{\prime} \in\Omega_{\varepsilon}\), \(q \in Q_{\varepsilon}\), \(|t-t_{i}| > \varepsilon\), \(|t-t_{i+1}| > \varepsilon\), \(j\in\mathbb{Z}\), one has \(t +\tau^{\prime}> t_{i} +\varepsilon+\tau^{\prime} > t_{i+q}\) and \(t_{i+q+1} > t_{i+1} + \tau^{\prime}-\varepsilon> t + \tau^{\prime}\), that is \(t_{i+q} < t + \tau^{\prime}< t_{i+q+1}\), such that \(|t^{q}-\tau| < \varepsilon\), \(i \in\mathbb{Z}\) and \(E\|\gamma_{1,i+q} -\gamma_{1,i}\|^{p} < \varepsilon\), \(q \in Q_{\varepsilon}\), \(i \in\mathbb{Z}\). Then

$$\begin{aligned} \hat{J}_{1} \leq&4^{p-1}E \biggl[\sum _{t_{i}< t}\bigl\Vert U\bigl(t+\tau^{\prime},t_{i+q} \bigr)P(t_{i+q})\bigr\Vert \Vert \gamma_{1,i+q} - \gamma_{1,i}\Vert \biggr]^{p} \\ \leq&4^{p-1}M^{p}E \biggl[ \biggl(\sum _{t_{i}< t}e^{-\delta (t-t_{i})} \biggr)^{p-1} \biggl(\sum _{t_{i}< t}e^{-\delta(t-t_{i})}\Vert \gamma_{1,i+q} -\gamma_{1,i}\Vert ^{p} \biggr) \biggr] \\ \leq&4^{p-1}M^{p} \biggl(\sum_{t_{i}< t}e^{-\delta(t-t_{i})} \biggr)^{p} E\Vert \gamma_{1,i+q} -\gamma_{1,i} \Vert ^{p} \\ \leq&\frac{4^{p-1}M^{p}\varepsilon }{(1-e^{-\delta\gamma})^{p}} \end{aligned}$$

and

$$\begin{aligned} \hat{J}_{2} \leq&4^{p-1}E \biggl[\sum _{t_{i}< t}\bigl\Vert U\bigl(t+\tau^{\prime},t_{i+q} \bigr)P(t_{i+q})-U(t,t_{i})P(t_{i})\bigr\Vert \Vert \gamma_{1,i}\Vert \biggr]^{p} \\ \leq&4^{p-1}\varepsilon^{p}E \biggl[ \biggl(\sum _{t_{i}< t}e^{-\frac {\delta}{2}(t-t_{i})} \biggr)^{p-1} \biggl(\sum _{t_{i}< t}e^{-\frac{\delta}{2}(t-t_{i})}\Vert \gamma _{1,i}\Vert ^{p} \biggr) \biggr] \\ \leq&4^{p-1}\varepsilon^{p} \biggl(\sum _{t_{i}< t}e^{-\frac{\delta }{2}(t-t_{i})} \biggr)^{p} \sup _{i\in\mathbb{Z}}E\Vert \gamma_{1,i}\Vert ^{p} \\ \leq&\frac{4^{p-1}\varepsilon^{p}}{(1-e^{-\frac{\delta}{2}\gamma })^{p}}\sup_{i\in\mathbb{Z}}E\Vert \gamma_{1,i}\Vert ^{p}. \end{aligned}$$

Similar to the proof of \(\hat{J}_{1}\), \(\hat{J}_{2}\) we have \(\hat{J}_{3}\leq\hat{N}_{1}\varepsilon\), \(\hat{J}_{4}\leq \hat{N}_{2}\varepsilon\) for \(\hat{N}_{1}, \hat{N}_{2}>0\). Hence, \(\Pi_{1,i}\in AP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 3. \(\Pi_{2,i} \in P AP_{T}^{0}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

For \(r > 0\), we have

$$\begin{aligned} \frac{1}{2r} \int_{-r}^{r}E\bigl\Vert \Pi_{2,i}(t) \bigr\Vert ^{p}\,dt \leq&2^{p-1}\frac{1}{2r} \int_{-r}^{r} E\biggl\Vert \sum _{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{2,i} \biggr\Vert ^{p}\,dt \\ &{} +2^{p-1}\frac{1}{2r} \int_{-r}^{r} E\biggl\Vert \sum _{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i}) \gamma _{2,i}\biggr\Vert ^{p}\,dt. \end{aligned}$$

For a given \(i \in\mathbb{Z}\), define the function \(v(t)\) by \(v(t) = U(t,t_{i})P(t_{i})\gamma_{2,i}\), \(t_{i} < t \leq t_{i+1}\), then

$$\lim_{t\rightarrow\infty} E\bigl\Vert v(t)\bigr\Vert ^{p} = \lim_{t\rightarrow\infty}E\bigl\Vert U(t,t_{i})P(t_{i}) \gamma_{2,i}\bigr\Vert ^{p} \leq\lim_{t\rightarrow\infty}M^{p}e^{-p\delta(t-t_{i})} \sup_{i\in\mathbb {Z}}E\Vert \gamma_{2,i}\Vert ^{p} = 0. $$

Thus \(v \in PC^{0}_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H})) \subset PAP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\). Define \(v_{j} : \mathbb{R} \rightarrow L^{p}(\mathbb{P},\mathbb{H})\) by

$$v_{j}(t) = U(t,t_{i-j})P(t_{i-j}) \gamma_{2,i-j}, \quad t_{i }< t \leq t_{i+1}, j\in \mathbb{N}. $$

So \(v_{j} \in PAP^{0}_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\). Moreover,

$$\begin{aligned} E\bigl\Vert v_{j}(t)\bigr\Vert ^{p} &= E\bigl\Vert U(t,t_{i-j})P(t_{i-j})\gamma_{2,i-j} \bigr\Vert ^{p} \\ &\leq M^{p}e^{-p\delta(t-t_{i-j})}\sup_{i\in\mathbb{Z}}E\Vert \gamma_{2,i}\Vert ^{p} \\ &\leq M^{p}e^{-p\delta(t-t_{i})}e^{-p\delta\alpha j}\sup_{i\in\mathbb{Z}}E \Vert \gamma_{2,i}\Vert ^{p}. \end{aligned}$$

Therefore, the series \(\sum_{j=0}^{\infty} v_{j}\) is uniformly convergent on \(\mathbb{R}\). By Lemma 2.2, one has

$$\sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{2,i}=\sum_{j=0}^{\infty }v_{j}(t) \in PAP^{0}_{T}\bigl(\mathbb{R},L^{p}(\mathbb{P}, \mathbb{H})\bigr), $$

that is,

$$ 2^{p-1}\frac{1}{2r} \int_{-r}^{r} E\biggl\Vert \sum _{t_{i}< t}U(t,t_{i})P(t_{i}) \gamma_{2,i} \biggr\Vert ^{p}\,dt\rightarrow0 \quad \text{as } r \rightarrow\infty. $$

Similarly, we have

$$ 2^{p-1}\frac{1}{2r} \int_{-r}^{r} E\biggl\Vert \sum _{t_{i}< t}U_{Q}(t,t_{i})Q(t_{i}) \gamma _{2,i}\biggr\Vert ^{p}\,dt\rightarrow0 \quad \text{as } r \rightarrow\infty. $$

Hence, \(\Pi_{2,i} \in P AP_{T}^{0}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) and, we get \(\tilde{\gamma}_{i}\in PAP_{T} (\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\). This completes the proof. □

Theorem 3.1

Assume that (H1)-(H7) are satisfied. Then system (1.1)-(1.2) has at least one p-mean piecewise pseudo almost periodic mild solution on \(\mathbb{R}\).

Proof

Consider the operator \(\Psi:PAP_{T}(\mathbb{R},L^{p}(\mathbb {P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\rightarrow PC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) defined by

$$\begin{aligned} (\Psi x) (t) =& \biggl[ \int_{-\infty}^{t}U(t,\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau+ \int_{-\infty}^{t}U(t,\tau)P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< t}U(t,t_{i})P(t_{i})I_{i}(x_{i}) \biggr]+ \biggl[- \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)g\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{}- \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau )-\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i}(x_{i}) \biggr] \\ =:&(\Psi_{1} x) (t)+(\Psi_{2} x) (t),\quad t \in \mathbb{R}. \end{aligned}$$

We next show that Ψ has a fixed point in \(PAP_{T}(\mathbb {R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) and divide the proof into several steps.

Step 1. For every \(x\in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), \(\Psi x\in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(x(\cdot) \in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), by (H5) and Lemmas 2.2, 2.3, we deduce that \(g(\cdot,x(\cdot)),f(\cdot,x(\cdot))\in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\) and \(I_{i}(x(t_{i}))\in PAP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\) Similarly as the proof of Lemmas 3.3-3.5, one has \(\Psi x\in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Step 2. Ψ maps bounded sets into bounded sets in \(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\).

Indeed, let \(r^{*} > 0\) and \(x\in B_{r^{*}}=\{ x\in PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H})): E\| x\|^{p}\leq r^{*}\}\). It is enough to show that there exists a positive constant \(\tilde{\mathcal{L}}\) such that for each \(x\in B_{r^{*}}\) one has \(E\|\Psi x\|^{p}\leq\tilde{\mathcal{L}}\). Let \(x \in B_{r^{*}}\), and \(t \in\mathbb{R}\). By (H6), Hölder’s inequality, and the Ito integral, we have, for \(p>2\),

$$\begin{aligned}& E\bigl\Vert (\Psi_{1} x) (t)\bigr\Vert ^{p} \\& \quad \leq3^{p-1}E \biggl\Vert \int_{-\infty}^{t}U(t,\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau \biggr\Vert ^{p} \\& \qquad {}+3^{p-1}E \biggl\Vert \int_{-\infty}^{t}U(t,\tau )P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \biggr\Vert ^{p} \\& \qquad {}+3^{p-1}E \biggl\Vert \sum_{t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr) \biggr\Vert ^{p} \\& \quad \leq3^{p-1}M^{p} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau )}\,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {}+3^{p-1}C_{p}M^{p}E \biggl( \int_{-\infty}^{t}e^{-2\delta (t-\tau)} \bigl\Vert f\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr)^{p/2} \\& \qquad {}+3^{p-1}M^{p}E \biggl[ \biggl(\sum _{t_{i}< t}e^{-\delta (t-t_{i})} \biggr)^{p-1} \biggl( \sum _{t_{i}< t}e^{-\delta(t-t_{i})}\bigl\Vert I_{i} \bigl(x(t_{i})\bigr)\bigr\Vert ^{p} \biggr) \biggr] \\& \quad \leq3^{p-1}M^{p}\frac{1}{\delta^{p-1}} \biggl( \int_{-\infty }^{t}e^{-\delta(t-\tau)} \Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {}+3^{p-1}M^{p} \biggl( \int_{-\infty}^{t}e^{-\frac {p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{-\infty}^{t}e^{-\frac{p}{2}\delta(t-\tau)} \Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {}+3^{p-1}M^{p}\frac{1}{(1-e^{-\delta\alpha})^{p-1}} \biggl( \sum _{t_{i}< t}e^{-\delta(t-t_{i})}\tilde{\Theta}_{i} \bigl(E\bigl\Vert x(t_{i})\bigr\Vert ^{p}\bigr) \biggr) \\& \quad \leq3^{p-1}M^{p}\frac{1}{\delta^{p}} \Theta\bigl( r^{*}\bigr)+3^{p-1}M^{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{1}{p\delta} \Theta\bigl( r^{*}\bigr) \\& \qquad {}+3^{p-1}M^{p}\frac{1}{(1-e^{-\delta\alpha})^{p}} \sup _{i\in\mathbb{Z}}\tilde{\Theta}_{i} \bigl(r^{*} \bigr):=\mathcal{L}_{1}. \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned} E\bigl\Vert (\Psi_{1} x) (t)\bigr\Vert ^{2} \leq&6M^{2}\frac{1}{\delta^{2}}\Theta\bigl( r^{*} \bigr)+6M^{2}\frac {1}{\delta} \Theta\bigl(r^{*}\bigr) \\ &{} +6M^{2}\frac{1}{(1-e^{-\delta\alpha})^{2}} \sup_{i\in\mathbb{Z}}\tilde{ \Theta}_{i} \bigl(r^{*}\bigr):=\mathcal{L}_{2}. \end{aligned}$$

Take \(\mathcal{L}=\max\{\mathcal{L}_{1},\mathcal{L}_{2}\}\). Then, for each \(x \in B_{r^{*}}\), we have \(E\|\Psi_{1} x\|^{p}\leq\mathcal{L}\). Similarly, for each \(x \in B_{r^{*}}\), we have \(E\|\Psi_{2} x\|^{p}\leq \mathcal{L}\). Hence, for each \(x \in B_{r^{*}}\), we get \(E\|\Psi x\|^{p}\leq 2\mathcal{L}=\tilde{\mathcal{L}}\).

Step 3. \(\Psi: PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\rightarrow PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P}, \mathbb{H}))\) is continuous.

Let \(\{x^{(n)}\}\subseteq B_{r^{*}}\) with \({x^{(n)}}\rightarrow x\) (\(n\rightarrow\infty\)) in \(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb {H}))\cap UPC(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), then there exists a bounded subset \(K\subseteq L^{p}(\mathbb{P},\mathbb{K})\) such that \(\mathbb{R}(x) \subseteq K\), \(\mathbb{R}(x^{n})\subseteq K\), \(n \in \mathbb{N}\). By the assumption (H5), for any \(\varepsilon> 0\), there exists \(\xi> 0 \) such that \(x, y \in K\) and \(E\| x -y\|^{p}< \xi\) implies that

$$\begin{aligned}& E\bigl\Vert g\bigl(\tau,x(\tau)\bigr) -g\bigl(\tau,y(\tau)\bigr) \bigr\Vert ^{p}< \varepsilon\quad \text{for all } t \in\mathbb{R}, \\& E\bigl\Vert f\bigl(\tau,x(\tau)\bigr) -f\bigl(\tau,y(\tau)\bigr) \bigr\Vert ^{p}_{L^{0}_{2}}< \varepsilon\quad \text{for all } t \in \mathbb{R}, \end{aligned}$$

and

$$ E\bigl\Vert I_{i}(x) -I_{i}(y) \bigr\Vert ^{p}< \varepsilon \quad \text{for all } i \in\mathbb{Z}. $$

For the above ξ there exists \(n_{0}\) such that \(E\| x^{(n)}(t)-x(t)\|^{p} < \varepsilon\) for \(n > n_{0}\) and \(t\in\mathbb{R}\), then, for \(n > n_{0}\), we have

$$\begin{aligned}& E\bigl\Vert g\bigl(\tau,x^{(n)}(\tau)\bigr) -g\bigl(\tau,x(\tau) \bigr) \bigr\Vert ^{p}< \varepsilon\quad \text{for all } t \in \mathbb{R}, \\& E\bigl\Vert f\bigl(\tau,x^{(n)}(\tau)\bigr) -f\bigl(\tau,x(\tau) \bigr) \bigr\Vert ^{p}_{L^{0}_{2}}< \varepsilon\quad \text{for all } t \in \mathbb{R}, \end{aligned}$$

and

$$ E\bigl\Vert I_{i}\bigl(x^{(n)}\bigr) -I_{i}(x) \bigr\Vert ^{p}< \varepsilon\quad \text{for all } i \in\mathbb{Z}. $$

Then, by Hölder’s inequality, we have, for \(p>2\),

$$\begin{aligned}& E\bigl\Vert \bigl(\Psi_{1} x^{(n)}\bigr) (t)-( \Psi_{1} x) (t)\bigr\Vert ^{p}_{H} \\& \quad \leq3^{p-1}E \biggl\Vert \int_{-\infty}^{t}U(t,\tau)P(\tau) \bigl[g\bigl( \tau,x^{(n)}(\tau)\bigr)-g\bigl(\tau,x(\tau)\bigr)\bigr]\,d\tau \biggr\Vert ^{p} \\& \qquad {}+3^{p-1}E \biggl\Vert \int_{-\infty}^{t}U(t,\tau )P(\tau) \bigl[f\bigl( \tau,x^{(n)}(\tau)\bigr)-f\bigl(\tau,x(\tau)\bigr)\bigr]\,dW(\tau) \biggr\Vert ^{p} \\& \qquad {}+3^{p-1}E \biggl\Vert \sum_{t_{i}< t}U(t,t_{i})P(t_{i}) \bigl[I_{i}\bigl(x^{(n)}(t_{i}) \bigr)-I_{i}\bigl(x(t_{i})\bigr)\bigr] \biggr\Vert ^{p} \\& \quad \leq3^{p-1}M^{p} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau )}\,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g\bigl( \tau,x^{(n)}(\tau)\bigr)-g\bigl(\tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {}+3^{p-1}C_{p}M^{p} \biggl( \int_{-\infty}^{t}e^{-2\delta (t-\tau)} E\bigl\Vert f\bigl( \tau,x^{(n)}(\tau)\bigr)-f\bigl(\tau,x(\tau)\bigr)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr)^{p/2} \\& \qquad {}+3^{p-1}M^{p}E \biggl[ \biggl(\sum _{t_{i}< t}e^{-\delta (t-t_{i})} \biggr)^{p-1} \biggl( \sum _{t_{i}< t}e^{-\delta(t-t_{i})}\bigl\Vert I_{i} \bigl(x^{(n)}(t_{i})\bigr)-I_{i} \bigl(x(t_{i})\bigr)\bigr\Vert ^{p} \biggr) \biggr] \\& \quad \leq3^{p-1}M^{p} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau )} \biggr)^{p} \varepsilon \\& \qquad {}+3^{p-1}C_{p}M^{p} \biggl( \int_{-\infty}^{t}e^{-\frac{p}{p-2}\delta (t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{-\infty}^{t}e^{-\frac{p}{2}\delta(t-\tau)} \,d\tau \biggr) \varepsilon \\& \qquad {}+3^{p-1}M^{p}\frac{1}{(1-e^{-\delta\alpha})^{p-1}} \biggl( \sum _{t_{i}< t}e^{-\delta(t-t_{i})} \biggr)\varepsilon \\& \quad \leq3^{p-1}M^{p} \biggl[\frac{1}{\delta^{p}}+ C_{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac{p-2}{2}} \frac{1}{p\delta}+\frac{2}{(1-e^{-\delta \alpha})^{p}} \biggr]\varepsilon. \end{aligned}$$

For \(p=2\), we have

$$ E\bigl\Vert \bigl(\Psi_{1} x^{(n)}\bigr) (t)-( \Psi_{1} x) (t)\bigr\Vert ^{2}\leq6M^{2} \biggl[ \frac{1}{\delta^{2}}+ \frac{1}{2\delta}+\frac{1}{(1-e^{-\delta \alpha})^{2}} \biggr]\varepsilon. $$

Thus \(\Psi_{1}\) is continuous. Similarly, we can show that \(\Psi_{2}\) is continuous and hence Ψ is continuous.

Step 4. Ψ maps bounded sets into equicontinuous sets of \(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\).

Let \(\tau_{1}, \tau_{2} \in(t_{i}, t_{i+1})\), \(i \in\mathbb{Z}\), \(\tau_{1} < \tau_{2}\), and \(x\in B_{r^{*}}\). Then, by (H1)-(H6), Hölder’s inequality, and the Ito integral, we have, for \(p>2\),

$$\begin{aligned}& E\bigl\Vert (\Psi_{1} x) (\tau_{2})-(\Psi_{1} x) (\tau _{1})\bigr\Vert ^{p} \\& \quad \leq 6^{p-1}E\biggl\Vert \int_{-\infty}^{\tau_{1}}\bigl[U(\tau_{2},\tau _{1})-I\bigr]U(\tau_{1},\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau\biggr\Vert ^{p} \\& \qquad {} +6^{p-1}E\biggl\Vert \int_{\tau_{1}}^{\tau_{2}}U(\tau_{2},\tau )P(\tau) g \bigl(\tau,x(\tau)\bigr)\,d\tau\biggr\Vert ^{p} \\& \qquad {} +6^{p-1}E\biggl\Vert \int_{-\infty}^{\tau_{1}}\bigl[U(\tau_{2},\tau _{1})-I\bigr]U(\tau_{1},\tau)P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau)\biggr\Vert ^{p} \\& \qquad {} +6^{p-1}E\biggl\Vert \int_{\tau_{1}}^{\tau_{2}}U(\tau_{2},\tau )P(\tau) f \bigl(\tau,x(\tau)\bigr)\,dW(\tau)\biggr\Vert ^{p} \\& \qquad {} + 3^{p-1}E\biggl\Vert \sum_{t_{i}< \tau_{1}} \bigl[U(\tau_{2},\tau_{1}) -I\bigr]U(\tau_{1},t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)\biggr\Vert ^{p} \\& \quad \leq6^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1})-I\bigr\Vert ^{p}\biggl( \int_{-\infty}^{\tau _{1}}e^{-\delta(\tau_{1}-\tau)}\,d\tau \biggr)^{p-1} \\& \qquad {}\times \biggl( \int_{-\infty}^{\tau_{1}}e^{-\delta(\tau_{1}-\tau)} E\bigl\Vert g \bigl(\tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {} +6^{p-1}M^{p}\biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau _{2}-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau_{2}-\tau)} E\bigl\Vert g \bigl(\tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {} +6^{p-1}M^{p}C_{p}E\biggl[ \int_{-\infty}^{\tau_{1}}e^{-2\delta(\tau _{1}-\tau)}\bigl\Vert U( \tau_{2},\tau_{1})-I\bigr\Vert ^{2} \bigl\Vert f\bigl(\tau,x(\tau)\bigr)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \biggr]^{p/2} \\& \qquad {} +6^{p-1}M^{p}C_{p}E\biggl[ \int_{\tau_{1}}^{\tau_{2}}e^{-2\delta (\tau_{2}-\tau)} \bigl\Vert f \bigl(\tau,x(\tau)\bigr)\bigr\Vert _{L^{0}_{2}}^{2}\,d\tau \biggr]^{p/2} \\& \qquad {}+ 3^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1}) -I\bigr\Vert ^{p}\biggl(\sum _{t_{i}< \tau_{1}}e^{-\delta(\tau _{1}-t_{i})} \biggr)^{p-1} \\& \qquad {} \times \biggl(\sum_{t_{i}< \tau_{1}}e^{-\delta(\tau_{1}-t_{i})} E\bigl\Vert I_{i}\bigl(x(t_{i})\bigr)\bigr\Vert ^{p}\biggr) \\& \quad \leq6^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1})-I\bigr\Vert ^{p}\biggl( \int_{-\infty}^{\tau _{1}}e^{-\delta(\tau_{1}-\tau)}\,d\tau \biggr)^{p-1} \\& \qquad {}\times \biggl( \int_{-\infty}^{\tau_{1}}e^{-\delta(\tau_{1}-\tau)}\Theta \bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {} +6^{p-1}M^{p}\biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau _{2}-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau_{2}-\tau)} \Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {} +6^{p-1}M^{p}C_{p}\bigl\Vert U( \tau_{2},\tau_{1})-I\bigr\Vert ^{p}\biggl( \int_{-\infty}^{\tau _{1}}e^{-\frac{p}{p-2}\delta(\tau_{1}-\tau)} \,d\tau \biggr)^{\frac{p-2}{p}} \\& \qquad {} \times \biggl( \int_{-\infty}^{\tau_{1}}e^{-\frac{p}{2}\delta(\tau _{1}-\tau)}\Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {} +6^{p-1}M^{p}C_{p}\biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\frac {p}{p-2}\delta(\tau_{2}-s)}\,ds \biggr)^{\frac{p-2}{p}} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\frac{p}{2}\delta(\tau _{2}-\tau)}\Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr)\,d\tau \biggr) \\& \qquad {}+ 3^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1}) -I\bigr\Vert ^{p}\biggl(\sum _{t_{i}< \tau_{1}}e^{-\delta(\tau _{1}-t_{i})} \biggr)^{p-1} \\& \qquad {}\times \biggl(\sum_{t_{i}< \tau_{1}}e^{-\delta(\tau_{1}-t_{i})} \tilde {\Theta}_{i}\bigl(E\bigl\Vert x(t_{i})\bigr\Vert ^{p}\bigr) \biggr) \\& \quad \leq6^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1})-I\bigr\Vert ^{p}\frac{1}{\delta^{p}}\Theta\bigl( r^{*}\bigr) \\& \qquad {} +6^{p-1}M^{p}\biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau _{2}-\tau)}\,d\tau \biggr)^{p} \Theta\bigl(r^{*}\bigr) \\& \qquad {}+6^{p-1}M^{p}C_{p}\bigl\Vert U( \tau_{2},\tau_{1})-I\bigr\Vert ^{p}\biggl( \frac{p-2}{p\delta } \biggr)^{\frac{p-2}{p}}\frac{2}{p\delta} \Theta \bigl(r^{*}\bigr) \\& \qquad {} +6^{p-1}M^{p}C_{p}\biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\frac {p}{p-2}\delta(\tau_{2}-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\frac{p}{2}\delta(\tau _{2}-\tau)}\,d\tau \biggr) \Theta\bigl(r^{*}\bigr) \\& \qquad {}+ 3^{p-1}M^{p}\bigl\Vert U(\tau_{2}, \tau_{1}) -I\bigr\Vert ^{p}\frac{1}{(1-e^{-\delta\alpha})^{p}}\sup _{i\in \mathbb{Z}}\tilde{\Theta}_{i}\bigl(r^{*} \bigr). \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned}& E\bigl\Vert (\Psi_{1} x) (\tau_{2})-(\Psi_{1} x) (\tau _{1})\bigr\Vert ^{2} \\& \quad \leq6M^{2}\bigl\Vert U(\tau_{2}, \tau_{1})-I\bigr\Vert ^{2}\frac{1}{\delta^{2}}\Theta \bigl(r^{*}\bigr) +6M^{2} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-\delta(\tau_{2}-\tau )}\,d\tau \biggr)^{2} \Theta\bigl(r^{*}\bigr) \\& \qquad {}+6M^{2}\bigl\Vert U(\tau_{2}, \tau_{1})-I\bigr\Vert ^{2}\frac{2}{\delta} \Theta\bigl( r^{*}\bigr)+6M^{2} \biggl( \int_{\tau_{1}}^{\tau_{2}}e^{-2\delta(\tau_{2}-\tau)}\,d\tau \biggr) \Theta\bigl(r^{*}\bigr) \\& \qquad {}+ 3M^{2}\bigl\Vert U(\tau_{2}, \tau_{1}) -I\bigr\Vert ^{2}\frac{1}{(1-e^{-\delta\alpha})^{2}}\sup _{i\in \mathbb{Z}}\tilde{\Theta}_{i}\bigl(r^{*} \bigr). \end{aligned}$$

The right-hand side of the above inequality is independent of \(x\in B_{r^{*}}\) and tends to zero as \(\tau_{2}\rightarrow\tau_{1}\), since the compactness of \(U(t,\tau)\) for \(t-\tau>0\) implies imply the continuity in the uniform operator topology. Thus, \(\Psi_{1}\) maps \(B_{r^{*}}\) into an equicontinuous family of functions. Similarly, we can show that \(\Psi_{2}\) maps \(B_{r^{*}}\) into an equicontinuous family of functions and hence Ψ maps \(B_{r^{*}}\) into an equicontinuous family of functions.

Step 5. \(\Lambda(t)=\{(\Psi x)(t) : x\in B_{r^{*}}\}\) is relatively compact in \(L^{p}(\mathbb{P},\mathbb{H})\) for each \(t \in \mathbb{R}\).

For each \(t \in\mathbb{R}\), and let ε be a real number satisfying \(0 < \varepsilon< 1\). For \(x\in B_{r^{*}}\), we define

$$\begin{aligned} \bigl(\Psi_{1}^{\varepsilon} x\bigr) (t) =&U(t,t-\varepsilon) \biggl[ \int_{-\infty}^{t-\varepsilon }U(t-\varepsilon,\tau)P(\tau) g\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{} + \int_{-\infty}^{t-\varepsilon}U(t-\varepsilon,\tau)P(\tau) f\bigl( \tau,x(\tau)\bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< t-\varepsilon}U(t-\varepsilon ,t_{i})P(t_{i})I_{i}\bigl(x(t_{i}) \bigr) \biggr]. \end{aligned}$$

Since \(U (t,\tau)\) (\(t-\tau> 0\)) is compact, then the set \(\Lambda _{1}^{\varepsilon}(t) = \{(\Psi_{1}^{\varepsilon}x)(t) : x \in B_{r^{*}}\}\) is relatively compact in \(L^{p}(\mathbb{P},\mathbb{H}) \) for each \(t \in \mathbb{R}\). Moreover, for every \(x \in B_{r^{*}}\), we have for \(p>2\),

$$\begin{aligned}& E\bigl\Vert (\Psi_{1} x) (t)-\bigl(\Psi^{\varepsilon}_{1} x\bigr) (t)\bigr\Vert ^{p} \\& \quad \leq3^{p-1}E\biggl\Vert \int_{t-\varepsilon}^{t}U(t,\tau )P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau\biggr\Vert ^{p} \\& \qquad {} +3^{p-1}E\biggl\Vert \int_{t-\varepsilon}^{t}U(t,\tau )P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau)\biggr\Vert ^{p} \\& \qquad {} +3^{p-1}E\biggl\Vert \sum_{t-\varepsilon < t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)\biggr\Vert ^{p} \\& \quad \leq3^{p-1}M^{p}\biggl( \int_{t-\varepsilon}^{t}e^{-\delta (t-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{t-\varepsilon}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\& \qquad {} +3^{p-1}C_{p}M^{p}E\biggl( \int_{t-\varepsilon }^{t}e^{-2\delta(t-\tau)} \bigl\Vert f\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr)^{p/2} \\& \qquad {} +3^{p-1}M^{p}E\biggl[\biggl(\sum _{t-\varepsilon < t_{i}< t}e^{-\delta(t-t_{i})}\biggr)^{p-1}\biggl( \sum _{t-\varepsilon< t_{i}< t}e^{-\delta(t-t_{i})}\bigl\Vert I_{i} \bigl(x(t_{i})\bigr)\bigr\Vert ^{p} \biggr)\biggr] \\& \quad \leq3^{p-1}M^{p}\biggl( \int_{t-\varepsilon}^{t}e^{-\delta (t-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{t-\varepsilon}^{t}e^{-\delta(t-\tau)} \Theta\bigl( E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr) \,ds \biggr) \\& \qquad {} +3^{p-1}C_{p}M^{p}\biggl( \int_{t-\varepsilon}^{t}e^{-\frac {p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{t-\varepsilon}^{t}e^{-\frac{p}{2}\delta(t-\tau)} \Theta\bigl(E\bigl\Vert x(\tau)\bigr\Vert ^{p}\bigr) \,d\tau\biggr) \\& \qquad {} +3^{p-1}M^{p}\biggl(\sum _{t-\varepsilon < t_{i}< t}e^{-\delta(t-t_{i})}\biggr)^{p-1}\biggl( \sum _{t-\varepsilon< t_{i}< t}e^{-\delta(t-t_{i})}\tilde{\Theta }_{i}\bigl(E\bigl\Vert x_{i}(t_{i})\bigr\Vert ^{p}\bigr) \biggr) \\& \quad \leq3^{p-1}M^{p}\biggl( \int_{t-\varepsilon}^{t}e^{-\delta (t-\tau)}\,d\tau \biggr)^{p} \Theta\bigl(r^{*}\bigr) \\& \qquad {} +3^{p-1}\biggl( \int_{t-\varepsilon}^{t}e^{-\frac {p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{t-\varepsilon}^{t}e^{-\frac{p}{2}\delta(t-\tau)}\,d\tau \biggr) \Theta\bigl(r^{*}\bigr) \\& \qquad {} +3^{p-1}M^{p}\biggl(\sum _{t-\varepsilon < t_{i}< t}e^{-\delta(t-t_{i})}\biggr)^{p} \sup _{i\in\mathbb{Z}}\tilde{\Theta}_{i} \bigl(r^{*} \bigr). \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned}& E\bigl\Vert (\Psi_{1} x) (t)-\bigl(\Psi_{1}^{\varepsilon} x\bigr) (t)\bigr\Vert ^{2} \\& \quad \leq3M^{2} \biggl( \int_{t-\varepsilon}^{t}e^{-\delta(t-\tau )}\,d\tau \biggr)^{2} \Theta\bigl( r^{*}\bigr) \\& \qquad {}+3M^{2} \biggl( \int_{t-\varepsilon}^{t}e^{-2\delta(t-\tau)}\,d\tau \biggr) \Theta \bigl( r^{*}\bigr) \\& \qquad {}+3M^{2} \biggl(\sum_{t-\varepsilon< t_{i}< t}e^{-\delta (t-t_{i})} \biggr)^{2} \sup_{i\in\mathbb{Z}}\tilde{\Theta}_{i} \bigl(r^{*}\bigr). \end{aligned}$$

Therefore, letting \(\varepsilon\rightarrow0\), it follows that there are relatively compact sets \(\Lambda^{\varepsilon}_{1}(t)\) arbitrarily close to \(\Lambda_{1}(t)=\{(\Psi_{1} x)(t) : x\in B_{r^{*}}\}\) and hence \(\Lambda_{1}(t)\) is also relatively compact in \(L^{p}(\mathbb{P},\mathbb{H})\) for each \(t \in\mathbb{R}\). Similarly, we can show that \(\Lambda_{2}(t)=\{(\Psi_{2} x)(t) : x\in B_{r^{*}}\}\) is also relatively compact in \(L^{p}(\mathbb{P},\mathbb{H})\) for each \(t \in\mathbb{R}\). Hence \(\Lambda(t)\) is relatively compact in \(L^{p}(\mathbb{P},\mathbb{H})\) for each \(t \in\mathbb{R}\). Since \(\{\Psi x : x\in B_{r^{*}}\}\subset PC^{0}_{h}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\), then \(\{\Psi x : x\in B_{r^{*}}\}\) is a relatively compact set by Lemma 2.4, then Ψ is a compact operator.

Step 6. We now show that there exists an open set \(V\subseteq PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\) with \(x \notin\Psi x\) for \(\lambda\in(0, 1)\) and \(x \in\partial V\).

Let \(\lambda\in(0, 1)\) and let \(x\in L^{p}(\mathbb{P},\mathbb{H})\) be a possible solution of \(x= \lambda\Psi(x)\) for some \(0 < \lambda< 1\). Thus, for each \(t \in\mathbb{R}\),

$$\begin{aligned} x(t) =&\lambda(\Psi x) (t) \\ =& \biggl[\lambda \int_{-\infty}^{t}U(t,\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau+\lambda \int_{-\infty}^{t}U(t,\tau)P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \\ &{} +\lambda\sum_{t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr) \biggr]+ \biggl[-\lambda \int_{t}^{+\infty}U_{Q}(t,\tau)Q(\tau) g \bigl(\tau,x(\tau)\bigr)\,d\tau \\ &{} -\lambda \int_{t}^{+\infty}U_{Q}(t,\tau)Q(\tau) f \bigl(\tau,x(\tau)\bigr)\,dW(\tau)-\lambda\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr) \biggr]. \end{aligned}$$

Then, by (H6), Hölder’s inequality, and the Ito integral, we have, for \(p>2\),

$$\begin{aligned} E\bigl\Vert x(t)\bigr\Vert ^{p} \leq&6^{p-1}M^{p} \frac{2}{\delta^{p}} \Theta\Bigl(\sup_{s\in\mathbb{R}}E\Vert x\Vert ^{p}\Bigr) \\ &{} +6^{p-1}C_{p}M^{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{4}{p\delta} \Theta\Bigl(\sup_{s\in\mathbb{R}}E \Vert x\Vert ^{p}\Bigr) \\ &{} +6^{p-1}M^{p}\frac{2}{(1-e^{-\delta\alpha})^{p}} \tilde{ \Theta}_{i}\bigl(E\bigl\Vert x(t_{i})\bigr\Vert ^{p}\bigr). \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned} E\bigl\Vert x(t)\bigr\Vert ^{2} \leq&12M^{2} \frac{1}{\delta^{2}} \Theta\Bigl(\sup_{s\in\mathbb{R}}E\Vert x\Vert ^{2}\Bigr) \\ &{} +12M^{2}\frac{1}{2\delta} \Theta\Bigl(\sup_{s\in\mathbb{R}}E \Vert x\Vert ^{2}\Bigr) \\ &{} +12M^{2}\frac{1}{(1-e^{-\delta\alpha})^{2}} \tilde{\Theta}_{i}\bigl(E \bigl\Vert x(t_{i})\bigr\Vert ^{2}\bigr). \end{aligned}$$

Taking the supremum over t, we have, for \(p>2\),

$$\begin{aligned} \sup_{t\in\mathbb{R}}E\bigl\Vert x(t)\bigr\Vert ^{p} \leq&6^{p-1}M^{p}\frac{2}{\delta^{p}} \Theta\Bigl(\sup _{s\in\mathbb{R}}E\bigl\Vert x(s)\bigr\Vert ^{p}\Bigr) \\ &{} +6^{p-1}C_{p}M^{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{4}{p\delta} \Theta\Bigl(\sup_{s\in\mathbb{R}}E \bigl\Vert x(s)\bigr\Vert ^{p}\Bigr) \\ &{} +6^{p-1}M^{p}\frac{2}{(1-e^{-\delta\alpha})^{p}} \tilde{ \Theta}_{i}\Bigl(\sup_{s\in\mathbb{R}}E\bigl\Vert x(s)\bigr\Vert ^{p}\Bigr). \end{aligned}$$

For \(p=2\), we have

$$\begin{aligned} \sup_{t\in\mathbb{R}}E\bigl\Vert x(t)\bigr\Vert ^{2} \leq&12M^{2}\frac{1}{\delta^{2}} \Theta\Bigl(\sup_{s\in\mathbb{R}}E \bigl\Vert x(s)\bigr\Vert ^{2}\Bigr) \\ &{} +12M^{2}\frac{1}{2\delta} \Theta\Bigl(\sup_{s\in\mathbb{R}}E \bigl\Vert x(s)\bigr\Vert ^{2}\Bigr) \\ &{} +12M^{2}\frac{1}{(1-e^{-\delta\alpha})^{2}} \tilde{\Theta}_{i}\Bigl( \sup_{s\in\mathbb{R}}E\bigl\Vert x(s)\bigr\Vert ^{2}\Bigr). \end{aligned}$$

Therefore, we have, for \(p>2\),

$$ \frac{\| x\|_{\infty}^{p}}{N_{1} \Theta(\| x\|_{\infty}^{p}) +N_{2} \sup_{i\in\mathbb{Z}}\tilde{\Theta}_{i}(\| x\|_{\infty}^{p})}\leq1, $$

where \(N_{1}=6^{p-1}M^{p}[\frac{2}{\delta^{p}} +C_{p}(\frac{p-2}{p\delta})^{\frac{p-2}{p}}\frac{4}{p\delta}]\), \(N_{2}=6^{p-1}M^{p}\frac{2}{(1-e^{-\delta\alpha})^{p}}\). For the case of \(p=2\), take \(N_{1}=12M^{2}[\frac{1}{\delta^{2}} +\frac{1}{2\delta}]\), \(N_{2}=12M^{2}\frac{1}{(1-e^{-\delta \alpha})^{2}}\). Then, by (H7), there exists \(M^{*}\) such that \(\| x\|_{\infty}^{p} \neq M^{*}\). Set

$$ V=\bigl\{ x\in PAP_{T}\bigl(\mathbb{R},L^{p}(\mathbb{P}, \mathbb{H})\bigr)\cap UPC\bigl(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}) \bigr):\| x\|_{\infty}^{p}< M^{*}\bigr\} . $$

As a consequence of Steps 1-6, it suffices to show that \(\Psi :\overline{ V} \rightarrow PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})) \) is a compact map. From the choice of V, there is no \(x\in\partial V\) such that \(x\in\lambda\Psi x\) for \(\lambda\in(0, 1)\). By Lemma 2.5, we deduce that Ψ has a fixed point \(x\in\overline{V}\), such that \(\Psi x = x\), that is,

$$\begin{aligned} x(t) =& \int_{-\infty}^{t}U(t,\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau+ \int_{-\infty}^{t}U(t,\tau)P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< t}U(t,t_{i})P(t_{i})I_{i}(x_{i})- \int_{t}^{+\infty }U_{Q}(t,\tau) Q(\tau)g\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{}- \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau)-\sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i}(x_{i}), \quad t \in\mathbb{R}. \end{aligned}$$

Finally, to prove that x satisfies (3.1) for all \(t \geq s\), all \(s \in\mathbb{R}\). For this purpose, we let

$$\begin{aligned} x(s) =& \int_{-\infty}^{s}U(s,\tau) P(\tau)g\bigl(\tau,x(\tau) \bigr)\,d\tau- \int_{s}^{+\infty}U_{Q}(s,\tau) Q(\tau)h\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{} + \int_{-\infty}^{s}U(s,\tau) P(\tau)f\bigl(\tau,x(\tau) \bigr)\,dW(\tau)- \int_{s}^{+\infty}U_{Q}(s,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< s}U(s,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)- \sum_{s< t_{i}}U_{Q}(s,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr) , \quad s \in\mathbb{R}. \end{aligned}$$
(3.5)

Multiply both sides of (3.5) by \(U(t, s)\) for all \(t \geq s\), then

$$\begin{aligned} U(t, s)x(s) =& \int_{-\infty}^{s}U(t,\tau) P(\tau)g\bigl(\tau,x(\tau) \bigr)\,d\tau- \int_{s}^{+\infty}U_{Q}(t,\tau) Q(\tau)g\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{} + \int_{-\infty}^{s}U(t,\tau) P(\tau)f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \\ &{}- \int_{s}^{+\infty}U_{Q}(t,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< s}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)- \sum_{s< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr) \\ =& \int_{-\infty}^{t}U(t,\tau) P(\tau)g\bigl(\tau,x(\tau) \bigr)\,d\tau- \int_{s}^{t}U(t,\tau) P(\tau)g\bigl(\tau,x(\tau) \bigr)\,d\tau \\ &{} - \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)g\bigl( \tau,x(\tau)\bigr)\,d\tau+ \int_{s}^{t}U_{Q}(t,\tau) Q(\tau)g\bigl( \tau,x(\tau)\bigr)\,d\tau \\ &{} + \int_{-\infty}^{t}U(t,\tau) P(\tau)f\bigl(\tau,x(\tau) \bigr)\,dW(\tau )- \int_{s}^{t}U(t,\tau) P(\tau)f\bigl(\tau,x(\tau) \bigr)\,dW(\tau) \\ &{} - \int_{t}^{+\infty}U_{Q}(t,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau) \\ &{}+ \int_{s}^{t}U_{Q}(t,\tau) Q(\tau)f\bigl( \tau,x(\tau)\bigr)\,dW(\tau) \\ &{} +\sum_{t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)-\sum_{s< t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr) \\ &{} - \sum_{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr)+ \sum_{s< t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr) \\ =&x(t)- \int_{s}^{t}U(t,\tau) g\bigl(\tau,x(\tau)\bigr)\,d \tau- \int_{s}^{t}U(t,\tau) f\bigl(\tau,x(\tau)\bigr)\,dW( \tau) \\ &{} -\sum_{s< t_{i}< t}U(t,t_{i})I_{i} \bigl(x(t_{i})\bigr). \end{aligned}$$

Hence x is a piecewise pseudo almost periodic mild solution to the system (1.1)-(1.2). The proof is complete. □

4 Exponential stability

In this section, we present the exponential stability of a piecewise pseudo almost periodic solution of (1.1)-(1.2). To do this, we also need the following assumptions:

  1. (B1)

    There exist constants \(0 < \beta<\delta\), \(l_{1} > 0 \) and a continuous function \(m : \mathbb{R}\rightarrow(0,\infty)\) with \(m(t)\leq l_{2}e^{-\beta t}\), \(l_{2} > 0\), such that

    $$ E\bigl\Vert g(t, x)\bigr\Vert ^{p}+ E\bigl\Vert f(t, x)\bigr\Vert ^{p}_{L^{0}_{2}}\leq l_{1}\Vert x\Vert ^{p}+m(t), \quad t\in\mathbb{R}, x\in L^{p}(\mathbb{P}, \mathbb{K}). $$
  2. (B2)

    There exists a constant \(c_{i}>0\), \(i\in\mathbb{Z}\), such that

    $$ E\bigl\Vert I_{i}(x)\bigr\Vert ^{p}\leq c_{i}E\Vert x\Vert ^{p}, \quad x\in L^{p}( \mathbb{P},\mathbb{K}). $$

Theorem 4.1

Assume that assumptions of Theorem  3.1 hold and, in addition, hypotheses (B1), (B2) are satisfied. Then the piecewise pseudo almost periodic mild solution of (1.1)-(1.2) is exponentially stable, provided that

$$\begin{aligned}& 6^{p-1}M^{p} \biggl[ \biggl(\frac{2}{\delta^{p-1}(\delta-\beta)}+ C_{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac{p-2}{p}}\frac {2}{p\delta-2\beta} \biggr)l_{1} \\& \quad {} +\frac{1}{(1-e^{-\delta \alpha})^{p-1}(1-e^{-(\delta-\beta)\alpha})}\sup_{i\in\mathbb {Z}}c_{i} \biggr]< 1 \end{aligned}$$

for \(p>2\), and

$$ 6M^{p} \biggl[ \biggl(\frac{2}{\delta(\delta-\beta)}+ \frac{1}{2\delta-\beta} \biggr)l_{1}+\frac{1}{(1-e^{-\delta \alpha})(1-e^{-(\delta-\beta)\alpha})}\sup_{i\in\mathbb {Z}}c_{i} \biggr]< 1 $$

for \(p=2\).

Proof

Let \(x(\cdot)\) be a fixed point of Ψ in \(PAP_{T}(\mathbb{R},L^{p}(\mathbb{P},\mathbb{H}))\cap UPC(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H}))\). By Theorem 3.1, any fixed point of Ψ is a mild solution of the system (1.1)-(1.2). We now can choose a positive constant β such that \(0 < \beta<\delta\), and

$$\begin{aligned} e^{\beta t}E\bigl\Vert x(t)\bigr\Vert ^{p} \leq&6^{p-1}e^{\beta t}E\biggl\Vert \int_{-\infty}^{t}U(t,\tau)P(\tau) g\bigl(\tau,x(\tau) \bigr)\,d\tau\biggr\Vert ^{p} \\ &{} +6^{p-1}e^{\beta t}E\biggl\Vert \int_{t}^{+\infty}U_{Q}(t,\tau)Q(\tau) g \bigl(\tau,x(\tau)\bigr)\,d\tau\biggr\Vert ^{p} \\ &{} +6^{p-1}e^{\beta t}E\biggl\Vert \int_{-\infty}^{t}U(t,\tau)P(\tau) f\bigl(\tau,x(\tau) \bigr)\,dW(\tau)\biggr\Vert ^{p} \\ &{} +6^{p-1}e^{\beta t}E\biggl\Vert \int_{t}^{+\infty}U_{Q}(t,\tau)Q(\tau) f \bigl(\tau,x(\tau)\bigr)\,dW(\tau)\biggr\Vert ^{p} \\ &{} +6^{p-1}e^{\beta t}E\biggl\Vert \sum _{t_{i}< t}U(t,t_{i})P(t_{i})I_{i} \bigl(x(t_{i})\bigr)\biggr\Vert ^{p} \\ &{} +6^{p-1}e^{\beta t}E\biggl\Vert \sum _{t< t_{i}}U_{Q}(t,t_{i})Q(t_{i})I_{i} \bigl(x(t_{i})\bigr)\biggr\Vert ^{p}=\sum _{j=1}^{6}\nu_{j}. \end{aligned}$$

By (B1) and Hölder’s inequality, we have

$$\begin{aligned} \nu_{1} \leq&6^{p-1}M^{p}e^{\beta t} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)}\,d\tau \biggr)^{p-1} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} E\bigl\Vert g\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{p}\,d\tau \biggr) \\ \leq&6^{p-1}M^{p}\frac{1}{\delta^{p-1}}e^{\beta t} \biggl( \int_{-\infty}^{t}e^{-\delta(t-\tau)} \bigl[ l_{1}E\bigl\Vert x(\tau)\bigr\Vert ^{p}+m(\tau)\bigr]\,d \tau \biggr) \\ \leq&6^{p-1}M^{p}\frac{1}{\delta^{p-1}} \biggl( \int_{-\infty }^{t}e^{-(\delta-\beta)(t-\tau)} \bigl[l_{1}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\bigr]\,d\tau \biggr) \\ \leq&6^{p-1}M^{p}\frac{1}{\delta^{p-1}(\delta-\beta)}\Bigl[l_{1} \sup_{\tau\in\mathbb{R}}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\Bigr]. \end{aligned}$$

Similarly, we have

$$ \nu_{2}\leq6^{p-1}M^{p}\frac{1}{\delta^{p-1}(\delta-\beta )} \Bigl[l_{1}\sup_{\tau\in\mathbb{R}}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\Bigr]. $$

By (B1), Hölder’s inequality, and the Ito integral, we have

$$\begin{aligned} \nu_{3} \leq&6^{p-1}C_{p}M^{p}e^{\beta t}E \biggl( \int_{-\infty}^{t}e^{-2\delta(t-\tau)} \bigl\Vert f\bigl( \tau,x(\tau)\bigr)\bigr\Vert ^{2}_{L^{0}_{2}}\,d\tau \biggr)^{p/2} \\ \leq&6^{p-1}C_{p}M^{p}e^{\beta t}\biggl( \int_{-\infty}^{t}e^{-\frac{p}{p-2}\delta(t-\tau)}\,d\tau \biggr)^{\frac{p-2}{p}} \biggl( \int_{-\infty}^{t}e^{-\frac{p}{2}\delta(t-\tau)} \bigl[l_{1} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+m(\tau)\bigr]\,d\tau\biggr) \\ \leq&6^{p-1}C_{p}M^{p}\biggl(\frac{p-2}{p\delta } \biggr)^{\frac{p-2}{p}}\biggl( \int_{-\infty}^{t}e^{-(\frac {p\delta}{2}-\beta) (t-\tau)} \bigl[l_{1}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\bigr]\,d\tau\biggr) \\ \leq&6^{p-1}C_{p}M^{p}\biggl(\frac{p-2}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{2}{p\delta-2\beta}\Bigl[l_{1}\sup _{\tau\in\mathbb {R}}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\Bigr]. \end{aligned}$$

Similarly, we have

$$ \nu_{4}=6^{p-1}C_{p}M^{p} \biggl( \frac{p-2}{p\delta} \biggr)^{\frac {p-2}{p}}\frac{2}{p\delta-2\beta}\Bigl[l_{1} \sup_{\tau\in\mathbb {R}}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{p}+l_{2}\Bigr]. $$

For \(p=2\), we have

$$ \nu_{3},\nu_{4}=6M^{2}\frac{1}{2\delta-\beta} \Bigl[l_{1}\sup_{\tau \in\mathbb{R}}e^{\beta\tau} E\bigl\Vert x(\tau)\bigr\Vert ^{2}+l_{2}\Bigr]. $$

By (B2) and Hölder’s inequality, we have

$$\begin{aligned} \nu_{5} \leq&6^{p-1}M^{p}e^{\beta t}E \biggl[ \biggl(\sum_{t_{i}< t}e^{-\delta(t-t_{i})} \biggr)^{p-1} \biggl( \sum_{t_{i}< t}e^{-\delta(t-t_{i})} \bigl\Vert I_{i}\bigl(x(t_{i})\bigr)\bigr\Vert ^{p} \biggr) \biggr] \\ \leq&6^{p-1}M^{p}\frac{1}{(1-e^{-\delta\alpha})^{p-1}}e^{\beta t} \biggl( \sum_{t_{i}< t}e^{-\delta(t-t_{i})}\bigl[c_{i}E \bigl\Vert x(t_{i})\bigr\Vert ^{p}\bigr] \biggr) \\ \leq&6^{p-1}M^{p}\frac{1}{(1-e^{-\delta\alpha})^{p}} \biggl( \sum _{t_{i}< t}e^{-(\delta-\beta) (t-t_{i})}\bigl[c_{i}e^{\beta t_{i}}E \bigl\Vert x(t_{i})\bigr\Vert ^{p}\bigr] \biggr) \\ \leq&6^{p-1}M^{p}\frac{1}{(1-e^{-\delta \alpha})^{p-1}(1-e^{-(\delta-\beta)\alpha})}\Bigl[\sup _{i\in\mathbb {Z}}c_{i}e^{\beta t_{i}}E\bigl\Vert x(t_{i})\bigr\Vert ^{p}\Bigr]. \end{aligned}$$

Similarly, we have

$$ \nu_{6}=6^{p-1}M^{p}\frac{1}{(1-e^{-\delta \alpha})^{p-1}(1-e^{-(\delta-\beta)\alpha})}\Bigl[\sup _{i\in\mathbb {Z}}c_{i}e^{\beta t_{i}}E\bigl\Vert x(t_{i})\bigr\Vert ^{p}\Bigr]. $$

Thus, from the above inequality, it follows that

$$ e^{\beta t} E\bigl\Vert x(t)\bigr\Vert ^{p}\leq L^{*} \sup_{\tau\in\mathbb{R}}e^{\beta\tau} E\bigl\Vert x( \tau)\bigr\Vert ^{p}+L_{0}. $$

Since \(L^{*}<1\), we have

$$ \sup_{t\in\mathbb{R}}e^{\beta t} E\bigl\Vert x(t)\bigr\Vert ^{p}\leq\frac{L_{0}}{1- L^{*}}, $$

where

$$\begin{aligned}& L^{*} = 6^{p-1}M^{p} \biggl[ \biggl( \frac{2}{\delta^{p-1}(\delta-\beta)}+ C_{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac{p-2}{p}} \frac {2}{p\delta-2\beta} \biggr)l_{1} \\& \hphantom{L^{*} ={}}{}+\frac{1}{(1-e^{-\delta \alpha})^{p-1}(1-e^{-(\delta-\beta)\alpha})}\sup_{i\in\mathbb {Z}}c_{i} \biggr], \\& L_{0} =6^{p-1}M^{p} \biggl[\frac{2}{\delta^{p-1}(\delta-\beta)}+ C_{p} \biggl(\frac{p-2}{p\delta} \biggr)^{\frac{p-2}{p}}\frac {2}{p\delta-2\beta} \biggr]l_{2} \end{aligned}$$

for \(p>2\), and

$$\begin{aligned}& L^{*}=6M^{p} \biggl[ \biggl(\frac{2}{\delta(\delta -\beta)}+ \frac{1}{2\delta-\beta} \biggr)l_{1}+\frac{1}{(1-e^{-\delta \alpha})(1-e^{-(\delta-\beta)\alpha})}\sup _{i\in\mathbb {Z}}c_{i} \biggr], \\& L_{0}=6M^{2} \biggl[\frac{2}{\delta(\delta-\beta)}+ \frac{1}{2\delta-\beta} \biggr]l_{2} \end{aligned}$$

for \(p=2\). Then we get \(E\| x(t)\|^{p}\leq\frac{L_{0}}{1- L^{*}} e^{-\beta t}\), which implies that the piecewise pseudo almost periodic mild solution of (1.1)-(1.2) is exponentially stable. The proof is completed. □

5 Applications

Consider following impulsive partial stochastic differential equations of the form

$$\begin{aligned}& d z(t,x)= \frac{\partial^{2}}{\partial x^{2}}z(t,x)\,dt+(-2+\sin t+\sin\pi t)z(t,x)\,dt + a_{1}(t)\sin\bigl(z(t,x)\bigr)\,dt \\& \hphantom{d z(t,x)={}}{}+a_{2}(t)\sin\bigl(z(t,x)\bigr)\, d W(t),\quad t \in \mathbb{ R}, t \neq t_{i}, i\in\mathbb{Z}, x \in[0,\pi], \end{aligned}$$
(5.1)
$$\begin{aligned}& \Delta z(t_{i}, x) = \beta_{i}\sin\bigl(z(t_{i}, x )\bigr), \quad i\in\mathbb {Z}, x \in[0,\pi], \end{aligned}$$
(5.2)
$$\begin{aligned}& z(t,0)=z(t,\pi)=0, \quad t\in\mathbb{R}, \end{aligned}$$
(5.3)

where \(W(t)\) is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space \((\Omega,\mathcal{F},\mathbb{P},\mathcal{F}_{t})\). In this system, \(a_{i} \in PAP_{T}(\mathbb{R},\mathbb{R})\), \(i=1,2\), and \(\beta_{i} \in PAP(\mathbb{Z},\mathbb{R})\), \(t_{i} = i+\frac{1}{8} | \sin i+\sin\sqrt{2}i|\), \(\{t^{j}_{ i}\}\), \(i \in\mathbb{Z}\), \(j \in\mathbb{Z}\) are equipotentially almost periodic (see [28]), and \(\alpha= \inf_{i\in\mathbb{Z}}(t_{i+1} - t_{i}) > 0\), one can refer to [35] for more details.

Let \(\mathbb{H}=L^{2}([0,\pi])\) with the norm \(\|\cdot\|\) and define the operators \(A: A(D)\subset \mathbb{H} \rightarrow\mathbb{H}\) by \(Av=v^{\prime\prime}\) with the domain \(D(A) :=\{v \in\mathbb{H} : v^{\prime\prime} \in\mathbb{H}, v(0) = v(\pi) = 0\}\). It is well known that A is the infinitesimal generator of an analytic compact semigroup \(T (t)\) on \(\mathbb{H}\) and \(\| T (t)\|\leq e^{-t}\) for \(t \geq0\). Furthermore, A has a discrete spectrum with eigenvalues of the form \(-n^{2}, n \in\mathbb{N}\) and normalized eigenfunctions given by \(v_{n}(\xi):=(\frac{2}{\pi})^{\frac{1}{2}}\sin(n\xi)\). Moreover, \(T(t) v= \sum_{n=1 }^{\infty} e^{-n^{2}t}\langle v,v_{n}\rangle v_{n}\) for \(v\in\mathbb{H}\).

Define a family of linear operators \(A(t)\) by

$$ \left \{\textstyle\begin{array}{l} D(A(t))=D(A), \\ A(t)v(\xi)=(A-2+\sin t+\sin\pi t)v(\xi), \quad \xi\in[0,\pi],v\in D(A). \end{array}\displaystyle \right . $$

Then the \(A(t)\) generate an evolution family \((U(t, s))_{t\geq s}\) such that

$$U(t, s)v(\xi) = T(t -s)e^{\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau )\,d\tau}v(\xi). $$

Hence \(\| U(t, s)\|\leq e^{-(t-s)}\) for \(t \geq s\). If \((n- 1)^{2} +1 \leq-2+\sin t+\sin\pi t \leq n^{2} -1\) for all \(t \in\mathbb{R}\), and for some \(n \in \mathbb{N}\). We can define \(P(t) : \mathbb{H} \rightarrow \mathbb{H}\) by

$$P(t)v=\sum_{k=n}^{\infty}\langle v,v_{k}\rangle v_{k}. $$

Then

$$\begin{aligned} U(t,s)P(s)v&=\sum_{k=n}^{\infty}\langle v,v_{k}\rangle e^{\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau}T(t -s)v_{k} \\ &=\sum_{k=n}^{\infty}e^{-k^{2}(t-s)+\int_{s}^{t}(-2+\sin\tau+\sin \pi\tau)\,d\tau}\langle v,v_{k}\rangle v_{k}, \end{aligned}$$

which implies that

$$ \bigl\Vert U(t,s)P(s)v\bigr\Vert \leq e^{-n^{2}(t-s)+\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau }\| v\|. $$

Since \(-n^{2}(t-s)+\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau \leq -(t-s)\), we have

$$ \bigl\Vert U(t,s)P(s)\bigr\Vert \leq e^{-(t-s)}, \quad s\leq t. $$

On the other hand, if \(Q(t) =I -P(t)\), then

$$ U(t,s)Q(s)v=\sum_{k=1}^{n-1} e^{k^{2}(t-s)-\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau}\langle v,v_{k}\rangle v_{k}, $$

which implies that

$$ U_{Q}(t,s)Q(s)v=\bigl(U(t,s)\bigr)^{-1}Q(s)v=\sum _{k=1}^{n-1} e^{-k^{2}(t-s)+\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau }\langle v,v_{k}\rangle v_{k} $$

and

$$ \bigl\Vert U_{Q}(t,s)Q(s)v\bigr\Vert \leq e^{(n-1)^{2}(t-s)-\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau }\| v \|. $$

Since \(-(n-1)^{2}(t-s)+\int_{s}^{t}(-2+\sin\tau+\sin\pi\tau)\,d\tau \geq-(t-s)\), we have

$$ \bigl\Vert U_{Q}(t,s)Q(s)\bigr\Vert \leq e^{-(t-s)}, \quad s\leq t. $$

Furthermore, we have

$$\begin{aligned}& \bigl\Vert R\bigl(\lambda, A(t+\tau)\bigr)-R\bigl(\lambda,A(t)\bigr)\bigr\Vert \\& \quad = \bigl\Vert R\bigl(\lambda-\bigl(-2+\sin(t+\tau)+\sin\pi(t+\tau)\bigr) , A\bigr)-R\bigl(\lambda-(-2+\sin t+\sin\pi t),A\bigr)\bigr\Vert \\& \quad \leq\bigl\Vert \bigl(-2+\sin(t+\tau)+\sin\pi(t+\tau )\bigr)-b(t)\bigr\Vert \bigl\Vert R\bigl(\lambda-\bigl(-2+\sin(t+\tau)+\sin\pi (t+ \tau)\bigr), A\bigr)\bigr\Vert \\& \qquad {}\times\bigl\Vert R\bigl(\lambda-(-2+\sin t+\sin\pi t),A\bigr)\bigr\Vert , \quad t, \tau\in\mathbb{R}. \end{aligned}$$

Since \(-2+\sin t+\sin\pi t\) is almost periodic, \(R(\lambda,A(\cdot ))\in AP(L(\mathbb{R}, L^{p}(\mathbb{P},\mathbb{H})))\). Hence \(A(t)\) satisfy (H1)-(H4) with \(M = 1\), \(\delta= 1\).

Set \(z(t)(x)=z(t,x) \) for \(t\in\mathbb{R}\), \(x\in[0,\pi]\). Taking

$$\begin{aligned}& g(t,\psi) (x)=a_{1}(t)\sin\bigl(\psi(x)\bigr), \\& f(t,\psi) (x)=a_{2}(t)\sin\bigl(\psi(x)\bigr), \end{aligned}$$

and

$$ I_{i}(\psi) (x)=\beta_{i}\sin\bigl(\psi(x)\bigr),\quad i \in\mathbb{Z}. $$

Then equations (5.1)-(5.3) can be written in the abstract form as the system (1.1)-(1.2). Since \(a_{i} \in PAP_{T}(\mathbb{R},\mathbb{R})\), \(i=1,2\), we deduce that \(g,f\in PAP_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{H}),L^{p}(\mathbb{P},\mathbb{H}))\), and

$$\begin{aligned}& E\bigl\Vert g(t,\psi)\bigr\Vert ^{p}+E\bigl\Vert f(t,\psi)\bigr\Vert ^{p} \\& \quad = E \biggl[ \biggl( \int_{0}^{\pi}\bigl\vert a_{1}(t)\sin \bigl(\psi(x)\bigr)\bigr\vert ^{2}\,dx \biggr)^{1/2} \biggr]^{p} \\& \qquad {}+E \biggl[ \biggl( \int_{0}^{\pi}\bigl\vert a_{2}(t)\sin \bigl(\psi(x)\bigr)\bigr\vert ^{2}\,dx \biggr)^{1/2} \biggr]^{p} \\& \quad \leq\bigl[\bigl\vert a_{1}(t)\bigr\vert ^{p}+ \bigl\vert a_{2}(t)\bigr\vert ^{p}\bigr]\|\psi\| ^{p}\leq\tilde{L}\| \psi\|^{p} \end{aligned}$$

for all \(t\in\mathbb{R}\), \(\psi\in L^{p}(\mathbb{P},\mathbb{H})\), where \(\tilde{L}=\sup_{t\in \mathbb{R}}(\max\{|a_{1}(t)|^{p},|a_{2}(t)|^{p}\})\). Similarly, \(\beta_{i} \in PAP(\mathbb{Z},\mathbb{R})\) implies that \(I_{i}\in PAP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\), \(i\in\mathbb{Z}\), and

$$ E\bigl\Vert I_{i}(\psi)\bigr\Vert ^{p} = E \biggl[ \biggl( \int_{0}^{\pi}\bigl\vert \beta_{i}\sin \bigl(\psi(x)\bigr)\bigr\vert ^{2}\,dx \biggr)^{1/2} \biggr]^{p}\leq\tilde{L}_{i}\| \psi\|,\quad i\in\mathbb{Z}, $$

for all \(\psi\in L^{p}(\mathbb{P},\mathbb{H})\), where \(\tilde{L}_{i}=|\beta_{i}|^{p}\), \(i\in\mathbb{Z}\). Suppose that the assumption (H7) in Section 3 holds. Then it satisfies all the assumptions given in Theorem 3.1. Therefore, the system (5.1)-(5.3) has an p-mean piecewise pseudo almost periodic mild solution on \(\mathbb{R}\).

In the above example, we can take

$$\begin{aligned}& g(t,\psi) (x)=\bigl[\sin t+\sin2\pi \sqrt{2}t+\rho_{1}\sigma(t)\bigr] \sin\bigl(\psi(x)\bigr), \\& f(t,\psi) (x)=\bigl[\sin t+\sin2\pi \sqrt{2}t+\rho_{2}\sigma(t)\bigr] \sin\bigl(\psi(x)\bigr), \end{aligned}$$

and

$$ I_{i}(\psi)=\bigl[\sin i+\sin2\pi \sqrt{2}i+\varsigma_{i} \sigma(i)\bigr]\sin\bigl(\psi(x)\bigr),\quad i\in\mathbb{Z}, $$

where \(\sigma\in UPC(\mathbb{R},\mathbb{R})\) is defined by

$$ \sigma(t)= \left \{\textstyle\begin{array}{l@{\quad}l} 0 &\text{for } t < 0, \\ e^{-\rho_{3} t} &\text{for } t \geq0 \end{array}\displaystyle \right . $$

for \(\rho_{k} >0\), \(k=1,2,3\), \(\varsigma_{i}>0\), \(i\in\mathbb{Z}\). Obviously, \([\sin t+\sin2\pi\sqrt{2}t+\sigma(t)]\sin(\psi)\in PAP_{T}(\mathbb{R}\times L^{p}(\mathbb{P},\mathbb{H}),L^{p}(\mathbb{P},\mathbb{H}))\) and \([\sin i+\sin2\pi\sqrt{2}i+\sigma(i)]\sin(\psi)\in PAP(\mathbb{Z},L^{p}(\mathbb{P},\mathbb{H}))\), \(i\in\mathbb{Z}\), where \([\sin t+\sin2\pi\sqrt{2}t]\sin(\psi)\) is the almost periodic component and \(\lim_{r\rightarrow\infty} \frac{1}{2r}\int_{-r}^{r}\sigma(t)\,dt = 0\). Moreover, \(E\| g(t,\psi)\|^{p}+E\| f(t,\psi)\|^{p}\leq \tilde{l}\| \psi\|^{p}\) and \(E\| I_{i}(\psi)\|^{p}\leq \tilde{l}_{i}\| \psi\|^{p}\), \(i\in\mathbb{Z}\), for all \(t\in\mathbb{R}\), \(\psi\in L^{p}(\mathbb{P},\mathbb{H})\), where \(\tilde{l}=(2+\rho_{1})^{p}+(2+\rho_{2})^{p}\) and \(\tilde{l}_{i}=(2+\varsigma_{i})^{p}\), \(i\in\mathbb{Z}\). On the other hand, we can see that

$$E\bigl\Vert g(t,\psi)\bigr\Vert ^{p}+E\bigl\Vert f(t,\psi)\bigr\Vert ^{p}\leq\hat{l}_{1}\Vert \psi \Vert ^{p}+\hat{l}_{2}e^{-p\rho_{3} t} $$

for all \(t\in\mathbb{R}\), \(\psi\in L^{p}(\mathbb{P},\mathbb{H})\), where \(\hat{l}_{1}=2^{2(p-1)}\), \(\hat{l}_{2}=2^{p-1}\pi^{p/2}(\rho^{p}_{1}+\rho^{p}_{2})\). Further, we can impose some suitable conditions on the above-defined functions to verify the assumptions on Theorem 4.1, Hence, the system (5.1)-(5.3) has an p-mean piecewise exponentially stable pseudo almost periodic mild solution.

6 Conclusion

In this paper, we studied the p-mean piecewise pseudo almost periodic periodicity for a class of impulsive nonautonomous partial stochastic evolution equations in Hilbert spaces. More precisely, by using the exponential dichotomy techniques, stochastic analysis theory, and Leray-Schauder nonlinear alternative combined with the new composition theorem, we discussed the existence and exponential stability of p-mean piecewise pseudo almost periodic mild solutions for these equations. The conditions are formulated and proved under which the nonlinear terms and the jump operators satisfy the non-Lipschitz condition with the sense of the pseudo almost periodic. Finally, an example is provided to illustrate the obtained theory.

There are two direct issues which require further study. First, we will investigate the existence and exponential stability of p-mean piecewise pseudo almost periodic mild solutions for impulsive partial stochastic functional differential equations with infinite delay in Hilbert spaces. Second, we will devote our efforts to the study of the existence and exponential stability of p-mean piecewise weighted pseudo almost periodic mild solutions of impulsive partial stochastic differential equations.

References

  1. N’Guérékata, GM: Almost Automorphic Functions and Almost Periodic Functions in Abstract Spaces. Kluwer Academic, New York (2001)

    Book  MATH  Google Scholar 

  2. Zhang, CY: Pseudo almost periodic solutions of some differential equations. J. Math. Anal. Appl. 151, 62-76 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  3. Diagana, T, Mahop, CM, N’Guérékata, GM, Toni, B: Existence and uniqueness of pseudo almost periodic solutions to some classes of semilinear differential equations and applications. Nonlinear Anal. 64, 2442-2453 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Hernández, EM, Henríquez, HR: Pseudo almost periodic solutions for nonautonomous neutral differential equations with unbounded delay. Nonlinear Anal., Real World Appl. 9, 430-437 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  5. Diagana, T: Stepanov-like pseudo-almost periodicity and its applications to some nonautonomous differential equations. Nonlinear Anal. 69, 4277-4285 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hu, Z, Jin, Z: Stepanov-like pseudo almost periodic mild solutions to nonautonomous neutral partial evolution equations. Nonlinear Anal. 75, 244-252 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Sakthivel, R, Revathi, P, Anthoni, SM: Existence of pseudo almost automorphic mild solutions to stochastic fractional differential equations. Nonlinear Anal. 75, 3339-3347 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ren, Y, Sakthivel, R: Existence, uniqueness, and stability of mild solutions for second-order neutral stochastic evolution equations with infinite delay and Poisson jumps. J. Math. Phys. 53, 073517 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Sakthivel, R, Ren, Y: Exponential stability of second-order stochastic evolution equations with Poisson jumps. Commun. Nonlinear Sci. Numer. Simul. 17, 4517-4523 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  10. 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)

    MathSciNet  Google Scholar 

  11. Sakthivel, R, Ren, Y, Debbouche, A, Mahmudov, NI: Approximate controllability of fractional stochastic differential inclusions with nonlocal conditions. Appl. Anal. 95, 2361-2382 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kerboua, M, Debbouche, A, Baleanu, D: Approximate controllability of Sobolev type fractional stochastic nonlocal nonlinear differential equations in Hilbert spaces. Electron. J. Qual. Theory Differ. Equ. 2014, 58 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  13. Prato, D, Tudor, C: Periodic and almost periodic solutions for semilinear stochastic equations. Stoch. Anal. Appl. 13, 13-33 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  14. Dorogovtsev, AY, Ortega, OA: On the existence of periodic solutions of a stochastic equation in a Hilbert space. Visn. Kiiv. Univ. Ser. Mat. Mekh. 30, 21-30 (1988)

    MathSciNet  MATH  Google Scholar 

  15. Bezandry, PH, Diagana, T: Existence of almost periodic solutions to some stochastic differential equations. Appl. Anal. 86, 819-827 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Crewe, P: Almost periodic solutions to stochastic evolution equations on Banach spaces. Stoch. Dyn. 13, 1250027 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  17. Li, X-L: Square-mean almost periodic solutions to some stochastic evolution equations. Acta Math. Sin. Engl. Ser. 30, 881-898 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  18. Cao, J, Yang, Q, Huang, Z, Liu, Q: Asymptotically almost periodic solutions of stochastic functional differential equations. Appl. Math. Comput. 218, 1499-1511 (2011)

    MathSciNet  MATH  Google Scholar 

  19. Cao, JF, Yang, QG, Huang, ZT: On almost periodic mild solutions for stochastic functional differential equations. Nonlinear Anal., Real World Appl. 13, 275-286 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  20. Tudor, CA, Tudor, M: Pseudo almost periodic solutions of some stochastic differential equations. Math. Rep. (Bucur.) 1, 305-314 (1999)

    MathSciNet  MATH  Google Scholar 

  21. Yan, Z, Zhang, H: Existence of Stepanov-like square-mean pseudo almost periodic solutions to partial stochastic neutral differential equations. Ann. Funct. Anal. 6, 116-138 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  22. Bezandry, PH, Diagana, T: Square-mean almost periodic solutions nonautonomous stochastic differential equations. Electron. J. Differ. Equ. 2007, 117 (2007)

    MathSciNet  MATH  Google Scholar 

  23. Bezandry, PH, Diagana, T: Existence of square-mean almost periodic mild solutions to some nonautonomous stochastic second-order differential equations. Electron. J. Differ. Equ. 2010, 124 (2010)

    MathSciNet  MATH  Google Scholar 

  24. Bezandry, PH, Diagana, T: Almost Periodic Stochastic Processes. Springer, New York (2011)

    Book  MATH  Google Scholar 

  25. Bezandry, PH, Diagana, T: p-th mean pseudo almost automorphic mild solutions to some nonautonomous stochastic differential equations. Afr. Diaspora J. Math. 1, 60-79 (2011)

    MathSciNet  MATH  Google Scholar 

  26. Diop, MA, Ezzinbi, K, Mbaye, MM: Existence and global attractiveness of a pseudo almost periodic solution in p-th mean sense for stochastic evolution equation driven by a fractional Brownian motion. Stochastics 87, 1061-1093 (2015)

    MathSciNet  MATH  Google Scholar 

  27. Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. Series in Modern Appl. Math., vol. 6. World Scientific, Teaneck (1989)

    Book  MATH  Google Scholar 

  28. Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)

    Book  MATH  Google Scholar 

  29. Debbouche, A, Baleanu, D: Controllability of fractional evolution nonlocal impulsive quasilinear delay integro-differential systems. Comput. Math. Appl. 62, 1442-1450 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  30. Henríquez, HR, De Andrade, B, Rabelo, M: Existence of almost periodic solutions for a class of abstract impulsive differential equations. ISRN Math. Anal. 2011, Article ID 632687 (2011)

    MathSciNet  MATH  Google Scholar 

  31. Stamov, GT, Alzabut, JO: Almost periodic solutions for abstract impulsive differential equations. Nonlinear Anal. 72, 2457-2464 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  32. Stamov, GT, Stamova, IM: Almost periodic solutions for impulsive fractional differential equations. Dyn. Syst. 29, 119-132 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  33. Stamov, GT: Almost periodic solutions of impulsive differential equations with time-varying delay on the PC-space. Nonlinear Stud. 14, 269-279 (2007)

    MathSciNet  MATH  Google Scholar 

  34. Liu, J, Zhang, C: Existence and stability of almost periodic solutions for impulsive differential equations. Adv. Differ. Equ. 2012, 34 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  35. Liu, J, Zhang, C: Composition of piecewise pseudo almost periodic functions and applications to abstract impulsive differential equations. Adv. Differ. Equ. 2013, 11 (2013)

    Article  MathSciNet  Google Scholar 

  36. Chérif, F: Pseudo almost periodic solutions of impulsive differential equations with delay. Differ. Equ. Dyn. Syst. 22, 73-91 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  37. Bainov, DD, Simeonov, PS: Impulsive Differential Equations: Asymptotic Properties of the Solutions. World Scientific, Singapore (1995)

    Book  MATH  Google Scholar 

  38. Sakthivel, R, Luo, J: Asymptotic stability of impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 356, 1-6 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  39. Hu, L, Ren, Y: Existence results for impulsive neutral stochastic functional integro-differential equations with infinite delays. Acta Appl. Math. 111, 303-317 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  40. Yan, Z, Yan, X: Existence of solutions for impulsive partial stochastic neutral integrodifferential equations with state-dependent delay. Collect. Math. 64, 235-250 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  41. Sakthivel, R, Revathi, P, Ren, Y: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal. 81, 70-86 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  42. Zhang, RJ, Ding, N, Wang, LS: Mean square almost periodic solutions for impulsive stochastic differential equations with delays. J. Appl. Math. 2012, Article ID 414320 (2012)

    MathSciNet  MATH  Google Scholar 

  43. Liu, J, Zhang, C: Existence and stability of almost periodic solutions to impulsive stochastic differential equations. CUBO 15, 77-96 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  44. Acquistapace, P: Evolution operators and strong solution of abstract linear parabolic equations. Differ. Integral Equ. 1, 433-457 (1988)

    MathSciNet  MATH  Google Scholar 

  45. Acquistapace, P, Flandoli, F, Terreni, B: Initial boundary value problems and optimal control for nonautonomous parabolic systems. SIAM J. Control Optim. 29, 89-118 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  46. Dugundji, J, Granas, A: Fixed Point Theory. Monografie Matematyczne. PWN, Warsaw (1982)

    MATH  Google Scholar 

  47. Maniar, L, Roland, S: Almost periodicity of inhomogeneous parabolic evolution equations. In: Evolution Equations. Lecture Notes in Pure and Applied Mathematics, vol. 234, pp. 299-318. Dekker, New York (2003)

    Google Scholar 

  48. Ichikawa, A: Stability of semilinear stochastic evolution equations. J. Math. Anal. Appl. 90, 12-44 (1982)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the editor and the reviewers for their constructive comments and suggestions. 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), the Scientific Research Fund of Young Teacher of Hexi University (QN2015-01).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zuomao Yan.

Additional information

Competing interests

The authors declares that they have no competing interests.

Authors’ contributions

The authors completed the paper, and 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yan, Z., Lu, F. Existence and exponential stability of pseudo almost periodic solutions for impulsive nonautonomous partial stochastic evolution equations. Adv Differ Equ 2016, 294 (2016). https://doi.org/10.1186/s13662-016-1022-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-1022-0

MSC

Keywords