Robustness of nonuniform mean-square exponential dichotomies

Hailong Zhu

doi:10.1017/prm.2023.23

Robustness of nonuniform mean-square exponential dichotomies

Part of: Stability theory Stochastic analysis

Published online by Cambridge University Press: 18 April 2023

Hailong Zhu

Show author details

Hailong Zhu*: Affiliation:
Anhui University of Finance and Economics, Bengbu 233030, China ([email protected])

Article contents

Abstract
Introduction
Robustness of NMS-EC
Robustness of NMS-ED on the half line $[t_{0},\,+\infty )$
Robustness of NMS-ED on the half line $(-\infty,\,t_{0}]$
Robustness of NMS-ED on the whole ${\Bbb R}$
Example
References

Rights & Permissions

Abstract

For linear stochastic differential equations with bounded coefficients, we establish the robustness of nonuniform mean-square exponential dichotomy (NMS-ED) on $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and the whole ${\Bbb R}$ separately, in the sense that such an NMS-ED persists under a sufficiently small linear perturbation. The result for the nonuniform mean-square exponential contraction is also discussed. Moreover, in the process of proving the existence of NMS-ED, we use the observation that the projections of the ‘exponential growing solutions’ and the ‘exponential decaying solutions’ on $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and ${\Bbb R}$ are different but related. Thus, the relations of three types of projections on $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and ${\Bbb R}$ are discussed.

Keywords

robustness nonuniform mean-square exponential contraction nonuniform mean-square exponential dichotomy stochastic differential equations

MSC classification

Primary: 60H10: Stochastic ordinary differential equations

Secondary: 34D09: Dichotomy, trichotomy

Type: Research Article
Information: Proceedings of the Royal Society of Edinburgh Section A: Mathematics , Volume 154 , Issue 2 , April 2024 , pp. 525 - 567

DOI: https://doi.org/10.1017/prm.2023.23 [Opens in a new window]
Copyright: Copyright © The Author(s), 2023. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

The well-established notion of exponential dichotomy used in the analysis of nonautonomous systems essentially originated from the work of Perron [Reference Perron41]. The theory of exponential dichotomy is a powerful tool to describe hyperbolicity of dynamical systems generated by differential equations, especially for the stable and unstable invariant manifolds of time-dependent systems. As mentioned in Coppel [Reference Coppel12], ‘that dichotomies, rather than Lyapunov's characteristic exponents, are the key to questions of asymptotic behaviour for nonautonomous differential equations’.

Over the years, the classical exponential dichotomy and its properties have been established for evolution equations [Reference Huy24, Reference Latushkin, Randolph and Schnaubelt30, Reference Palmer40, Reference Preda, Pogan and Preda47–Reference Sacker and Sell49], functional differential equations [Reference Coffman and Schäffer11, Reference Lin31, Reference Pecelli42], skew-product flows [Reference Chow and Leiva9, Reference Chow and Leiva10, Reference Latushkin, Montgomery-Smith and Randolph29, Reference Sacker and Sell50] and random systems or stochastic equations [Reference Doan, Rasmussen and Kloeden14, Reference Stoica53, Reference Zhou, Lu and Zhang54, Reference Zhu and Jiang58, Reference Zhu, Chu and Zhang59]. We also refer to the books [Reference Chicone and Latushkin8, Reference Coppel12, Reference Massera and Schäffer36] for details and further references related to exponential dichotomies.

However, dynamical systems exhibit various different kinds of dichotomic behaviour and the classical notion of exponential dichotomy substantially restricts some dynamics. In order to investigate more general hyperbolicity, many attempts (see e.g. [Reference Naulin and Pinto37, Reference Naulin and Pinto38, Reference Preda, Pogan and Preda46]) have been made to extend the concept of classical dichotomies. Inspired by the work of Barreira and Pesin on the notion of nonuniformly hyperbolic trajectory [Reference Barreira and Pesin1, Reference Barreira and Pesin2], Barreira and Valls extended the concept of exponential dichotomy to the nonuniform ones and investigated some related problems, see for examples, the works [Reference Barreira, Chu and Valls3–Reference Barreira and Valls7] and the references therein.

On the other hand, from the point of view of Itô stochastic differential equations (SDE), such properties of mean-square are natural since the Itô stochastic calculus is essentially deterministic in the mean-square setting, and there exist stationary coordinate changes under which flows of nonautonomous random differential equation can be viewed as those of SDE [Reference Imkeller and Lederer25]. Some related works on mean-square setting of random systems or stochastic equations can be found in [Reference Fu and Liu17, Reference Higham21–Reference Higham, Mao and Yuan23, Reference Kloeden and Lorenz27, Reference Liu and Sun33, Reference Zhu and Chu57]. To the best of our knowledge, mean-square exponential dichotomy (MS-ED) was first introduced by Stanzhyts'kyi [Reference Stanzhyts'kyi51], in which a sufficient condition has been proved to ensure that a linear SDE satisfies an MS-ED. Based on the definition of MS-ED, Stanzhyts'kyi and Krenevych [Reference Stanzhyts'kyi and Krenevych52] proved the existence of a quadratic form of linear SDE. In [Reference Zhu and Jiang58] the robustness of MS-ED for a linear SDE was established. Stoica [Reference Stoica53] studied stochastic cocycles in Hilbert spaces. Recently, Doan et al. [Reference Doan, Rasmussen and Kloeden14] considered the MS-ED spectrum for random dynamical system.

Now we recall the definition of MS-ED. Consider the following linear $n$-dimensional Itô stochastic system

(1.1)\begin{equation} {\rm d}x(t)=A(t)x(t){\rm d}t+G(t)x(t){\rm d}\omega(t), \quad t\in I, \end{equation}

where $I$ is either the half line $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ or the whole ${\Bbb R}$, and $A(t)=(A_{ij}(t))_{n \times n}$, $G(t)=(G_{ij}(t))_{n \times n}$ are continuous functions with real entries. Equation (1.1) is said to possess an MS-ED if there exists a linear projection $P(t): L^{2}(\Omega,\, {\Bbb R}^{n}) \rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ such that

(1.2)\begin{equation} \Phi(t)\Phi^{{-}1}(s)P(s)=P(t)\Phi(t)\Phi^{{-}1}(s), \quad \forall~ t,s\in I, \end{equation}

and positive constants $K,\, \alpha$ such that

\begin{align*} & {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)P(s)\|^2 \leq K e^{-\alpha(t-s)}, \quad \forall~ (t,s)\in I^{2}_{{\geq}},\\ & {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)Q(s)\|^2 \leq K e^{-\alpha(s-t)}, \quad \forall~ (t,s)\in I^{2}_{{\leq}}, \end{align*}

where $\Phi (t)$ is a fundamental matrix solution of (1.1), and $Q(t)={\rm Id}-P(t)$ is the complementary projection of $P(t)$ for each $t\in I$. $I^{2}_{\geq }:=\{(t,\,s)\in I^{2}: t\geq s\}$ and $I^{2}_{\leq }:=\{(t,\,s)\in I^{2}: t\leq s\}$ denotes the relations of $s$ and $t$ on $I$.

Inspired by the above, this paper is to study the robustness of NMS-ED. (1.1) is said to possess an NMS-ED if there exists a linear projection $P(t): L^{2}(\Omega,\, {\Bbb R}^{n}) \rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ such that (1.2) holds, and some constants $M,\, \alpha >0$, $\varepsilon \ge 0$ such that

(1.3)\begin{align} & {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)P(s)\|^2 \leq M e^{-\alpha(t-s)+\varepsilon |s|}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}, \end{align}

(1.4)\begin{align} & {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)Q(s)\|^2 \leq M e^{-\alpha(s-t)+\varepsilon |s|}, \quad \forall~ (t,s)\in I^{2}_{{\leq}}, \end{align}

where $\Phi (t)$ is a fundamental matrix solution of (1.1), $Q(t)={\rm Id}-P(t)$ is the complementary projection of $P(t)$ for each $t\in I$. $I^{2}_{\geq }:=\{(t,\,s)\in I^{2}: t\geq s\}$ and $I^{2}_{\leq }:=\{(t,\,s)\in I^{2}: t\leq s\}$ denotes the relations of $s$ and $t$ on $I$. For convenience, the constants $\alpha$ and $K$ in (1.3)–(1.4) are called the exponent and the bound of the NMS-ED, respectively, as in the case of deterministic systems [Reference Henry20]. $\varepsilon$ is called the nonuniform degree of the NMS-ED. In particular, while $\varepsilon =0$, we obtain the notion of (uniform) MS-ED. We refer to [Reference Stanzhyts'kyi51–Reference Stoica53, Reference Zhu and Chu57–Reference Zhu, Chu and Zhang59] for related results and techniques about this topic.

It is clear that the notion of NMS-ED is a weaker requirement in comparison to the notion of MS-ED. Actually, there exists a linear SDE which has an NMS-ED with nonuniform degree $\varepsilon$ cannot be removed. For example, let $a>b>0$ be real parameters,

\[ \left\{\begin{array}{@{}ll} {\rm d}u & =({-}a-bt\sin t)u(t){\rm d}t+\sqrt{2b\cos t}\exp({-}at+bt\cos t){\rm d}\omega(t),\\ {\rm d}v & =(a+bt\sin t)v(t){\rm d}t-\sqrt{2b\cos t}\exp(at-bt\cos t){\rm d}\omega(t) \end{array} \right. \]

admits an NMS-ED which is not uniform. See example 6.1 in § 6 for details.

Robustness (also known as roughness , see e.g. [Reference Coppel12]) here means that an NMS-ED persists under a sufficiently small linear perturbation. More precisely, for small perturbations $B$, $H$, the following linear SDE

(1.5)\begin{equation} dy(t)=(A(t)+B(t))y(t){\rm d}t+(G(t)+H(t))y(t){\rm d}\omega(t) \end{equation}

also admits an NMS-ED. As indicated by Coppel [Reference Coppel12, p. 28], the robustness of exponential dichotomies was first proved by Massera and Schäffer [Reference Massera and Schäffer36], which states that all ‘neighbouring’ linear systems also have the same dichotomy with a similar projection if the same happens for the original system. Robustness is one of the most basic concepts appearing in the theoretical studies of dynamical systems. This topic plays a key role in the stability theory for dynamical systems. Some early papers about robustness (with the exception of [Reference Coppel12] and [Reference Massera and Schäffer36] mentioned above) are Dalec'kiĭ and Kreĭn [Reference Dalec'kiĭ and Kreĭn13] and Palmer [Reference Palmer39] for ordinary differential equations, Henry [Reference Henry20] and Lin [Reference Lin32] for parabolic partial differential equations, Hale and Lin [Reference Hale and Lin19] and Lizana [Reference Lizana34] for functional differential equations, Pliss and Sell [Reference Pliss and Sell43] and Chow and Leiva [Reference Chow and Leiva10] for skew-product semiflow. For more recent works refer to papers [Reference Barreira, Silva and Valls5, Reference Barreira and Valls7, Reference Ju and Wiggins26, Reference Popescu44, Reference Popescu45, Reference Zhou, Lu and Zhang55, Reference Zhou and Zhang56]. It is worth mentioning that on half line ${\Bbb R}^+$, ${\Bbb R}^{-}$ as well as the whole ${\Bbb R}$, Ju and Wiggins [Reference Ju and Wiggins26] and Popescu [Reference Popescu44, Reference Popescu45] considered the case of roughness for exponential dichotomy and analyse their dynamical behaviour; Zhou et al. [Reference Zhou, Lu and Zhang55] discussed the relationship between nonuniform exponential dichotomy and admissibility.

In this study, we extend the results and improve the method of [Reference Zhu and Jiang58]. The main differences of our results and those of [Reference Zhu and Jiang58] are as follows:

• In contrast to [Reference Zhu and Jiang58], we extend the case of robustness of MS-ED to the general nonuniform setting. For this purpose, we need to pass from small bounded perturbations of the coefficient matrix to exponentially decaying perturbations.
• In [Reference Zhu and Jiang58], we only consider the case of robustness on the whole line ${\Bbb R}$. In the present paper, we prove the robustness of (1.5) on half line $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and the whole ${\Bbb R}$. The proof is much more delicate than that of MS-ED [Reference Zhu and Jiang58]. This is because in different intervals, the different but related explicit expressions of the projections of the ‘exponential growing solutions’ and the ‘exponential decaying solutions’ for the perturbed equation (1.5) need to be determined first.
• Furthermore, in contrast to paper [Reference Zhu and Jiang58], we analyse and compare the results obtained from operators that make up the projections of (1.1) and (1.5) on different intervals (see theorem 3.10 and remark 5.9), and estimate the distance between the solution of (1.1) and the perturbed solution of (1.5) (see theorem 3.11 and remark 3.12).

The remaining part of this paper is organized as follows. The robustness of nonuniform mean-square exponential contraction (NMS-EC) is established in § 2. Section 3 proves the robustness of NMS-ED on half line $[t_{0},\,+\infty )$ and analyses that the solution of (1.1) and the perturbed solution of (1.5) are forward asymptotic in the mean-square sense. The robustness under the nonuniform setting on half line $(-\infty,\,t_{0}]$ is presented in § 4. Section 5 combines the advantages of the projections on half line $[t_{0},\,+\infty )$ and $(-\infty,\,t_{0}]$, and proves the robustness of NMS-ED on the whole ${\Bbb R}$. In addition, the relationship of the projections on $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and ${\Bbb R}$ is also discussed in § 5. Finally, an example is given in § 6, which indicates that there exists a linear SDE which admits an NMS-ED but not uniform.

2. Robustness of NMS-EC

In this section we will answer the following question: Does (1.5) admit an NMS-EC if (1.1) admits an NMS-EC while $B,\,~H$ is small? That is to say, we consider the robustness of NMS-EC. The following statement is a particular case of NMS-ED with projection $P(t)=Id$ for every $t\in I$. (1.1) is said to admit an NMS-EC if for some constants $M,\, \alpha >0$ and $\varepsilon \ge 0$ such that

(2.1)\begin{equation} {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)\|^2 \leq M e^{-\alpha(t-s)+\varepsilon |s|}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}. \end{equation}

In particular, when $\varepsilon =0$ in (2.1), we obtain the notion of uniform mean-square exponential contraction.

Throughout this paper, we assume that $(\Omega,\, \mathscr {F},\, \mathbb {P})$ is a probability space, $\omega (t)=(\omega _{1}(t),\,\ldots \omega _{n}(t))^{T}$ is an $n$-dimensional Brownian motion defined on the space $(\Omega,\, \mathscr {F},\, \mathbb {P})$. $\|\cdot \|$ is used to denote both the Euclidean vector norm or the matrix norm as appropriate, and $L^{2}(\Omega,\, {\Bbb R}^{n})$ stands for the space of all ${\Bbb R}^{n}$-valued random variables $x: \Omega \rightarrow {\Bbb R}^{n}$ such that

\[ {\mathbb{E}} \|x\|^2=\int_{\Omega}\|x\|^2 d \mathbb{P}<\infty. \]

In order to describe the robustness in an explicit form, we present the following theorem, which shows that the NMS-EC is robust under sufficiently small linear perturbations. Here we mention that the NMS-EC considered in this section is in an arbitrary interval $I\subset {\Bbb R}$.

Theorem 2.1 Let $A(\cdot ),\, B(\cdot ),\, G(\cdot ),\, H(\cdot )$ be $n \times n$-matrix continuous functions with real entries such that (1.1) admits an NMS-EC (2.1) with coefficient matrix bounded and perturbation exponential decaying in $I$, i.e. there exist constants $a,\, b,\, g,\, h>0$ such that

\[ \|A(t)\|\le a,\quad \|G(t)\|\le g,\quad \|B(t)\|\le b e^{-\frac{\varepsilon |t|}{2}}, \quad \|H(t)\|\le h e^{-\frac{\varepsilon |t|}{2}},\quad t\in I. \]

Let $b,\, h$ be small enough such that

(2.2)\begin{equation} \tilde{M}:=8b^{2}+8g^{2}h^{2}+\alpha h^2 <\frac{\alpha^{2}}{6M}. \end{equation}

Then (1.5) also admits an NMS-EC in $I$ with the bound $M$ replaced by $3M$, and exponent $\alpha$ replaced by $-\frac {\alpha }{2}+\frac {3M\tilde {M}}{\alpha }$, i.e.

(2.3)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s)\|^2\leq 3M e^{(-\frac{\alpha}{2}+\frac{3M\tilde{M}}{\alpha})(t-s)+\varepsilon |s|}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}, \end{equation}

where $\hat {\Phi }(t)$ is a fundamental matrix solution of (1.5).

Proof. Write

