Skip to main content

Theory and Modern Applications

The p th moment asymptotic stability and exponential stability of stochastic functional differential equations with polynomial growth condition

Abstract

This paper mainly discusses the p th moment asymptotic stability and the exponential stability of nonlinear stochastic functional differential equations (SFDEs) satisfying the local Lipschitz condition but not the linear growth condition. These new conditions assume that the coefficients of SFDEs are polynomials or dominated by polynomials. We establish some sufficient conditions for the p th moment asymptotic stability and the exponential stability of nonlinear SFDEs by applying some novel techniques. Some nontrivial examples are provided to illustrate our results.

MSC:93E03, 93D20.

1 Introduction

Stochastic modeling plays an important role in describing the dynamical systems in many branches of science and industries. Since the introduction of Itô’s formula, stochastic functional differential equations (SFDEs) have been used successfully to model such systems in many application fields such as biology, engineering, economics and finance (e.g., [1, 2]). The stability of SFDEs, including stochastic delay differential equations (SDDEs), is the most fundamental problem. It has received lots of attention over past years, and many important results have been established by many researchers (e.g., [1, 313]). In particular, by exploiting the positivity of the solution, Appleby and Reynolds [14] studied the exponential and non-exponential convergence rates of linear convolution Itô-Volterra equations. Then Appleby and Rodkina [15] discussed the stochastic stability and stochastic asymptotic stability of a nonlinear Volterra difference equation. Mao [7] considered the exponential stability of linear SDDEs, and he also extended it to the case of semi-linear uncertain SDDEs [9]. Mao [8] investigated Razumikhin-type theorems on the exponential stability of SFDEs whose coefficients satisfy the local Lipschitz condition and the linear growth condition, which was used to study the exponential stability of stochastic interval systems [4].

On the one hand, most of the stability criteria concentrate on the exponential stability. In many practical uses, however, stabilizing a system exponentially fast is not economical and sometimes unfeasible. Therefore, it is also significant to study the asymptotic stability for SFDEs further. For example, Mao [10] obtained useful criteria on the almost sure asymptotic stability for SDDEs. By using Razumikhin technique, Huang and Deng [3] studied the general p th moment asymptotic stability of SFDEs.

On the other hand, most of the stability criteria above require the coefficients of corresponding systems to satisfy the linear growth condition or the one-side linear growth condition. However, many stochastic systems do not satisfy these conditions. Therefore, it is necessary to study the stability for stochastic systems without the linear growth condition or the one-side linear growth condition. Recently, Shen et al. [16] used the LaSalle technique to study the almost sure asymptotic stability of SFDEs without satisfying the linear growth condition. Then Luo et al. [6] established new criteria on the asymptotic stability and the boundedness of SFDEs where the linear growth condition was no longer needed. Liu et al. [5] studied the asymptotic stability of nonlinear SDDEs with the polynomial growth condition.

If the coefficients of SFDEs are polynomials or dominated by polynomials, the existing methods cannot be used directly (details can be found in examples in Section 6). Thus, it is natural to ask the following questions: What happens if SFDEs obey the polynomial growth condition? Is there a unique global solution? If yes, under what conditions do SFDEs have the properties of the p th moment asymptotic stability and the exponential stability? In the following sections, we shall answer these questions. Our aims are to establish some new criteria on the p th moment asymptotic stability and the exponential stability of SFDEs with the polynomial growth condition and the local Lipschitz condition.

The organization of this paper is as follows. In Section 2, we give some necessary notations and lemmas. In Section 3, we discuss the existence of the global solution and the p th moment asymptotic stability of SFDEs. We find that the existence result depends only on constants κ and κ ¯ but not on other constants. In Section 4, we give sufficient conditions for the p th moment exponential stability and the almost sure exponential stability of SFDEs. To make our theory more applicable, Section 5 discusses generalized theory on the asymptotic stability of SFDEs. To show the applications of our results, some illustrative examples are given in the final section.

2 Preliminaries

Throughout this paper, unless otherwise specified, let (Ω,F, { F t } t 0 ,P) be a complete probability space with a filtration { F t } t 0 satisfying the usual conditions, and let B(t) be an m-dimensional Brownian motion defined on the probability space. Let τ>0 and C([τ,0]; R n ) denote the family of all continuous R n -valued functions φ on [τ,0] with the norm φ= sup τ θ 0 |φ(θ)|. Let C= C F 0 b ([τ,0]; R n ) be the family of all bounded, F 0 -measurable, C([τ,0]; R n )-valued, F t -adapted stochastic processes. Let η i be probability measures on [τ,0] which satisfy τ 0 d η i (θ)=1 (i=1,2,3,4). Let L 1 ( R + ; R + ) be the family of all functions ξ: R + R + such that 0 + ξ(t)dt<. We assume that x(t) is a continuous R-valued stochastic process on t[τ,), x t ={x(t+θ):τθ0} for all t0, which is regarded as a C([τ,0]; R n )-valued stochastic process.

Consider an n-dimensional SFDE

dx(t)=f( x t ,t)dt+g( x t ,t)dB(t)
(1)

on t0 with initial data {x(θ):τθ0}=ζ C F 0 b ([τ,0]; R n ), where

f:C ( [ τ , 0 ] ; R n ) × R + R n ,g:C ( [ τ , 0 ] ; R n ) × R + R n × m .

Assume, furthermore, that f(0,t)=0 and g(0,t)=0, so system (1) has the solution x(t)=0. The solution is called a trial solution or an equilibrium solution.

It is said that f, g satisfy the following local Lipschitz condition.

Assumption 2.1 For each integer k1, there is a positive d k such that

|f(φ,t)f(ψ,t)||g(φ,t)g(ψ,t)| d k φψ

for all φ,ψC([τ,0]; R n ), t R + with φψk.

Replacing the linear growth condition or the one-side linear growth condition, we impose the following polynomial growth condition.

Assumption 2.2 There exist constants κ, κ ¯ , κ ˆ , κ ̲ ,γ, γ ¯ , γ ˆ , γ ̲ 0, probability measures η i on [τ,0], i=1,2,3,4, and positive numbers n 1 >1, n 2 >1 satisfying n 1 +1>2 n 2 , and bounded functions ξ 1 (t), ξ 2 (t) L 1 ( R + ; R + ) such that

φ ( 0 ) T f ( φ , t ) κ | φ ( 0 ) | n 1 + 1 + κ ¯ τ 0 | φ ( θ ) | n 1 + 1 d η 1 ( θ ) κ ˆ | φ ( 0 ) | 2 φ ( 0 ) T f ( φ , t ) + κ ̲ τ 0 | φ ( θ ) | 2 d η 2 ( θ ) + ξ 1 ( t ) , | g ( φ , t ) | γ | φ ( 0 ) | n 2 + γ ¯ τ 0 | φ ( θ ) | n 2 d η 3 ( θ ) + γ ˆ | φ ( 0 ) | + γ ̲ τ 0 | φ ( θ ) | d η 4 ( θ ) + ξ 2 ( t )

for all φC([τ,0]; R n ), t R + .

Remark 1 In this paper, the probability measures η i , i=1,2,3,4, can be weakened to any right-continuous nondecreasing functions (see [17]). Compared with [5], Assumption 2.2 in this paper is a generalization of the case of hypothesis (H2) of [5].

Let C 2 , 1 ( R n ×[τ,+); R + ) denote the family of all continuous nonnegative functions V(x,t) on R n ×[τ,+) which are continuously twice differentiable in x and once differentiable in t. For each V C 2 , 1 ( R n ×[τ,+); R + ), denote an operator LV from C([τ,0]; R n )× R + to R by

LV(φ,t)= V t ( φ ( 0 ) , t ) + V x ( φ ( 0 ) , t ) f(φ,t)+ 1 2 trace [ g T ( φ , t ) V x x ( φ ( 0 ) , t ) g ( φ , t ) ] ,

where

V t ( x , t ) = V ( x , t ) t , V x x ( x , t ) = ( 2 V ( x , t ) x i x j ) n × n , V x ( x , t ) = ( V ( x , t ) x 1 , , V ( x , t ) x n ) .

To obtain our main theorems, we recall a number of lemmas.

Lemma 2.1 (Barbalat lemma [18])

If h(t) is a uniformly continuous function on [0,), and h(t) L 1 ( R + ; R + ), then lim t h(t)=0.

Lemma 2.2 (cf. [18])

If h(t) is a bounded function on [0,), and h(t) L 1 ( R + ; R + ), then for any β1, 0 + h β (t)dt<.

Lemma 2.3 (cf. [5])

Assume a,b,q>0, bq, α>β>0. If the following condition holds,

a b >(αβ) β β α β α α α β ,

then there exists a ¯ (0,a) satisfying, for all t0,

a+b t α q t β > a ¯ .

Lemma 2.4 (cf. [12])

Assume α,β>0. For any h(t)C( R n ;R), if lim sup | t | (h(t)/ | t | α )=0, then there exists a constant H satisfying

sup t R n { β | t | α + h ( t ) } <H.

Lemma 2.5 Let A 1 (t) and A 2 (t) be two continuous adapted increasing processes on t0 with A 1 (0)= A 2 (0)=0 a.s., let M(t) be a real-valued continuous local martingale with M(0)=0 a.s., and let ζ be a nonnegative F 0 -measurable random variable such that Eζ<. Define X(t)=ζ+ A 1 (t) A 2 (t)+M(t) for t0. If X(t) is nonnegative, then

{ lim t A 1 ( t ) < } { lim t X ( t ) < } { lim t A 2 ( t ) < } a.s.,

where CD a.s. means P(C D c )=0. In particular, if lim t A 1 (t)< a.s., then with probability one,

lim t X(t)<, lim t A 2 (t)<,< lim t M(t)<.

This lemma is called nonnegative semi-martingale convergence theorem (see [19]), which will play an important role in this paper.

