- Research
- Open Access
- Published:
The p th moment asymptotic stability and exponential stability of stochastic functional differential equations with polynomial growth condition
Advances in Difference Equations volume 2014, Article number: 302 (2014)
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, 3–13]). 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 be a complete probability space with a filtration satisfying the usual conditions, and let be an m-dimensional Brownian motion defined on the probability space. Let and denote the family of all continuous -valued functions φ on with the norm . Let be the family of all bounded, -measurable, -valued, -adapted stochastic processes. Let be probability measures on which satisfy (). Let be the family of all functions such that . We assume that is a continuous R-valued stochastic process on , for all , which is regarded as a -valued stochastic process.
Consider an n-dimensional SFDE
on with initial data , where
Assume, furthermore, that and , so system (1) has the solution . 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 , there is a positive such that
for all , with .
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 , probability measures on , , and positive numbers , satisfying , and bounded functions such that
for all , .
Remark 1 In this paper, the probability measures , , 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 denote the family of all continuous nonnegative functions on which are continuously twice differentiable in x and once differentiable in t. For each , denote an operator from to R by
where
To obtain our main theorems, we recall a number of lemmas.
Lemma 2.1 (Barbalat lemma [18])
If is a uniformly continuous function on , and , then .
Lemma 2.2 (cf. [18])
If is a bounded function on , and , then for any , .
Lemma 2.3 (cf. [5])
Assume , , . If the following condition holds,
then there exists satisfying, for all ,
Lemma 2.4 (cf. [12])
Assume . For any , if , then there exists a constant H satisfying
Lemma 2.5 Let and be two continuous adapted increasing processes on with a.s., let be a real-valued continuous local martingale with a.s., and let ζ be a nonnegative -measurable random variable such that . Define for . If is nonnegative, then
where a.s. means . In particular, if a.s., then with probability one,
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 , there is a unique global solution of system (1) on .
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 and any initial data , there exists a constant such that the global solution of system (1) has the property
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 and any initial data , is uniformly continuous on , where is the global solution of system (1).
Proof For the sake of simplicity, write , . From Lemma 3.2, we know that for any , . Using Itô’s formula, we compute that, for any ,
From Assumption 2.2, through simple computation we get that
where we have used the elemental inequalities: for any , , ; for any , , , .
By virtue of the boundedness of , , assuming and substituting (3) into (2), we have
which completes the proof of the uniform continuity of . □
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,
then for any and any initial data , there is a unique global solution of system (1) on , and is pth moment asymptotically stable, namely
where , .
Proof From Lemma 3.1 and condition (4), there exists a unique global solution. For the sake of simplicity, write . Moreover, from the definition of and condition (4), we have . For any , applying Itô’s formula to and using the elemental inequalities (for any , , ), we obtain
where , , , , . Setting , , we have
Let . Because , then . So there exists such that . Let , , satisfying , . Using Lemma 2.3, we get that there exists a constant satisfying . So we choose which is sufficiently close to 1 and sufficiently small , such that
Thus, we have
By virtue of the fact that for , , , respectively, we have
From (8) and Lemma 2.2, we get that . Combining with Lemma 3.3, we claim that is uniformly continuous on for any . Due to Lemma 2.1, we have
For any , using Hölder’s inequality, we get
□
Remark 3 Clearly, the key of the proof is the positive lower-boundedness of the function , which depends on condition (4) and the definition of .
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 , , probability measures on , , and positive numbers , satisfying such that
for all , .
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 , there is a unique global solution of system (1) on , and is almost surely exponentially stable and pth moment exponentially stable for any , namely
where is the same as defined in Theorem 3.1, and is a positive constant which only depends on p but not on ζ.
Proof From condition (4) and the definition of , we obtain for any . Then there exists at least a sufficiently small positive constant ε satisfying , , , , . So, by the continuity, define
From Lemma 3.1 and condition (4), there exists a unique global solution. For the sake of simplicity, write . For any , applying Itô’s formula to , and using the elemental inequalities, we have
where , , , , . Setting , , we arrive at
Let . By the same technique as the function in Theorem 3.1, we get that there exists satisfying . So we choose which is sufficiently close to 1 and sufficiently small , such that
Hence, we have
By virtue of the fact that
for , , , respectively, and using Itô’s formula to , , we have
where is a local martingale with the initial value . Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that
Hence, there exists a finite positive random variable such that
So, letting in the inequality above, we claim that
which is the required result (11).
Next, we prove the result (12). From (15), we get
where = + + + + + . This implies
So, letting in the inequality above, we claim that, for ,
For any , using Hölder’s inequality, we obtain
where = + + + + + , which yields the assertion, for ,
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 , in Assumption 2.2 are 0, then for any and any initial data , there is a unique global solution of system (1) on , and is almost surely exponentially stable and pth moment exponentially stable, namely
where is the same as defined in Theorem 3.1, and 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 and play important roles, while condition (4) and the definition of are mainly used to ensure the positive lower-boundedness of the functions and . 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 , and three probability measures on with (), as well as some constants , and , such that
while for all ,
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 is dominated by a polynomial function of W. What is more, the probability measures 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 hold, then for any initial data , there is a unique global solution of system (1) on .
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,
except that (22) is replaced by
then for any initial data , there is a unique global solution of system (1) on , and has the following properties:
-
(i)
If is uniformly continuous about t on , then
(25) -
(ii)
If is uniformly continuous about t on , then
(26)
where .
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 . Applying Itô’s formula to , we have
where , , .
Let . By the same technique as function in Theorem 3.1, there exists a constant satisfying . Hence, we have
By virtue of the fact that
for , , , respectively, and using Itô’s formula, we have
where is a local martingale with the initial value . Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that
Hence, from Lemma 2.1 and the uniform continuity of , we get the required result (25)
Next, we prove the result (26). From (28), we get that
This implies
Hence, from Lemma 2.1 and the uniform continuity of , we have
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 , there is a unique global solution of system (1) on , and has the following properties:
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 , . So, by the continuity, define
From Lemma 5.1 and condition (23), there exists a unique global solution. For the sake of simplicity, write . Applying Itô’s formula to , , we have
where , , .
Let . Noting the definition of and by the same technique as the function in Theorem 3.1, there exists a constant satisfying . Therefore, we have
By virtue of the fact that
for , , , respectively, and using Itô’s formula, we have
where is a local martingale with the initial value . Applying the nonnegative semi-martingale convergence theorem (see Lemma 2.5), we obtain that
By the same technique as (16) in Theorem 3.1, letting , we claim that
Next, we prove the other result. From (33), we get that