\[ \hat{\Phi}(t,s)=\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s). \]

One can easily verify that $\hat {\Phi }(t,\,s)$ is a fundamental matrix solution of (1.5) with $\hat {\Phi }(s,\,s)=Id$. $L^{2}(\Omega,\, {\Bbb R}^{n})$ is a Banach space with the norm $({\mathbb {E}} \|x\|^2)^{\frac {1}{2}}$. The Banach algebra of bounded linear operators on $L^{2}(\Omega,\, {\Bbb R}^{n})$ is denoted by $\mathfrak {B}(L^{2}(\Omega,\, {\Bbb R}^{n}))$. Now we introduce the space

(2.4)\begin{equation} \mathscr{L}_{c}:=\{\hat{\Phi}: I^{2}_{{\geq}} \rightarrow \mathfrak{B}(L^{2}(\Omega, {\Bbb R}^{n})): ~\hat{\Phi} {\rm~is ~continuous ~and~} \|\hat{\Phi}\|_{c}<\infty\} \end{equation}

with the norm

(2.5)\begin{equation} \|\hat{\Phi}\|_{c}=\sup\left\{({\mathbb{E}}\|\hat{\Phi}(t, s)\|^2)^{\frac{1}{2}} e^{-\frac{\varepsilon}{2} |s|}: (t,s)\in I^{2}_{{\geq}}\right\}. \end{equation}

Clearly, $(\mathscr {L}_{c},\, \|\cdot \|_{c})$ is a Banach space. In order to state our result, we need the following existence and uniqueness lemma.

Lemma 2.2 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, (1.5) has a unique solution $\hat {\Phi }(t,\,s) \xi _{0}$ with $\hat {\Phi } \in (\mathscr {L}_{c},\, \|\cdot \|_{c})$ such that

(2.6)\begin{align} \hat{\Phi}(t,s)& = \Phi(t)\Phi^{{-}1}(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\big{(}B(\tau)- G(\tau)H(\tau)\big{)}\hat{\Phi}(\tau, s){\rm d}\tau \end{align}

with $\hat {\Phi }(s,\,s) \xi _{0}=\Phi (s)\Phi ^{-1}(s) \xi _{0}= \xi _{0}$.

Proof. In what follows (in order to simplify the presentation), write $\tilde {B}(t)=B(t)-G(t)H(t)$. We first prove that the function $\hat {\Phi }(t,\,s) \xi _{0}$ is a solution of (1.5). Set

\begin{align*} \xi(t)& = \Phi^{{-}1}(s)\xi_{0}+ \int^{t}_{s}\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau, s)\xi_{0}{\rm d}\omega(\tau) \\ & \quad+ \int^{t}_{s}\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\xi_{0}{\rm d}\tau. \end{align*}

Let $y(t)=\Phi (t)\xi (t)$. Clearly,

\[ \hat{\Phi}(t,s) \xi_{0}= \Phi(t)\xi(t) =y(t). \]

One can easily verify that $\xi (t)$ satisfies the differential

\[ d \xi(t)= \Phi^{{-}1}(t)\big{(}B(t)- G(t)H(t)\big{)}y(t)d t +\Phi^{{-}1}(t)H(t)y(t){\rm d}\omega(t). \]

Since $\Phi (t)$ is a fundamental matrix solution of (1.1), it follows from Itô product rule that

\begin{align*} dy(t)& = d\Phi(t)\xi(t)+\Phi(t)d\xi(t)+G(t)\Phi(t)\Phi^{{-}1}(t)H(t)y(t){\rm d}t\\ & = A(t)y(t){\rm d}t+G(t)y(t){\rm d}\omega(t)+\big{(}B(t)- G(t)H(t)\big{)}y(t){\rm d}t\\ & \quad+H(t)y(t){\rm d}\omega(t)+G(t)H(t)y(t){\rm d}t\\ & = (A(t)+B(t))y(t){\rm d}t+(G(t)+H(t))y(t){\rm d}\omega(t), \end{align*}

which means that $y(t)=\hat {\Phi }(t,\,s) \xi _{0}$ is a solution of (1.5). This conclusion is consistent with that in [Reference Mao35, theorem 3.3.1] (see also [Reference Ladde and Ladde28, section 2.4.2]).

Now we prove that $\hat {\Phi }$ is unique in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Let

\begin{align*} (\Gamma \hat{\Phi})(t,s)& = \Phi(t)\Phi^{{-}1}(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad + \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s){\rm d}\tau. \end{align*}

It follows from (2.1), ${\mathbb {E}}\|x\|\le \sqrt {{\mathbb {E}}\|x\|^{2}}$, Cauchy–Schwarz inequality, Itô isometry property of stochastic integrals and the elementary inequality

(2.7)\begin{equation} \left\|\sum_{k=1}^{m}a_{k}\right\|^{2}\le m\sum_{k=1}^{m}\|a_{k}\|^2 \end{equation}

that

\begin{align*} & {\mathbb{E}}\|(\Gamma \hat{\Phi})(t,s)\|^{2} \le 3{\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(s)\|^{2} + 3{\mathbb{E}} \left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau, s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad+ 3{\mathbb{E}} \left\| \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s){\rm d}\tau \right\|^{2}\nonumber\\ & \quad\le 3M e^{{-}a(t-s)+\varepsilon |s|}+3\int^{t}_{s} {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2} {\rm d}\tau \nonumber\\ & \qquad+ 3 \left(\int^{t}_{s} {\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(\tau)\|{\mathbb{E}}\|\tilde{B}(\tau)\|{\rm d}\tau\right)\nonumber\\ & \qquad \times \left(\int^{t}_{s} {\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(\tau)\| {\mathbb{E}}\|\tilde{B}(\tau)\| {\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2}{\rm d}\tau\right)\nonumber\\ & \quad\le 3M e^{-\alpha(t-s)+\varepsilon |s|}+ 3Me^{\varepsilon |s|} \sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right)\nonumber\\ & \qquad\times \left(h^{2}\int^{t}_{s} e^{-\alpha(t-\tau)}{\rm d}\tau + 2(b^{2}+g^{2}h^{2}) \left(\int^{t}_{s} e^{-\frac{\alpha}{2}(t-\tau)}{\rm d}\tau\right)^{2}\right)\nonumber\\ & \quad\le 3M e^{\varepsilon |s|} +3M e^{\varepsilon |s|} \left(\frac{\alpha h^{2}+8b^{2}+8g^{2}h^{2}}{\alpha^{2}}\right)\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right),\nonumber \end{align*}

and this implies that

\[ {\mathbb{E}}\|(\Gamma \hat{\Phi})(t,s)\|^{2}e^{-\varepsilon s}\le 3M +\frac{3\tilde{M}M}{\alpha^{2}}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right)< \infty \]

with $\tilde {M}=8b^{2}+8g^{2}h^{2}+\alpha h^2$. Following the same procedure above, for any $\hat {\Phi }_{1},\, \hat {\Phi }_{2}\in \mathscr {L}_{c}$, we have

(2.8)\begin{equation} \|\Gamma\hat{\Phi}_{1}-\Gamma\hat{\Phi}_{2}\|^{2}_{c}\le \frac{3\tilde{M}M}{\alpha^{2}}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}_{1}(\tau, s)-\hat{\Phi}_{1}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right). \end{equation}

Note that

\begin{align*} & \sup_{(t,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}_{1}(t, s)-\hat{\Phi}_{1}(t, s)\|^{2}e^{-\varepsilon |s|}\right)\\ & \quad= \sup_{(t,s)\in I^{2}_{\ge}}\left(({\mathbb{E}}\|\hat{\Phi}_{1}(t, s)-\hat{\Phi}_{1}(t, s)\|^{2})^{\frac{1}{2}}e^{-\frac{\varepsilon |s|}{2} }\right)^{2}\\ & \quad\le \left(\sup_{(t,s)\in I^{2}_{\ge}}({\mathbb{E}}\|\hat{\Phi}_{1}(t, s)-\hat{\Phi}_{1}(t, s)\|^{2})^{\frac{1}{2}}e^{-\frac{\varepsilon |s|}{2} }\right)^{2}\\ & \quad= \|\hat{\Phi}_{1}-\hat{\Phi}_{2}\|^{2}_{c}, \end{align*}

which together with (2.8) implies

\[ \|\Gamma\hat{\Phi}_{1}-\Gamma\hat{\Phi}_{2}\|_{c}\le \sqrt{\frac{3\tilde{M}M}{\alpha^{2}} } \|\hat{\Phi}_{1}-\hat{\Phi}_{2}\|_{c}. \]

Since $\tilde {M}<\frac {\alpha ^{2}}{3M}$, $\Gamma$ is a contraction operator. Hence, there exists a unique $\hat {\Phi } \in \mathscr {L}_{c}$ such that $\Gamma \hat {\Phi }= \hat {\Phi }$, which satisfies the identity (2.6). This completes the proof of the lemma.

We proceed with the proof of the theorem. Squaring both sides of (2.6), and taking expectations, it follows from (2.7) that

(2.9)\begin{align} & {\mathbb{E}}\|\hat{\Phi}(t,s)\|^{2} \le 3{\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)\|^{2}+ 3{\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau,s) {\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \quad+ 3{\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau,s){\rm d}\tau\right\|^{2}. \end{align}

By using Itô isometry property and inequalities (2.1), the second term of the right-hand side in (2.9) can be deduced as follows:

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau,s) {\rm d}\omega(\tau)\right\|^{2} \\ & \quad= \int^{t}_{s}{\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|\hat{\Phi}(\tau,s)\|^{2} {\rm d}\tau\\ & \quad\le Mh^{2}\int^{t}_{s}e^{-\alpha(t-\tau)}{\mathbb{E}}\|\hat{\Phi}(\tau,s)\|^{2} {\rm d}\tau. \end{align*}

As to the third term in (2.9), it follows from ${\mathbb {E}}\|x\|\le \sqrt {{\mathbb {E}}\|x\|^{2}}$, Cauchy–Schwarz inequality and the inequalities (2.1) that

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau,s){\rm d}\tau\right\|^{2}\\ & \quad\left\|\int^{t}_{s}\left(\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}} \left(\left(\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}}\hat{\Phi}(\tau,s)\right) {\rm d}\tau\right\|^{2}\\ & \quad\le \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\right\| {\rm d}\tau \right)\\ & \qquad\times \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\right\| {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le 2M(b^{2}+g^{2}h^{2})\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\rm d}\tau \right) \left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le \frac{4M(b^{2}+g^{2}h^{2})}{\alpha}\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2}{\rm d}\tau. \end{align*}

Since $\alpha >0$, we can rewrite inequality (2.9) as

(2.10)\begin{align} & \|\hat{\Phi}(t,s)\|^{2} \le 3M e^{-\alpha(t-s)+ \varepsilon |s|} + 3Mh^{2}\int^{t}_{s}e^{-\alpha(t-\tau)}{\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2} {\rm d}\tau\nonumber\\ & \qquad+\frac{12M(b^{2}+g^{2}h^{2})}{\alpha}\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2}{\rm d}\tau\nonumber\\ & \quad\le 3M e^{-\frac{\alpha}{2}(t-s)+ \varepsilon |s|} +3M \left(\frac{\alpha h^{2}+8b^{2}+8g^{2}h^{2}}{\alpha}\right) \int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\right\|^{2}{\rm d}\tau. \end{align}

Let

(2.11)\begin{equation} x(t)={\mathbb{E}}\|\hat{\Phi}(t,s)\|^{2},\quad X(t)=3M e^{-\frac{\alpha}{2}(t-s)+ \varepsilon |s|} + \frac{3M \tilde{M}}{\alpha} \int^{t}_{s} e^{-\frac{\alpha}{2}(t-\tau)} x(\tau) {\rm d}\tau \end{equation}

for any fixed $s\in I$ with $\tilde {M}=\alpha h^{2}+8b^{2}+8g^{2}h^{2}$. Clearly, inequality (2.10) can be rewritten as

\[ x(t)\le X(t),\quad \mbox{for~all}~(t,s)\in I^{2}_{{\geq}}. \]

On the contrary,

\[ \frac{{\rm d}}{{\rm d}t}X(t)={-}\frac{\alpha}{2}X(t)+\frac{3M \tilde{M}}{\alpha}x(t), \]

and therefore,

\[ \frac{{\rm d}}{{\rm d}t}X(t)\leq \left(\frac{3M \tilde{M}}{\alpha}-\frac{\alpha}{2}\right) X(t). \]

Integrating the above inequality from $s$ to $t$ and note that $X(s)=3Me^{\varepsilon |s|}$, we obtain

(2.12)\begin{equation} x(t)\leq X(t)\leq 3Me^{\varepsilon |s|} e^{(-\frac{\alpha}{2}+\frac{3M\tilde{M}}{\alpha})(t-s)},\quad \mbox{for ~all}~ (t,s)\in I^{2}_{{\geq}}. \end{equation}

By (2.12), using (2.11), we obtain the desired inequality (2.3), and this completes the proof of the theorem.

Remark 2.3 Since the nonuniform degree $\varepsilon >0$ exists for $(t,\,s)\in I^{2}_{\geq }$, the perturbations $B$ and $H$ should be chosen with exponential decaying to eliminate the effect caused by the nonuniform degree. For the uniform case, it suffices to consider the bounded condition instead of exponential decaying. See [Reference Zhu and Jiang58] for details about the case of $\varepsilon =0$, which generalizes (and imitates) the notion of robustness of exponential dichotomy for ODE (see e.g. [Reference Coppel12, Reference Massera and Schäffer36]).

As a special case of (1.5), if we consider the system

(2.13)\begin{equation} dy(t)=(A(t)+B(t))y(t){\rm d}t+G(t)y(t){\rm d}\omega(t), \end{equation}

in which the linear perturbed term only appears in the ‘drift’. Of course, theorem 2.1 can also be applied to (2.13) but merely with the development of slightly better estimation (with the bound and the exponent replaced by smaller constants) than the one in theorem 2.1, since there is no perturbation in the ‘volatility’. Actually, for any given initial value $\xi _{0} \in {\Bbb R}^{n}$, (2.13) has a unique solution $\hat {\Phi }(t,\,s) \xi _{0}$ with $\hat {\Phi } \in (\mathscr {L}_{c},\, \|\cdot \|_{c})$ such that

\[ \hat{\Phi}(t,s)= \Phi(t)\Phi^{{-}1}(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)B(\tau)\hat{\Phi}(\tau, s){\rm d}\tau \]

instead of (2.6), which is more similar to solutions of the classical ordinary differential equations (see e.g. [Reference Hale18]).

Theorem 2.4 Let $A(\cdot ),\, B(\cdot ),\, G(\cdot )$ be $n \times n$-matrix continuous functions with real entries such that (1.1) admits an NMS-EC (2.1) with coefficient matrix bounded and perturbation exponential decaying in $I$, i.e. there exist constants $a,\, b,\, g>0$ such that

\[ \|A(t)\|\le a,\quad \|G(t)\|\le g,\quad \|B(t)\|\le b e^{-\frac{\varepsilon |t|}{2}}, \quad t\in I. \]

If $b<\alpha /(2\sqrt {2M})$, then (2.13) also admits an NMS-EC in $I$ with the bound $M$ replaced by $2M$, and exponent $\alpha$ replaced by $-\frac {\alpha }{2}+\frac {4Mb^{2}}{\alpha }$, i.e.

\[ \|\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s)\|^2\leq 2M e^{(-\frac{\alpha}{2}+\frac{4Mb^{2}}{\alpha})(t-s)+\varepsilon |s|}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}. \]

3. Robustness of NMS-ED on the half line $[t_{0},\,+\infty )$

In this section, we state and prove our main result on the robustness of NMS-ED on $I=[t_{0},\,+\infty )$. The case of the interval $I=(-\infty,\,t_{0}]$ and the whole ${\Bbb R}$ will be discussed in § 4 and § 5, respectively.

The following theorem is on the robustness of NMS-ED of (1.1) on $[t_{0},\,+\infty )$, and its proof is more general and complicated than that of theorem 2.1, because we need to find out the explicit expressions of the ‘exponential growing solutions’ and the ‘exponential decaying solutions’ for the perturbed equation (1.5) along with the stable and unstable directions, respectively. To do this, we rewrite the unique solution of (1.5) along the stable direction under a natural condition: boundedness. It is also worth mentioning that the following theorem is also valid for NMS-EC. Indeed, a contraction is a dichotomy with $P(t)=Id$ for every $t\in I$.

Theorem 3.1 Let $A(\cdot ),\, B(\cdot ),\, G(\cdot ),\, H(\cdot )$ be $n \times n$-matrix continuous functions with real entries such that (1.1) admits an NMS-ED (1.3)–(1.4) with $\varepsilon <\alpha$, and assume that coefficient matrices of (1.5) satisfy