3 p th moment asymptotic stability of SFDEs

The classical theory is not used directly to system (1), so it is necessary to establish the following existence-and-uniqueness result.

Lemma 3.1 If Assumptions 2.1, 2.2 and κ> κ ¯ hold, then for any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on tτ.

Remark 2 To ensure that a stochastic differential equation has a unique global solution for any given initial data, the coefficients of this equation are generally required to satisfy the linear growth condition and the local Lipschitz condition (see [1, 2, 20]) or the linear growth condition and some non-Lipschitz condition (see [21]), which shows that the linear growth condition plays an important role. In this paper, however, we only require the coefficients to satisfy the polynomial growth condition and the local Lipschitz condition. The solution of system (1) may explode at a finite time, so it is important to examine the existence and uniqueness of the global solution of system (1). Since it is not so easy to see this fact directly, we give the proof in the appendix. The fact that we write down our Lemma 3.1 here is to keep our paper completely based on Assumptions 2.1 and 2.2.

Compared with the non-explosion of the global solution (Lemma 3.1), the asymptotic boundedness in the sense of p th moment is more interesting. We also state the following result of asymptotic boundedness and give the proof in the Appendix.

Lemma 3.2 If Assumptions 2.1, 2.2 and κ> κ ¯ hold, then for any p0 and any initial data ζC, there exists a constant M p >0 such that the global solution x(t,ζ) of system (1) has the property

sup τ t < + E|x(t,ζ) | p M p .

To study the p th moment asymptotic stability, we prove the following lemma.

Lemma 3.3 If Assumptions 2.1, 2.2 and κ> κ ¯ hold, then for any p2 and any initial data ζC, E | x ( t , ζ ) | p is uniformly continuous on [0,), where x(t,ζ) is the global solution of system (1).

Proof For the sake of simplicity, write x(t)=x(t,ζ), x t = x t ζ . From Lemma 3.2, we know that for any p2, sup τ t < E | x ( t ) | p M p . Using Itô’s formula, we compute that, for any 0<s<t<,

| E | x ( t ) | p E | x ( s ) | p | = p 2 | E s t | x ( r ) | p 2 ( 2 x T ( r ) f ( x r , r ) + | g ( x r , r ) | 2 + ( p 2 ) | x ( r ) | 2 × | x T ( r ) g ( x r , r ) | 2 ) d r | p 2 E s t [ | x ( r ) | p 2 ( | 2 x T ( r ) f ( x r , r ) | + ( p 1 ) | g ( x r , r ) | 2 ) ] d r p 2 s t E ( 2 | x ( r ) | p 2 | x T ( r ) f ( x r , r ) | + ( p 1 ) | x ( r ) | p 2 | g ( x r , r ) | 2 ) d r .
(2)

From Assumption 2.2, through simple computation we get that

| x ( r ) | p 2 | x T ( r ) f ( x r , r ) | p 2 p 1 | x ( r ) | p 1 + 1 p 1 | x T ( r ) f ( x r , r ) | p 1 p 2 p 1 | x ( r ) | p 1 + 5 p 2 p 1 [ κ p 1 | x ( r ) | ( n 1 + 1 ) ( p 1 ) + κ ¯ p 1 ( τ 0 | x ( r + θ ) | ( n 1 + 1 ) d η 1 ( θ ) ) p 1 + κ ˆ p 1 | x ( r ) | 2 ( p 1 ) + κ ̲ p 1 ( τ 0 | x ( r + θ ) | 2 d η 2 ( θ ) ) p 1 + ξ 1 p 1 ( r ) ] , | x ( r ) | p 2 | g ( x r , r ) | 2 p 2 p | x ( r ) | p + 2 p | g ( x r , r ) | p p 2 p | x ( r ) | p + 2 p 5 p 1 [ γ p | x ( r ) | p n 2 + γ ¯ p ( τ 0 | x ( r + θ ) | n 2 d η 3 ( θ ) ) p + γ ˆ p | x ( r ) | p + γ ̲ p ( τ 0 | x ( r + θ ) | d η 4 ( θ ) ) p + ξ 2 p ( r ) ] ,
(3)

where we have used the elemental inequalities: for any c,b,α,β0, α+β>0, c α b β α α + β c α + β + β α + β b α + β ; for any c i 0, i=1,2,,d, θ1, ( i = 1 d c i ) θ d θ 1 i = 1 d c i θ .

By virtue of the boundedness of ξ 1 (t), ξ 2 (t), assuming ξ 1 (t) ξ 2 (t)Ψ and substituting (3) into (2), we have

| E | x ( t ) | p E | x ( s ) | p | p 2 s t 2 p 2 p 1 E | x ( r ) | p 1 + 2 5 p 2 p 1 [ κ p 1 E | x ( r ) | ( n 1 + 1 ) ( p 1 ) + κ ˆ p 1 E | x ( r ) | 2 ( p 1 ) + κ ¯ p 1 E ( τ 0 | x ( r + θ ) | ( n 1 + 1 ) d η 1 ( θ ) ) p 1 + κ ̲ p 1 E ( τ 0 | x ( r + θ ) | 2 d η 2 ( θ ) ) p 1 + ξ 1 p 1 ( r ) ] + p 2 p ( p 1 ) E | x ( r ) | p + 2 p 5 p 1 ( p 1 ) [ γ ¯ p E ( τ 0 | x ( r + θ ) | n 2 d η 3 ( θ ) ) p + γ p E | x ( r ) | p n 2 + γ ˆ p E | x ( r ) | p + γ ̲ p E ( τ 0 | x ( r + θ ) | d η 4 ( θ ) ) p + ξ 2 p ( r ) ] d r p 2 s t 2 p 2 p 1 E | x ( r ) | p 1 + 2 5 p 2 p 1 [ κ p 1 E | x ( r ) | ( n 1 + 1 ) ( p 1 ) + κ ˆ p 1 E | x ( r ) | 2 ( p 1 ) + κ ¯ p 1 τ 0 E | x ( r + θ ) | ( n 1 + 1 ) ( p 1 ) d η 1 ( θ ) + κ ̲ p 1 τ 0 E | x ( r + θ ) | 2 ( p 1 ) d η 2 ( θ ) + ξ 1 p 1 ( r ) ] + p 2 p ( p 1 ) E | x ( r ) | p + 2 p 5 p 1 ( p 1 ) [ γ ¯ p τ 0 E | x ( r + θ ) | p n 2 d η 3 ( θ ) + γ p E | x ( r ) | p n 2 + γ ˆ p E | x ( r ) | p + γ ̲ p τ 0 E | x ( r + θ ) | p d η 4 ( θ ) + ξ 2 p ( r ) ] d r p 2 [ 2 p 2 p 1 M p 1 + 2 5 p 2 p 1 ( κ p 1 M ( n 1 + 1 ) ( p 1 ) + κ ¯ p 1 M ( n 1 + 1 ) ( p 1 ) + κ ˆ p 1 M 2 ( p 1 ) + κ ̲ p 1 M 2 ( p 1 ) + Ψ p 1 ) + p 2 p ( p 1 ) M p + 2 p 5 p 1 ( p 1 ) × ( γ p M p n 2 + γ ¯ p M p n 2 + γ ˆ p M p + γ ̲ p M p + Ψ p ) ] ( t s ) ,

which completes the proof of the uniform continuity of E | x ( t ) | p . □

In this section, our aim is to study the p th moment asymptotic stability of system (1). The following theorem establishes a new sufficient condition for the p th moment asymptotic stability.

Theorem 3.1 If Assumptions 2.1, 2.2 and the following condition (4) hold,

( γ + γ ¯ ) 2 2 ( κ κ ¯ ) + ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) <1,( κ ˆ κ ̲ )L(κ κ ¯ )>0,κ κ ¯ >0,
(4)

then for any p(0, p 0 ) and any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on tτ, and x(t,ζ) is pth moment asymptotically stable, namely

lim t E|x(t,ζ) | p =0,
(5)

where L=( n 1 2 n 2 +1) ( 2 n 2 2 ) 2 n 2 2 n 1 2 n 2 + 1 ( n 1 1 ) 1 n 1 n 1 2 n 2 + 1 , p 0 =1+ [ ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) + ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) ] 1 .

Proof From Lemma 3.1 and condition (4), there exists a unique global solution. For the sake of simplicity, write x(t)=x(t,ζ). Moreover, from the definition of p 0 and condition (4), we have p 0 >2. For any p[2, p 0 ), applying Itô’s formula to V(x,t)= | x ( t ) | p and using the elemental inequalities (for any c,bR, 0<θ<1, ( c + b ) 2 c 2 1 θ + b 2 θ ), we obtain

