Abstract
In this paper, we shall study the almost sure pathwise exponential stability property for a class of stochastic functional differential equations with delays, possibly, in the highest-order derivative terms driven by multiplicative noise. Instead of establishing a moment exponential stability as the first step and then proceeding to investigate the pathwise stability of the system under consideration, we shall develop a direct approach for this problem. As a consequence, we can show that some systems, which are not exponential momently stable, have the exponential stability not sensitive to small delays in the almost sure sense.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We start with a simple one-dimensional linear differential equation
where \(y(0) = y_0\in {\mathbb {R}}\), and \(\alpha \), \(\beta \in {\mathbb {R}}\). Since \(y(t) = y_0 e^{(\alpha +\beta )t}\) for all \(t\ge 0\), it is easy to see that if \(\alpha +\beta <0\), the null solution of (1.1) is exponentially stable.
Let \(r>0\) and consider a time delay version of (1.1) in the form
Because of the time delay feature in (1.2), one need set up proper initial data different from those in (1.1) to make (1.2) well-defined. For instance, let \(y(0)=\phi _0\in {\mathbb {R}}\) and \(y(t)=\phi _1(t)\) for \(t\in [-r, 0]\) where \(\phi _1\in L^2([-r, 0], {\mathbb {R}})\). It is well known (see, e.g., [2] or [14]) that under the condition \(\alpha +\beta <0\), there exists \(r_0>0\) such that the null solution of (1.2) is exponentially stable for all \(r\in (0, r_0)\), while for \(r>r_0\), the null solution is exponentially unstable. In other words, exponential stability at this moment is not sensitive to small delays, a result which actually remains true in any finite dimensional context (see, e.g., Chap. 7 in [2]).
Now let us consider a linear one-dimensional Itô equation
where w(t), \(t\ge 0\), is a standard real Brownian motion, \(y(0) = y_0\in {\mathbb {R}}\), and \(\alpha \), \(\beta \) and \(\sigma \) are real constants. A direct computation shows that the solution process y(t), \(t\ge 0\), of (1.3) is explicitly given by
Hence, by virtue of the well-known law of the iterated logarithm (cf. Revuz and Yor [13]), it is easy to see that the asymptotically exponential growth rate of solution y is given by
Therefore, the null solution of (1.3) has global exponential stability in the almost sure sense if and only if \(\alpha +\beta < \sigma ^2/2\).
On the other hand, consider a time delay version of (1.3) in the following form
where \(r>0\). For pathwise stability of Eq. (1.6), it turns out that, in addition to the condition \(\alpha +\beta < \sigma ^2/2\), the null solution of Eq. (1.6) could secure the same exponential stability in the almost sure sense as long as the delay parameter \(r>0\) is sufficiently small. In fact, it is shown in Bierkens [3] that if \(r>0\) is so small that
then the null solution of (1.6) is exponentially stable almost surely. Thus, stability is not sensitive in this case to small delays. It is also worth mentioning that as a corollary of more general results for nonlinear stochastic systems, Appleby and Mao [1] showed that if \(r>0\) is such a small number that
then the null solution of (1.6) has the same pathwise exponential stability. Here \(\Phi \) is the cumulative distribution function of a standard normal random variable.
In an infinite dimensional setting, the situation is quite different. In particular, it was observed by Datko et al. [6] (see also [5]) that small delays may destroy stability for a partial differential equation. More precisely, consider a deterministic differential equation in a Hilbert space H,
where A generates a \(C_0\)-semigroup and B is a linear operator in H. If the spectrum \(\sigma (A)\) of A is unbounded along an imaginary line, it was shown (see Theorem 7.4 in [2]) that for any \(r_0>0\), one can always find an operator \(B\in {\mathscr {L}}(H)\), the family of all bounded linear operators on H, and \(r\in (0, r_0)\) such that \(A+B\) generates an exponentially stable semigroup and meanwhile the system (1.7) is not exponentially stable. From this observation, we can see that the unboundedness of the spectrum set of A along imaginary axes may cause trouble in the stability analysis of (1.7). Therefore, one need make additional assumptions on the semigroup generated by A. Note that in finite dimensional spaces, the spectrum set of A is always bounded. In fact, we have the following result which clearly implies the fact that for finite dimensional equations, the exponential stability cannot be destroyed by small delays.
Theorem 1.1
Assume that A generates a norm continuous \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), i.e., \(e^{\cdot A}:\, [0, \infty )\rightarrow {\mathscr {L}}(H)\) is continuous, and the semigroup generated by \(A+B\) is exponentially stable in H. Then, there exists a constant \(r_0>0\) such that the system (1.7) is exponentially stable for all \(r\in (0, r_0)\).
Proof
See, e.g., the proofs of Theorem 7.5 in [2]. \(\square \)
In this work, we want to consider the sensitivity problem of pathwise stability to small delays for stochastic retarded evolution equations in Hilbert spaces. Based on the above statements, especially Theorem 1.1, let us first consider a concrete example of linear stochastic partial differential equations to motivate our theory,
where \(\alpha _0,\,\sigma \in {\mathbb {R}}\) and w is a standard real Brownian motion.
It is not difficult to get, e.g., by Example 2.1, that if
the null solution of (1.8) is exponentially stable almost surely. Further, let \(r>0\) and consider a time delay version of (1.8) in the form
where \((\phi _0, \phi _1)\) is some properly given initial datum. Here, the problem we want to address is whether, under the condition \(\alpha _0 -1<\sigma ^2/2\), the null solution of Eq. (1.10) secures the same pathwise exponential stability, at least for sufficiently small delay parameter \(r>0\).
Note that this problem cannot be addressed by the usual method dealing with pathwise exponential stability, i.e., first considering moment stability and then establishing pathwise exponential stability. To illustrate this, let us consider a simple example of one-dimensional stochastic differential equation,
where \(\beta ,\,\sigma \in {\mathbb {R}}\). It is known that
Thus, the null solution is exponentially stable if and only if \(\beta <\sigma ^2/2\). On the other hand, we know by a simple calculation that
Thus, the null solution is mean square exponentially stable if and only if \(\beta <-\sigma ^2/2\), a condition which is much more restrictive than \(\beta <\sigma ^2/2\).
In this work, we shall employ a different method to address the pathwise sensitivity problem to small delays. In particular, as a by-product of the general theory established later on, we shall answer this question affirmatively for (1.10).
2 Pathwise Exponential Stability
Let H, K be two Hilbert spaces with their norms \(\Vert \cdot \Vert _H\), \(\Vert \cdot \Vert _K\) and inner products \(\langle \cdot , \cdot \rangle _H\), \(\langle \cdot , \cdot \rangle _K\), respectively. We denote by \({\mathscr {L}}(K, H)\) the space of all bounded and linear operators from K into H. If \(H=K\), we simply denote \({\mathscr {L}}(H, H)\) by \({\mathscr {L}}(H)\). Let \(\{\Omega , {\mathscr {F}}, {\mathbb {P}}\}\) be a complete probability space equipped with some filtration \(\{{\mathscr {F}}_{t}\}_{t\ge 0}\). Let \(\{W_Q(t),\,t\ge 0\}\) denote a K-valued \(\{{\mathscr {F}}_{t}\}_{t\ge 0}\)-Wiener process defined on \(\{\Omega , {\mathscr {F}}, {\mathbb {P}}\}\) with covariance operator Q satisfying that
where Q is a positive, self-adjoint and trace class operator, \(Tr(Q)<\infty \), on K. In particular, we shall call such \(W_Q(t)\), \(t\ge 0\), a K-valued Q-Wiener process with respect to \(\{{\mathscr {F}}_{t}\}_{t\ge 0}\). We introduce the subspace \(K_Q=\hbox {Ran}\,Q^{1/2}\), the range of \(Q^{1/2}\), of K and let \({\mathscr {L}}_2={\mathscr {L}}_2(K_Q, H)\) denote the space of all Hilbert–Schmidt operators from \(K_Q\) into H.
Consider the following linear stochastic evolution equation
where \(A:\, {\mathscr {D}}(A)\subset H\rightarrow H\) generates a \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), \(B\in {\mathscr {L}}(H, {\mathscr {L}}_2)\), and W(t), \(t\ge 0\), is a K-valued Q-Wiener process.
Lemma 2.1
Assume that A generates an exponentially stable \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), such that
for \(M\ge 1\), \(\lambda >0\) with \(M^2\Vert B\Vert ^2 <2\lambda \) where \(\Vert B\Vert := \Vert B\Vert _{{\mathscr {L}}(H,\, {\mathscr {L}}_2)}\). Then, for any self-adjoint, nonnegative operator \(L\in {\mathscr {L}}(H)\), there exists a unique nonnegative, self-adjoint operator \(P\in {\mathscr {L}}(H)\) such that
where \(\Delta (P)\in {\mathscr {L}}(H)\) is the unique operator defined by the relation
In this case, the operator P satisfies
Proof
Define a series of operators \(\{P(j)\}_{j\ge 0}\) in H by
It is immediate to see that this series is a contraction since
and \(M^2\Vert B\Vert ^2/2\lambda <1\). Hence, there exists a unique fixed point \(P\in {\mathscr {L}}(H)\) so that, letting \(j\rightarrow \infty \) in (2.5), we obtain the relation (2.4).
To show the equality (2.2), let us consider the following backward linear operator differential equation
where \(G\in {\mathscr {L}}(H)\) is a nonnegative and self-adjoint operator in H and \(T\ge 0\), and the associated integral equation
We shall show that Eqs.,(2.6) and (2.7) are actually equivalent. Indeed, first suppose that P(t), \(t\ge 0\), satisfies (2.7). Then, by differentiating \(\langle P(t)x, x\rangle _H\), \(x\in {\mathscr {D}}(A)\), we obtain (2.6) immediately.
Conversely, suppose P(t), \(t\ge 0\), satisfies (2.6). Let \(x\in {\mathscr {D}}(A)\) and \(0 < s\le t\), and then \(\langle P(t)e^{(t-s)A}x, e^{(t-s)A}x\rangle _H\) is differentiable in t and
By integrating (2.8) in t from s to T, we then obtain for any \(0\le s\le T\) that
Since \({\mathscr {D}}(A)\) is dense in H, the relation (2.7) follows easily from (2.9). Last, since the semigroup \(e^{tA}\), \(t\ge 0\), is exponentially stable and P is the unique solution of (2.4), one can see that the family of nonnegative, self-adjoint operators \(P(t)\equiv P\in {\mathscr {L}}(H)\) is the unique solution of (2.7) with \(t=0\), \(T= +\infty \) and \(G=P\). Therefore, P satisfies (2.6) with \(G=P\) which is exactly the equality (2.2). Thus, the proof is complete. \(\square \)
Lemma 2.2
Suppose that A generates a \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), such that
for \(M>0\), \(\lambda >0\) with \(M^2\Vert B\Vert ^2<2\lambda \). Let \(A_n\) be the Yosida approximation of A, i.e., \(A_n= nR(n, A)A\), \(R(n, A)=(nI -A)^{-1}\), \(n\in \rho (A)\), the resolvent set of A, and \(L\in {\mathscr {L}}(H)\) be a nonnegative, self-adjoint operator. For \(n\in \rho (A)\), let \(P_n\ge 0\) denote the unique solution to Lyapunov equation
Then, as \(n\rightarrow \infty \),
where \(P\in {\mathscr {L}}(H)\) is the unique nonnegative solution to
Proof
Recall that (see (A.13) in [4])
Thus, the exponential stability of \(e^{tA}\) implies the same property of \(e^{tA_n}\) for \(n\in \rho (A)\). By virtue of Lemma 2.1, for any self-adjoint, nonnegative operator \(L\in {\mathscr {L}}(H)\), there exists a unique solution \(P_n\in {\mathscr {L}}(H)\) to (2.10) for \(n\in \rho (A)\).
For each \(n\in {\mathbb {N}}\), we construct a sequence
and in a similar way, let
We show that for all \(x,\,y\in H\) and \(j\in {\mathbb {N}}\), there is the relation \(\langle x, (P_n(j)-P(j)) y\rangle _H\rightarrow 0\) as \(n\rightarrow \infty \). Indeed, we can see this by induction. For \(j=0\), the claim holds trivially. Suppose now that the claim holds for \(j=k-1\), \(k\ge 1\). Let \(x,\,y\in H\), and then for \(j=k\),
By induction hypothesis, we have
This fact further implies that \(I_1(n)\rightarrow 0\) as \(n\rightarrow \infty \) by Dominated Convergence Theorem. For \(I_2(n)\), we may similarly have that
by virtue of Dominated Convergence Theorem. Hence, the claim is proved by induction.
Last, by the proofs of Lemma 2.1 we have that \(P(j)\rightarrow P\) and \(P_n(j)\rightarrow P_n\), uniformly in n, as \(j\rightarrow \infty \) in the norm topology of \({\mathscr {L}}(H)\). Therefore, we obtain that
by using the relation
The proof is thus complete. \(\square \)
Now consider the following linear stochastic evolution equation on the Hilbert space H,
where \(B_i\in {\mathscr {L}}(H)\) and \(w_i(t)\), \(t\ge 0\), \(i=1,\,\ldots ,\, n\), are a group of independent, standard real-valued Brownian motions. To proceed further, we first recall two useful lemmas which are important in their own right. The first lemma is a strong law of large numbers for continuous local martingales (see, e.g., [9] or Theorem 1.3.4 in [12]), and the proof of the second is referred to that of Proposition 2.1.4 in [10].
Lemma 2.3
Let M(t), \(t\ge 0\), be a real-valued, continuous local martingale with \(M(0)=0\). If its quadratic variation [M] satisfies that
then there is
Lemma 2.4
Suppose that A generates a \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), on the Hilbert space H and \(A^*\) is its adjoint operator. There exists a real number \(\alpha \in {\mathbb {R}}\) such that
and
if and only if A generates a pseudo-contraction \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), in the sense that
Proposition 2.1
Let \(B=(B_1,\, \ldots ,\, B_n)\). Suppose that there exist \(\beta = (\beta _1,\,\ldots ,\, \beta _n) \in {\mathbb {R}}^n\), \(\lambda >0\) and \(M\ge 1\) such that the \(C_0\)-semigroup \(e^{t(A+\beta \cdot B)}\) generated by \(A +\beta \cdot B\) satisfies
and
then the mild solution of (2.13) is almost sure exponentially stable with
Proof
Choose arbitrarily
Let us put \(\Vert \beta \Vert ^2 := \sum ^n_{i=1}\beta ^2_i\) and \(\Lambda = A + \beta \cdot B + \frac{\Vert \beta \Vert ^2}{4} + \gamma \), and then \(\Lambda \) is the generator of a \(C_0\)-semigroup T(t) which satisfies
For each \(m\in {\mathbb {N}}\), let \(\Lambda _m :=A_m +\beta \cdot B + \frac{\Vert \beta \Vert ^2}{4} +\gamma \) where \(A_m\) is the Yosida approximation of A. Without loss of generality, it is assumed that for all \(m\ge 1\), we have
Since semigroups \(T(\cdot )\) and \(T_m(\cdot )\), \(m\ge 1\), are exponentially stable, by virtue of (2.17) and Lemma 2.1, one can find for \(m\in {\mathbb {N}}\) and \(\Delta (I) \in {\mathscr {L}}^+(H)\) a unique solution \(Q_m\in {\mathscr {L}}(H)\) to the following Lyapunov equations
In other words, for each \(m\ge 1\), \(P_m = Q_m+I\in {\mathscr {L}}(H)\) is the unique solution to the Lyapunov equation
In an analogous manner, let \(P\in {\mathscr {L}}(H)\) be the unique solution to
Then, by virtue of Lemmas 2.1 and 2.2, it is easy to show
for all \(x,\,y\in H.\) By the definition of \(\Lambda _m\), \(m\ge 1\), and Lemma 2.4, it follows that
Hence, by a direct computation we find from relation (2.19) that
In other words, for any \(m\in {\mathbb {N}}\) and \(x\in H\), we have
which further implies that for any \(m\in {\mathbb {N}}\) and \(x\in H\),
On the other hand, let \(y_m\) denote the mild solution to the equation
where \(m\in {\mathbb {N}}\). Then, there exists a sequence, still denote it by \(y_m\in H\) (see [4]), such that
If \(y_0=0\), then \({\mathbb {P}}(y(t, 0)=0)=1\) for \(t\ge 0\), and the desired estimate holds trivially. Now suppose that \(y_0\not = 0\), then by uniqueness of the solutions and strict positivity of \(P_m\), \({\mathbb {P}}(\langle P_my_m(t), y_m(t)\rangle _H=0)=0\) for all \(t\ge 0\) (or, the reader is referred to a proof similar to that of Lemma 2.1 in [11]). Letting \(\theta _m(t) = \langle P_my_m(t), y_m(t)\rangle _H\), \(t\ge 0\), and applying Itô’s formula to \(\log \theta _m(t)\), we obtain by (2.22) that for \(t\ge 0\),
Letting \(m\rightarrow \infty \) and using (2.20) and (2.24), we have from (2.25) that
On the other hand, it is easy to see that the stochastic integral
is a real continuous local martingale, and since \(\langle Px, x\rangle _H \ge \Vert x\Vert ^2_H\) for any \(x\in H\), it follows that
Thus, one can employ Lemma 2.3 to get that for each \(i\in \{1,\,\ldots ,\,n\}\),
which, in addition to (2.26), immediately implies that
Last, letting \(\gamma \rightarrow \lambda - \frac{1}{4}\sum ^n_{i=1} \beta ^2_i - \frac{M^2}{2}\sum ^n_{i=1}\Vert B_i\Vert ^2\), we obtain the desired result. \(\square \)
Example 2.1
Consider the following linear stochastic differential equation in H,
where \(w(\cdot )\) is a standard real Brownian motion and A generates a \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), satisfying \(\Vert e^{tA}\Vert \le e^{\alpha t}\) for some \(\alpha \in {\mathbb {R}}\) and \(\sigma \in {\mathbb {R}}\). We claim that if \(\alpha < \sigma ^2/2\), the mild solution y to (2.27) is exponentially stable almost surely.
To see this, it suffices by Proposition 2.1 to find \(\lambda >0\) and \(\beta \in {\mathbb {R}}\) such that
However, this is immediate since we can take \(\beta = -2\sigma \) and \(\lambda = 3\sigma ^2/2 +\varepsilon \) with \(\varepsilon >0\) small enough by using the condition \(\alpha < \sigma ^2/2\) and the mild solution y is pathwise exponentially stable with
3 Stochastic Delay Evolution Equations
Let H be a real Hilbert space and V be another Hilbert space such that V is dense in H and the inclusion map \(V\hookrightarrow H\) is continuous. The norms and inner products of H, V are denoted by \(\Vert \cdot \Vert _H\), \(\Vert \cdot \Vert _V\) and \(\langle \cdot , \cdot \rangle _H\), \(\langle \cdot , \cdot \rangle _V\), respectively. By identifying the dual of H with H, we may assume that
for some constant \(\nu \ge 1\). Moreover, we have for any \(T\ge 0\) that
where \(W^{1, 2}([0, T]; V^*)\) is the classic Sobolev space consisting of all functions \(y\in L^2([0, T]; V^*)\) such that y and its first-order distributional derivatives are in \(L^2([0, T]; V^*)\) and C([0, T]; H) is the space of all continuous functions from [0, T] into H, respectively. The duality pair between V and \(V^*\) is denoted by \(\langle \!\langle \cdot , \cdot \rangle \!\rangle _{V, V^*}\). Let \(a:\, V\times V\rightarrow {\mathbb {R}}\) be a bounded bilinear form satisfying Gårding’s inequality
for some \(\alpha >0\) and \(\lambda \in {\mathbb {R}}\). Let A be the operator associated with this form by
Then, \(A\in {\mathscr {L}}(V, V^*)\), the family of all bounded and linear operators from V to \(V^*\). The realization of A in H, which is the restriction of A to the domain \({\mathscr {D}}(A) =\{x\in V:\, Ax\in H\}\), is also denoted by A. Hence, \(\langle x, Ay\rangle _H = \langle \!\langle x, Ay\rangle \!\rangle _{V, V^*}\) for all \(x\in V\) and \(y\in V\) with \(Ay\in H\). It is well known that A generates an analytic \(C_0\)-semigroup \(e^{tA}\), \(t\ge 0\), in \(V^*\) such that \(e^{tA}:\, V^*\rightarrow V\) for each \(t>0\). In this work, we always suppose, for simplicity, that \(\lambda =0\) in (3.2) and A generates an exponentially stable \(C_0\)-semigroup with \(\Vert e^{tA}\Vert \le e^{-\alpha t}\) for all \(t\ge 0\).
Let \(r>0\), \(T\ge 0\) and \({\mathcal {H}} = H\times L^2([-r, 0]; V)\). We first consider the following deterministic retarded differential equation in space \(V^*\),
where \(A_1\in {\mathscr {L}}(V, V^*)\) and \(A_2(\cdot )\in L^2([-r, 0]; {\mathscr {L}}(V, V^*))\). In particular, a function \(y\in L^2([-r, T]; V)\cap W^{1, 2}([0, T]; V^*)\) which satisfies (3.3) is called a strong solution of (3.3) in \([-r, T]\). It has been shown (see [7] or [8]) that there exists a unique solution y of (3.3) such that
In association with this solution y, we may define a family of operators \({\mathcal {T}}(t)\), \(t\ge 0\), on \({\mathcal {H}}\) by
Then, it has been shown (see [7]) that \({\mathcal {T}}(t)\), \(t\ge 0\), is actually a \(C_0\)-semigroup on \({\mathcal {H}}\). Let \({\mathcal {A}}\) be the infinitesimal generator of \({\mathcal {T}}(t)\) or \(e^{t{\mathcal {A}}}\), \(t\ge 0\), and then \({\mathcal {A}}\) is completely described by the following theorem.
Theorem 3.1
The operator \({\mathcal {A}}\) is given by
and for any \(\phi =(\phi _0, \phi _1)\in {\mathscr {D}}({\mathcal {A}})\),
Note that \(C_0\)-semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), allows us to transfer the exponential stability problem of the time delay system (3.3) to that one of a non-time delay system. To see this, we can rewrite (3.3) as a Cauchy problem,
where \(Y(t)=(y(t), y(t+\cdot ))\) is the lift-up function of y(t), \(t\ge 0\). To show the exponential stability of the null solution of (3.3) in H, it suffices to study the corresponding exponential stability of system (3.7). Indeed, assume that the null solution of (3.7) is exponentially stable, and then there exist constants \(M>0\) and \(\mu >0\) such that
Hence, it is natural to consider exponential stability of the non-time delay system (3.7) rather than time delay one (3.3). To establish the exponential stability of the \(C_0\)-semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), one may want to develop a dissipative operator program by using Lemma 2.4. However, the following example shows some difficulties in association with this scheme.
Let \(\alpha > 0\), \(\beta \in {\mathbb {R}}\) and consider a real-valued differential equation
If \(\beta =0\), the solution \(u(t)= e^{-\alpha t}\), \(t\ge 0\), which is exponentially stable. Otherwise, it is clear that \({\mathcal {H}}= {\mathbb {R}}\times L^2([-1, 0]; {\mathbb {R}})\) equipped with the usual inner product. If we take the above viewpoint to consider system (3.7), then it turns out in this case that for any number \(a>0\) and \(\phi \in {\mathscr {D}}({\mathcal {A}})\),
It is obvious that one can always find a nonzero element \(\phi \in {\mathscr {D}}({\mathcal {A}})\) with \(\phi _0=\phi _1(0)=\phi _1(-r)=0\) such that
In other words, it is impossible, according to Lemma 2.4, to find a constant \(a>0\) such that \(\Vert e^{t{\mathcal {A}}}\Vert \le e^{-a t}\), \(t\ge 0\) in spite of the fact that \(\Vert e^{tA}\Vert \le e^{-\alpha t}\), \(t\ge 0\). To avoid this difficulty, we can introduce an equivalent inner product \((\cdot , \cdot )_{\mathcal {H}}\) or norm \(|\cdot |\) to the canonical one \(\langle \cdot , \cdot \rangle _{\mathcal {H}}\) or \(\Vert \cdot \Vert \) on \({\mathcal {H}}\) so as that the semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), becomes exponentially stable under the norm \(\Vert \cdot \Vert \).
Theorem 3.2
Suppose that \(\langle \!\langle x, Ax\rangle \!\rangle _{V, V^*}\le -\alpha \Vert x\Vert ^2_V\) for all \(x\in V\) and some \(\alpha >0\). If, further,
where \(|\eta |(\theta )\) is the total variation on \([-r, \theta ]\), \(\theta \in [-r, 0]\), of the bounded variation function \(\eta \) given by
then there exists a constant \(M>0\) such that
where \(\nu \) is the constant given in (3.1).
Proof
We show that there exists an equivalent inner product \((\cdot , \cdot )_{\mathcal {H}}\) on \({\mathcal {H}}= H\times L^2([-r, 0]; V)\) to the canonical one \(\langle \cdot , \cdot \rangle _{\mathcal {H}}\) on \({\mathcal {H}}\) such that
Here \((\cdot , \cdot )_{\mathcal {H}}\) is defined by
where \(\gamma :\, [-r, 0]\rightarrow {\mathbb {R}}_+\) is given by
First, note that under the conditions of Theorem 3.2, bilinear form (3.10) does define an inner product. Indeed, both (3.9) and (3.11) imply the lower boundedness of \(\gamma (\cdot )\),
This implies that \((\cdot , \cdot )_{\mathcal {H}}\) defines an inner product on \({\mathcal {H}}\). On the other hand, it is easy to see that for any \(\phi \in {\mathcal {H}}\),
which implies that the inner product \((\cdot , \cdot )_{\mathcal {H}}\) is also equivalent to the canonical inner product \(\langle \cdot , \cdot \rangle _{\mathcal {H}}\) on \({\mathcal {H}}\). On the other hand,
Since \(\langle x, y\rangle _H = \langle \!\langle x, y\rangle \!\rangle _{V, V^*}\) for any \(x\in V\), \(y\in H\), and
it follows for any \(\phi \in {\mathscr {D}}({\mathcal {A}})\) that
By using integration by parts, one can further derive from (3.12) that for \(\phi \in {\mathscr {D}}({\mathcal {A}})\),
If \(\Vert \phi _0\Vert _V=0\) or \(|\eta |(0)=0\), i.e., \(\eta \) is constant, it is immediate from (3.13) that
If \(\Vert \phi _0\Vert _V\not =0\) and \(|\eta |(0)>0\) for \(\phi \in {\mathscr {D}}({\mathcal {A}})\), we have from (3.13) that
Hence, it follows that \((\phi , ({\mathcal {A}}+\lambda \nu ^{-1} )\phi )_{\mathcal {H}}\le 0\) for all \(\phi \in {\mathscr {D}}({\mathcal {A}})\). Due to the equivalence between \(\langle \cdot , \cdot \rangle _{\mathcal {H}}\) and \((\cdot , \cdot )_{\mathcal {H}}\), this further implies, in addition to Lemma 2.4, that \(C_0\)-semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), is exponentially stable. The proof is complete now. \(\square \)
4 Stability of Stochastic Delay Systems
Let \(r>0\) and we consider the following stochastic retarded evolution equation in the real Hilbert space H,
where \(B\in {\mathscr {L}}(H, {\mathscr {L}}_2(K_Q, H))\), \(A_1\in {\mathscr {L}}(V, V^*)\), \(A_2(\cdot )\in L^2([-r, 0]; {\mathscr {L}}(V, V^*))\) and \(W(\cdot )\) is a given Q-Wiener process.
Let \({\mathcal {A}}\) be the generator of the delay semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), on \({\mathcal {H}}= H\times L^2([-r, 0], V)\) with
Further, define a linear operator \({\mathcal {B}}\in {\mathscr {L}}({\mathcal {H}}, {\mathscr {L}}_2(K_Q, {\mathcal {H}}))\) by
Then, equation (4.1) can be lifted up into an equivalent stochastic evolution equation without delays,
where \(Y(t) =(y(t), y_t)\), \(t\ge 0\). Note that we have the relation \(\Vert {\mathcal {B}}\Vert = \Vert B\Vert .\) Indeed, for any \(\phi \in {\mathcal {H}}\), it is easy to see that
thus, \(\Vert {\mathcal {B}}\Vert \le \Vert B\Vert \). On the other hand, let \(\phi =(\phi _0, 0)\), \(\phi _0\in H\), then it follows that
which immediately implies that \(\Vert B\Vert \le \Vert {\mathcal {B}}\Vert .\) Hence, we finally obtain the equality \(\Vert B\Vert =\Vert {\mathcal {B}}\Vert \).
Now let \(K= {\mathbb {R}}\), \(W(t)=w(t)\), a standard real Brownian motion, \(A_2(\cdot )\equiv 0\), \(B\in {\mathscr {L}}(H)\), then we have for any \(\beta \in {\mathbb {R}}\) that
Hence, by virtue of Proposition 2.1 and Theorem 3.2, we have that if there exists a number \(\beta \in {\mathbb {R}}\) such that \({A}+\beta {B}\) generates an exponentially stable \(C_0\)-semigroup and
then the mild solution Y of (4.3) (thus, y of (4.1)) is exponentially stable in the almost sure sense. In this case, if \(A_1\not = 0\), the delay parameter \(r>0\) satisfies
Last, let us study an example in which the delay appears in the highest-order derivative term of the stochastic system to close this work. The example (1.10) in Section 1 can be also treated in a similar manner.
Example 4.1
First consider the following linear stochastic partial differential equation,
where \(\alpha _0\in {\mathbb {R}}\) and w is a standard real Brownian motion. By virtue of Example 2.1, it is known that if
the null solution of (4.6) is exponentially stable in the almost sure sense.
Now let \(r>0\) and consider the following linear stochastic delay partial differential equation,
We show that under the condition \(-1-\alpha _0<\sigma ^2/2\), the pathwise exponential stability of the null solution of (4.7) is not sensitive to small delays \(r>0\).
Indeed, let \(V=H^1_0(0, \pi )\cap H^2(0, \pi )\), \(H= L^2(0, \pi )\) and \({\mathcal {A}}\) be the generator of the associated delay semigroup \(e^{t{\mathcal {A}}}\), \(t\ge 0\), in \({\mathcal {H}}= H\times L^2([-r, 0], V)\) with
where \(\Delta = \partial ^2/\partial \xi ^2\) is the standard Laplace operator. Once again, let \({\mathcal {B}}\in {\mathscr {L}}({\mathcal {H}})\) be given by \({\mathcal {B}}\phi = (\sigma \phi _0, 0)\) for \(\phi = (\phi _0, \phi _1)\in {\mathcal {H}}\). Then,
By virtue of (4.4), we have that if there exists some number \(\beta \in {\mathbb {R}}\) such that for some \(\lambda >0\),
then the null solution of (4.7) is exponentially stable in the almost sure sense. It may be verified that \(\beta =-2\sigma \) and \(\lambda = \frac{3}{2}\sigma ^2 +\varepsilon \) with \(\varepsilon >0\) sufficiently small satisfy condition (4.8). In this case, the third inequality in (4.8) is actually reduced to
If \(\alpha _0\not = 0\), \(\sigma \not = 0\), this condition is equivalent to
In other words, in addition to the condition \(-1 -\alpha _0<\sigma ^2/2\) which ensures the pathwise exponential stability of Eq. (4.6), if we further assume that the relation (4.9) is true, then the null solution of (4.7) is exponentially stable in almost sure sense. Thus, the stability is not sensitive to small delays.
References
Appleby, J.A., Mao, X.R.: Stochastic stabilisation of functional differential equations. Syst. Control Lett. 54(11), 1069–1081 (2005)
Bátkai, A., Piazzera, S.: Semigroups for Delay Equations. Research Notes in Math., A.K. Peters, Wellesley, Massachusetts, (2005)
Bierkens, J.: Pathwise stability of degenerate stochastic evolutions. Integral Equ. Oper. Theory 23, 1–27 (2010)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Encyclopedia of Mathematics and its Applications, 2nd edn. Cambridge University Press, Cambridge (2014)
Datko, R.: Not all feedback stabilized systems are robust with respect to small time delays in their feedback. SIAM J. Control Optim. 26, 697–713 (1988)
Datko, R., Lagnese, J., Polis, M.: An example on the effect of time delays in boundary feedback of wave equations. SIAM J. Control Optim. 24, 152–156 (1986)
Di Blasio, G., Kunisch, K., Sinestrari, E.: \(L^2\)-regularity for parabolic partial integrodifferential equations with delay in the highest-order derivatives. J. Math. Anal. Appl. 102, 38–57 (1984)
Jeong, J.-M., Nakagiri, S., Tanabe, H.: Structural operators and semigroups associated with functional differential equations in Hilbert spaces. Osaka J. Math. 30, 365–395 (1993)
Liptser, R.: A strong law of large numbers for local martingales. Stochastics 3, 217–228 (1980)
Liu, K.: Stability of Infinite Dimensional Stochastic Differential Equations with Applications. Chapman & Hall/CRC, Taylor & Francis, New York, London, (2006)
Mao, X.R.: Stochastic stabilization and destabilization. Syst. Control Lett. 23, 279–290 (1994)
Mao, X.R.: Stochastic Differential Equations and Applications, 2nd edn. Woodhead Publishing, Oxford (2007)
Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion, 3rd edn. Springer, Berlin (1999)
Smith, H.: An Introduction to Delay Differential Equations with Applications to the Life Sciences. Springer, Berlin (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is grateful to the Tianjin Thousand Talents Plan for its financial support.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, K. Sensitivity to Small Delays of Pathwise Stability for Stochastic Retarded Evolution Equations. J Theor Probab 31, 1625–1646 (2018). https://doi.org/10.1007/s10959-017-0750-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-017-0750-8
Keywords
- Stability sensitive to small delays
- Pathwise exponential stability
- Stochastic delay evolution equation