(3.1)\begin{equation} \|A(t)\|\le a,\quad \|G(t)\|\le g,\quad \|B(t)\|\le b e^{-\varepsilon |t|}, \quad \|H(t)\|\le h e^{-\varepsilon |t|},\quad t\in I \end{equation}

with constants $a,\, b,\, g,\, h>0$. Let $b,\, h$ be small enough such that

\[ \tilde{M}:=8b^{2}+8g^{2}h^{2}+\alpha h^2 <\frac{\alpha^{2}}{20M}. \]

Then (1.5) admits an NMS-ED in $I$ with linear projections $\hat {P}(t): L^{2}(\Omega,\, {\Bbb R}^{n}) \rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ such that

(3.2)\begin{equation} \hat{\Phi}(t)\hat{\Phi}^{{-}1}(s)\hat{P}(s)=\hat{P}(t)\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s), \quad\forall~ t,s\in I, \end{equation}

and

(3.3)\begin{align} & {\mathbb{E}}\|\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s)\hat{P}(t)\|^2\leq \hat{M} e^{-\hat{\alpha}(t-s)+\hat{\varepsilon} |s|}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}, \end{align}

(3.4)\begin{align} & {\mathbb{E}}\|\hat{\Phi}(t)\hat{\Phi}^{{-}1}(s)\hat{Q}(t)\|^2\leq \hat{M} e^{-\hat{\alpha}(s-t)+\hat{\varepsilon} |s|}, \quad \forall~ (t,s)\in I^{2}_{{\leq}}, \end{align}

where bound $\hat {M}:=40M$, exponent $\hat {\alpha }:=\frac {\alpha }{2}-\frac {10M\tilde {M}}{\alpha }$ and nonuniform degree $\hat {\varepsilon }:=2\varepsilon$.

Proof of theorem 3.1. Proof of theorem 3.1

We first prove several lemmas which are essential in proving the theorem. The first one is the existence and uniqueness lemma, which is slightly different from lemma 2.2 since $U(s,\,s)\xi _{0}$ is not necessarily equal to $\xi _{0}$ in (3.5). We will explain the reason after lemma 3.7 under which condition there exists an equivalence between (2.6) and (3.5) below.

Lemma 3.2 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, (1.5) has a unique solution $U(t,\,s) \xi _{0}$ with $U \in (\mathscr {L}_{c},\, \|\cdot \|_{c})$ such that

(3.5)\begin{align} U(t,s)& = \Phi(t)\Phi^{{-}1}(s)P(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau. \end{align}

Proof. We first prove that the function $U(t,\,s) \xi _{0}$ is a solution of (1.5). Set

\begin{align*} \xi(t)& =\Phi^{{-}1}(s)P(s)\xi_{0}+ \int^{t}_{s}\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, s)\xi_{0}{\rm d}\omega(\tau)\\ & \quad+ \int^{t}_{s}\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, s)\xi_{0}{\rm d}\tau -\int^{\infty}_{t}\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, s)\xi_{0}{\rm d}\omega(\tau)\\ & \quad-\int^{\infty}_{t}\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s)\xi_{0}{\rm d}\tau. \end{align*}

Let $y(t)=\Phi (t)\xi (t)$. Clearly,

\[ U(t,s) \xi_{0}= \Phi(t)\xi(t) =y(t), \]

and then $\xi (t)$ satisfies the differential

\[ d \xi(t)= \Phi^{{-}1}(t)\big{(}B(t)- G(t)H(t)\big{)}y(t)d t +\Phi^{{-}1}(t)H(t)y(t){\rm d}\omega(t). \]

Since $\Phi (t)$ is a fundamental matrix solution of (1.1). it follows from Itô product rule that

which means that $y(t)=U(t,\,s) \xi _{0}$ is a solution of (1.5).

Now we prove that $U$ is unique in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Let

\begin{align*} (\Gamma U)(t,s)& =\Phi(t)\Phi^{{-}1}(s)P(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau \nonumber\\ & \quad -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau. \end{align*}

The same idea as in lemma 2.2 can be applied to prove the uniqueness of the solution to (3.5). Squaring both sides of (3.5), and taking expectations, we have

\begin{align*} & {\mathbb{E}}\|(\Gamma U)(t,s)\|^{2}\nonumber\\ & \quad \le 5{\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(s)P(s)\|^{2} + 5{\mathbb{E}} \left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau) \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau \right\|^{2}\nonumber\\ & \quad\le 5M e^{\varepsilon |s|} +10M e^{\varepsilon |s|} (\frac{\alpha h^{2}+8b^{2}+8g^{2}h^{2}}{\alpha^{2}})\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|U(\tau, s)\|^{2}e^{-\varepsilon |s|}\right),\nonumber \end{align*}

and this implies that

\[ {\mathbb{E}}\|(\Gamma U)(t,s)\|^{2}e^{-\varepsilon s}\le 5M +\frac{10M\tilde{M}}{\alpha^{2}}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\hat{\Phi}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right)< \infty \]

with $\tilde {M}=8b^{2}+8g^{2}h^{2}+\alpha h^2$. Following the same procedure as above, for any $U_{1},\, U_{2}\in \mathscr {L}_{c}$, we have

(3.6)\begin{equation} \|\Gamma U_{1}-\Gamma U_{2}\|^{2}_{c}\le \frac{10M\tilde{M}}{\alpha^{2}}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|U_{1}(\tau, s)-U_{2}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right). \end{equation}

Note that

\begin{align*} \sup_{(t,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|U_{1}(t, s)-U_{2}(t, s)\|^{2}e^{-\varepsilon s}\right)& \le \sup_{(t,s)\in I^{2}_{\ge}}\left(({\mathbb{E}}\|U_{1}(t, s)-U_{2}(t, s)\|^{2})^{\frac{1}{2}}e^{-\frac{\varepsilon |s|}{2} }\right)^{2}\\ & \le \left(\sup_{(t,s)\in I^{2}_{\ge}}({\mathbb{E}}\|U_{1}(t, s)-U_{2}(t, s)\|^{2})^{\frac{1}{2}}e^{-\frac{\varepsilon |s|}{2} }\right)^{2}\\ & = \|U_{1}-U_{2}\|^{2}_{c}, \end{align*}

which together with (3.6) implies

\[ \|\Gamma U_{1}-\Gamma U_{2}\|_{c}\le \sqrt{\frac{10M\tilde{M}}{\alpha^{2}} } \|U_{1}-U_{2}\|_{c}. \]

Since $\tilde {M}<\frac {\alpha ^{2}}{10M}$, $\Gamma$ is a contraction operator. Hence, there exists a unique $U \in \mathscr {L}_{c}$ such that $\Gamma U= U$, which satisfies identity (3.5). This completes the proof of the lemma.

Lemma 3.3 For any $u\in (s,\,t)$ in $I$, we have

\[ U(t,s)=U(t,u)U(u,s) \]

in the sense of $(\mathscr {L}_{c},\, \|\cdot \|_{c})$.

Proof. By (1.2) and (3.5) with any $t\ge u \ge s$ in $I$, we have

(3.7)\begin{align} U(t,u)U(u,s)& = \Phi(t)\Phi^{{-}1}(s)P(s)+ \int^{u}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{u}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau\nonumber\\ & \quad +\bigg{(}\int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, u){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, u){\rm d}\tau \nonumber\\ & \quad -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, u){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, u){\rm d}\tau\bigg{)}U(u,s). \end{align}

Subtracting (3.5) from (3.7) we obtain

\begin{align*} & U(t,s)-U(t,u)U(u,s)\\ & \quad = \int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\left(U(\tau, s)-U(\tau,u)U(u,s)\right){\rm d}\omega(\tau)\\ & \quad+ \int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\left(U(\tau, s)-U(\tau,u)U(u,s)\right){\rm d}\tau\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\left(U(\tau, s)-U(\tau,u)U(u,s)\right){\rm d}\omega(\tau)\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\left(U(\tau, s)-U(\tau,u)U(u,s)\right){\rm d}\tau. \end{align*}

Write $\tilde {U}(t,\,s)=U(t,\,s)-U(t,\,u)U(u,\,s)$. Now we prove $\tilde {U}$ is unique in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Let