L V p 2 | x ( t ) | p 2 [ 2 κ | x ( t ) | n 1 + 1 + 2 κ ¯ τ 0 | x ( t + θ ) | n 1 + 1 d η 1 ( θ ) 2 κ ˆ | x ( t ) | 2 + 2 κ ̲ τ 0 | x ( t + θ ) | 2 d η 2 ( θ ) + p 1 ρ 1 ( γ 2 δ 1 | x ( t ) | 2 n 2 + γ ¯ 2 1 δ 1 τ 0 | x ( t + θ ) | 2 n 2 d η 3 ( θ ) ) + p 1 ρ 2 ( 1 ρ 1 ) ( γ ˆ 2 δ 2 | x ( t ) | 2 + γ ̲ 2 1 δ 2 τ 0 | x ( t + θ ) | 2 d η 4 ( θ ) ) + 2 ξ 1 ( t ) + p 1 ( 1 ρ 1 ) ( 1 ρ 2 ) ξ 2 2 ( t ) ] p 2 [ 2 ( κ κ ¯ ) | x ( t ) | p + n 1 1 ( 2 κ ˆ 2 κ ̲ p 1 ρ 2 ( 1 ρ 1 ) ( γ ˆ 2 δ 2 + γ ̲ 2 1 δ 2 ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p ) | x ( t ) | p + p 1 ρ 1 ( γ 2 δ 1 + γ ¯ 2 1 δ 1 ) | x ( t ) | p + 2 n 2 2 ] + 2 κ ̲ J 2 + p 1 ρ 2 ( 1 ρ 1 ) γ ̲ 2 1 δ 2 J 4 + p 2 p 1 ρ 1 γ ¯ 2 1 δ 1 2 n 2 p + 2 n 2 2 J 3 + p κ ¯ n 1 + 1 p + n 1 1 J 1 + 2 ε 1 p ( p 2 ) 2 ξ 1 p 2 ( t ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ξ 2 p ( t ) ,
(6)

where ρ 1 , ρ 2 , δ 1 , δ 2 (0,1), J 1 = τ 0 | x ( t + θ ) | p + n 1 1 d η 1 (θ) | x ( t ) | p + n 1 1 , J 2 = τ 0 | x ( t + θ ) | p d η 2 (θ) | x ( t ) | p , J 3 = τ 0 | x ( t + θ ) | p + 2 n 2 2 d η 3 (θ) | x ( t ) | p + 2 n 2 2 , J 4 = τ 0 | x ( t + θ ) | p d η 4 (θ) | x ( t ) | p . Setting δ 1 = γ γ + γ ¯ , δ 2 = γ ˆ γ ˆ + γ ̲ , we have

L V p 2 [ 2 ( κ κ ¯ ) | x ( t ) | p + n 1 1 + ( p 1 ) ( γ + γ ¯ ) 2 ρ 1 | x ( t ) | p + 2 n 2 2 ( 2 κ ˆ 2 κ ̲ ( p 1 ) ( γ ˆ + γ ̲ ) 2 ρ 2 ( 1 ρ 1 ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p ) | x ( t ) | p ] + 2 κ ̲ J 2 + p κ ¯ n 1 + 1 p + n 1 1 J 1 + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 J 3 + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ ρ 2 ( 1 ρ 1 ) J 4 + 2 ε 1 p ( p 2 ) 2 ξ 1 p 2 ( t ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ξ 2 p ( t ) .
(7)

Let G(|x(t)|)=(2( κ ˆ κ ̲ ) ( γ ˆ + γ ̲ ) 2 1 ρ 1 (p1))+2(κ κ ¯ ) | x ( t ) | n 1 1 p 1 ρ 1 ( γ + γ ¯ ) 2 | x ( t ) | 2 n 2 2 . Because p[2, p 0 ), then (p1) ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) +(p1) ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) <1. So there exists u 0 >1 such that (p1) ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) u 0 +(p1) ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) =1. Let ρ 1 (u)=(p1) ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) u, u[1, u 0 ), satisfying 2(κ κ ¯ ) p 1 ρ 1 ( u ) ( γ + γ ¯ ) 2 , 2( κ ˆ κ ̲ ) ( γ ˆ + γ ̲ ) 2 1 ρ 1 ( u ) (p1)>2(κ κ ¯ )L. Using Lemma 2.3, we get that there exists a constant a ¯ >0 satisfying inf t 0 G(|x(t)|)> a ¯ . So we choose ρ 2 which is sufficiently close to 1 and sufficiently small ε 1 , ε 2 such that

( 2 ( κ ˆ κ ̲ ) ( p 1 ) ( γ ˆ + γ ̲ ) 2 ( 1 ρ 1 ) ρ 2 2 ( p 2 ) p ε 1 p ( p 2 ) p p 1 1 ρ 1 1 1 ρ 2 ε 2 p ) p 1 ρ 1 ( γ + γ ¯ ) 2 | x ( t ) | 2 n 2 2 + 2 ( κ κ ¯ ) | x ( t ) | n 1 1 > a ¯ .

Thus, we have

L V p 2 a ¯ | x ( t ) | p + p κ ¯ n 1 + 1 p + n 1 1 J 1 + 2 κ ̲ J 2 + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 J 3 + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 J 4 + 2 ε 1 p ( p 2 ) 2 ξ 1 p 2 ( t ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ξ 2 p ( t ) .

By virtue of the fact that 0 t ( τ 0 | x ( s + θ ) | w i d η i (θ) | x ( s ) | w i )ds τ 0 | x ( s ) | w i ds for w 1 =p+ n 1 1, w 3 =p+2 n 2 2, w 2 = w 4 =p, respectively, we have

E | x ( t ) | p E | x ( 0 ) | p p 2 a ¯ 0 t E | x ( s ) | p d s + p κ ¯ n 1 + 1 p + n 1 1 τ 0 E | x ( s ) | p + n 1 1 d s + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 τ 0 E | x ( s ) | p + 2 n 2 2 d s + ( 2 κ ̲ + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 ) × τ 0 E | x ( s ) | p d s + 0 t [ p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ξ 2 p ( s ) + 2 ε 1 p ( p 2 ) 2 ξ 1 p 2 ( s ) ] d s .
(8)

From (8) and Lemma 2.2, we get that 0 E | x ( s ) | p ds<. Combining with Lemma 3.3, we claim that E | x ( t ) | p is uniformly continuous on [0,) for any p[2, p 0 ). Due to Lemma 2.1, we have

lim t E|x(t) | p =0.
(9)

For any p(0,2), using Hölder’s inequality, we get

lim t E|x(t) | p lim t ( E | x ( t ) | 2 ) p 2 =0.
(10)

 □

Remark 3 Clearly, the key of the proof is the positive lower-boundedness of the function G(|x(t)|), which depends on condition (4) and the definition of p 0 .

4 Exponential stability of SFDEs

To study exponential stability, we slightly modify the polynomial growth condition (Assumption 2.2) as follows.

Assumption 4.1 There exist constants κ, κ ¯ , κ ˆ , κ ̲ , κ 0 ,γ, γ ¯ , γ ˆ , γ ̲ , γ 0 0, α 1 , α 2 >0, probability measures η i on [τ,0], i=1,2,3,4, and positive numbers n 1 >1, n 2 >1 satisfying n 1 +1>2 n 2 such that

φ ( 0 ) T f ( φ , t ) κ | φ ( 0 ) | n 1 + 1 + κ ¯ τ 0 | φ ( θ ) | n 1 + 1 d η 1 ( θ ) κ ˆ | φ ( 0 ) | 2 φ ( 0 ) T f ( φ , t ) + κ ̲ τ 0 | φ ( θ ) | 2 d η 2 ( θ ) + κ 0 e α 1 t , | g ( φ , t ) | γ | φ ( 0 ) | n 2 + γ ¯ τ 0 | φ ( θ ) | n 2 d η 3 ( θ ) + γ ˆ | φ ( 0 ) | + γ ̲ τ 0 | φ ( θ ) | d η 4 ( θ ) + γ 0 e α 2 t

for all φC([τ,0]; R n ), t R + .

Remark 4 It is obvious that Assumption 4.1 is only a special case of Assumption 2.2.

In this section, our aim is to study the exponential stability of system (1). We have the following theorem.

Theorem 4.1 If Assumptions 2.1, 4.1 and condition (4) hold, then for any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on tτ, and x(t,ζ) is almost surely exponentially stable and pth moment exponentially stable for any p(0, p 0 ), namely

lim sup t log ( | x ( t , ζ ) | ) t ε p p ,p[2, p 0 ) a.s.,
(11)
lim sup t log ( E | x ( t , ζ ) | p ) t ε p , p [ 2 , p 0 ) , lim sup t log ( E | x ( t , ζ ) | p ) t p 2 ε 2 , p ( 0 , 2 ) ,
(12)

where p 0 is the same as defined in Theorem  3.1, and ε p is a positive constant which only depends on p but not on ζ.

Proof From condition (4) and the definition of p 0 , we obtain (p1) ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) +(p1) ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ L κ ) 2 ( κ ̲ L κ ¯ ) <1 for any p[2, p 0 ). Then there exists at least a sufficiently small positive constant ε satisfying (p1) ( γ + γ ¯ ) ( γ + γ ¯ e ε τ ) 2 ( κ κ ¯ e ε τ ) +(p1) ( γ ˆ + γ ̲ ) ( γ ˆ + γ ̲ e ε τ ) 2 ( κ ˆ L κ ) 2 p ε 2 ( κ ̲ L κ ¯ ) e ε τ <1, ( κ ˆ Lκ) ε p ( κ ̲ L κ ¯ ) e ε τ >0, κ κ ¯ e ε τ >0, ε< p α 1 2 , ε<p α 2 . So, by the continuity, define

ε p = sup { ε > 0 : ( γ + γ ¯ ) ( γ + γ ¯ e ε τ ) 2 ( κ κ ¯ e ε τ ) + ( γ ˆ + γ ̲ ) ( γ ˆ + γ ̲ e ε τ ) 2 ( κ ˆ L κ ) 2 p ε 2 ( κ ̲ L κ ¯ ) e ε τ < 1 p 1 , ( κ ˆ L κ ) ε p ( κ ̲ L κ ¯ ) e ε τ > 0 , κ κ ¯ e ε τ > 0 , ε < p α 1 2 , ε < p α 2 } .

From Lemma 3.1 and condition (4), there exists a unique global solution. For the sake of simplicity, write x(t)=x(t,ζ). For any p[2, p 0 ), applying Itô’s formula to V(x,t)= e ε t | x ( t ) | p , ε(0, ε p ] and using the elemental inequalities, we have