(3.8)\begin{align} (\mathcal {T} \tilde{U})(t,s)& = \int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\tilde{U}(\tau,s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\tilde{U}(\tau,s){\rm d}\tau\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\tilde{U}(\tau,s){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\tilde{U}(\tau,s). \end{align}

Squaring both sides of (3.8), and taking expectations, it follows from (2.7) that

(3.9)\begin{align} {\mathbb{E}}\|(\mathcal {T} \tilde{U})(t,s)\|^{2} & \le 4{\mathbb{E}} \left\|\int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\tilde{U}(\tau,s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \quad + 4{\mathbb{E}} \left\| \int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\tilde{U}(\tau,s){\rm d}\tau \right\|^{2}\nonumber\\ & \quad+4{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\tilde{U}(\tau,s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \quad+ 4{\mathbb{E}} \left\| \int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\tilde{U}(\tau,s){\rm d}\tau \right\|^{2}. \end{align}

By using the Itô isometry property and inequalities (1.3), the first term on the right-hand side in (3.9) can be deduced as follows:

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\tilde{U}(\tau,s) {\rm d}\omega(\tau)\right\|^{2} \\ & \quad= \int^{t}_{s}{\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|\tilde{U}(\tau,s)\|^{2} {\rm d}\tau\\ & \quad\le Mh^{2}\int^{t}_{s}e^{-\alpha(t-\tau)}{\mathbb{E}}\|\tilde{U}(\tau,s)\|^{2} {\rm d}\tau\\ & \quad\le \frac{Mh^{2}}{\alpha}e^{\varepsilon |s|} \sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\tilde{U}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right). \end{align*}

As for the second term in (3.9), it follows from ${\mathbb {E}}\|x\|\le \sqrt {{\mathbb {E}}\|x\|^{2}}$, Cauchy–Schwarz inequality, Itô isometry property of stochastic integrals and (1.3) that

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{u}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\tilde{U}(\tau,s){\rm d}\tau \right\|^{2}\\ & \quad\le \left(\int^{t}_{u}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right\| {\rm d}\tau \right)\\ & \qquad\times \left(\int^{t}_{u}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right\| {\mathbb{E}}\left\|\tilde{U}(\tau,s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le 2M(b^{2}+g^{2}h^{2})\left(\int^{t}_{u}e^{-\frac{\alpha}{2}(t-\tau)} {\rm d}\tau \right) \left(\int^{t}_{u}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\tilde{U}(\tau,s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le \frac{8M(b^{2}+g^{2}h^{2})}{\alpha^{2}}e^{\varepsilon |s|}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\tilde{U}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right). \end{align*}

Clearly, the proof above is also valid for proving the other terms on the right-hand side in (3.9). Thus, we can rewrite inequality (3.9) as

\[ {\mathbb{E}}\|(\mathcal {T} \tilde{U})(t,s)\|^{2} \le \frac{8M\tilde{M}}{\alpha^{2}}e^{\varepsilon |s|}\sup_{(\tau,s)\in I^{2}_{\ge}}\left({\mathbb{E}}\|\tilde{U}(\tau, s)\|^{2}e^{-\varepsilon |s|}\right), \]

and

\[ \|\mathcal {T} \tilde{U}\|_{c}\le \sqrt{\frac{8M\tilde{M}}{\alpha^{2}} }\|\tilde{U}\|_{c} \]

with $\tilde {M}=8b^{2}+8g^{2}h^{2}+\alpha h^2$. Following the same procedure as above, for any $\tilde {U}_{1},\, \tilde {U}_{2}\in \mathscr {L}_{c}$, we have

\[ \|\mathcal {T} \tilde{U}_{1}-\mathcal {T} \tilde{U}_{2}\|_{c}\le \sqrt{\frac{8M\tilde{M}}{\alpha^{2}} }\|\tilde{U}_{1}-\tilde{U}_{2}\|_{c}. \]

Since $\tilde {M}<\frac {\alpha ^{2}}{8M}$, this implies $\mathcal {T}$ is a contraction. Hence, there is a unique $\tilde {U}\in (\mathscr {L}_{c},\, \|\cdot \|_{c})$. Besides, $0\in (\mathscr {L}_{c},\, \|\cdot \|_{c})$ also satisfies (3.8). Hence, we must have

\[ U(t,s)-U(t,u)U(u,s)=0 \]

in $\mathscr {L}_{c}$. Therefore, $U(t,\,s)=U(t,\,u)U(u,\,s)$ with $U \in (\mathscr {L}_{c},\, \|\cdot \|_{c})$. This completes the proof of the lemma.

Lemma 3.4 Given $s\in I$, if $y(t):=\Lambda (t,\,s) \xi :[s,\,+\infty )\rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ is a solution of (1.5) with $y(s)= \Lambda (s,\,s) \xi = \xi$ such that $\Lambda$ is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$, then

(3.10)\begin{align} y(t)& = \Phi(t)\Phi^{{-}1}(s)P(s)\xi+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)y(\tau){\rm d}\omega(\tau) \nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau. \end{align}

Proof. It is easy to see from (2.6) that

(3.11)\begin{align} P(t)y(t)& = \Phi(t)\Phi^{{-}1}(s)P(s)\xi+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau, \end{align}

and

(3.12)\begin{align} Q(t)y(t)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\xi+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau \end{align}

for each $(t,\,s)\in I^{2}_{\geq }$. Equality (3.12) can be rewritten in the equivalent form

(3.13)\begin{align} Q(s)\xi& = \Phi(s)\Phi^{{-}1}(t)Q(t)y(t)- \int^{t}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{t}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau. \end{align}

For convenience we can assume that $D=\|\Lambda \|_{c}<\infty$, since $\Lambda$ is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Then it follows from (2.5) and (1.4) that

\[ {\mathbb{E}}\|\Phi(s)\Phi^{{-}1}(t)Q(t)y(t)\|^{2}\le MD^{2}\|\xi\|^{2}e^{-\alpha(t-s)+\varepsilon(|t|+|s|)}. \]

Since $\alpha >\varepsilon$, the right-hand side of this inequality goes to zero as $t\rightarrow +\infty$. Furthermore, we have

\begin{align*} & {\mathbb{E}}\left\|\int^{\infty}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\right\|^{2}\\ & \quad= \int^{\infty}_{s} {\mathbb{E}}\left\|\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\right\|^{2}{\mathbb{E}}\left\|H(\tau)\right\|^{2} {\mathbb{E}}\left\|y(\tau)\right\|^{2} {\rm d}\tau\\ & \quad\le \frac{h^{2}D^{2}M}{\alpha}e^{\varepsilon |s|}, \end{align*}

and

\begin{align*} & {\mathbb{E}}\left\|\int^{\infty}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau\right\|^{2}\\ & \quad\le \left(\int^{\infty}_{s}{\mathbb{E}}\left\|\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\right\| {\rm d}\tau \right) \\ & \qquad\times \left(\int^{\infty}_{s}{\mathbb{E}}\left\|\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\right\| {\mathbb{E}}\left\|y(\tau)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le 2M(b^{2}+g^{2}h^{2})\left(\int^{\infty}_{s}e^{-\frac{\alpha}{2}(\tau-s)} {\rm d}\tau \right) \left(\int^{\infty}_{s}e^{-\frac{\alpha}{2}(\tau-s)} {\mathbb{E}}\left\|y(\tau)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le \frac{8MD^{2}(b^{2}+g^{2}h^{2})}{\alpha^{2}}e^{\varepsilon |s|}. \end{align*}

Taking limits as $t\rightarrow +\infty$ in (3.13), we obtain

\begin{align*} Q(s)\xi& ={-} \int^{\infty}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{\infty}_{s}\Phi(s)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau, \end{align*}

and substituting it into (3.12) yields

\begin{align*} Q(t)y(t)& ={-} \int^{\infty}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \qquad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \qquad- \int^{\infty}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau\nonumber\\ & \qquad + \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau\\ & \quad={-} \int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \qquad- \int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau. \end{align*}

Since $\xi$ is an arbitrary one in ${\Bbb R}^{n}$, then by adding this identity to (3.11) yields the desired equation (3.10).

Recall that $\hat {\Phi }(t,\,s)=\hat {\Phi }(t)\hat {\Phi }^{-1}(s)$ denotes the fundamental matrix solution of (1.5) with $\hat {\Phi }(s,\,s)=Id$. For each $t\in I$, define linear operators as

(3.14)\begin{equation} \hat{P}(t)=\hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t)\quad {\rm and}\quad\hat{Q}(t)=Id-\hat{P}(t), \end{equation}

where $t_{0}$ is the left boundary point of the interval $I$. After presenting that $\hat {P}(t)$ are projections, we prove relationship (3.2), show the explicit expressions of the fundamental matrix solution $\hat {\Phi }(t,\,s)$ under the projections $\hat {P}(t)$, $\hat {Q}(t)$, and then deduce inequalities (3.3) and (3.4).

Lemma 3.5 The operator $\hat {P}(t)$ is a linear projection for $t\in I$, and (3.2) holds.

Proof. By lemma 3.3, we have $U(t_{0},\,t_{0})U(t_{0},\,t_{0})=U(t_{0},\,t_{0})$. Thus,

\[ \hat{P}(t)\hat{P}(t)=\hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t) \hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t)=\hat{P}(t). \]

Furthermore, for any $t,\, s\in I$, we obtain

\begin{align*} \hat{P}(t)\hat{\Phi}(t,s)& = \hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t)\hat{\Phi}(t,s)\\ & = \hat{\Phi}(t,s)\hat{\Phi}(s,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},s)=\hat{\Phi}(t,s)\hat{P}(s), \end{align*}

and this completes the proof of the lemma.

Lemma 3.6 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $\hat {P}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$.

Proof. By lemma 3.2, the function $U(t,\,t_{0})\xi _{0}$ is a solution of (1.5) with initial value $U(t_{0},\,t_{0})\xi _{0}$ at time $t_{0}$. Clearly, $U(t,\,t_{0})=\hat {\Phi }(t,\,t_{0})U(t_{0},\,t_{0})$. Thus, it is easy to see that

\[ \hat{P}(t)\hat{\Phi}(t,s)= \hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t)\hat{\Phi}(t,s) =U(t,t_{0})\hat{\Phi}(t_{0},s). \]

Therefore, it follows again from lemma 3.2 that $\hat {P}(t)\hat {\Phi }(t,\,s)\xi _{0}=U(t,\,t_{0})\hat {\Phi }(t_{0},\,s)\xi _{0}$ is a solution of (1.5) with initial value $\hat {\Phi }(t_{0},\,s)\xi _{0} \!\in\! {\Bbb R}^{n}$. Moreover, from $U \!\in\! (\mathscr {L}_{c},\, \|\cdot \|_{c})$ and definition (2.4)–(2.5) of the space $(\mathscr {L}_{c},\, \|\cdot \|_{c})$, we can see that $\hat {P}(t)\hat {\Phi }(t,\,s)$ is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$.

Lemma 3.7 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in I^{2}_{\geq }$ such that

(3.15)\begin{align} \hat{\Phi}(t,s)\hat{P}(s)& = \Phi(t)\Phi^{{-}1}(s)P(s)\hat{P}(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau \nonumber\\ & \quad -\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau. \end{align}

Proof. Let $y(t)=\hat {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ with given $s\in I$, and denote $\xi =\hat {P}(s)\xi _{0}$ the initial condition at time $s$. Clearly, $y(t)$ is a solution of (1.5) with $y(s)=\hat {P}(s)\xi _{0}=\hat {P}(s)\hat {P}(s)\xi _{0}=\xi$. By lemma 3.6, $\hat {P}(t)\hat {\Phi }(t,\,s)$ is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Since $\xi _{0}$ is arbitrary in ${\Bbb R}^{n}$, identity (3.15) follows now readily from lemma 3.4.

Remark 3.8 From lemma 3.7, we know that the explicit expressions (2.6) and (3.5) are the same under the condition of NMS-EC. In fact, as a special case of lemma 3.7, $\hat {\Phi }(t,\,s)$ is always bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$ with $I=[t_{0},\,+\infty )$ since projections are the identity.

In the following lemma, we present the explicit expression of $\hat {\Phi }(t,\,s)\hat {Q}(s)$ with $(t,\,s)\in I^{2}_{\leq }$.

Lemma 3.9 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in I^{2}_{\leq }$ such that

(3.16)\begin{align} \hat{\Phi}(t,s)\hat{Q}(s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\hat{Q}(s)+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\tau \nonumber\\ & \quad -\int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad -\int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\tau. \end{align}

Proof. Following the same lines as given in the proof of lemma 2.2, one can prove that

\begin{align*} \hat{\Phi}(t,s)& = \Phi(t)\Phi^{{-}1}(s)+ \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)\hat{\Phi}(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad + \int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s){\rm d}\tau \end{align*}

for any $(t,\,s) \in I^{2}_{\leq }$. Write $K(t)=\hat {\Phi }(t,\,t_{0})\hat {Q}(t_{0})$. Therefore,

(3.17)\begin{align} K(t)& = \Phi(t)\Phi^{{-}1}(t_{0})\hat{Q}(t_{0})+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)K(\tau){\rm d}\omega(\tau) \nonumber\\ & \quad+\int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau. \end{align}

On the other hand, it follows from $\hat {P}(t)=\hat {\Phi }(t,\,t_{0})U(t_{0},\,t_{0})\hat {\Phi }(t_{0},\,t)$ and (3.5) with $t=s=t_{0}$ that

(3.18)\begin{align} \hat{P}(t_{0})& = U(t_{0},t_{0})= P(t_{0}) -\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, t_{0}){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, t_{0}){\rm d}\tau. \end{align}

Since $P(t_{0})$ and $Q(t_{0})$ are complementary projections, multiplying (3.18) on the left with $P(t_{0})$ gives

(3.19)\begin{equation} P(t_{0})\hat{P}(t_{0})=P(t_{0}). \end{equation}

In addition,

(3.20)\begin{equation} Q(t_{0})\hat{Q}(t_{0})=\big(Id-P(t_{0})\big)\big(Id-\hat{P}(t_{0})\big) =Id-\hat{P}(t_{0})=\hat{Q}(t_{0}). \end{equation}

By (3.17), using (3.20), we have

\begin{align*} \Phi(t)\Phi^{{-}1}(s)Q(s)K(s)& = \Phi(t)\Phi^{{-}1}(t_{0})\hat{Q}(t_{0})+ \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau, \end{align*}

which can be rewritten as

(3.21)\begin{align} \Phi(t)\Phi^{{-}1}(t_{0})\hat{Q}(t_{0})& = \Phi(t)\Phi^{{-}1}(s)Q(s)K(s) - \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau. \end{align}

Substituting (3.21) into (3.17) leads to

(3.22)\begin{align} K(t)& = \Phi(t)\Phi^{{-}1}(s)Q(s)K(s) - \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau \nonumber\\ & = \Phi(t)\Phi^{{-}1}(s)Q(s)K(s) - \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)K(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)K(\tau){\rm d}\tau. \end{align}

Since (3.2) we have $K(t)=\hat {\Phi }(t,\,t_{0})\hat {Q}(t_{0})=\hat {Q}(t)\hat {\Phi }(t,\,t_{0})$. Therefore, $K(t)\hat {\Phi }(t_{0},\,s)=\hat {Q}(t)\hat {\Phi }(t,\,s)$ for every $(t,\,s) \in I^{2}_{\le }$. Thus, multiplying (3.22) on the right with $\hat {\Phi }(t_{0},\,s)$ yields the desired identity (3.16).

We proceed with the proof of theorem 3.1. Squaring both sides of (3.15), and taking expectations. Setting $z(t,\,s)={\mathbb {E}}\|\hat {\Phi }(t,\,s)\hat {P}(s)\|^{2}$ with $(t,\,s) \in I^{2}_{\ge }$. It follows from (2.7) that

(3.23)\begin{align} z(t,s)& \le 5{\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(s)P(s)\hat{P}(s)\|^{2}\nonumber\\ & \quad+ 5{\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\right\|^{2} \nonumber\\ & \quad+ 5{\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau\right\|^{2}\nonumber\\ & \quad+ 5{\mathbb{E}}\left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \quad+ 5{\mathbb{E}}\left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau\right\|^{2}. \end{align}

By using the Itô isometry property and inequalities (1.3), the second term on the right-hand side of (3.23) can be deduced as follows:

As to the third term in (3.23), it follows from ${\mathbb {E}}\|x\|\le \sqrt {{\mathbb {E}}\|x\|^{2}}$, Cauchy–Schwarz inequality and inequalities (1.3) that

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau\right\|^{2}\\ & \quad= {\mathbb{E}}\left\|\int^{t}_{s}\left(\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}} \left(\!\left(\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}}\hat{\Phi}(\tau,s)\hat{P}(s)\!\right) {\rm d}\tau\right\|^{2}\\ & \quad\le \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right\| {\rm d}\tau \right)\\ & \qquad\times \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\right\| {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\hat{P}(s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le 2M(b^{2}+g^{2}h^{2})\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\rm d}\tau \right) \left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\hat{P}(s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le \frac{4M(b^{2}+g^{2}h^{2})}{\alpha}\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\hat{P}(s)\right\|^{2}{\rm d}\tau. \end{align*}

Clearly, the proof above is also valid for proving the other terms on the right-hand side in (3.23). Thus, we can rewrite inequality (3.23) as

(3.24)\begin{align} z(t,s)& \le 5Me^{-\alpha(t-s)+\varepsilon |s|}z(s,s)\nonumber\\ & \quad+5Mh^{2}\left(\int^{t}_{s}e^{-\alpha(t-\tau)}z(\tau,s) {\rm d}\tau+ \int^{\infty}_{t}e^{-\alpha(\tau-t)}z(\tau,s) {\rm d}\tau\right)\nonumber\\ & \quad+\frac{20M(b^{2}+g^{2}h^{2})}{\alpha}\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} z(\tau,s){\rm d}\tau +\int^{\infty}_{t}e^{-\frac{\alpha}{2}(\tau-t)} z(\tau,s){\rm d}\tau\right)\nonumber\\ & \le 5Me^{-\frac{\alpha}{2}(t-s)+\varepsilon |s|}z(s,s)\nonumber\\ & \quad+ \frac{5M\tilde{M}}{\alpha}\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)}z(\tau,s) {\rm d}\tau+ \int^{\infty}_{t}e^{-\frac{\alpha}{2}(\tau-t)}z(\tau,s) {\rm d}\tau\right) \end{align}

with $\tilde {M}=8b^{2}+8g^{2}h^{2}+\alpha h^2$. Let

\begin{align*} Z(t,s)& =5Me^{-\frac{\alpha}{2}(t-s)+\varepsilon |s|}z(s,s)\\& \quad + \frac{5M\tilde{M}}{\alpha}\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)}z(\tau,s) {\rm d}\tau+ \int^{\infty}_{t}e^{-\frac{\alpha}{2}(\tau-t)}z(\tau,s) {\rm d}\tau\right).\end{align*}

Clearly, inequality (3.24) can be rewritten as

\[ z(t,s)\le Z(t,s). \]

On the contrary,

\[ \frac{d}{{\rm d}t}Z(t,s)={-}\frac{\alpha}{2}Z(t,s)+\frac{10M \tilde{M}}{\alpha}z(t,s), \]

and therefore,

\[ \frac{d}{{\rm d}t}Z(t,s)\leq \left(\frac{10M \tilde{M}}{\alpha}-\frac{\alpha}{2}\right) Z(t,s). \]

Integrating the above inequality from $s$ to $t$ and note that $Z(s,\,s)=5Me^{\varepsilon |s|}z(s,\,s)$, we obtain

\[ z(t,s)\leq Z(t,s)\leq 5Me^{\varepsilon |s|} e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)}z(s,s),\quad \forall~ (t,s)\in I^{2}_{{\geq}}. \]

By $z(t,\,s)={\mathbb {E}}\|\hat {\Phi }(t,\,s)\hat {P}(s)\|^{2}$, we have

(3.25)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+\varepsilon |s|}{\mathbb{E}}\|\hat{P}(s)\|^{2},\quad \forall~ (t,s)\in I^{2}_{{\geq}}. \end{equation}

Similarly, squaring both sides of (3.16), and taking expectations. Using the same way as above, we obtain

(3.26)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+\varepsilon |s|}{\mathbb{E}}\|\hat{Q}(s)\|^{2},\quad \forall~ (t,s)\in I^{2}_{{\leq}}. \end{equation}

Now we try to find out the bounds in mean-square setting for the projections $\hat {P}(t)$, $\hat {Q}(t)$. Multiplying (3.15) with $Q(t)$ on the left side, and let $t=s$, we have

(3.27)\begin{align} Q(t)\hat{P}(t)& ={-}\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, t)\hat{P}(t){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, t)\hat{P}(t){\rm d}\tau. \end{align}

By (3.27), using (1.4), (3.1) and (3.25), we have

(3.28)\begin{align} {\mathbb{E}}\|Q(t)\hat{P}(t)\|^{2}& \le 2{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, t)\hat{P}(t){\rm d}\omega(\tau) \right\|^{2}\nonumber\\ & \quad+2{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, t)\hat{P}(t){\rm d}\tau \right\|^{2}\nonumber\\ & \le 2\int^{\infty}_{t} {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|\hat{\Phi}(\tau, t)\hat{P}(t)\|^{2} {\rm d}\tau \nonumber\\ & \quad+ 2 \left(\int^{\infty}_{t} {\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\|{\mathbb{E}}\|\tilde{B}(\tau)\|^{\frac{1}{2}}{\rm d}\tau\right)\nonumber\\ & \quad\times \left(\int^{\infty}_{t} {\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\|{\mathbb{E}}\|\tilde{B}(\tau)\|^{\frac{3}{2}} {\mathbb{E}}\|\hat{\Phi}(\tau, t)\hat{P}(t)\|^{2}{\rm d}\tau\right)\nonumber\\ & \le \frac{10M^{2}\tilde{M}}{\alpha}{\mathbb{E}}\|\hat{P}(t)\|^{2}\int^{\infty}_{t} e^{-(\alpha+\tilde{\alpha}-\varepsilon)(\tau-t)}{\rm d}\tau\nonumber\\ & \le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\hat{P}(t)\|^{2}, \end{align}

since $\alpha >\varepsilon$ and $\tilde {\alpha }=\frac {\alpha }{2}-{10M\tilde {M}}/{\alpha }>0$. In addition, it follows from (3.16) with $t=s$ that

(3.29)\begin{align} P(t)\hat{Q}(t)& =\int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, t)\hat{Q}(t){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, t)\hat{Q}(t){\rm d}\tau. \end{align}

Similarly, by (3.29), using (1.3), (3.1) and (3.26), we obtain

(3.30)\begin{equation} {\mathbb{E}}\|P(t)\hat{Q}(t)\|^{2}\le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\hat{Q}(t)\|^{2}. \end{equation}

Meanwhile, notice that

\begin{align*} \hat{P}(t)-P(t) & = \hat{P}(t)-P(t)\hat{P}(t)-P(t)+P(t)\hat{P}(t)\nonumber\\ & = (Id-P(t))\hat{P}(t)-(Id-\hat{P}(t))P(t)\nonumber\\ & = Q(t)\hat{P}(t)-P(t)\hat{Q}(t). \end{align*}

Thus it follows from (3.28) and (3.30) that

(3.31)\begin{equation} {\mathbb{E}}\|\hat{P}(t)-P(t)\|^{2}\le \frac{20M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)} ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2}).\end{equation}

Furthermore, it follows from (1.3)–(1.4) with $t=s$ that

\[ {\mathbb{E}}\|P(t)\|^{2}\le M e^{\varepsilon |t|},\quad {\rm and}\quad {\mathbb{E}}\|Q(t)\|^{2}\le M e^{\varepsilon |t|}. \]

Therefore,

\begin{align*} {\mathbb{E}}\|\hat{P}(t)\|^{2}& \le 2{\mathbb{E}}\|\hat{P}(t)-P(t)\|^{2}+2{\mathbb{E}}\|P(t)\|^{2}\\ & \le\frac{40M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)} ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2})+2M e^{\varepsilon |t|}. \end{align*}

Since $\hat {Q}(t)-Q(t)=(Id-\hat {P}(t))-(Id-P(t))=P(t)-\hat {P}(t)$, we also have

\begin{align*} {\mathbb{E}}\|\hat{Q}(t)\|^{2}& \le 2{\mathbb{E}}\|\hat{P}(t)-P(t)\|^{2}+2{\mathbb{E}}\|Q(t)\|^{2}\\ & \le\frac{40M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)} ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2})+2M e^{\varepsilon |t|}. \end{align*}

Then we know

\[ ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2})\le \frac{80M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)} ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2})+4M e^{\varepsilon |t|}, \]

and hence,

\[ \left(1-\frac{80M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}\right) ({\mathbb{E}}\|\hat{P}(t)\|^{2}+{\mathbb{E}}\|\hat{Q}(t)\|^{2})\le 4M e^{\varepsilon |t|}. \]

Since $\tilde {M}:=8b^{2}+8g^{2}h^{2}+\alpha h^2$, we can obtain

\[ \frac{80M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}\le \frac{1}{2} \]

by letting $b$ and $h$ sufficiently small. This yields

(3.32)\begin{equation} {\mathbb{E}}\|\hat{P}(t)\|^{2}\le 8M e^{\varepsilon |t|}\quad {\rm and}\quad {\mathbb{E}}\|\hat{Q}(t)\|^{2}\le 8M e^{\varepsilon |t|}. \end{equation}

By (3.25), (3.26), using (3.32) we obtain

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)\|^{2}\leq 40M^{2} e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+2\varepsilon |s|},\quad \forall~ (t,s)\in I^{2}_{{\geq}}, \]

and

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)\|^{2}\leq 40M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+2\varepsilon |s|},\quad \forall~ (t,s)\in I^{2}_{{\leq}}. \]

This completes the proof of the theorem.

Under the hypotheses of theorem 3.1, the following theorem tries to discuss the differences of projections $P(t)$ and $\hat {P}(t)$ in the mean-square sense. To illustrate it clearly, write

\[ \Phi(t,s)=\Phi(t)\Phi^{{-}1}(s). \]

Obviously, $\Phi (t,\,s)$ is a fundamental matrix solution of (1.1) with $\Phi (s,\,s)=Id$.

Theorem 3.10 Under the hypotheses of theorem 3.1, for any $t\in I$, we have

(3.33)\begin{equation} P(t)=\Phi(t_{0},t)P(t_{0})\Phi(t,t_{0}), \quad {\rm and} \quad \hat{P}(t)=\hat{\Phi}(t_{0},t)\hat{P}(t_{0})\hat{\Phi}(t,t_{0}), \end{equation}

and

(3.34)\begin{equation} {\mathbb{E}}\|P(t)-\hat{P}(t)\|^{2}\le \frac{320M^{3}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}e^{\varepsilon |t|}. \end{equation}

In particular, for each fixed $t\in I$, we have ${\mathbb {E}}\|P(t)-\hat {P}(t)\|^{2}\rightarrow 0$ as $b,\, h \rightarrow 0$.

Proof. The second equality of (3.33) is obvious from definition (3.14) of linear operators $\hat {P}(t)$. For the first term in (3.33), it follows from (1.2) that

\[ P(t)\Phi(t,t_{0})\Phi(t_{0},s)=\Phi(t,t_{0})\Phi(t_{0},s)P(s), \quad \forall~ t,s\in I, \]

and then

(3.35)\begin{equation} \Phi(t_{0},t)P(t)\Phi(t,t_{0})=\Phi(t_{0},s)P(s)\Phi(s,t_{0}), \quad \forall~ t,s\in I. \end{equation}

Taking $s=t_{0}$ in (3.35), we obtain

\[ \Phi(t_{0},t)P(t)\Phi(t,t_{0})=P(t_{0}). \]

Thus,

\[ P(t)=\Phi(t_{0},t)P(t_{0})\Phi(t,t_{0}). \]

In addition, (3.34) follows immediately from (3.31) and (3.32).

Theorem 3.11 Under the hypotheses of theorem 3.1, we have

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)-\Phi(t,s)P(s)\|^{2}\le \frac{720M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon}|s|}, \quad\forall~ (t,s)\in I^{2}_{{\geq}}, \]

and

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)-\Phi(t,s)Q(s)\|^{2}\le \frac{720M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(s-t)+\hat{\varepsilon}|s|}, \quad\forall~ (t,s)\in I^{2}_{{\leq}}. \]

Proof. By $\hat {P}(s)\hat {P}(s)=\hat {P}(s)$, it follows from (3.15) that

(3.36)\begin{align} & {\mathbb{E}} \left\|\hat{\Phi}(t,s)\hat{P}(s)\hat{P}(s)-\Phi(t,s)P(s)\hat{P}(s)\right\|^{2}\nonumber\\ & \quad\le 4{\mathbb{E}} \left\|\int^{t}_{s}\Phi(t,\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad+4{\mathbb{E}} \left\|\int^{t}_{s}\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau \right\|^{2}\nonumber\\ & \quad +4{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t,\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau) \right\|^{2}\nonumber\\ & \qquad+4{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t,\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau\right\|^{2}. \end{align}

By (1.3) and (3.3), using $\alpha -\hat {\alpha }=\frac {\alpha }{2}+\frac {10M\tilde {M}}{\alpha }>0$, the first term on the right-hand side in (3.36) can be deduced as follows:

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\right\|^{2} \\ & \quad= \int^{t}_{s}{\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|\hat{\Phi}(\tau, s)\hat{P}(s)\|^{2} {\rm d}\tau\\ & \quad\le M\hat{M}h^{2}\int^{t}_{s}e^{-\alpha(t-\tau)} e^{-\hat{\alpha}(\tau-s)+\hat{\varepsilon} |s|} {\rm d}\tau\\ & \quad= M\hat{M}h^{2}e^{-\alpha(t-s)+\hat{\varepsilon} |s|}\int^{t}_{s}e^{(\alpha-\hat{\alpha})(\tau-s)}{\rm d}\tau\\ & \quad\le \frac{M\hat{M}h^{2}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon} |s|}. \end{align*}

As to the second term in (3.36), by $\frac {\alpha }{2}-\hat {\alpha }=\frac {10M\tilde {M}}{\alpha }>0$, we have $2\alpha ^{2}-\alpha \hat {\alpha }>0$. It follows from ${\mathbb {E}}\|x\|\le \sqrt {{\mathbb {E}}\|x\|^{2}}$, Cauchy–Schwarz inequality and inequalities (1.3), (3.3) that

\begin{align*} & {\mathbb{E}}\left\|\int^{t}_{s}\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau\right\|^{2}\\ & \quad= {\mathbb{E}}\left\|\int^{t}_{s}\left(\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}} \left(\left(\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\right)^{\frac{1}{2}}\hat{\Phi}(\tau,s)\hat{P}(s)\right) {\rm d}\tau\right\|^{2}\\ & \quad\le \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\right\| {\rm d}\tau \right)\\ & \qquad\times \left(\int^{t}_{s}{\mathbb{E}}\left\|\Phi(t,\tau)P(\tau)\tilde{B}(\tau)\right\| {\mathbb{E}}\left\|\hat{\Phi}(\tau,s)\hat{P}(s)\right\|^{2}{\rm d}\tau \right)\\ & \quad\le 2M\hat{M}(b^{2}+g^{2}h^{2})\left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} {\rm d}\tau \right) \left(\int^{t}_{s}e^{-\frac{\alpha}{2}(t-\tau)} e^{-\hat{\alpha}(\tau-s)+\hat{\varepsilon} |s|}{\rm d}\tau \right)\\ & \quad\le \frac{8M\hat{M}(b^{2}+g^{2}h^{2})}{2\alpha^{2}-\alpha\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon} |s|}. \end{align*}

Clearly, the proof above is also valid for proving the other terms on the right-hand side in (3.36). Thus, we can rewrite inequality (3.36) as

(3.37)\begin{align} & {\mathbb{E}} \left\|\hat{\Phi}(t,s)\hat{P}(s)\hat{P}(s)-\Phi(t,s)P(s)\hat{P}(s)\right\|^{2}\nonumber\\ & \quad\le \left(\frac{8M\hat{M}h^{2}}{\alpha-\hat{\alpha}}+ \frac{64M\hat{M}(b^{2}+g^{2}h^{2})}{2\alpha^{2}-\alpha\hat{\alpha}}\right) e^{-\hat{\alpha}(t-s)+\hat{\varepsilon}|s|}\nonumber\\ & \quad= \frac{320M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon}|s|}. \end{align}

Additionally, as $\hat {P}(s)$ and $\hat {Q}(s)$ are complementary projections for each $s\in I$, it follows from(1.3), (3.4) and (3.29) that

(3.38)\begin{align} & {\mathbb{E}} \left\|\hat{\Phi}(t,s)\hat{P}(s)\hat{Q}(s)-\Phi(t,s)P(s)\hat{Q}(s)\right\|^{2} = {\mathbb{E}} \left\|\Phi(t,s)P(s)\hat{Q}(s)\right\|^{2}\nonumber\\ & \quad\le 2{\mathbb{E}} \left\|\int^{s}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, t)\hat{Q}(t){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad+2{\mathbb{E}} \left\|\int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, t)\hat{Q}(t){\rm d}\tau \right\|^{2}\nonumber\\ & \quad\le \frac{40M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon}|s|}. \end{align}

Combining (3.37) and (3.38) yields

\begin{align*} & {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)-\Phi(t,s)P(s)\|^{2}\\ & \quad= {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)(\hat{P}(s)+\hat{Q}(s)) -\Phi(t,s)P(s)(\hat{P}(s)+\hat{Q}(s))\|^{2}\\ & \quad\le \frac{720M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(t-s)+\hat{\varepsilon}|s|}. \end{align*}

Similarly, by (3.16) we obtain

(3.39)\begin{equation} {\mathbb{E}} \left\|\hat{\Phi}(t,s)\hat{Q}(s)\hat{Q}(s)-\Phi(t,s)Q(s)\hat{Q}(s)\right\|^{2}\le \frac{320M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(s-t)+\hat{\varepsilon}|s|}. \end{equation}

Also, as $\hat {P}(s)$ and $\hat {Q}(s)$ are complementary projections for each $s\in I$, by (3.28) we obtain

(3.40)\begin{equation} {\mathbb{E}} \left\|\hat{\Phi}(t,s)\hat{Q}(s)\hat{P}(s)-\Phi(t,s)Q(s)\hat{P}(s)\right\|^{2}\le \frac{40M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(s-t)+\hat{\varepsilon}|s|}. \end{equation}

Combining (3.39) and (3.40) yields

\begin{align*} & {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)-\Phi(t,s)Q(s)\|^{2}\\ & \quad= {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)(\hat{P}(s)+\hat{Q}(s)) -\Phi(t,s)Q(s)(\hat{P}(s)+\hat{Q}(s))\|^{2}\\ & \quad\le \frac{720M\tilde{M}}{\alpha-\hat{\alpha}}e^{-\hat{\alpha}(s-t)+\hat{\varepsilon}|s|}. \end{align*}

This completes the proof of the theorem.

Remark 3.12 Since $I=[t_{0},\,+\infty )$, the second-moment Lyapunov exponent is bounded by $-\hat {\alpha }$ for any fixed $b,\, h >0$, i.e.

\[ \lim_{t\rightarrow +\infty}\frac{1}{t}\log {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)-\Phi(t,s)P(s)\|^{2}={-}\hat{\alpha}<0. \]

This shows that in the stable direction, any two solutions $\hat {\Phi }(t,\,s)\hat {P}(s)\xi$ and $\Phi (t,\,s)P(s)\xi$ with the same initial condition are forward asymptotic in the mean-square sense. Furthermore, since $M=8b^{2}+8g^{2}h^{2}+\alpha h^2$, for each fixed $T_{1}\in (s,\,+\infty )$ and $T_{2} \in (t_{0},\,s)$, we have

\[ \lim_{b, h\rightarrow 0}\sup_{t\in [s,T_{1}]} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)-\Phi(t,s)P(s)\|^{2}=0, \]

and

\[ \lim_{b, h\rightarrow 0}\sup_{t\in [T_{2},s]} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)-\Phi(t,s)Q(s)\|^{2}=0. \]

This means that the solution $\hat {\Phi }(t,\,s)\hat {P}(s)$ (or $\hat {\Phi }(t,\,s)\hat {Q}(s)$) of the perturbed system (1.5) approaches uniformly the solution $\Phi (t,\,s)P(s)$ (or $\Phi (t,\,s)Q(s)$) of system (1.1) in the mean-square sense on any compact interval.

4. Robustness of NMS-ED on the half line $(-\infty,\,t_{0}]$

In this section, we deal with the robustness of NMS-ED on $I= (-\infty,\,t_{0}]$, which is analogous to the case $[t_{0},\,+\infty )$. So in what follows, we highlight the main steps of the proof which only indicate the major differences.

Theorem 4.1 The assertion in theorem 3.1 remains true for $I= (-\infty,\,t_{0}]$.

Proof of theorem 4.1. Proof of theorem 4.1

Consider the Banach space

(4.1)\begin{equation} \mathscr{L}_{d}:=\{\hat{\Phi}: I^{2}_{{\leq}} \rightarrow \mathfrak{B}(L^{2}(\Omega, {\Bbb R}^{n})): ~\hat{\Phi} \text{ is continuous and } \|\hat{\Phi}\|_{d}<\infty\} \end{equation}

with the norm

(4.2)\begin{equation} \|\hat{\Phi}\|_{d}=\sup\left\{({\mathbb{E}}\|\hat{\Phi}(t,s)\|^2)^{\frac{1}{2}} e^{-\frac{\varepsilon}{2} |s|}: (t,s)\in I^{2}_{{\leq}}\right\}. \end{equation}

Following the same steps as in the proof of theorem 1, we establish the following statements.

Lemma 4.2 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, (1.5) has a unique solution $V(t,\,s) \xi _{0}$ with $V \in (\mathscr {L}_{d},\, \|\cdot \|_{d})$ such that

(4.3)\begin{align} V(t,s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)V(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)V(\tau, s){\rm d}\tau\nonumber\\ & \quad +\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)V(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)V(\tau, s){\rm d}\tau. \end{align}

Lemma 4.3 For any $u\in (t,\,s)$ in $I$, we have

\[ V(s,t)=V(s,u)V(u,t) \]

in the sense of $(\mathscr {L}_{d},\, \|\cdot \|_{d})$.

Lemma 4.4 Given $s\in I$, if $y(t):=\tilde {\Lambda }(t,\,s) \xi :(-\infty,\,s]\rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ is a solution of (1.5) with $y(s)= \tilde {\Lambda }(s,\,s) \xi = \xi$ such that $\tilde {\Lambda }$ is bounded in $(\mathscr {L}_{d},\, \|\cdot \|_{d})$. Then

\begin{align*} y(t)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\xi- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau +\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad +\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau. \end{align*}

For each $t\in I$, define linear operators as

(4.4)\begin{equation} \hat{Q}(t)=\hat{\Phi}(t,t_{0})V(t_{0},t_{0})\hat{\Phi}(t_{0},t)\quad {\rm and}\quad\hat{P}(t)=Id-\hat{Q}(t), \end{equation}

where $t_{0}$ is the right boundary point of the interval $I$.

Lemma 4.5 The operator $\hat {P}(t)$ is a linear projection for $t\in I$, and (3.2) holds.

Lemma 4.6 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $\hat {Q}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{d},\, \|\cdot \|_{d})$.

Lemma 4.7 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in I^{2}_{\leq }$ such that

(4.5)\begin{align} \hat{\Phi}(t,s)\hat{Q}(s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\hat{Q}(s)- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{s}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\tau\nonumber\\ & \quad +\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\tau. \end{align}

Lemma 4.8 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\hat {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in I^{2}_{\geq }$ such that

(4.6)\begin{align} \hat{\Phi}(t,s)\hat{P}(s)& = \Phi(t)\Phi^{{-}1}(s)P(s)\hat{P}(s)- \int^{t_{0}}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad- \int^{t_{0}}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{Q}(s){\rm d}\tau \nonumber\\ & \quad +\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t}_{s}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)\hat{\Phi}(\tau, s)\hat{P}(s){\rm d}\tau. \end{align}

Proceeding as in the proof of theorem 3.1. Squaring both sides of (4.5), and taking expectations, we obtain

(4.7)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+\varepsilon |s|}{\mathbb{E}}\|\hat{Q}(s)\|^{2},\quad \forall~ (t,s)\in I^{2}_{{\leq}}. \end{equation}

Similarly, squaring both sides of (4.6), and taking expectations, we obtain

(4.8)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+\varepsilon |s|}{\mathbb{E}}\|\hat{P}(s)\|^{2},\quad \forall~ (t,s)\in I^{2}_{{\geq}}.\end{equation}

Meanwhile, multiplying (4.5) with $P(t)$ and (4.6) with $Q(t)$ on the left side, respectively, and let $t=s$, we obtain

\[ {\mathbb{E}}\|P(t)\hat{Q}(t)\|^{2}\le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\hat{Q}(t)\|^{2}, \]

and

\[ {\mathbb{E}}\|Q(t)\hat{P}(t)\|^{2}\le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\hat{P}(t)\|^{2}. \]

Since