L | x ( t ) | p + ε | x ( t ) | p ε | x ( t ) | p + p 2 | x ( t ) | p 2 [ 2 κ | x ( t ) | n 1 + 1 2 κ ˆ | x ( t ) | 2 + 2 κ ¯ τ 0 | x ( t + θ ) | n 1 + 1 d η 1 ( θ ) + 2 κ ̲ τ 0 | x ( t + θ ) | 2 d η 2 ( θ ) + p 1 ρ 1 ( γ 2 δ 1 | x ( t ) | 2 n 2 + γ ¯ 2 1 δ 1 τ 0 | x ( t + θ ) | 2 n 2 d η 3 ( θ ) ) + p 1 ρ 2 ( 1 ρ 1 ) ( γ ˆ 2 δ 2 | x ( t ) | 2 + γ ̲ 2 1 δ 2 τ 0 | x ( t + θ ) | 2 d η 4 ( θ ) ) + 2 κ 0 e α 1 t + p 1 ( 1 ρ 1 ) ( 1 ρ 2 ) γ 0 2 e 2 α 2 t ] p 2 [ 2 ( κ κ ¯ ( p 2 p + n 1 1 + n 1 + 1 p + n 1 1 e ε τ ) ) | x ( t ) | p + n 1 1 ( 2 κ ˆ 2 κ ̲ ( p 2 p + 2 p e ε τ ) p 1 ρ 2 ( 1 ρ 1 ) ( γ ˆ 2 δ 2 + γ ̲ 2 1 δ 2 ( p 2 p + 2 p e ε τ ) ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p 2 p ε ) | x ( t ) | p + p 1 ρ 1 ( γ 2 δ 1 + γ ¯ 2 1 δ 1 ( p 2 p + 2 n 2 2 + 2 n 2 p + 2 n 2 2 e ε τ ) ) | x ( t ) | p + 2 n 2 2 ] + 2 κ ̲ J 2 + p 1 ρ 2 ( 1 ρ 1 ) γ ̲ 2 1 δ 2 J 4 + p 2 p 1 ρ 1 γ ¯ 2 1 δ 1 2 n 2 p + 2 n 2 2 J 3 + p κ ¯ n 1 + 1 p + n 1 1 J 1 + 2 ε 1 p ( p 2 ) 2 ( κ 0 p 2 e p 2 α 1 t ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ( γ 0 p e p α 2 t ) p 2 [ 2 ( κ κ ¯ e ε τ ) | x ( t ) | p + n 1 1 ( 2 κ ˆ 2 κ ̲ e ε τ p 1 ρ 2 ( 1 ρ 1 ) ( γ ˆ 2 δ 2 + γ ̲ 2 1 δ 2 e ε τ ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p 2 p ε ) | x ( t ) | p + p 1 ρ 1 ( γ 2 δ 1 + γ ¯ 2 1 δ 1 e ε τ ) × | x ( t ) | p + 2 n 2 2 ] + 2 κ ̲ J 2 + p 1 ρ 2 ( 1 ρ 1 ) γ ̲ 2 1 δ 2 J 4 + p 2 p 1 ρ 1 γ ¯ 2 1 δ 1 2 n 2 p + 2 n 2 2 J 3 + p κ ¯ n 1 + 1 p + n 1 1 J 1 + 2 ε 1 p ( p 2 ) 2 ( κ 0 p 2 e p 2 α 1 t ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 ( γ 0 p e p α 2 t ) ,
(13)

where ρ 1 , ρ 2 , δ 1 , δ 2 (0,1), J 1 = τ 0 | x ( t + θ ) | p + n 1 1 d η 1 (θ) e ε τ | x ( t ) | p + n 1 1 , J 2 = τ 0 | x ( t + θ ) | p d η 2 (θ) e ε τ | x ( t ) | p , J 3 = τ 0 | x ( t + θ ) | p + 2 n 2 2 d η 3 (θ) e ε τ | x ( t ) | p + 2 n 2 2 , J 4 = τ 0 | x ( t + θ ) | p d η 4 (θ) e ε τ | x ( t ) | p . Setting δ 1 = γ γ + γ ¯ , δ 2 = γ ˆ γ ˆ + γ ̲ , we arrive at

L | x ( t ) | p + ε | x ( t ) | p p 2 [ 2 ( κ κ ¯ e ε τ ) | x ( t ) | p + n 1 1 ( 2 κ ˆ 2 κ ̲ e ε τ ( p 1 ) ( γ ˆ + γ ̲ ) ( γ ˆ + γ ̲ e ε τ ) ρ 2 ( 1 ρ 1 ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p 2 p ε ) | x ( t ) | p + ( p 1 ) ( γ + γ ¯ ) ( γ + γ ¯ e ε τ ) ρ 1 | x ( t ) | p + 2 n 2 2 ] + p κ ¯ n 1 + 1 p + n 1 1 J 1 + ( 2 κ ̲ ) J 2 + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 J 3 + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ ρ 2 ( 1 ρ 1 ) J 4 + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 e p 2 α 1 t + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p e p α 2 t .
(14)

Let H(|x(t)|)=(2 κ ˆ 2 κ ̲ e ε τ ( p 1 ) ( ( γ ˆ + γ ̲ ) ( γ ˆ + γ ̲ e ε τ ) ) ( 1 ρ 1 ) 2 p ε)+2(κ κ ¯ e ε τ ) | x ( t ) | n 1 1 ( p 1 ) ( γ + γ ¯ ) ( γ + γ ¯ e ε τ ) ρ 1 | x ( t ) | 2 n 2 2 . By the same technique as the function G(|x(t)|) in Theorem 3.1, we get that there exists a ¯ ¯ >0 satisfying inf t 0 H(|x(t)|)> a ¯ ¯ . So we choose ρ 2 which is sufficiently close to 1 and sufficiently small ε 1 , ε 2 such that

( 2 κ ˆ 2 κ ̲ e ε τ ( p 1 ) ( ( γ ˆ + γ ̲ ) ( γ ˆ + γ ̲ e ε τ ) ) ρ 2 ( 1 ρ 1 ) 2 p 2 p ε 1 p p 1 1 ρ 1 1 1 ρ 2 p 2 p ε 2 p 2 p ε ) + 2 ( κ κ ¯ e ε τ ) | x ( t ) | n 1 1 ( p 1 ) ( γ + γ ¯ ) ( γ + γ ¯ e ε τ ) ρ 1 | x ( t ) | 2 n 2 2 > a ¯ ¯ .

Hence, we have

L | x ( t ) | p + ε | x ( t ) | p p 2 a ¯ ¯ | x ( t ) | p + p κ ¯ n 1 + 1 p + n 1 1 J 1 + 2 κ ̲ J 2 + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 J 3 + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 J 4 + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 e p 2 α 1 t + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p e p α 2 t .

By virtue of the fact that

0 t e ε s J i ds= 0 t e ε s ( τ 0 | x ( s + θ ) | w i d η i ( θ ) e ε τ | x ( s ) | w i ) ds e ε τ τ 0 |x(s) | w i ds

for w 1 =p+ n 1 1, w 3 =p+2 n 2 2, w 2 = w 4 =p, respectively, and using Itô’s formula to V(x,t)= e ε t | x ( t ) | p , ε(0, ε p ], we have

e ε t | x ( t ) | p = | x ( 0 ) | p + 0 t e ε s ( L | x ( s ) | p + ε | x ( s ) | p ) d s + M ( t ) | x ( 0 ) | p p 2 a ¯ ¯ 0 t e ε s | x ( s ) | p d s + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 0 t e ε s J 3 d s + p κ ¯ n 1 + 1 p + n 1 1 0 t e ε s J 1 d s + 2 κ ̲ 0 t e ε s J 2 d s + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 0 t e ε s J 4 d s + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 0 t e ( ε p 2 α 1 ) s d s + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p 0 t e ( ε p α 2 ) s d s + M ( t ) | x ( 0 ) | p p 2 a ¯ ¯ 0 t e ε s | x ( s ) | p d s + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 e ε τ τ 0 | x ( s ) | p + 2 n 2 2 d s + p κ ¯ n 1 + 1 p + n 1 1 e ε τ τ 0 | x ( s ) | p + n 1 1 d s + ( 2 κ ̲ + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 ) e ε τ τ 0 | x ( s ) | p d s + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 1 ( p 2 α 1 ε ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p 1 ( p α 2 ε ) + M ( t ) ,
(15)

where M(t)= 0 t p e ε s | x ( s ) | p 1 g( x s ,s)dB(s) is a local martingale with the initial value M(0)=0. Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that

lim sup t e ε t |x(t) | p <a.s.
(16)

Hence, there exists a finite positive random variable ζ ¯ such that

sup 0 t < e ε t |x(t) | p < ζ ¯ a.s.
(17)

So, letting ε ε p in the inequality above, we claim that

lim sup t log ( | x ( t ) | ) t ε p p ,p[2, p 0 ) a.s.,

which is the required result (11).

Next, we prove the result (12). From (15), we get

E e ε t | x ( t ) | p = E | x ( 0 ) | p + E 0 t e ε s ( L | x ( s ) | p + ε | x ( s ) | p ) d s E | x ( 0 ) | p p 2 a ¯ ¯ E 0 t e ε s | x ( s ) | p d s + p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 e ε τ × τ 0 E | x ( s ) | p + 2 n 2 2 d s + p κ ¯ n 1 + 1 p + n 1 1 e ε τ τ 0 E | x ( s ) | p + n 1 1 d s + ( 2 κ ̲ + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 ) e ε τ τ 0 E | x ( s ) | p d s + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 1 ( p 2 α 1 ε ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p 1 ( p α 2 ε ) c 1 ,
(18)

where c 1 = p 2 ( p 1 ) ( γ ¯ + γ ) γ ¯ ρ 1 2 n 2 p + 2 n 2 2 e ε τ τ 0 E | x ( s ) | p + 2 n 2 2 ds + p κ ¯ n 1 + 1 p + n 1 1 e ε τ τ 0 E | x ( s ) | p + n 1 1 ds + (2 κ ̲ + ( p 1 ) ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 ) e ε τ τ 0 E | x ( s ) | p ds + 2 ε 1 p ( p 2 ) 2 κ 0 p 2 1 ( p 2 α 1 ε ) + p 1 1 ρ 1 1 1 ρ 2 ε 2 p ( p 2 ) 2 γ 0 p 1 ( p α 2 ε ) + E | x ( 0 ) | p . This implies

E|x(t) | p c 1 e ε t ,t>0.
(19)

So, letting ε ε p in the inequality above, we claim that, for p[2, p 0 ),

lim sup t log ( E | x ( t ) | p ) t ε p .

For any p(0,2), using Hölder’s inequality, we obtain

E | x ( t ) | p ( E | x ( t ) | 2 ) p 2 c 2 p 2 e p 2 ε 2 t ,
(20)

where c 2 = E | x ( 0 ) | 2 + ( γ ¯ + γ ) γ ¯ ρ 1 e ε τ τ 0 E | x ( s ) | 2 n 2 ds + (2 κ ̲ + ( γ ̲ + γ ˆ ) γ ̲ 1 ρ 1 ) e ε τ τ 0 E | x ( s ) | 2 ds + 2 κ 0 1 ( α 1 ε ) + 2 κ ¯ e ε τ τ 0 E | x ( s ) | n 1 + 1 ds + 1 1 ρ 1 1 1 ρ 2 γ 0 2 1 ( 2 α 2 ε ) , which yields the assertion, for p(0,2),

lim sup t log ( E | x ( t ) | p ) t p 2 ε 2 ,

which is the required result (12). □

Remark 5 Since Assumption 4.1 implies Assumption 2.2, the conditions of Theorem 4.1 can guarantee the p th moment asymptotic stability.

As a special case of Assumption 4.1, we obtain the following corollary directly from Theorem 4.1.

Corollary 4.1 If Assumptions 2.1, 2.2 and condition (4) hold, and the bounded functions ξ 1 (t), ξ 2 (t) in Assumption  2.2 are 0, then for any p(0, p 0 ) and any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on tτ, and x(t,ζ) is almost surely exponentially stable and pth moment exponentially stable, namely

lim sup t log ( | x ( t , ζ ) | ) t ε p p , p [ 2 , p 0 )  a.s. , lim sup t log ( E | x ( t , ζ ) | p ) t ε p , p [ 2 , p 0 ) , lim sup t log ( E | x ( t , ζ ) | p ) t p 2 ε 2 , p ( 0 , 2 ) ,

where p 0 is the same as defined in Theorem  3.1, and ε p is a positive constant which only depends on p but not on ζ.

5 Generalized theory on asymptotic stability of SFDEs

Under Assumptions 2.2 and 4.1, we can see from the proofs of Theorems 3.1 and 4.1 that the positive lower-boundedness of the functions G(|x(t)|) and H(|x(t)|) play important roles, while condition (4) and the definition of p 0 are mainly used to ensure the positive lower-boundedness of the functions G(|x(t)|) and H(|x(t)|). So we wonder whether there exist more general assumptions and new conditions to guarantee these results. This is equivalent to finding more general assumptions and new conditions such that system (1) can still have the previous results, namely there exists a unique global solution almost surely, and the solution is asymptotically stable and, moreover, exponentially stable.

To make our theory more applicable, we replace the polynomial growth condition (Assumption 2.2) by the following general assumption.

Assumption 5.1 There are two functions V C 2 , 1 ( R n ×[τ,); R + ), WC( R n ×[τ,); R + ) and three probability measures η i on [τ,0] with τ 0 d η i (θ)=1 (i=1,2,3), as well as some constants a 0 , a 1 , a 2 , a 3 , k 1 , k 2 , k 3 0, and β 2 > β 1 >1, such that

lim inf | x | , 0 t < V(x,t)=,
(21)

while for all (φ,t)C([τ,0]; R n )× R + ,

L V ( φ , t ) a 0 a 1 W β 2 ( φ ( 0 ) , t ) + k 1 τ 0 W β 2 ( φ ( θ ) , t + θ ) d η 1 ( θ ) + a 2 W β 1 ( φ ( 0 ) , t ) + k 2 τ 0 W β 1 ( φ ( θ ) , t + θ ) d η 2 ( θ ) a 3 W ( φ ( 0 ) , t ) + k 3 τ 0 W ( φ ( θ ) , t + θ ) d η 3 ( θ ) .
(22)

Remark 6 Condition (21) is known as radial unboundedness in the literature [20].

Remark 7 Compared with [22], our condition (22), different from their condition (5.4), emphasizes that LV is dominated by a polynomial function of W. What is more, the probability measures η i can also be weakened to any right-continuous nondecreasing functions (see [17]).

In the same way as [22], we can prove the following lemma.

Lemma 5.1 If Assumptions 2.1, 5.1 and a 1 > k 1 hold, then for any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on t[τ,).

Now we examine the asymptotic stability and the exponential stability of system (1).

Theorem 5.1 If Assumptions 2.1, 5.1 and the following condition (23) hold,

a 1 k 1 a 2 + k 2 >0, a 3 k 3 >( a 1 k 1 ) L , a 0 =0,
(23)

except that (22) is replaced by

L V ( φ , t ) a 0 a 1 V β 2 ( φ ( 0 ) , t ) + k 1 τ 0 V β 2 ( φ ( θ ) , t + θ ) d η 1 ( θ ) + a 2 V β 1 ( φ ( 0 ) , t ) + k 2 τ 0 V β 1 ( φ ( θ ) , t + θ ) d η 2 ( θ ) a 3 V ( φ ( 0 ) , t ) + k 3 τ 0 V ( φ ( θ ) , t + θ ) d η 3 ( θ ) ,
(24)

then for any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on t[τ,), and V(x(t,ζ),t) has the following properties:

  1. (i)

    If V(x(t,ζ),t) is uniformly continuous about t on [0,), then

    lim t V ( x ( t , ζ ) , t ) =0a.s.
    (25)
  2. (ii)

    If EV(x(t,ζ),t) is uniformly continuous about t on [0,), then

    lim t EV ( x ( t , ζ ) , t ) =0,
    (26)

where L =( β 2 β 1 ) ( β 2 1 ) β 2 1 β 2 β 1 ( β 1 1 ) β 1 1 β 2 β 1 .

Proof The proof is similar to Theorem 3.1. From Lemma 5.1 and condition (23), there exists a unique global solution. For the sake of simplicity, write x(t)=x(t,ζ). Applying Itô’s formula to V(x(t),t), we have

L V ( x t , t ) ( a 1 k 1 ) V β 2 ( x ( t ) , t ) + ( a 2 + k 2 ) V β 1 ( x ( t ) , t ) ( a 3 k 3 ) V ( x ( t ) , t ) + k 1 J 1 + k 2 J 2 + k 3 J 3 ,
(27)

where J 1 = τ 0 V β 2 (x(t+θ),t+θ)d η 1 (θ) V β 2 (x(t),t), J 2 = τ 0 V β 1 (x(t+θ),t+θ)d η 2 (θ) V β 1 (x(t),t), J 3 = τ 0 V(x(t+θ),t+θ)d η 3 (θ)V(x(t),t).

Let Q(V(x(t),t))=( a 1 k 1 ) V β 2 1 (x(t),t)( a 2 + k 2 ) V β 1 1 (x(t),t)+( a 3 k 3 ). By the same technique as function G(|x(t)|) in Theorem 3.1, there exists a constant Q ¯ >0 satisfying inf t 0 Q(V(x(t),t))> Q ¯ . Hence, we have

LV( x t ,t) Q ¯ V ( x ( t ) , t ) + k 1 J 1 + k 2 J 2 + k 3 J 3 .

By virtue of the fact that

0 t J i d s = 0 t ( τ 0 V w i ( x ( s + θ ) , s + θ ) d η i ( θ ) V w i ( x ( s ) , s ) ) d s τ 0 V w i ( x ( s ) , s ) d s

for w 1 = β 2 , w 2 = β 1 , w 3 =1, respectively, and using Itô’s formula, we have

V ( x ( t ) , t ) = V ( x ( 0 ) , 0 ) + 0 t L V ( x s , s ) d s + M 1 ( t ) V ( x ( 0 ) , 0 ) Q ¯ 0 t V ( x ( s ) , s ) d s + k 1 τ 0 V β 2 ( x ( s ) , s ) d s + k 2 τ 0 V β 1 ( x ( s ) , s ) d s + k 3 τ 0 V ( x ( s ) , s ) d s + M 1 ( t ) ,
(28)

where M 1 (t)= 0 t V x (x(s),s)g( x s ,s)dB(s) is a local martingale with the initial value M 1 (0)=0. Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that

lim sup t V ( x ( t ) , t ) <a.s., 0 V ( x ( s ) , s ) ds<.
(29)

Hence, from Lemma 2.1 and the uniform continuity of V(x(t),t), we get the required result (25)

lim t V ( x ( t ) , t ) =0a.s.

Next, we prove the result (26). From (28), we get that

E V ( x ( t ) , t ) = E V ( x ( 0 ) , 0 ) + E 0 t L V ( x s , s ) d s E V ( x ( 0 ) , 0 ) Q ¯ E 0 t V ( x ( s ) , s ) d s + k 1 E τ 0 V β 2 ( x ( s ) , s ) d s + k 2 E τ 0 V β 1 ( x ( s ) , s ) d s + k 3 E τ 0 V ( x ( s ) , s ) d s .
(30)

This implies

E 0 V ( x ( s ) , s ) ds= 0 EV ( x ( s ) , s ) ds<.
(31)

Hence, from Lemma 2.1 and the uniform continuity of EV(x(t),t), we have

lim t EV(x(t),t)=0,

which is the required result (26). □

Theorem 5.2 If Assumptions 2.1, 5.1 and condition (23) hold, except that (22) is replaced by (24), then for any initial data ζC, there is a unique global solution x(t,ζ) of system (1) on t[τ,), and V(x(t,ζ),t) has the following properties:

lim sup t log ( V ( x ( t , ζ ) , t ) ) t ε ¯ a.s. , lim sup t log ( E V ( x ( t , ζ ) , t ) ) t ε ¯ ,

where ε ¯ is a positive constant which does not depend on ζ.

Proof The proof is similar to Theorem 4.1. From condition (23), we obtain that there exists at least a sufficiently small positive constant ε satisfying a 1 k 1 e ε τ a 2 + k 2 e ε τ >0, ( a 3 a 1 L )ε( k 3 k 1 L ) e ε τ >0. So, by the continuity, define

ε ¯ =sup { ε > 0 : a 1 k 1 e ε τ a 2 + k 2 e ε τ > 0 , ( a 3 a 1 L ) ε ( k 3 k 1 L ) e ε τ > 0 } .

From Lemma 5.1 and condition (23), there exists a unique global solution. For the sake of simplicity, write x(t)=x(t,ζ). Applying Itô’s formula to e ε t V(x(t),t), ε(0, ε ¯ ], we have

L V ( x t , t ) + ε V ( x ( t ) , t ) a 1 V β 2 ( x ( t ) , t ) + k 1 τ 0 V β 2 ( x ( t + θ ) , t + θ ) d η 1 ( θ ) + a 2 V β 1 ( x ( t ) , t ) + k 2 τ 0 V β 1 ( x ( t + θ ) , t + θ ) d η 2 ( θ ) ( a 3 ε ) V ( x ( t ) , t ) + k 3 τ 0 V ( x ( t + θ ) , t + θ ) d η 3 ( θ ) ( a 1 k 1 e ε τ ) V β 2 ( x ( t ) , t ) + ( a 2 + k 2 e ε τ ) V β 1 ( x ( t ) , t ) ( a 3 k 3 e ε τ ε ) V ( x ( t ) , t ) + k 1 J 1 + k 2 J 2 + k 3 J 3 ,
(32)

where J 1 = τ 0 V β 2 (x(t+θ),t+θ)d η 1 (θ) e ε τ V β 2 (x(t),t), J 2 = τ 0 V β 1 (x(t+θ),t+θ)d η 2 (θ) e ε τ V β 1 (x(t),t), J 3 = τ 0 V(x(t+θ),t+θ)d η 3 (θ) e ε τ V(x(t),t).

Let R(V(x(t),t))=( a 1 k 1 e ε τ ) V β 2 1 (x(t),t)( a 2 + k 2 e ε τ ) V β 1 1 (x(t),t)+( a 3 k 3 e ε τ ε). Noting the definition of ε ¯ and by the same technique as the function G(|x(t)|) in Theorem 3.1, there exists a constant R ¯ >0 satisfying inf t 0 R(V(x(t),t))> R ¯ . Therefore, we have

LV( x t ,t)+εV ( x ( t ) , t ) R ¯ V ( x ( t ) , t ) + k 1 J 1 + k 2 J 2 + k 3 J 3 .

By virtue of the fact that

0 t e ε s J i d s = 0 t e ε s ( τ 0 V w i ( x ( s + θ ) , s + θ ) d η i ( θ ) e ε τ V w i ( x ( s ) , s ) ) d s e ε τ τ 0 V w i ( x ( s ) , s ) d s

for w 1 = β 2 , w 2 = β 1 , w 3 =1, respectively, and using Itô’s formula, we have

e ε t V ( x ( t ) , t ) = V ( x ( 0 ) , 0 ) + 0 t e ε s ( L V ( x s , s ) + ε V ( x ( s ) , s ) ) d s + M 2 ( t ) V ( x ( 0 ) , 0 ) R ¯ 0 t e ε s V ( x ( s ) , s ) d s + k 1 e ε τ τ 0 V β 2 ( x ( s ) , s ) d s + k 2 e ε τ τ 0 V β 1 ( x ( s ) , s ) d s + k 3 e ε τ τ 0 V ( x ( s ) , s ) d s + M 2 ( t ) ,
(33)

where M 2 (t)= 0 t e ε s V x (x(s),s)g( x s ,s)dB(s) is a local martingale with the initial value M 2 (0)=0. Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that

lim sup t e ε t V ( x ( t ) , t ) <a.s.
(34)

By the same technique as (16) in Theorem 3.1, letting ε ε ¯ , we claim that

lim sup t log ( V ( x ( t ) , t ) ) t ε ¯ a.s.

Next, we prove the other result. From (33), we get that

E e ε t V ( x ( t ) , t ) E V ( x ( 0 ) , 0 ) R ¯ E 0 t e ε s V ( x ( s ) , s ) d s + k 1 e ε τ E τ 0 V β 2 ( x ( s ) , s ) d s + k 2 e ε τ E τ 0 V β 1 ( x ( s ) , s ) d s + k 3 e ε τ E τ 0 V ( x ( s ) , s ) d s c 4 ,
(35)

where c 4 = EV(x(0),0) + k 1 e ε τ E τ 0 V β 2 (x(s),s)ds + k 2 e ε τ E τ 0 V β 1 (x(s),s)ds + k 3 e ε τ E τ 0 V(x(s),s)ds. This implies

EV ( x ( t ) , t ) c 4 e ε t ,t>0.
(36)

So, letting ε ε ¯ in the inequality above, we claim that

lim sup t log ( E V ( x ( t ) , t ) ) t ε ¯ .

 □

6 Examples

In this section, we shall discuss some examples to illustrate our theory.

Example 1 Consider the scalar generalized stochastic logistic differential system of population extinction as follows:

dx(t)=x(t) ( 2 x ( t ) ) dt+x(t) ( 1 + x 1 3 ( t ) ) dB(t)
(37)

with initial data x(0)>0, x(0)C, where B(t) is a scalar Brownian motion.

Similar to the proof of Theorem 2.1 of [23], using the Lyapunov function V(x)=x1log(x), we claim that the solution of system (37) is not only positive but also will not explode to infinity at any finite time; and we compute that

x T f ( x t , t ) | x ( t ) | 3 2 | x ( t ) | 2 , | g ( x t , t ) | | x ( t ) | + | x ( t ) | 4 3 .

So, the parameters used in Assumption 2.2 are κ=1, κ ¯ =0, κ ˆ =2, κ ̲ =0, γ=1, γ ¯ =0, γ ˆ =1, γ ̲ =0, n 1 =2, n 2 =4/3. Through a simple computation we obtain that L=( n 1 2 n 2 +1) ( 2 n 2 2 ) 2 n 2 2 n 1 2 n 2 + 1 ( n 1 1 ) 1 n 1 n 1 2 n 2 + 1 = 4 27 , p 0 =1+ [ ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) + ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) ] 1 =2.3, and condition (4) is satisfied.

Through Theorem 3.1, we claim that the solution of system (37) is p th moment asymptotically stable for any p(0,2.3), namely

lim t E|x(t,ζ) | p =0.

Through Corollary 4.1, we claim that the solution of system (37) is almost surely exponentially stable and p th moment exponentially stable, namely

lim sup t log ( | x ( t , ζ ) | ) t ε p p , p [ 2 , 2.3 )  a.s. , lim sup t log ( E | x ( t , ζ ) | p ) t ε p , p [ 2 , 2.3 ) , lim sup t log ( E | x ( t , ζ ) | p ) t p 2 ε 2 , p ( 0 , 2 ) ,

where ε p is a positive constant which only depends on p but not on initial data x(0). Figure 1 shows a stochastic trajectory generated by the Euler scheme for time step = 10 5 for stochastic system (37) on [0,1] with initial data ζ=10.

Figure 1
figure 1

Generalized stochastic logistic differential system. The red curve shows a stochastic trajectory generated by the Euler scheme for time step = 10 5 for one-dimensional stochastic system (37) on [0,1] with initial data ζ=10 in Example 1.

Example 2 Let us consider the scalar SFDE as follows:

d x ( t ) = ( 4 x 5 ( t ) 6 x ( t ) + 2 D 1 3 ( x t ) + 2 D 2 ( x t ) + ξ ( t ) ) d t + 1 2 ( x 2 ( t ) + x ( t ) + D 3 2 ( x t ) + D 4 ( x t ) + ξ ( t ) ) d B ( t )
(38)

with initial data {x(θ):τθ0}=ζC, where B(t) is a scalar Brownian motion. Moreover, D i are bounded linear operators from C([τ,0];R) to R satisfying | D i ( x t )| τ 0 |x(t+θ)|d η i (θ), where η i () are probability measures on [τ,0], i=1,2,3,4.

(1) If the function ξ(t) is defined by

ξ(t)= { 1 4 n | t n | , t [ n 1 4 n , n + 1 4 n ] , n = 1 , 2 , 3 , , 0 , others ,

then it is easy to show that ξ(t) is bounded, and 0 + ξ(t)dt=1. We compute that

x T f ( x t , t ) = 4 | x ( t ) | 6 + 2 x ( t ) T D 1 3 ( x t ) 6 | x ( t ) | 2 + 2 x ( t ) T D 2 ( x t ) + x ( t ) T ξ ( t ) x T f ( x t , t ) 4 | x ( t ) | 6 + τ 0 | x ( t + θ ) | 6 d η 1 ( θ ) 7 2 | x ( t ) | 2 x T f ( x t , t ) = + τ 0 | x ( t + θ ) | 2 d η 2 ( θ ) + 1 2 ξ 2 ( t ) , | g ( x t , t ) | 1 2 ( | x ( t ) | 2 + | x ( t ) | + | D 3 ( x t ) | 2 + | D 4 ( x t ) | + ξ ( t ) ) | g ( x t , t ) | 1 2 ( | x ( t ) | 2 + τ 0 | x ( t + θ ) | 2 d η 3 ( θ ) + | x ( t ) | + τ 0 | x ( t + θ ) | d η 4 ( θ ) + ξ ( t ) ) .

So, we obtain that L=( n 1 2 n 2 +1) ( 2 n 2 2 ) 2 n 2 2 n 1 2 n 2 + 1 ( n 1 1 ) 1 n 1 n 1 2 n 2 + 1 =(54+1) ( 4 2 ) 2 2 ( 5 1 ) 4 2 = 1 4 , p 0 =1+ [ ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) + ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) ] 1 = 61 19 >2, and condition (4) becomes ( γ + γ ¯ ) 2 2 ( κ κ ¯ ) + ( γ ˆ + γ ̲ ) 2 2 ( κ ˆ κ ̲ ) 2 L ( κ κ ¯ ) = 1 2 ( 4 1 ) + 1 5 3 2 = 19 42 <1, ( κ ˆ κ ̲ )L(κ κ ¯ )= 5 2 3 4 >0.

Through Theorem 3.1, we claim that for any initial data ζC, the solution of system (38) is p th moment asymptotically stable for any p(0, 61 19 ), namely

lim t E|x(t,ζ) | p =0.

(2) If ξ(t)= e t , then it is also easy to show that ξ(t) is bounded, and 0 + ξ(t)dt=1.

Through Theorem 3.1, we claim that for any initial data ζC, the solution of system (38) is p th moment asymptotically stable for any p(0, 61 19 ), namely

lim t E|x(t,ζ) | p =0.

Through Theorem 4.1, we claim that for any initial data ζC, the solution of system (38) is almost surely exponentially stable and p th moment exponentially stable, namely

lim sup t log ( | x ( t , ζ ) | ) t ε p p , p [ 2 , 61 19 )  a.s. , lim sup t log ( E | x ( t , ζ ) | p ) t ε p , p [ 2 , 61 19 ) , lim sup t log ( E | x ( t , ζ ) | p ) t p 2 ε 2 , p ( 0 , 2 ) ,

where ε p is defined by

ε p = sup { ε > 0 : 1 + e ε τ 4 ( 4 e ε τ ) + 1 + e ε τ 10 4 p ε 3 e ε τ < 1 p 1 , 10 4 p ε 3 e ε τ > 0 , 4 e ε τ > 0 , ε < p } .

Appendix

Proof of Lemma 3.1 For any given initial data ζC, by [1], Assumption 2.1 and conditions f(0,t)=0 and g(0,t)=0 guarantee a unique maximal local solution x(t,ζ) to system (1) on t[τ, σ ), where σ is the explosion time. Let k 0 >0 be sufficiently large satisfying ζ< k 0 . For each integer k k 0 , define the stopping time τ k =inf{t[0, σ ):|x(t)|k}. Obviously, τ k is increasing as k. Let τ = lim t τ k , so τ σ a.s. If we can obtain that τ = a.s., then σ = a.s. For the sake of simplicity, write x(t)=x(t,ζ). Using Itô’s formula to V(x,t)= | x ( t ) | 2 , we obtain

L V ( x , t ) = 2 x T ( t ) f ( x t , t ) + | g ( x t , t ) | 2 2 ( κ | x ( t ) | n 1 + 1 + κ ¯ τ 0 | x ( t + θ ) | n 1 + 1 d η 1 ( θ ) κ ˆ | x ( t ) | 2 + κ ̲ τ 0 | x ( t + θ ) | 2 d η 2 ( θ ) + ξ 1 ( t ) ) + 5 ( γ 2 | x ( t ) | 2 n 2 + γ ¯ 2 τ 0 | x ( t + θ ) | 2 n 2 d η 3 ( θ ) + γ ˆ 2 | x ( t ) | 2 + γ ̲ 2 τ 0 | x ( t + θ ) | 2 d η 4 ( θ ) + ξ 2 2 ( t ) ) 2 ( κ κ ¯ ) | x ( t ) | n 1 + 1 + 5 ( γ 2 + γ ¯ 2 ) | x ( t ) | 2 n 2 + ( 5 ( γ ˆ 2 + γ ̲ 2 ) 2 ( κ ˆ κ ̲ ) ) | x ( t ) | 2 + 2 κ ¯ J ˜ 1 + 2 κ ̲ J ˜ 2 + 5 γ ¯ 2 J ˜ 3 + 5 γ ̲ 2 J ˜ 4 + 2 ξ 1 ( t ) + 5 ξ 2 2 ( t ) ,

where J ˜ 1 = τ 0 | x ( t + θ ) | n 1 + 1 d η 1 (θ) | x ( t ) | n 1 + 1 , J ˜ 2 = τ 0 | x ( t + θ ) | 2 d η 2 (θ) | x ( t ) | 2 , J ˜ 3 = τ 0 | x ( t + θ ) | 2 n 2 d η 3 (θ) | x ( t ) | 2 n 2 , J ˜ 4 = τ 0 | x ( t + θ ) | 2 d η 4 (θ) | x ( t ) | 2 .

Noting κ> κ ¯ , n 1 +1>2 n 2 2 and |x(t)|0 for any t0, by Lemma 2.4, R 1 (|x(t)|)=2(κ κ ¯ ) | x ( t ) | n 1 + 1 +5( γ 2 + γ ¯ 2 ) | x ( t ) | 2 n 2 +(5( γ ˆ 2 + γ ̲ 2 )2( κ ˆ κ ̲ )) | x ( t ) | 2 , as a function of |x(t)|, has a positive upper-boundedness, i.e., there is a positive constant R ˜ 1 such that

R 1 ( | x ( t ) | ) = 2 ( κ κ ¯ ) | x ( t ) | n 1 + 1 + 5 ( γ 2 + γ ¯ 2 ) | x ( t ) | 2 n 2 + ( 5 ( γ ˆ 2 + γ ̲ 2 ) 2 ( κ ˆ κ ̲ ) ) | x ( t ) | 2 R ˜ 1 .
(39)

(This technique has been used by many researchers, for example, [12].)

From Lemma 2.2, we have 0 + (5 ξ 2 2 (s)+2 ξ 1 (s))ds<. In view of the fact that

0 t τ k J ˜ i ds= 0 t τ k ( τ 0 | x ( s + θ ) | w i d η i ( θ ) | x ( s ) | w i ) ds τ 0 |x(s) | w i ds

for w 1 = n 1 +1, w 3 =2 n 2 , w 2 = w 4 =2, we have that, for t0,

E | x ( t τ k ) | 2 = E | x ( 0 ) | 2 + E 0 t τ k [ 2 x T ( s ) f ( x s , s ) + | g ( x s , s ) | ] 2 d s E | x ( 0 ) | 2 + E 0 t τ k [ R ˜ 1 + 2 κ ¯ J ˜ 1 + 2 κ ̲ J ˜ 2 + 5 γ ¯ 2 J ˜ 3 + 5 γ ̲ 2 J ˜ 4 + 2 ξ 1 ( s ) + 5 ξ 2 2 ( s ) ] d s E | x ( 0 ) | 2 + R ˜ 1 E ( t τ k ) + 2 κ ¯ τ 0 | x ( s ) | n 1 + 1 d s + 2 κ ̲ τ 0 | x ( s ) | 2 d s + 5 γ ¯ 2 τ 0 | x ( s ) | 2 n 2 d s + 5 γ ̲ 2 τ 0 | x ( s ) | 2 d s + 0 [ 2 ξ 1 ( s ) + 5 ξ 2 2 ( s ) ] d s R ¯ 1 + R ˜ 1 t ,

where R ¯ 1 = E | x ( 0 ) | 2 + 2 κ ¯ τ 0 | x ( s ) | n 1 + 1 ds + 2 κ ̲ τ 0 | x ( s ) | 2 ds + 5 γ ¯ 2 τ 0 | x ( s ) | 2 n 2 ds + 5 γ ̲ 2 τ 0 | x ( s ) | 2 ds + 0 [2 ξ 1 (s)+5 ξ 2 2 (s)]ds. Noting that

E|x(t τ k ) | 2 E ( | x ( t τ k ) | 2 I { τ k t } ) k 2 P{ τ k t},

we get that

P{ τ t}= lim k P{ τ k t} lim k R ¯ 1 + R ˜ 1 t k 2 =0.

Since t is arbitrary, we must have that τ = a.s. and this completes the proof. □

Proof of Lemma 3.2 Since κ> κ ¯ , the existence and uniqueness of the solution follows from Lemma 3.1, and there exists at least a sufficiently small positive constant ε satisfying κ> κ ¯ e ε τ . So, by the continuity, define ε =sup{ε>0:κ> κ ¯ e ε τ }. For the sake of simplicity, write x(t)=x(t,ζ), x t = x t ζ . For any p2, applying Itô’s formula to V(x,t)= e ε t | x ( t ) | p , ε(0, ε ], we arrive at

L V ( x , t ) = e ε t ( L | x ( t ) | p + ε | x ( t ) | p ) e ε t [ p 2 | x ( t ) | p 2 ( 2 x T ( r ) f ( x r , r ) + ( p 1 ) | g ( x r , r ) | 2 ) + ε | x ( t ) | p ] e ε t p 2 | x ( t ) | p 2 [ 2 ( κ | x ( t ) | n 1 + 1 + κ ¯ τ 0 | x ( t + θ ) | n 1 + 1 d η 1 ( θ ) | x ( t ) | 2 + κ ̲ τ 0 | x ( t + θ ) | 2 d η 2 ( θ ) + ξ 1 ( t ) ) + 5 ( p 1 ) ( γ 2 | x ( t ) | 2 n 2 + γ ¯ 2 τ 0 | x ( t + θ ) | 2 n 2 d η 3 ( θ ) + γ ˆ 2 | x ( t ) | 2 + γ ̲ 2 τ 0 | x ( t + θ ) | 2 d η 4 ( θ ) + ξ 2 2 ( t ) ) + 2 p ε | x ( t ) | 2 ] p 2 e ε t [ 2 ( κ κ ¯ e ε τ ) | x ( t ) | p + n 1 1 + o ( | x ( t ) | p + n 1 1 ) ] + 2 κ ̲ e ε t J 2 + 5 ( p 1 ) γ ̲ 2 e ε t J 4 + p 2 5 ( p 1 ) γ ¯ 2 2 n 2 p + 2 n 2 2 e ε t J 3 + p κ ¯ n 1 + 1 p + n 1 1 e ε t J 1 + 2 e ε t ξ 1 p 2 ( t ) + 5 ( p 1 ) e ε t ξ 2 p ( t ) ,

where J 1 = τ 0 | x ( t + θ ) | p + n 1 1 d η 1 (θ) e ε τ | x ( t ) | p + n 1 1 , J 2 = τ 0 | x ( t + θ ) | p d η 2 (θ) e ε τ | x ( t ) | p , J 3 = τ 0 | x ( t + θ ) | p + 2 n 2 2 d η 3 (θ) e ε τ | x ( t ) | p + 2 n 2 2 , J 4 = τ 0 | x ( t + θ ) | p d η 4 (θ) e ε τ | x ( t ) | p .

Noting that κ> κ ¯ e ε τ and |x(t)|0 for any t0, by Lemma 2.4 and the same technique as (39), G ¯ (|x(t)|)=2(κ κ ¯ e ε τ ) | x ( t ) | p + n 1 1 +o( | x ( t ) | p + n 1 1 ), as a function of |x(t)|, has a positive upper-boundedness, i.e., there is a positive constant Q ̲ such that

G ¯ ( | x ( t ) | ) =2 ( κ κ ¯ e ε τ ) |x(t) | p + n 1 1 +o ( | x ( t ) | p + n 1 1 ) Q ̲ .
(40)

In view of the fact that

0 t e ε s J i ds= 0 t e ε s ( τ 0 | x ( s + θ ) | w i d η i ( θ ) e ε τ | x ( s ) | w i ) ds e ε τ τ 0 |x(s) | w i ds

for w 1 =p+ n 1 1, w 3 =p+2 n 2 2, w 2 = w 4 =p, we get that, for t0,

E e ε t | x ( t ) | p E | x ( 0 ) | p + p 2 Q ̲ 0 t e ε s d s + p κ ¯ n 1 + 1 p + n 1 1 e ε τ τ 0 | x ( s ) | p + n 1 1 d s + 2 κ ̲ e ε τ τ 0 | x ( s ) | p d s + p 2 5 ( p 1 ) γ ¯ 2 2 n 2 p + 2 n 2 2 e ε τ τ 0 | x ( s ) | p + 2 n 2 2 d s + 5 ( p 1 ) γ ̲ 2 e ε τ τ 0 | x ( s ) | p d s + 0 t e ε s [ 2 ξ 1 p 2 ( s ) + 5 ( p 1 ) ξ 2 p ( s ) ] d s .
(41)

By virtue of the boundedness of ξ 1 (t), ξ 2 (t), there is a constant Ψ>0 such that ξ 1 (t) ξ 2 (t)Ψ, which implies that

E e ε t |x(t) | p c+ [ 2 Ψ p 2 + 5 ( p 1 ) Ψ p + p 2 Q ̲ ] 0 t e ε s ds,

where c = p κ ¯ n 1 + 1 p + n 1 1 e ε τ τ 0 | x ( s ) | p + n 1 1 ds + p 2 5(p1) γ ¯ 2 2 n 2 p + 2 n 2 2 e ε τ τ 0 | x ( s ) | p + 2 n 2 2 ds + 2 κ ̲ e ε τ τ 0 | x ( s ) | p ds + 5(p1) γ ̲ 2 e ε τ τ 0 | x ( s ) | p ds + E | x ( 0 ) | p . This implies

E|x(t) | p c e ε t + 2 Ψ p 2 + 5 ( p 1 ) Ψ p + p 2 Q ̲ ε ( 1 e ε t ) .
(42)

From the boundedness of initial data ζC, we claim that for any p2, there exists a constant M p >0 such that sup τ t < + E | x ( t , ζ ) | p M p . When p(0,2), using Hölder’s inequality, we claim that

sup τ t < E|x(t) | p ( sup τ t < E | x ( t ) | 2 ) p 2 M 2 p 2 .

 □

References

  1. Mao X: Stochastic Differential Equations and Applications. Horwood, Chichester; 1997.

    Google Scholar 

  2. Mao X, Yuan C: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London; 2006.

    Book  Google Scholar 

  3. Huang L, Deng F: Razumikhin-type theorems on stability of stochastic retarded systems. Int. J. Syst. Sci. 2009, 40: 73-80. 10.1080/00207720802145478

    Article  MathSciNet  Google Scholar 

  4. Liao X, Mao X: Exponential stability of stochastic delay interval systems. Syst. Control Lett. 2000, 40: 171-181. 10.1016/S0167-6911(00)00021-9

    Article  MathSciNet  Google Scholar 

  5. Liu L, Shen Y, Jiang F: Delay-dependent exponential stability of stochastic delay differential system whose coefficients obey the polynomial growth condition. Int. J. Syst. Sci. 2012, 43: 1664-1672. 10.1080/00207721.2010.549589

    Article  MathSciNet  Google Scholar 

  6. Luo Q, Mao X, Shen Y: Generalised theory on asymptotic stability and boundedness of stochastic functional differential equations. Automatica 2011, 47: 2075-2081. 10.1016/j.automatica.2011.06.014

    Article  MathSciNet  Google Scholar 

  7. Mao X: Robustness of exponential stability of stochastic differential delay equations. IEEE Trans. Autom. Control 1996, 41: 442-447. 10.1109/9.486647

    Article  Google Scholar 

  8. Mao X: Razumikhin-type theorems on exponential stability of stochastic functional differential equations. Stoch. Process. Appl. 1996, 65: 233-250. 10.1016/S0304-4149(96)00109-3

    Article  Google Scholar 

  9. Mao X, Koroleva N, Rodkina A: Robust stability of uncertain stochastic differential delay equations. Syst. Control Lett. 1998, 35: 325-336. 10.1016/S0167-6911(98)00080-2

    Article  MathSciNet  Google Scholar 

  10. Mao X: LaSalle-type theorems for stochastic differential delay equations. J. Math. Anal. Appl. 1999, 236: 350-369. 10.1006/jmaa.1999.6435

    Article  MathSciNet  Google Scholar 

  11. Pan L, Cao J: Exponential stability of impulsive stochastic functional differential equations. J. Math. Anal. Appl. 2011, 382: 672-685. 10.1016/j.jmaa.2011.04.084

    Article  MathSciNet  Google Scholar 

  12. Wu F, Hu S: Stochastic suppression and stabilization of delay differential systems. Int. J. Robust Nonlinear Control 2011, 21: 488-500. 10.1002/rnc.1606

    Article  MathSciNet  Google Scholar 

  13. Yang R, Shi P, Gao H: New delay-dependent stability criterion for stochastic systems with time delays. IET Control Theory Appl. 2008, 2: 966-973. 10.1049/iet-cta:20070437

    Article  MathSciNet  Google Scholar 

  14. Appleby JAD, Reynolds DW: Decay rates of solutions of linear stochastic Volterra equations. Electron. J. Probab. 2008, 13: 922-943.

    MathSciNet  Google Scholar 

  15. Appleby JAD, Rodkina A: Stability of nonlinear stochastic Volterra difference equations with respect to a fading perturbation. Int. J. Differ. Equ. 2009, 4: 165-184.

    MathSciNet  Google Scholar 

  16. Shen Y, Luo Q, Mao X: The improved LaSalle-type theorems for stochastic functional differential equations. J. Math. Anal. Appl. 2006, 318: 134-154. 10.1016/j.jmaa.2005.05.026

    Article  MathSciNet  Google Scholar 

  17. Mao X: Numerical solutions of stochastic functional differential equations. LMS J. Comput. Math. 2003, 6: 141-161.

    Article  MathSciNet  Google Scholar 

  18. Popov V: Hyperstability of Control System. Springer, Berlin; 1973.

    Book  Google Scholar 

  19. Lipster RS, Shiryayev AN: Theory of Martingales. Kluwer Academic, Dordrecht; 1989.

    Google Scholar 

  20. Arnold L: Stochastic Differential Equations: Theory and Applications. Wiley, New York; 1972.

    Google Scholar 

  21. Fang S, Zhang T: A study of a class of stochastic differential equations with non-Lipschitzian coefficients. Probab. Theory Relat. Fields 2005, 132: 356-390. 10.1007/s00440-004-0398-z

    Article  MathSciNet  Google Scholar 

  22. Xue M, Zhou S, Hu S: Stability of nonlinear neutral stochastic functional differential equations. J. Appl. Math. 2010., 2010: Article ID 425762

    Google Scholar 

  23. Ji C, Jiang D, Shi N, O’Regan D: Existence, uniqueness, stochastic persistence and global stability of positive solutions of the logistic equation with random perturbation. Math. Methods Appl. Sci. 2006, 30: 77-89.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their useful and valuable suggestions. This project was supported by the National Science Foundation of China (No. 11171010) and Tangshan Science and Technology Bureau Program of Hebei Province (No. 13130214z and No. 13130203z).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shoumei Li.

Additional information

Competing interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

Authors’ original file for figure 1

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Feng, L., Li, S. The p th moment asymptotic stability and exponential stability of stochastic functional differential equations with polynomial growth condition. Adv Differ Equ 2014, 302 (2014). https://doi.org/10.1186/1687-1847-2014-302

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-302

Keywords