\[ {\mathbb{E}}\|P(t)\|^{2}\le M e^{\varepsilon |t|},\quad {\mathbb{E}}\|Q(t)\|^{2}\le M e^{\varepsilon |t|}, \]

and $\hat {P}(t)-P(t)=Q(t)\hat {P}(t)-P(t)\hat {Q}(t)$, for sufficiently small $b$ and $h$, we obtain the bounds for the projections $\hat {P}(t)$ and $\hat {Q}(t)$ as follows:

(4.9)\begin{equation} {\mathbb{E}}\|\hat{P}(t)\|^{2}\le 8M e^{\varepsilon |t|}\quad {\rm and}\quad {\mathbb{E}}\|\hat{Q}(t)\|^{2}\le 8M e^{\varepsilon |t|}. \end{equation}

By (4.7), (4.8), using (4.9) we obtain

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{P}(s)\|^{2}\leq 40M^{2} e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+2\varepsilon |s|},\quad \forall~ (t,s)\in I^{2}_{{\geq}}, \]

and

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\hat{Q}(s)\|^{2}\leq 40M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+2\varepsilon |s|},\quad \forall~ (t,s)\in I^{2}_{{\leq}}. \]

This completes the proof of the theorem.

5. Robustness of NMS-ED on the whole ${\Bbb R}$

In this section, we consider the robustness of NMS-ED on the whole $I= {\Bbb R}$. From the last two sections we know that if (3.1) holds, the perturbed equation (1.5) remains NMS-ED on $[t_{0},\,+\infty )$ with the operators:

\[ \hat{P}_+(t)=\hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t),\quad \hat{Q}_+(t)=Id-\hat{P}_+(t), \]

and on $(-\infty,\, t_{0}]$ with the operators:

\[ \hat{Q}_{-}(t)=\hat{\Phi}(t,t_{0})V(t_{0},t_{0})\hat{\Phi}(t_{0},t),\quad \hat{P}_{-}(t)=Id-\hat{Q}_{-}(t). \]

The most important part in this section is to show that (1.5) has an NMS-ED on both half lines with the same projections. For this purpose, we introduce modified projections, which combine the advantages of projections $\hat {P}_+(t)$ and $\hat {Q}_{-}(t)$. Actually, this technique has been used in several papers to deal with this problem, see e.g. [Reference Barreira, Silva and Valls5, Reference Barreira and Valls7, Reference Palmer39, Reference Palmer40, Reference Popescu44, Reference Popescu45] for details.

In the following, for convenience and brevity, let us denote by $G(t,\,s)$ the Green function of (1.1):

\[ G(t,s):=\left\{ \begin{array}{@{}ll} P(t)\Phi(t,s), & \forall~ (t,s)\in {\Bbb R}^{2}_{{\geq}}, \\ -Q(t)\Phi(t,s), & \forall~ (t,s)\in {\Bbb R}^{2}_{{\leq}}. \end{array} \right. \]

Green function is a classical concept in the study of exponential dichotomy as for example [Reference Chicone and Latushkin8, Reference Engel and Nagel15]. Now we deal with the robustness of NMS-ED for (1.1) on the whole ${\Bbb R}$.

Theorem 5.1 The assertion in theorem 3.1 remains true for $I= {\Bbb R}$.

Proof of theorem 5.1. Proof of theorem 5.1

Consider the Banach spaces

\[ \mathscr{L}_{c}= \{\hat{\Phi}: {\Bbb R}^{2}_{{\geq}} \rightarrow \mathfrak{B}(L^{2}(\Omega, {\Bbb R}^{n})): ~\hat{\Phi} \text{ is continuous and } \|\hat{\Phi}\|_{c}<\infty\}, \]

and

\[ \mathscr{L}_{d}= \{\hat{\Phi}: {\Bbb R}^{2}_{{\leq}} \rightarrow \mathfrak{B}(L^{2}(\Omega, {\Bbb R}^{n})): ~\hat{\Phi} \text{ is continuous and } \|\hat{\Phi}\|_{d}<\infty\} \]

with the norm

\[ \|\hat{\Phi}\|_{c}=\sup_{(t,s)\in {\Bbb R}^{2}_{{\geq}}}\left\{({\mathbb{E}}\|\hat{\Phi}(t, s)\|^2)^{\frac{1}{2}} e^{-\frac{\varepsilon}{2} |s|} \right\}, \]

and

\[ \|\hat{\Phi}\|_{d}=\sup_{(t,s)\in {\Bbb R}^{2}_{{\leq}}}\left\{({\mathbb{E}}\|\hat{\Phi}(t, s)\|^2)^{\frac{1}{2}} e^{-\frac{\varepsilon}{2} |s|} \right\} \]

respectively. Define operator $\Gamma _{1}:\mathscr {L}_{c} \rightarrow \mathscr {L}_{c}$ by

\begin{align*} (\Gamma_{1} U)(t,s)& = \Phi(t)\Phi^{{-}1}(s)P(s)+ \int^{\infty}_{s}G(t,\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{\infty}_{s}G(t,\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau, \end{align*}

and operator $\Gamma _{2}:\mathscr {L}_{d} \rightarrow \mathscr {L}_{d}$,

\begin{align*} (\Gamma_{2} V)(t,s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)+ \int^{s}_{-\infty}G(t,\tau)H(\tau)V(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{s}_{-\infty}G(t,\tau)\tilde{B}(\tau)V(\tau, s){\rm d}\tau. \end{align*}

Similar arguments to those in the proofs of lemma 3.2 and lemma 4.2 can be used to deduce that

\begin{align*} & \|\Gamma_{1} U_{1}-\Gamma_{1} U_{2}\|_{c}\le \theta \|U_{1}-U_{2}\|_{c},\\ & \|\Gamma_{2} V_{1}-\Gamma_{2} V_{2}\|_{d}\le \theta \|V_{1}-V_{2}\|_{d}. \end{align*}

with $\theta =\sqrt {\frac {10M\tilde {M}}{\alpha ^{2}} }<1$. Thus, we have the following lemma.

Lemma 5.2 Operators $\Gamma _{1}$, $\Gamma _{2}$ have unique fixed points $U\in (\mathscr {L}_{c},\, \|\cdot \|_{c})$, respectively $V\in (\mathscr {L}_{d},\, \|\cdot \|_{d})$ such that

\begin{align*} U(t,s)& = \Phi(t)\Phi^{{-}1}(s)P(s)+ \int^{\infty}_{s}G(t,\tau)H(\tau)U(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{\infty}_{s}G(t,\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau, \end{align*}

and

\begin{align*} V(t,s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)+ \int^{s}_{-\infty}G(t,\tau)H(\tau)V(\tau, s){\rm d}\omega(\tau)\nonumber\\ & \quad+ \int^{s}_{-\infty}G(t,\tau)\tilde{B}(\tau)V(\tau, s){\rm d}\tau. \end{align*}

Repeating arguments in the proofs of theorems 3.1 and 4.1, we obtain the following statements.

Lemma 5.3 For any $u\in (s,\,t)$ in $I$, we have

\[ U(t,s)=U(t,u)U(u,s) \]

in the sense of $(\mathscr {L}_{c},\, \|\cdot \|_{c})$, respectively,

\[ V(t,s)=V(t,u)V(u,s) \]

in the sense of $(\mathscr {L}_{d},\, \|\cdot \|_{d})$.

Lemma 5.4 Given $s\in I$, if $x(t)=\Lambda (t,\,s) \xi :[s,\,+\infty )\rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ (respectively, $y(t):=\tilde {\Lambda }(t,\,s) \xi :(-\infty,\,s]\rightarrow L^{2}(\Omega,\, {\Bbb R}^{n})$ ) is a solution of (1.5) with $x(s)= \Lambda (s,\,s) \xi = \xi$ (respectively, $y(s)= \tilde {\Lambda }(s,\,s) \xi = \xi$) such that $\Lambda$ (respectively, $\tilde {\Lambda }$) is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$ (respectively, $(\mathscr {L}_{d},\, \|\cdot \|_{d})$), then

(5.1)\begin{align} x(t)& = \Phi(t)\Phi^{{-}1}(s)P(s)\xi+ \int^{\infty}_{s}G(t,\tau)H(\tau)x(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad + \int^{\infty}_{s}G(t,\tau)\tilde{B}(\tau)x(\tau){\rm d}\tau, \end{align}

and

(5.2)\begin{align} y(t)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\xi+ \int^{s}_{-\infty}G(t,\tau)H(\tau)y(\tau){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{s}_{-\infty}G(t,\tau)\tilde{B}(\tau)y(\tau){\rm d}\tau. \end{align}

Now we present that projection $S=\hat {P}_+(t_{0})+\hat {Q}_{-}(t_{0})$ is invertible for some $t_{0}\in {\Bbb R}$ with $b$ and $h$ sufficiently small. Using this result, we are able to define modified operators.

Lemma 5.5 If $b$ and $h$ are sufficiently small, then the operator $S=\hat {P}_+(t_{0})+\hat {Q}_{-}(t_{0})$ is invertible.

Proof. We first derive $\hat {P}_+(t_{0})P(t_{0})=\hat {P}_+(t_{0})$. In fact, following the same procedure as we did for lemma 3.3, we find that

(5.3)\begin{equation} U(t,s)=U(t,s)P(s). \end{equation}

Since $\hat {P}_+(t_{0})=U(t_{0},\,t_{0})$, by (5.3) with $t=s=t_{0}$ we have

(5.4)\begin{equation} \hat{P}_+(t_{0})P(t_{0})=\hat{P}_+(t_{0}). \end{equation}

In addition, we have (see (3.19))

(5.5)\begin{equation} P(t_{0})\hat{P}_+(t_{0})=P(t_{0}). \end{equation}

Since $\hat {Q}_{-}(t_{0})=V(t_{0},\,t_{0})$, a similar argument using lemma 4.3 with $t=s=t_{0}$ yields

(5.6)\begin{equation} \hat{Q}_{-}(t_{0})Q(t_{0})=\hat{Q}_{-}(t_{0}). \end{equation}

Furthermore, it follows from $\hat {Q}_{-}(t)=\hat {\Phi }(t,\,t_{0})V(t_{0},\,t_{0})\hat {\Phi }(t_{0},\,t)$ and (4.3) with $t=s=t_{0}$ that

(5.7)\begin{align} \hat{Q}_{-}(t_{0})& = V(t_{0},t_{0})= Q(t_{0}) +\int^{t_{0}}_{-\infty}\Phi(t_{0})\Phi^{{-}1}(\tau)P(\tau)H(\tau)V(\tau, t_{0}){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{t_{0}}_{-\infty}\Phi(t_{0})\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)V(\tau, t_{0}){\rm d}\tau. \end{align}

Since $P(t_{0})$ and $Q(t_{0})$ are complementary projections, multiplying (5.7) on the left with $Q(t_{0})$ gives

(5.8)\begin{equation} Q(t_{0})\hat{Q}_{-}(t_{0})=Q(t_{0}). \end{equation}

We now consider the linear operators

(5.9)\begin{equation} S_{1}:=Id -P(t_{0})+\hat{P}_+(t_{0}) \quad {\rm and} \quad T_{1}:= Id+ P(t_{0})-\hat{P}_+(t_{0}). \end{equation}

It follows easily from (5.4) and (5.5) that $S_{1}T_{1}=T_{1}S_{1}=Id$. Therefore, $S_{1}$ is invertible and $S_{1}^{-1}=T_{1}$. In addition, using again (5.5) we obtain

(5.10)\begin{align} S_{1}-Id & = \hat{P}_+(t_{0})-P(t_{0})\nonumber\\ & = \hat{P}_+(t_{0})-P(t_{0})\hat{P}_+(t_{0})\nonumber\\ & = Q(t_{0})\hat{P}_+(t_{0}). \end{align}

By (3.18), we have

(5.11)\begin{align} Q(t_{0})\hat{P}_+(t_{0})& ={-}\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, t_{0}){\rm d}\omega(\tau)\nonumber\\ & \quad-\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, t_{0}){\rm d}\tau. \end{align}

To estimate the bounds of the integral in the mean-square sense, we need to find out the bounds for $U(t,\, t_{0})$ with $t\ge t_{0}$. Squaring both sides of (3.5), taking expectations and proceeding as in the proof of theorem 3.1, for any $t\ge t_{0}$, we have

(5.12)\begin{align} & {\mathbb{E}}\|U(t,t_{0})\|^{2}\nonumber\\ & \quad\le 5{\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(t_{0})P(t_{0})\|^{2}\nonumber\\ & \qquad + 5{\mathbb{E}} \left\|\int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)U(\tau, t_{0}){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{t}_{t_{0}}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)U(\tau, t_{0}){\rm d}\tau \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, t_{0}){\rm d}\omega(\tau) \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{\infty}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, t_{0}){\rm d}\tau \right\|^{2}\nonumber\\ & \quad\le 5Me^{-\frac{\alpha}{2}(t-t_{0})+\varepsilon |t_{0}|}\nonumber\\ & \qquad+ \frac{5M\tilde{M}}{\alpha}\left(\int^{t}_{t_{0}} e^{-\frac{\alpha}{2}(t-\tau)}{\mathbb{E}}\|U(\tau,t_{0})\|^{2} {\rm d}\tau+ \int^{\infty}_{t}e^{-\frac{\alpha}{2}(\tau-t)}{\mathbb{E}}\|U(\tau,t_{0})\|^{2} {\rm d}\tau\right)\nonumber\\ & \quad\le 5M e^{-\hat{\alpha}(t-t_{0})+\varepsilon |t_{0}|}. \end{align}

By (5.10), using (5.11) and (5.12), we obtain

(5.13)\begin{align} {\mathbb{E}}\|S_{1}-Id\|^{2}& = {\mathbb{E}}\|Q(t_{0})\hat{P}_+(t_{0})\|^{2}\nonumber\\ & \le 2{\mathbb{E}} \left\|\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)H(\tau)U(\tau, t_{0}){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \quad+2 {\mathbb{E}} \left\|\int^{\infty}_{t_{0}}\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, t_{0}){\rm d}\tau\right\|^{2}\nonumber\\ & \le 2\int^{\infty}_{t} {\mathbb{E}}\|\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\|^{2} {\mathbb{E}}\|H(\tau)\|^{2} {\mathbb{E}}\|U(\tau, t_{0})\|^{2} {\rm d}\tau \nonumber\\ & \quad + 2 \left(\int^{\infty}_{t_{0}} {\mathbb{E}} \|\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)\|{\mathbb{E}}\|\tilde{B}(\tau)\|^{\frac{1}{2}}{\rm d}\tau\right)\nonumber\\ & \quad\times \left(\int^{\infty}_{t_{0}} {\mathbb{E}} \|\Phi(t_{0})\Phi^{{-}1}(\tau)Q(\tau)\|{\mathbb{E}}\|\tilde{B}(\tau)\|^{\frac{3}{2}} {\mathbb{E}}\|U(\tau, t_{0})\|^{2}{\rm d}\tau\right)\nonumber\\ & \le \frac{10M^{2}\tilde{M}}{\alpha}\int^{\infty}_{t_{0}} e^{-(\alpha+\tilde{\alpha}-\varepsilon)(\tau-t_{0})}{\rm d}\tau\nonumber\\ & \le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}. \end{align}

Meanwhile, we consider the linear operators

(5.14)\begin{equation} S_{2}:=Id -Q(t_{0})+\hat{Q}_{-}(t_{0}) \quad {\rm and} \quad T_{2}:= Id+ Q(t_{0})-\hat{Q}_{-}(t_{0}). \end{equation}

It follows easily from (5.6) and (5.8) that $S_{2}T_{2}=T_{2}S_{2}=Id$. Therefore, $S_{2}$ is invertible and $S_{2}^{-1}=T_{2}$. In addition, using again (5.8) we obtain

(5.15)\begin{align} S_{2}-Id & = \hat{Q}_{-}(t_{0})-Q(t_{0})\nonumber\\ & = \hat{Q}_{-}(t_{0})-Q(t_{0})\hat{Q}_{-}(t_{0})\nonumber\\ & = P(t_{0})\hat{Q}_{-}(t_{0}). \end{align}

By (5.7),

(5.16)\begin{align} P(t_{0})\hat{Q}_{-}(t_{0})& = \int^{t_{0}}_{-\infty}\Phi(t_{0})\Phi^{{-}1}(\tau)P(\tau)H(\tau)V(\tau, t_{0}){\rm d}\omega(\tau)\nonumber\\ & \quad +\int^{t_{0}}_{-\infty}\Phi(t_{0})\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)V(\tau, t_{0}){\rm d}\tau. \end{align}

Similarly, for any $t\le t_{0}$, one can deduce from (4.3) that

(5.17)\begin{align} & {\mathbb{E}}\|V(t,t_{0})\|^{2}\nonumber\\ & \quad \le 5{\mathbb{E}} \|\Phi(t)\Phi^{{-}1}(t_{0})Q(t_{0})\|^{2}\nonumber\\ & \qquad + 5{\mathbb{E}} \left\|\int^{t_{0}}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)H(\tau)V(\tau, s){\rm d}\omega(\tau)\right\|^{2}\nonumber\\ & \qquad + 5{\mathbb{E}} \left\|\int^{t_{0}}_{t}\Phi(t)\Phi^{{-}1}(\tau)Q(\tau)\tilde{B}(\tau)U(\tau, s){\rm d}\tau \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)H(\tau)V(\tau, t_{0}){\rm d}\omega(\tau) \right\|^{2}\nonumber\\ & \qquad+ 5{\mathbb{E}} \left\|\int^{t}_{-\infty}\Phi(t)\Phi^{{-}1}(\tau)P(\tau)\tilde{B}(\tau)V(\tau, t_{0}){\rm d}\tau \right\|^{2}\nonumber\\ & \quad\le 5Me^{-\frac{\alpha}{2}(t_{0}-t)+\varepsilon |t_{0}|}\nonumber\\ & \qquad + \frac{5M\tilde{M}}{\alpha}\left(\int^{t_{0}}_{t} e^{-\frac{\alpha}{2}(\tau-t)}{\mathbb{E}}\|V(\tau,t_{0})\|^{2} {\rm d}\tau+ \int^{t}_{-\infty}e^{-\frac{\alpha}{2}(t-\tau)}{\mathbb{E}}\|V(\tau,t_{0})\|^{2} {\rm d}\tau\right)\nonumber\\ & \quad\le 5M e^{-\hat{\alpha}(t_{0}-t)+\varepsilon |t_{0}|}. \end{align}

Therefore, by (5.15), using (5.16) and (5.17) we obtain

(5.18)\begin{equation} {\mathbb{E}}\|S_{2}-Id\|^{2}= {\mathbb{E}}\|P(t_{0})\hat{Q}_{-}(t_{0})\|^{2} \le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}.\end{equation}

Besides, it follows easily from (5.8) that $P(t_{0})\hat {P}_{-}(t_{0})=\hat {P}_{-}(t_{0})$. Using also (5.5) yields

\begin{align*} \hat{P}_+(t_{0})+\hat{Q}_{-}(t_{0})-Id& = \hat{P}_+(t_{0}) -P(t_{0})+P(t_{0})-\hat{P}_{-}(t_{0})\\ & = \hat{P}_+(t_{0})-P(t_{0})\hat{P}_+(t_{0})+P(t_{0})-P(t_{0})\hat{P}_{-}(t_{0})\\ & = Q(t_{0})\hat{P}_+(t_{0}) + P(t_{0})\hat{Q}_{-}(t_{0}). \end{align*}

By (5.13) and (5.18) we obtain

(5.19)\begin{align} {\mathbb{E}}\|\hat{P}_+(t_{0})+\hat{Q}_{-}(t_{0})-Id\|^{2}& = {\mathbb{E}}\|Q(t_{0})\hat{P}_+(t_{0}) + P(t_{0})\hat{Q}_{-}(t_{0})\|^{2}\nonumber\\ & \le 2{\mathbb{E}}\|Q(t_{0})\hat{P}_+(t_{0})\|^{2}+2{\mathbb{E}}\|P(t_{0})\hat{Q}_{-}(t_{0})\|^{2}\nonumber\\ & \le \frac{20M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}. \end{align}

Moreover,

(5.20)\begin{align} S & = \hat{P}_+(t_{0})+\hat{Q}_{-}(t_{0})\nonumber\\ & = (\hat{P}_+(t_{0})+Q(t_{0})) +(P(t_{0})+\hat{Q}_{-}(t_{0}))-Id\nonumber\\ & = S_{1}+S_{2}-Id. \end{align}

Since $\tilde {M}:=8b^{2}+8g^{2}h^{2}+\alpha h^2$, by (5.13), respectively, (5.18), we can make invertible operators $S_{1}$ and $S_{2}$ such that ${\mathbb {E}}\|S_{1}-Id\|^{2}$ and ${\mathbb {E}}\|S_{2}-Id\|^{2}$ as small as desired with $b$ and $h$ sufficiently small. So if taking $b$ and $h$ sufficiently small, it follows from (5.19) and (5.20) that $S=\hat {P}_+(t_{0})+\hat {Q}_{-}(t_{0})$ is invertible.

For each $t\in I$, define linear operators as

(5.21)\begin{equation} \tilde{P}(t)=\hat{\Phi}(t,t_{0})SP(t_{0})S^{{-}1}\hat{\Phi}(t_{0},t)\quad {\rm and}\quad \tilde{Q}(t)=Id-\tilde{P}(t).\end{equation}

Lemma 5.6 The operator $\tilde {P}(t)$ is a linear projection for $t\in I$, and (3.2) holds for any $t,\, s\in {\Bbb R}$.

Proof. Obviously,

\[ \tilde{P}(t)\tilde{P}(t)=\hat{\Phi}(t,t_{0})SP^{2}(t_{0})S^{{-}1}\hat{\Phi}(t_{0},t) =\tilde{P}(t). \]

Moreover, for any $t,\, s\in {\Bbb R}$, we obtain

\begin{align*} \tilde{P}(t)\hat{\Phi}(t,s)& = \hat{\Phi}(t,t_{0})SP(t_{0})S^{{-}1}\hat{\Phi}(t_{0},t)\hat{\Phi}(t,s)\\ & = \hat{\Phi}(t,s)\hat{\Phi}(s,t_{0})SP(t_{0})S^{{-}1}\hat{\Phi}(t_{0},s)\\ & = \hat{\Phi}(t,s)\tilde{P}(s), \end{align*}

and this completes the proof of the lemma.

Lemma 5.7 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\tilde {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $\tilde {P}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$, respectively, the function $\tilde {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $\tilde {Q}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{d},\, \|\cdot \|_{d})$.

Proof. In view of (5.4) and (5.6), we have

\begin{align*} SP(t_{0})& =\hat{P}_+(t_{0})P(t_{0})+\hat{Q}_{-}(t_{0})P(t_{0})=\hat{P}_+(t_{0}),\\ SQ(t_{0})& =\hat{P}_+(t_{0})Q(t_{0})+\hat{Q}_{-}(t_{0})Q(t_{0})=\hat{Q}_{-}(t_{0}). \end{align*}

Thus,

\begin{align*} \tilde{P}(t)\hat{\Phi}(t,s)& =\hat{\Phi}(t,t_{0})SP(t_{0})S^{{-}1} \hat{\Phi}(t_{0},t)\hat{\Phi}(t,s)= \hat{\Phi}(t,t_{0})\hat{P}_+(t_{0})S^{{-}1} \hat{\Phi}(t_{0},s),\\ \tilde{Q}(t)\hat{\Phi}(t,s)& =\hat{\Phi}(t,t_{0})SQ(t_{0})S^{{-}1} \hat{\Phi}(t_{0},t)\hat{\Phi}(t,s)= \hat{\Phi}(t,t_{0})\hat{Q}_{-}(t_{0})S^{{-}1} \hat{\Phi}(t_{0},s). \end{align*}

Therefore, it follows from lemma 3.6 that $\tilde {P}(t)\hat {\Phi }(t,\,s)\xi _{0}=\hat {\Phi }(t,\,t_{0})\hat {P}_+(t_{0})S^{-1} \hat {\Phi}(t_{0},\,s)\xi _{0}$ is a solution of (1.5) with initial value $S^{-1} \hat {\Phi }(t_{0},\,s)\xi _{0} \in {\Bbb R}^{n}$ with $\tilde {P}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$. Similarly, by lemma 4.6, we have $\tilde {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ as a solution of (1.5) with initial value $S^{-1} \hat {\Phi }(t_{0},\,s)\xi _{0} \in {\Bbb R}^{n}$ with $\tilde {Q}(t)\hat {\Phi }(t,\,s)$ bounded in $(\mathscr {L}_{d},\, \|\cdot \|_{d})$.

Lemma 5.8 For any given initial value $\xi _{0} \in {\Bbb R}^{n}$, the function $\tilde {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in {\Bbb R}^{2}_{\geq }$ such that

(5.22)\begin{align} \hat{\Phi}(t,s)\tilde{P}(s)& = \Phi(t)\Phi^{{-}1}(s)P(s)\tilde{P}(s) + \int^{\infty}_{s}G(t,\tau)H(\tau)\hat{\Phi}(\tau,s)\tilde{P}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{\infty}_{s}G(t,\tau)\tilde{B}(\tau)\hat{\Phi}(\tau,s)\tilde{P}(s){\rm d}\tau, \end{align}

and the function $\tilde {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$ is a solution of (1.5) with $(t,\,s)\in {\Bbb R}^{2}_{\leq }$ such that

(5.23)\begin{align} \hat{\Phi}(t,s)\tilde{Q}(s)& = \Phi(t)\Phi^{{-}1}(s)Q(s)\tilde{Q}(s) +\int^{s}_{-\infty}G(t,\tau)H(\tau)\hat{\Phi}(\tau,s)\tilde{Q}(s){\rm d}\omega(\tau)\nonumber\\ & \quad+\int^{s}_{-\infty}G(t,\tau)\tilde{B}(\tau)\hat{\Phi}(\tau,s)\tilde{Q}(s){\rm d}\tau. \end{align}

Proof. Let $x(t)=\tilde {P}(t)\hat {\Phi }(t,\,s)\xi _{0}$ (respectively, $y(t)=\tilde {Q}(t)\hat {\Phi }(t,\,s)\xi _{0}$) with given $s\in {\Bbb R}$, and denote $\xi =\tilde {P}(s)\xi _{0}$ the initial condition at time $s$. Clearly, $x(t)$ (respectively, $y(t)$) is a solution of (1.5) with $x(s)=\tilde {P}(s)\xi =\tilde {P}(s)\tilde {P}(s)\xi _{0}=\xi$ (respectively, $y(s)=\tilde {Q}(s)\xi =\tilde {Q}(s)\tilde {Q}(s)\xi _{0}=\xi$). By lemma 5.7, $\tilde {P}(t)\hat {\Phi }(t,\,s)$ (respectively, $\tilde {Q}(t)\hat {\Phi }(t,\,s)$) is bounded in $(\mathscr {L}_{c},\, \|\cdot \|_{c})$ (respectively, $(\mathscr {L}_{d},\, \|\cdot \|_{d}))$. Since $\xi _{0}$ is arbitrary in ${\Bbb R}^{n}$, identity (5.22) (respectively, (5.23)) follows now readily from (5.1) (respectively, (5.2)).

Proceed as in the proof of theorem 3.1. Squaring both sides of (5.22), and taking expectations, we obtain

(5.24)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\tilde{P}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+\varepsilon |s|}{\mathbb{E}}\|\tilde{P}(s)\|^{2},\quad \forall~ (t,s)\in {\Bbb R}^{2}_{{\geq}}. \end{equation}

Similarly, squaring both sides of (5.23), and taking expectations, we obtain

(5.25)\begin{equation} {\mathbb{E}}\|\hat{\Phi}(t,s)\tilde{Q}(s)\|^{2}\leq 5M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+\varepsilon |s|}{\mathbb{E}}\|\tilde{Q}(s)\|^{2},\quad \forall~ (t,s)\in {\Bbb R}^{2}_{{\leq}}. \end{equation}

Meanwhile, multiplying (5.22) with $Q(t)$ and (5.23) with $P(t)$ on the left side, respectively, and let $t=s$, we obtain

\[ {\mathbb{E}}\|Q(t)\tilde{P}(t)\|^{2}\le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\tilde{P}(t)\|^{2}, \]

and

\[ {\mathbb{E}}\|P(t)\tilde{Q}(t)\|^{2}\le \frac{10M^{2}\tilde{M}}{\alpha(\alpha+\tilde{\alpha}-\varepsilon)}{\mathbb{E}}\|\tilde{Q}(t)\|^{2}. \]

Since

\[ {\mathbb{E}}\|P(t)\|^{2}\le M e^{\varepsilon |t|},\quad {\mathbb{E}}\|Q(t)\|^{2}\le M e^{\varepsilon |t|}, \]

and $\tilde {P}(t)-P(t)=Q(t)\tilde {P}(t)-P(t)\tilde {Q}(t)$, for sufficiently small $b$ and $h$, we obtain the bounds for the projections $\tilde {P}(t)$ and $\tilde {Q}(t)$ as follows:

(5.26)\begin{equation} {\mathbb{E}}\|\tilde{P}(t)\|^{2}\le 8M e^{\varepsilon |t|}\quad {\rm and}\quad {\mathbb{E}}\|\tilde{Q}(t)\|^{2}\le 8M e^{\varepsilon |t|}. \end{equation}

By (5.24), (5.25), using (5.26) we obtain

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\tilde{P}(s)\|^{2}\leq 40M^{2} e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(t-s)+2\varepsilon |s|},\quad \forall~ (t,s)\in {\Bbb R}^{2}_{{\geq}}, \]

and

\[ {\mathbb{E}}\|\hat{\Phi}(t,s)\tilde{Q}(s)\|^{2}\leq 40M e^{(-\frac{\alpha}{2}+\frac{10M\tilde{M}}{\alpha})(s-t)+2\varepsilon |s|},\quad \forall~ (t,s)\in {\Bbb R}^{2}_{{\leq}}. \]

This completes the proof of the theorem.

Remark 5.9 By (5.9), using (5.4) and (5.5), we obtain

\begin{align*} S_{1}P(t_{0})S_{1}^{{-}1}& =(Id -P(t_{0})+\hat{P}_+(t_{0}))P(t_{0})(Id +P(t_{0})-\hat{P}_+(t_{0}))\\ & = \hat{P}_+(t_{0}) =U(t_{0},t_{0}). \end{align*}

Thus, it follows from (3.14) that

(5.27)\begin{equation} \hat{P}_+(t)=\hat{\Phi}(t,t_{0})U(t_{0},t_{0})\hat{\Phi}(t_{0},t) =\hat{\Phi}(t,t_{0})S_{1}P(t_{0})S_{1}^{{-}1}\hat{\Phi}(t_{0},t).\end{equation}

Meanwhile, by (5.14), using (5.6) and (5.8), we obtain

\begin{align*} S_{2}Q(t_{0})S_{2}^{{-}1}& =(Id -Q(t_{0})+\hat{Q}_{-}(t_{0}))Q(t_{0})(Id +Q(t_{0})-\hat{Q}_{-}(t_{0}))\\ & = \hat{Q}_{-}(t_{0}) =V(t_{0},t_{0}). \end{align*}

Thus it follows from (4.4) that

\[ \hat{Q}_{-}(t)=\hat{\Phi}(t,t_{0})V(t_{0},t_{0})\hat{\Phi}(t_{0},t) =\hat{\Phi}(t,t_{0})S_{2}Q(t_{0})S_{2}^{{-}1}\hat{\Phi}(t_{0},t), \]

and consequently,

(5.28)\begin{equation} \hat{P}_{-}(t)=\hat{\Phi}(t,t_{0})V(t_{0},t_{0})\hat{\Phi}(t_{0},t) =\hat{\Phi}(t,t_{0})S_{2}P(t_{0})S_{2}^{{-}1}\hat{\Phi}(t_{0},t).\end{equation}

By (5.21), (5.27) and (5.28), we know that linear operators $\hat {P}_+(t)$, $\hat {P}_{-}(t)$ and $\tilde {P}(t)$, defined on $[t_{0},\,+\infty )$, $(-\infty,\,t_{0}]$ and ${\Bbb R}$ respectively, are actually obtained under the same rules.

Remark 5.10 Throughout this paper, we choose any fixed $t_{0} \in {\Bbb R}$ instead of $0\in {\Bbb R}$, which is a little different from the one given in uniform exponential dichotomy (see e.g. [Reference Popescu44]), where the initial point $0$ is used for simplicity, and there is no substantial difference in inequalities thus obtained. However, here we have to choose general term $t_{0}$ instead of $0$ since the nonuniform item will vanish at time $0$, and hence there is a significant difference in some calculations.

6. Example

In what follows we use an example to demonstrate our results. The following example shows that there exists a linear SDE which admits an NMS-ED but not uniform.

Example 6.1 Let $a>b>0$ be real parameters. Then the following linear SDE:

(6.1)\begin{equation} \left\{ \begin{array}{@{}ll} {\rm d}u & =({-}a-bt\sin t)u(t){\rm d}t+\sqrt{2b\cos t}\exp({-}at+bt\cos t){\rm d}\omega(t)\\ {\rm d}v & =(a+bt\sin t)v(t){\rm d}t-\sqrt{2b\cos t}\exp(at-bt\cos t){\rm d}\omega(t) \end{array} \right. \end{equation}

with the initial condition $u(0)=v(0)=1$ admits an NMS-ED that is not a uniform MS-ED.

Proof. Let

\[ \Phi(t)=\left( \begin{array}{@{}cc@{}} U(t) & 0 \\ 0 & V(t) \\ \end{array} \right) \]

be a fundamental matrix solution of (6.1). Thus we have $u(t)=U(t)U^{-1}(s)u(s)$ and $v(t)=V(t)V^{-1}(s)v(s)$. In addition, it is easy to verify that

\[ \left( \begin{array}{@{}cc@{}} \exp\left({-}at+bt\cos t-b\sin t\right) & 0 \\ 0 & \exp\left(at-bt\cos t+b\sin t\right) \\ \end{array} \right) \]

is a fundamental matrix solution of

\[ \left\{ \begin{array}{@{}ll} {\rm d}u & =({-}a-bt\sin t)u(t){\rm d}t,\\ {\rm d}v & =(a+bt\sin t)v(t){\rm d}t. \end{array} \right. \]

Hence, by [Reference Evans16, p. 97], the solution of (6.1) is given by

\[ \left\{ \begin{array}{@{}ll} u(t) & =\exp\left({-}at+bt\cos t-b\sin t\right)\left(1+\sqrt{2b}\int_{0}^{t}e^{b\sin s}\sqrt{\cos s}{\rm d}\omega(s)\right),\\ v(t) & =\exp\left(at-bt\cos t+b\sin t\right)\left(1-\sqrt{2b}\int_{0}^{t}e^{{-}b\sin s}\sqrt{\cos s}{\rm d}\omega(s)\right), \end{array} \right. \]

since $u(0)=v(0)=1$. Therefore,

\begin{align*} {\mathbb{E}}\|u(t)\|^{2}& = \exp\left({-}2at+2bt\cos t-2b\sin t\right)\left(1+2b\int_{0}^{t}e^{2b\sin s}\cos s{\rm d}s\right)\\ & = \exp\left({-}2at+2bt\cos t\right). \end{align*}

Thus, one can obtain

\[ {\mathbb{E}}\|U(t)U^{{-}1}(s)\|^{2}=\frac{{\mathbb{E}}\|u(t)\|^{2}}{{\mathbb{E}}\|u(s)\|^{2}}=e^{{-}2a(t-s)+2b(t\cos t-s\cos s)} \]

since ${\mathbb {E}}\|u(s)\|^{2}>0$. It is easy to see that

\[ {\mathbb{E}}\|U(t)U^{{-}1}(s)\|^{2}=e^{({-}2a+2b)(t-s)+2bt(\cos t-1)-2bs(\cos s-1)}, \]

and thus

(6.2)\begin{equation} {\mathbb{E}}\|U(t)U^{{-}1}(s)\|^{2}\le e^{({-}2a+2b)(t-s)+2b s}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}. \end{equation}

Furthermore, if $t =4k\pi$ and $s =3k\pi$ with $k\in {\Bbb N}$, then

(6.3)\begin{equation} {\mathbb{E}}\|U(t)U^{{-}1}(s)\|^{2}= e^{({-}2a+2b)(t-s)+2b s}, \quad \forall~ (t,s)\in I^{2}_{{\geq}}. \end{equation}

Similarly, one can prove that

(6.4)\begin{equation} {\mathbb{E}}\|V(t)V^{{-}1}(s)\|^{2}\le e^{({-}2a+2b)(s-t)+2b s}, \quad \forall~ (t,s)\in I^{2}_{{\leq}}, \end{equation}

and

(6.5)\begin{equation} {\mathbb{E}}\|V(t)V^{{-}1}(s)\|^{2}= e^{({-}2a+2b)(s-t)+2b s}, \quad \forall~ (t,s)\in I^{2}_{{\leq}} \end{equation}

if $t =4k\pi$ and $s =3k\pi$ with $k\in {\Bbb N}$. Thus, (6.1) admits an NMS-ED. By (6.3) and/or (6.5), the exponential $e^{2b s}$ in (6.2) and/or (6.4) cannot be removed. This shows that the NMS-ED is not uniform.

Remark 6.2 The SDE (6.1) in example 6.1 admitting an NMS-ED is linear in the narrow sense. Following the same idea and method in [Reference Zhu and Chen60], one can establish a general linear SDE, which admits an NMS-ED. For example, let $a>b>0$ be real parameters, one can prove the following linear SDE

\[ \left\{ \begin{array}{@{}ll} {\rm d}u & =({-}a-bt\sin t)u(t){\rm d}t+u(t){\rm d}\omega(t)\\ {\rm d}v & =(a+bt\sin t)v(t){\rm d}t+v(t){\rm d}\omega(t) \end{array} \right. \]

with the initial condition $u(0)=v(0)=1$ admitting an NMS-ED that is not a uniform MS-ED.

Acknowledgements

Hailong Zhu was supported by the National NSF of China (NO. 11671118) and NSF of Anhui Province of China (no. KJ2017A432, no. KJ2018A0437).

References

Barreira, L. and Pesin, Ya.. Lyapunov exponents and smooth ergodic theory. University Lecture Series, vol. 23 (American Mathematical Society, 2002). http://www.ams.org/books/ulect/023/Google Scholar

Barreira, L. and Pesin, Ya.. Nonuniform hyperbolicity. Encyclopedia of Mathematics and its Application, vol. 115 (Cambridge University Press, 2007). https://www.cambridge.org/core/books/nonuniform-hyperbolicity/985F811D19CABAE5D0DF0C59BFBFFF18 Google Scholar

Barreira, L., Chu, J. and Valls, C.. Robustness of nonuniform dichotomies with different growth rates. São Paulo J. Math. Sci 5 (2011), 203–231.Google Scholar

Barreira, L., Chu, J. and Valls, C.. Lyapunov functions for general nonuniform dichotomies. Milan J. Math. 81 (2013), 153–169.Google Scholar

Barreira, L., Silva, C. and Valls, C.. Nonuniform behavior and robustness. J. Differ. Equ. 246 (2009), 3579–3608.Google Scholar

Barreira, L. and Valls, C.. Stable manifolds for nonautonomous equations without exponential dichotomy. J. Differ. Equ. 221 (2006), 58–90.Google Scholar

Barreira, L. and Valls, C.. Robustness of nonuniform exponential dichotomies in Banach spaces. J. Differ. Equ. 244 (2008), 2407–2447.Google Scholar

Chicone, C. and Latushkin, Yu.. Evolution semigroups in dynamical systems and differential equations. Mathematical Surveys and Monographs, vol. 70 (American Mathematical Society, 1999). http://www.ams.org/books/surv/070/Google Scholar

Chow, S. N. and Leiva, H.. Dynamical spectrum for time dependent linear systems in Banach spaces. Jpn. J. Ind. Appl. Math. 11 (1994), 379–415.Google Scholar

Chow, S. N. and Leiva, H.. Existence and roughness of the exponential dichotomy for skew-product semiflows in Banach spaces. J. Differ. Equ. 120 (1995), 429–477.Google Scholar

Coffman, C. V. and Schäffer, J. J.. Linear differential equations with delays: admissibility and conditional exponential stability. J. Differ. Equ. 9 (1971), 521–535.Google Scholar

Coppel, W. A.. Dichotomy in stability theory. Lecture Notes in Mathematics, vol. 629 (New York/Berlin: Springer-Verlag, 1978).Google Scholar

Dalec'kiĭ, J. L. and Kreĭn, M. G.. Stability of differential equations in Banach space (Providence, R.I.: American Mathematical Society, 1974).Google Scholar

Doan, T. S., Rasmussen, M. and Kloeden, P. E.. The mean-square dichotomy spectrum and a bifurcation to a mean-square attractor. Discrete Contin. Dyn. Syst. Ser. B 20 (2015), 875–887.Google Scholar

Engel, K. J. and Nagel, R.. One-parameter semigroups for linear evolution equations (Springer-Verlag, 2000). https://link.springer.com/book/10.1007/b97696 Google Scholar

Evans, L. C.. An introduction to stochastic differential equations (American Mathematical Society, 2013). http://www.ams.org/books/mbk/082/Google Scholar

Fu, M. and Liu, Z.. Square-mean almost automorphic solutions for some stochastic differential equations. Proc. Amer. Math. Soc. 138 (2010), 3689–3701.Google Scholar

Hale, J. K.. Ordinary differential equations (New York: Wiley-Interscience, 1969).Google Scholar

Hale, J. and Lin, X. B.. Heteroclinic orbits for retarded functional differential equations. J. Differ. Equ. 65 (1986), 175–202.Google Scholar

Henry, D.. Geometric theory of semilinear parabolic equations. Lecture Notes in Math, vol. 840 (Berlin: Springer-Verlag, 1981).Google Scholar

Higham, D. J.. Mean-square and asymptotic stability of the stochastic theta method. SIAM J. Num. Anal. 38 (2000), 753–769.Google Scholar

Higham, D. J., Mao, X. and Stuart, A. M.. Exponential mean-square stability of numerical solutions to stochastic differential equations. LMS J. Comput. Math. 6 (2003), 297–313.Google Scholar

Higham, D. J., Mao, X. and Yuan, C. G.. Preserving exponential mean-square stability in the simulation of hybrid stochastic differential equations. Numer. Math. 108 (2007), 295–325.Google Scholar

Huy, N. T.. Exponential dichotomy of evolution equations and admissibility of function spaces on a half-line. J. Funct. Anal. 235 (2006), 330–354.CrossRef Google Scholar

Imkeller, P. and Lederer, C.. On the cohomology of flows of stochastic and random differential equations. Prob. Theory Related Fields 120 (2001), 209–235.CrossRef Google Scholar

Ju, N. and Wiggins, S.. On roughness of exponential dichotomy. J. Math. Anal. Appl. 262 (2001), 39–49.Google Scholar

Kloeden, P. E. and Lorenz, T.. Mean-square random dynamical systems. J. Differ. Equ. 253 (2012), 1422–1438.Google Scholar

Ladde, A. G. and Ladde, G. S.. An introduction to differential equations. Stochastic Modeling, Methods and Analysis, vol. 2 (World Scientific Publishing Co, 2013). https://www.worldscientific.com/worldscibooks/10.1142/8384#t=aboutBook Google Scholar

Latushkin, Y., Montgomery-Smith, S. and Randolph, T.. Evolutionary semigroups and dichotomy of linear skew-product flows on locally compact spaces with Banach fibers. J. Differ. Equ. 125 (1996), 73–116.Google Scholar

Latushkin, Y., Randolph, T. and Schnaubelt, R.. Exponential dichotomy and mild solutions of nonautonomous equations in Banach spaces. J. Dynam. Differ. Equ. 10 (1998), 489–510.Google Scholar

Lin, X. B.. Exponential dichotomies and homoclinic orbits in functional differential equations. J. Differ. Equ. 63 (1986), 227–254.Google Scholar

Lin, X. B.. Exponential dichotomies in intermediate spaces with applications to a diffusively perturbed predator-prey model. J. Differ. Equ. 108 (1994), 36–63.Google Scholar

Liu, Z. and Sun, K.. Almost automorphic solutions for stochastic differential equations driven by Lévy noise. J. Funct. Anal. 226 (2014), 1115–1149.Google Scholar

Lizana, M.. Exponential dichotomy for singularly perturbed linear functional differential equation with small delays. Appl. Anal. 47 (1992), 213–225.Google Scholar

Mao, X.. Stochastic differential equations and applications (Chichester: Horwood, 1997).Google Scholar

Massera, J. and Schäffer, J.. Linear differential equations and functional analysis I. Ann. Math. 67 (1958), 517–573.Google Scholar

Naulin, R. and Pinto, M.. Roughness of $(h,\,k)$

-dichotomies. J. Differ. Equ. 118 (1995), 20–35.Google Scholar

Naulin, R. and Pinto, M.. Stability of discrete dichotomies for linear difference systems. J. Differ. Equ. Appl. 3 (1997), 101–123.Google Scholar

Palmer, K. J.. Exponential dichotomies and transversal homoclinic points. J. Differ. Equ. 55 (1984), 225–256.Google Scholar

Palmer, K. J.. Exponential dichotomies and Fredholm operators. Proc. Amer. Math. Soc. 104 (1988), 149–156.Google Scholar

Perron, O.. Die Stabilitätsfrage bei Differentialgleichungen. Math. Z. 32 (1930), 703–728.Google Scholar

Pecelli, G.. Dichotomies for linear functional-differential equations. J. Differ. Equ. 9 (1971), 555–579.Google Scholar

Pliss, V. and Sell, G.. Robustness of exponential dichotomies in infinite-dimensional dynamical systems. J. Dynam. Differ. Equ. 11 (1999), 471–513.Google Scholar

Popescu, L. H.. Exponential dichotomy roughness on Banach spaces. J. Math. Anal. Appl. 314 (2006), 436–454.Google Scholar

Popescu, L. H.. Exponential dichotomy roughness and structural stability for evolution families without bounded growth and decay. Nonlinear Anal., 71 (2009), 935–947.Google Scholar

Preda, P., Pogan, A. and Preda, C.. On $(a,\,b)$

-dichotomy for evolutionary processes on a half-line. Glasg. Math. J. 46 (2004), 217–225.Google Scholar

Preda, P., Pogan, A. and Preda, C.. Schäffer spaces and exponential dichotomy for evolutionary processes. J. Differ. Equ. 230 (2006), 378–391.Google Scholar

Rodrigues, H. M. and Ruas-Filho, J. G.. Evolution equations dichotomies and the Fredholm alternative for bounded solutions. J. Differ. Equ. 119 (1995), 263–283.Google Scholar

Sacker, R. and Sell, G.. Dichotomies for linear evolutionary equations in Banach spaces. J. Differ. Equ. 113 (1994), 17–67.Google Scholar

Sacker, R. and Sell, G.. Existence of dichotomies and invariant splitting for linear differential systems I [II, III]. J. Differ. Equ. 15 (1974), 429–458.Google Scholar

Stanzhyts'kyi, O. M.. Exponential dichotomy and mean square bounded solutions of linear stochastic Ito systems. Nonlinear Oscil. 4 (2001), 389–398.Google Scholar

Stanzhyts'kyi, O. M. and Krenevych, A. P.. Investigation of the exponential dichotomy of linear stochastic Itô systems with random initial data by means of quadratic forms. Ukrainian Math. J. 58 (2006), 619–629.Google Scholar

Stoica, D.. Uniform exponential dichotomy of stochastic cocycles. Stochastic Process. Appl. 120 (2010), 1920–1928.Google Scholar

Zhou, L., Lu, K. and Zhang, W.. Roughness of tempered exponential dichotomies for infinite-dimensional random difference equations. J. Differ. Equ. 254 (2013), 4024–4046.CrossRef Google Scholar

Zhou, L., Lu, K. and Zhang, W.. Equivalences between nonuniform exponential dichotomy and admissibility. J. Differ. Equ. 262 (2017), 682–747.Google Scholar

Zhou, L. and Zhang, W.. Admissibility and roughness of nonuniform exponential dichotomies for difference equations. J. Funct. Anal. 271 (2016), 1087–1129.Google Scholar

Zhu, H. and Chu, J.. Mean-square exponential dichotomy of numerical solutions to stochastic differential equations. J. Appl. Anal. Comput. 6 (2016), 463–478.Google Scholar

Zhu, H. and Jiang, Y.. Robustness of mean-square exponential dichotomies for linear stochastic equations. Electron. J. Differ. Equ. 123 (2017), 1–13.Google Scholar

Zhu, H., Chu, J. and Zhang, W.. Mean-square Almost automorphic solutions for stochastic differential equations with hyperbolicity. Discrete Contin. Dyn. Syst. 38 (2018), 1935–1953.Google Scholar

Zhu, H. and Chen, L.. Nonuniform exponential dichotomies in mean square and second-moment Lyapunov exponent. Nonlinear Anal. 196 (2020), 111806.Google Scholar

Article contents

Robustness of nonuniform mean-square exponential dichotomies

Abstract

Keywords

MSC classification

1. Introduction

2. Robustness of NMS-EC

3. Robustness of NMS-ED on the half line $[t_{0},\,+\infty )$

4. Robustness of NMS-ED on the half line $(-\infty,\,t_{0}]$

5. Robustness of NMS-ED on the whole ${\Bbb R}$

6. Example

Acknowledgements

References

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests