Skip to main content

Theory and Modern Applications

Local stability and parameter dependence of mild solutions for stochastic differential equations

Abstract

For nonlinear stochastic equations dx(t)=[Ax(t)+f(t,x(t),λ)]dt+g(t,x(t),λ)dω(t) with parameter λ in a Hilbert space, we show the existence and uniqueness of mild solutions. Provided that f satisfies a locally Lipschitz condition and g is a uniformly Lipschitz function, some sufficient conditions for p (p2) moment locally exponential stability as well as almost surely exponential stability of mild solutions are obtained under a sufficiently small initial value ξ. Meanwhile, we also consider parameter dependence of stable mild solutions for the stochastic system if f, g are sufficiently small Lipschitz perturbations in the parameter λ.

1 Introduction

Stochastic differential equation has attracted a great attention from both theoretical and applied disciplines since it has been successfully applied to problems in mechanics, economics, physics and several fields in engineering. For details, see [15] and the references therein. In recent years, existence, uniqueness, stability, invariant measures and other quantitative and qualitative properties of solutions to stochastic partial differential equations have been extensively considered by many authors. For example, in 1978, Haussmann [6] studied asymptotic stability of Itô equations in infinite dimensions. Caraballo [7] extended the results from Haussmann to stochastic partial differential equations with delay. In [8], Mao considered exponential stability in the mean square sense for the strong solutions of linear stochastic differential equations. Caraballo and Real [9] considered the stability for the strong solutions of semilinear stochastic evolution equations based on the ideas in [7]. Govindan [10, 11] studied the existence and stability of mild solutions for stochastic partial differential equations by the comparison theorem. Caraballo and Liu [12] discussed the exponential stability for mild solutions of stochastic partial differential equations with delays by employing the well-known Gronwall inequality and stochastic analysis technique under the Lipschitz condition. Liu and Mao [13] established Razuminkhin-type exponential stability for mild solution of stochastic partial functional differential equations. Da Prato et al. [14] and Dawson [15] developed this topic by the semigroup approach [16]. In [17], Taniguchi et al. discussed the existence, uniqueness and asymptotic behavior of solutions to stochastic partial functional differential equations in a Hilbert space.

Recently, Burton [18] has successfully extended the fixed point theorem to study the stability for deterministic systems. By employing the contraction mapping principle and stochastic analysis, Luo [19] has obtained some sufficient conditions which ensure exponential stability in p (p2) moment and almost sure exponential stability for mild solutions of stochastic partial differential equations with delays. Following the ideas of Luo, Sakthivel and Luo investigated the existence and asymptotic stability in the p th moment of mild solutions of nonlinear impulsive stochastic differential equations with infinite delay in [20].

Our main objective is to obtain local stability of mild solutions for stochastic parameter systems, with two novelties when compared with the former work in this area:

  1. 1.

    We consider p(p2)th moment locally exponential stability as well as almost surely exponential stability of mild solutions under sufficiently small nonlinear perturbations and sufficiently small initial value.

  2. 2.

    We first discuss parameter dependence of stable mild solutions under sufficiently small Lipschitz perturbation in the parameter space Y.

The rest of this paper is organized as follows. In Section 2, stochastic differential equations with parameter are presented together with some definitions of mild solutions. In Section 3, existence, uniqueness, stability and parameter dependence of mild solutions are derived. An example is given to illustrate our results in Section 4. At last, we present some conclusions of our paper in Section 5.

2 Preliminaries

Let H be a real separable Hilbert space with the inner product (,) and the norm , and let K be another real separable Hilbert space with the inner product ( , ) K and the norm K . L(K,H) denotes the space of bounded operators from K to H. Let (Ω,F,P) be a complete probability space equipped with a complete family of right-continuous increasing sub σ-algebras { F t ,t0} satisfying F t F.

Let β n (t), n=1,2, , be a sequence of real-valued one-dimensional standard Brownian motions mutually independent over (Ω,F,P). Set

w(t)= n = 1 λ n β n (t) ξ n ,t0,

where λ n 0 (n=1,2,) are nonnegative real numbers and { ξ n } (n=1,2,) is a complete orthonormal basis in K. Let QL(K,K) be an operator defined by Q ξ n = λ n ξ n with a finite trace Tr(Q)= n = 1 λ n <. Then the above K-valued stochastic process ω(t) is called a Q-Wiener process.

Let φL(K,H) and define

φ L 2 0 2 =Tr ( φ Q φ ) = { n = 1 λ n φ ξ n 2 } .

If φ L 2 0 <, then φ is called a Q-Hilbert-Schmidt operator, where L 2 0 (K,H) denotes the space of all Q-Hilbert-Schmidt operators φ:KH.

We denote by L p (Ω,H) (p2) the collection of all strongly-measurable, p-integrable H-valued variables with the norm x ( ) L p = ( E x ( ; ω ) H p ) 1 p , where E is defined by E(h)= Ω h(ω)dP.

We consider the following stochastic differential equations with parameter in a Hilbert space:

d x ( t ) = [ A x ( t ) + f ( t , x ( t ) , λ ) ] d t + g ( t , x ( t ) , λ ) d ω ( t ) , t 0 , x ( 0 ) = ξ ,
(1)

where ξ is an H-valued random variable, A is the infinitesimal generator of a semigroup of bounded linear operators S(t), t0, f: R + ×H×YH, g: R + ×H×YL(K,H) are all Borel measurable, Y is a Banach space (which is the parameter space).

Now, we recall the mild solutions for Eq. (1) as follows.

Definition 2.1 A stochastic process {x(t,ξ,λ):t[0,T],λY}, 0T<, is called a mild solution of Eq. (1) if

  1. (a)

    x(t,ξ,λ) is adapted to F t , t0;

  2. (b)

    x(t,ξ,λ)H has a càdlàg path on t[0,T] almost surely;

  3. (c)

    for arbitrary t[0,T],

    x(t,ξ,λ)=S(t)ξ+ 0 t S(ts)f ( s , x ( s ) , λ ) ds+ 0 t S(ts)g ( s , x ( s ) , λ ) dω(s).
    (2)

We assume that the following conditions hold:

  1. (i)

    A is the infinitesimal generator of a semigroup of bounded linear operators S(t), t0, and there exist M1, η>0 such that S ( t ) H M e η t for t0;

  2. (ii)

    there exist constants c>0, q>0 such that for t0, x,yH, λ,μY,

    f ( t , x , λ ) f ( t , y , λ ) H c x y H ( x H q + y H q ) ,

and

f ( t , x , λ ) f ( t , x , λ ) H c λ μ H x H q + 1 ;
  1. (iii)

    there exists d>0 such that for t0, x,yH, λ,μY,

    g ( t , x , λ ) g ( t , y , λ ) L 2 0 d x y H ,

and

g ( t , x , λ ) g ( t , x , μ ) L 2 0 d λ μ Y x H ;
  1. (iv)

    q+1p;

  2. (v)

    2 p M p d p C p ( 1 2 η ) p 2 <1, where C p = ( p ( 2 p 1 ) ) p .

For example, if

f(t,x,λ)= j = 1 m i = 1 n λ j f i (t,x),

and

g(t,x,λ)= j = 1 m i = 1 n λ j g i (t,x)

for some functions f i , g i : R + ×HH, and there exist constants c i >0, d i >0, i=1,2,,n, q>0 such that for t0, x,yH,

f i ( t , x ) f i ( t , y ) H c i x y H ( x H q + y H q ) ,

and

g i ( t , x ) g i ( t , y ) L 2 0 d i x y H

for each t0, x,yH, then conditions (ii) and (iii) hold for λ, μ in a small neighborhood of zero.

Set B(δ)={xH:E x H p δ}, δ>0. Then we have the following definitions of locally exponential behavior for mild solutions.

Definition 2.2 Let p2 be an integer, mild solution x(t,ξ,λ) of Eq. (1) is said to be p th moment locally exponentially stable if there exist γ>0, L1 such that

E x ( t , ξ , λ ) H L e γ t E ξ H p

for any initial value ξB(δ), λY and t0.

Definition 2.3 The mild solution x(t,ξ,λ) of Eq. (1) is said to be almost surely exponentially stable if for any initial value ξB(δ) and for any λY, there exists ν>0 such that

lim sup t + 1 t log x ( t , ξ , λ ) H ν,a.s.

Lemma 2.1 [2]

For any r1 and for arbitrary L 2 0 (K,H)-valued predictable process Φ(),

sup s [ 0 , t ] E 0 s Φ ( u ) d ω ( u ) 2 r C r ( 0 t ( E Φ ( s ) L 2 0 2 r ) 1 r d s ) r ,t0,

where C r = ( r ( 2 r 1 ) ) r .

3 Stability and parameter dependence

In this section, we present and prove our main results. We consider the set Z(δ)={(t,ξ):0tT,ξB(δ)}.

Theorem 3.1 Assume that (i)-(v) hold. Then, for any δ>0 sufficiently small and for any λY, given (t,ξ)Z(δ), there exists a unique stochastic process x(t,ξ,λ) satisfying (2). Moreover, the following properties hold:

  1. 1.

    There exists 0<α<pη such that

    2 p M p d p C p [ p 2 ( p η α ) ] p 2 <1;
    (3)
  2. 2.

    x(t,ξ,λ) is pth moment locally exponentially stable, that is, there exists L1 such that

    E x ( t , ξ , λ ) H p L e α t E ξ H p
    (4)

for any λY and (t,ξ)Z(δ);

  1. 3.

    There exists K>1 such that

    E x ( t , ξ , λ ) x ( t , ξ , μ ) H p K λ μ Y p e α t
    (5)

for any λ,μY and (t,ξ)Z(δ).

Proof By (iv), it follows that there exists 0<α<η such that (3) holds. We consider the space χ of all -adapted processes x=x(t,ξ,λ):[0,+)×B(δ)×YH such that

  1. 1.

    x(0,ξ,λ)=ξ for any λY;

  2. 2.

    the norm x χ = 1 2 M sup t 0 [ e α t E x ( t , ξ , λ ) H p ] satisfies x χ δ.

We can easily see that χ is a complete metric space. Define an operator J λ :χχ by

J λ ( x ) ( t , ξ ) = S ( t ) ξ ( 0 ) + 0 t S ( t s ) f ( s , x ( s , ξ , λ ) , λ ) d s + 0 t S ( t s ) g ( s , x ( s , ξ , λ ) , λ ) d ω ( s ) = i = 1 3 I i ( t )
(6)

for any xχ. We first verify the continuity of J λ in χ. Let xχ, t 1 0, and |ϵ| be sufficiently small, then

E J λ ( x ) ( t 1 + ϵ ) J λ ( x ) ( t 1 ) H p 3 p 1 i = 1 3 E I i ( t 1 + ϵ ) I i ( t 1 ) H p .
(7)

Obviously,

E I i ( t 1 + ϵ ) I i ( t 1 ) H p 0,i=1,2,
(8)

as ϵ0. By Lemma 2.1, we have

E I 3 ( t 1 + ϵ ) I 3 ( t 1 ) H p 2 p 1 E 0 t 1 ( S ( t 1 + ϵ s ) S ( t 1 s ) ) g ( s , x ( s , ξ , λ ) , λ ) d ω ( s ) H p + 2 p 1 E t 1 t 1 + ϵ S ( t 1 + ϵ s ) g ( s , x ( s , ξ , λ ) , λ ) d ω ( s ) H p 2 p 1 C p ( 0 t 1 ( E ( S ( t 1 + ϵ s ) S ( t 1 s ) ) g ( s , x ( s , ξ , λ ) , λ ) L 2 0 p ) 2 p d s ) p 2 + 2 p 1 C p ( t 1 t 1 + ϵ ( E S ( t 1 + ϵ s ) g ( s , x ( s , ξ , λ ) , λ ) L 2 0 p ) 2 p d s ) p 2 0 ,
(9)

as ϵ0, where C p = ( p ( 2 p 1 ) ) p . Thus

J λ ( x ) ( t 1 + ϵ ) J λ ( x ) ( t 1 ) χ 0,
(10)

as ϵ0, which implies that J λ is continuous in χ on [0,T]. For each x,yχ and 0tT, by the Hölder inequality,

E x y H ( E x H r ) 1 r ( E y H s ) 1 s ,x,yH, 1 r + 1 s =1,
(11)

where represents the transpose, and the Lyapunov inequality

( E x H m ) 1 m ( E x H n ) 1 n ,xH,0<mn<+
(12)

and (ii), we have

E f ( s , x ( s , ξ , λ ) , λ ) f ( s , y ( s , ξ , λ ) , λ ) H c E [ x ( s , ξ , λ ) y ( s , ξ , λ ) H ( x ( s , ξ , λ ) H q + y ( s , ξ , λ ) H q ) ] c ( E x ( s , ξ , λ ) y ( s , ξ , λ ) H q + 1 ) 1 q + 1 [ ( E x ( s , ξ , λ ) H q + 1 ) q q + 1 + ( E y ( s , ξ , λ ) H q + 1 ) q q + 1 ] c ( E x ( s , ξ , λ ) y ( s , ξ , λ ) H p ) 1 p [ ( E x ( s , ξ , λ ) H p ) q p + ( E y ( s , ξ , λ ) H p ) q p ] 2 c ( 2 M ) q + 1 p e ( q + 1 ) α s p δ q p ( x ( s , ξ , λ ) y ( s , ξ , λ ) χ ) 1 p .
(13)

By (iii), we obtain

E g ( s , x ( s , ξ , λ ) , λ ) g ( s , y ( s , ξ , λ ) , λ ) L 2 0 p d p E x ( s , ξ , λ ) y ( s , ξ , λ ) H p 2 M d p e α s x ( s , ξ , λ ) y ( s , ξ , λ ) χ .
(14)

Then, by (13), (14) and Lemma 2.1, we have

E J λ ( x ) ( t , ξ ) J λ ( y ) ( t , ξ ) H p 2 p 1 [ E 0 t S ( t s ) ( f ( s , x ( s , ξ , λ ) , λ ) f ( s , y ( s , ξ , λ ) , λ ) ) d s H p + E 0 t S ( t s ) ( g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , λ ) , λ ) ) d ω ( s ) H p ] 2 p 1 [ ( 0 t E S ( t s ) ( f ( s , x ( s , ξ , λ ) , λ ) f ( s , y ( s , ξ , λ ) , λ ) ) H d s ) p + C p ( 0 t ( E S ( t s ) ( g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , λ ) , λ ) ) L 2 0 p ) 2 p d s ) p 2 ] 2 p 1 [ E ( 0 t M e η ( t s ) f ( s , x ( s , ξ , λ ) , λ ) f ( s , y ( s , ξ , λ ) , λ ) H d s ) p + C p ( 0 t ( M p e p η ( t s ) E g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , λ ) , λ ) L 2 0 p ) 2 p d s ) p 2 ] [ 2 2 p + q M p + q + 1 c p δ q e η p t ( 0 t e η s ( q + 1 ) α s p d s ) p + 2 p M p + 1 d p C p e p η t ( 0 t e 2 p η s 2 α s p d s ) p 2 ] x y χ { 2 2 p + q M p + q + 1 c p δ q | p p η α ( q + 1 ) | p + 2 p M p + 1 d p C p [ p 2 ( p η α ) ] p 2 } × e α t x y χ .
(15)

Therefore

J λ ( x ) J λ ( y ) χ θ x y χ ,

where θ= 2 2 p + q 1 M p + q c p δ q | p p η α ( q + 1 ) | p + 2 p 1 M p d p C p [ p 2 ( p η α ) ] p 2 . Taking δ sufficiently small so that θ< 1 2 , the operator J λ becomes a contraction. In addition, we can obtain

J λ ( x ) χ S ( t ) ξ χ+θxχ 1 2 δ+ 1 2 δ=δ.
(16)

This shows that J λ (χ)χ. Thus, there exists a unique function xχ such that J λ (x)=x. By the above inequality, we have x χ ξ H p 2 ( 1 θ ) , which means that (4) holds. Writing y λ =x(,ξ,λ), we have

y λ y μ = J λ y λ J μ y μ = J λ y λ J λ y μ + J λ y μ J μ y μ
(17)

for any λ,μY. Thus

y λ y μ χ θ y λ y μ χ + J λ y μ J μ y μ χ .
(18)

It follows that

y λ y μ χ ( 1 θ ) 1 J λ y μ J μ y μ χ .
(19)

Using the Lyapunov inequality

( E x H m ) 1 m ( E x H n ) 1 n ,xH,0<mn<+,
(20)

from (ii), (iii) and (4), we get

a ( s ) = E f ( s , x ( s , ξ , μ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) H c λ μ Y E x ( s , ξ , μ ) H q + 1 c λ μ Y ( E x ( s , ξ , μ ) H p ) q + 1 p c ( L δ ) q + 1 p e ( q + 1 ) s p λ μ Y
(21)

and

b ( s ) = E g ( s , x ( s , ξ , μ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) L 2 0 p d p λ μ Y p E x ( s , ξ , μ ) H p d p L δ e α s λ μ Y p .
(22)

Thus

( J λ y μ ) ( t ) ( J μ y μ ) ( t ) χ = 1 2 M sup t 0 [ e α t E ( J λ y μ ) ( t ) ( J μ y μ ) ( t ) H P ] 2 p 2 M sup t 0 { e α t [ E 0 t S ( t s ) ( f ( s , x ( s , ξ , μ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) ) d s H p + E 0 t S ( t s ) g ( s , x ( s , ξ , μ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) d ω ( s ) H p ] } 2 p 2 M sup t 0 { e α t [ ( 0 t E S ( t s ) ( f ( s , x ( s , ξ , μ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) ) H d s ) p + C p ( 0 t ( E S ( t s ) ( g ( s , x ( s , ξ , μ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) ) L 2 0 p ) 2 p d s ) p 2 ] } 2 p 2 M p 1 sup t 0 { e α t [ ( 0 t e η ( t s ) a ( s ) d s ) p + C p ( 0 t ( e p η ( t s ) b ( s ) ) 2 p d s ) p 2 ] } 2 p 2 M p 1 sup t 0 { e α t [ c p ( L δ ) q + 1 ( 0 t e p η t + p η s ( q + 1 ) α s p d s ) p + L δ d p C p ( 0 t ( e p η ( t s ) α s ) 2 p d s ) p 2 ] } λ μ Y p θ 1 λ μ Y p ,
(23)

where θ 1 = 2 p 2 M p 1 c p ( L δ ) q + 1 | p p η α ( q + 1 ) | p + 2 p 2 M p 1 d p C p Lδ [ p 2 ( p η α ) ] p 2 . Therefore

y λ y μ χ θ 1 1 θ λ μ Y p ,
(24)

which yields (5). This completes the proof of the theorem. □

Remark 3.1 From the proof of Theorem 3.1, if we take δ sufficiently small so that θ< 1 2 , the mild solutions (1) with δ-domain initial value are p moment locally exponentially stable. In this case, the property of p moment stability is local.

Theorem 3.2 Assume that (i)-(v) hold. Then, for any δ>0 sufficiently small, mild solution x(t,ξ,λ) of (1) is almost surely exponentially stable, that is, there exists 0<α<pη such that

lim sup t + 1 t log x ( t , ξ , λ ) H α 2 p ,a.s.,
(25)

for any λY and ξB(δ). Furthermore,

lim sup t + 1 t log x ( t , ξ , λ ) x ( t , ξ , μ ) H λ μ Y α 2 p ,a.s.,
(26)

for any λ,μY, λμ and ξB(δ).

Proof For any fixed positive real number ε N >0 (N=2,3,),

P ( sup N t N + 1 x ( t , ξ , λ ) H > ε N ) ( 3 ε N ) p E ( sup N t N + 1 S ( t N ) x ( N , ξ , λ ) H p ) + ( 3 ε N ) p E ( sup N t N + 1 N t S ( t s ) f ( s , x ( s , ξ , λ ) , λ ) d s p ) + ( 3 ε N ) p E ( sup N t N + 1 N t S ( t s ) g ( s , x ( s , ξ , λ ) , λ ) d ω ( s ) H p ) = i = 1 3 I i .
(27)

By (i) and (4), we have

I 1 ( 3 ε N ) p M p E x ( N , ξ , λ ) H p ( 3 ε N ) p M p Lδ e α N .
(28)

It follows from (ii) and (4) that

E f ( s , x ( s , ξ , λ ) , λ H c E x ( s , ξ , λ ) q + 1 c ( E x ( s , ξ , λ ) p ) q + 1 p c ( L δ ) q + 1 p e ( q + 1 ) α s p .
(29)

This implies that

I 2 c p M p ( L δ ) q + 1 ( 3 ε N ) p sup N t N + 1 N t e η ( t s ) e ( q + 1 ) α s p d s p c p M p ( L δ ) q + 1 ( 3 ε N ) p | p p η ( q + 1 ) α | p e α N .
(30)

From (iii) and (4), we have the following estimation:

E g ( s , x ( s , ξ , λ ) , λ L 2 0 p d p E x ( s , ξ , λ ) H p d p Lδ e α s ,
(31)

and

I 3 M p C p ( 3 ε N ) p sup N t N + 1 ( N t ( e p η ( t s ) E g ( s , x ( s , ξ , λ ) , λ ) L 2 0 p ) 2 p d s ) p 2 M p d p C p L δ ( 3 ε N ) p sup N t N + 1 ( N t ( e p η ( t s ) e α s ) 2 p d s ) p 2 M p d p C p L δ ( 3 ε N ) p [ p 2 ( p η α ) ] p 2 e α N .
(32)

Substituting (28), (30) and (32) into (27), we have

P { sup N t N + 1 x ( t , ξ , λ ) H > ε N } κ ( 3 ε N ) p e α N ,
(33)

where κ= M p Lδ+ c p M p ( L δ ) q + 1 | p p η ( q + 1 ) α | p + M p d p C p Lδ [ p 2 ( p η α ) ] p 2 . As ε N is an arbitrarily given real number, let ε N = e α N 2 p such that

P { sup N t N + 1 x ( t , ξ , λ ) H > e α N 2 p } κ 3 p e α N 2 .
(34)

Consequently, from the Borel-Cantelli lemma, there exists T ¯ (ω)>0 such that for any t T ¯ (ω),

x ( t , ξ , λ ) H p e α t 2 p ,a.s.
(35)

It remains to verify that (26) holds. The argument is similar to the above proof of (27). For any ε N >0 (N=2,3,),

P ( sup N t N + 1 x ( t , ξ , λ ) x ( t , ξ , μ ) H λ μ Y > ε N ) ( 3 ε N ) p E ( sup N t N + 1 S ( t N ) ( x ( N , ξ , λ ) x ( N , ξ , μ ) ) H p λ μ Y p ) + ( 3 ε N ) p E ( sup N t N + 1 N t S ( t s ) ( f ( s , x ( s , ξ , λ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) ) d s p λ μ Y p ) + ( 3 ε N ) p E ( sup N t N + 1 N t S ( t s ) ( g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) ) d ω ( s ) H p λ μ Y p ) = i = 1 3 I i .
(36)

From (i) and (5), we obtain

I 1 ( 3 ε N ) p M p K e α N .
(37)

By (4), (5) and (ii), applying inequalities (12) and (13), we get

E f ( s , x ( s , ξ , λ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) H E f ( s , x ( s , ξ , λ ) , λ ) f ( s , x ( s , ξ , μ ) , λ ) H + E f ( s , x ( s , ξ , μ ) , λ ) f ( s , x ( s , ξ , μ ) , μ ) H c E [ x ( s , ξ , λ ) x ( s , ξ , μ ) H ( x ( s , ξ , λ ) q + x ( s , ξ , μ ) q ) ] + c E λ μ Y x ( s , ξ , μ ) H q + 1 c ( E x ( s , ξ , λ ) x ( s , ξ , μ ) H p ) 1 p [ ( E x ( s , ξ , λ ) p ) q p + ( E x ( s , ξ , μ ) p ) q p ] + c λ μ Y E ( x ( s , ξ , μ ) H p ) q + 1 p c [ 2 K 1 p ( L δ ) q p + ( L δ ) q + 1 p ] e ( q + 1 ) α s p λ μ Y .
(38)

This implies that

I 2 c p M p ( 3 ε N ) p [ 2 K 1 p ( L δ ) q p + ( L δ ) q + 1 p ] p sup N t N + 1 N t e η ( t s ) e ( q + 1 ) α s p d s p c p M p ( 3 ε N ) p [ 2 K 1 p ( L δ ) q p + ( L δ ) q + 1 p ] p | p p η ( q + 1 ) α | p e α N .
(39)

It follows from (4), (5) and (iii) that

E g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) L 2 0 P 2 P 1 [ E g ( s , x ( s , ξ , λ ) , λ ) g ( s , x ( s , ξ , μ ) , λ ) L 2 0 P + E g ( s , x ( s , ξ , μ ) , λ ) g ( s , x ( s , ξ , μ ) , μ ) L 2 0 P ] 2 p 1 d p [ E x ( s , ξ , λ ) x ( s , ξ , μ ) H P + λ μ Y p E x ( s , ξ , μ ) H P ] 2 p 1 d p δ ( L + K ) e α s λ μ Y p .
(40)

So

I 3 2 p 1 d p M p δ C p ( L + K ) ( 3 ε N ) p sup N t N + 1 ( N t ( e p η ( t s ) e α s ) 2 p d s ) p 2 2 p 1 d p M p δ C p ( 3 ε N ) p ( L + K ) [ p 2 ( p η α ) ] p 2 e α N .
(41)

Substituting (37), (39) and (41) into (36), we have

P ( sup N t N + 1 x ( t , ξ , λ ) x ( t , ξ , μ ) H λ μ Y > ε N ) κ ¯ ( 3 ε N ) p e α N ,
(42)

where κ ¯ = M p Kδ+ c p M p ( 3 ε N ) p [ 2 K 1 p ( L δ ) q p + ( L δ ) q + 1 p ] p | p p η ( q + 1 ) α | p + 2 p 1 d p M p δ C p (L+K) [ p 2 ( p η α ) ] p 2 . We can proceed to the remaining proof in a similar manner. □

4 Example

In this section, an example is provided to illustrate our results.

Example 4.1 Consider the following stochastic partial equation:

d Z ( t , x ) = [ 2 x 2 Z ( t , x ) + λ 2 Z 2 ( t , x ) 1 + | Z ( t , x ) | ] d t + λ Z ( t , x ) 20 ( 1 + | Z ( t , x ) | ) d ω ( t ) , t 0 , Z ( t , 0 ) = Z ( t , π ) = 0 , t 0 , Z ( 0 , x ) = ξ ( x ) ,
(43)

where ω(t) is a standard one-dimensional Brownian motion, λY=[ 1 4 , 1 3 ] is a parameter. Let A= 2 x 2 with the domain

D(A)= { u H : u , 2 u 2 H , u ( 0 ) = u ( π ) = 0 } ,
(44)

then S ( t ) H e t , t0, which implies that M=1. It is easy to see that (ii)-(iii) hold and c=1, q=1, d= 1 20 . Taking p=4, we may show that 2 p d p C p ( 1 2 π 2 ) p 2 <1. Then the mild solution of Eq. (43) has locally stable behavior and parameter dependence for δ>0 sufficiently small.

5 Conclusion

This paper is devoted to locally stable behavior and parameter dependence for stochastic differential equations. Our results are derived under sufficiently small Lipschitz perturbation in the parameter system. Meanwhile, a lot of stochastic inequality techniques are used to estimate the bound of mild solution. The future research topics would be extending locally stable behavior and parameter dependence to the stochastic delayed parameter system.

References

  1. Karatzas I, Shreve SE: Brownian Motion and Stochastic Calculus. Springer, Berlin; 1991.

    Google Scholar 

  2. Da Prato G, Zabczyk J: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge; 1992.

    Book  Google Scholar 

  3. Kan X, Shu H, Li Z: Almost sure state estimation for nonlinear stochastic systems with Markovian switching. Nonlinear Dyn. 2014, 76: 1591-1602. 10.1007/s11071-013-1231-y

    Article  MathSciNet  Google Scholar 

  4. Xiong P, Huang L: On p th moment exponential stability of stochastic fuzzy cellular neural networks with time-varying delays and impulses. Adv. Differ. Equ. 2013., 2013: Article ID 172

    Google Scholar 

  5. Hu J, Wang Z, Shen B, Gao H: Quantised recursive filtering for a class of nonlinear systems with multiplicative noises and missing measurements. Int. J. Control 2013, 86: 650-663. 10.1080/00207179.2012.756149

    Article  MathSciNet  Google Scholar 

  6. Haussmann UG: Asymptotic stability of the linear Itô equation in infinite dimensions. J. Math. Anal. Appl. 1978, 65: 219-235. 10.1016/0022-247X(78)90211-1

    Article  MathSciNet  Google Scholar 

  7. Caraballo T: Asymptotic exponential stability of stochastic partial differential equations with delay. Stochastics 1990, 33: 27-47.

    MathSciNet  Google Scholar 

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

    Google Scholar 

  9. Caraballo T, Real J: Partial differential equations with delayed random perturbations: existence, uniqueness, and stability of solutions. Stoch. Anal. Appl. 1993, 11: 497-511. 10.1080/07362999308809330

    Article  MathSciNet  Google Scholar 

  10. Govindan TE: Stability of mild solutions of stochastic evolution equations with variable delay. Stoch. Anal. Appl. 2003, 21: 1059-1077. 10.1081/SAP-120022863

    Article  MathSciNet  Google Scholar 

  11. Govindan TE: Existence and stability of solutions of stochastic semilinear functional differential equations. Stoch. Anal. Appl. 2002, 20: 1257-1280. 10.1081/SAP-120015832

    Article  MathSciNet  Google Scholar 

  12. Caraballo T, Liu K: Exponential stability of mild solutions of stochastic partial differential equations with delays. Stoch. Anal. Appl. 1999, 17: 743-763. 10.1080/07362999908809633

    Article  MathSciNet  Google Scholar 

  13. Liu K, Mao X: Exponential stability of non-linear stochastic evolution equations. Stoch. Process. Appl. 1998, 78: 173-193. 10.1016/S0304-4149(98)00048-9

    Article  MathSciNet  Google Scholar 

  14. Da Prato G, Iannelli M, Tubaro L: Semilinear stochastic differential equations in Hilbert spaces. Boll. Unione Mat. Ital., A 1979, 16: 168-185.

    MathSciNet  Google Scholar 

  15. Dawson DA: Stochastic evolution equations and related measured processes. J. Multivar. Anal. 1975, 5: 1-52. 10.1016/0047-259X(75)90054-8

    Article  Google Scholar 

  16. Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.

    Book  Google Scholar 

  17. Taniguchi T, Liu K, Truman A: Existence, uniqueness, and asymptotic behavior of mild solutions to stochastic functional differential equations in Hilbert spaces. J. Differ. Equ. 2002, 181: 72-91. 10.1006/jdeq.2001.4073

    Article  MathSciNet  Google Scholar 

  18. Burton TA: Stability by Fixed Point Theory for Functional Differential Equations. Dover, New York; 2006.

    Google Scholar 

  19. Luo J: Fixed points and exponential stability of mild solutions of stochastic partial differential equations with delays. J. Math. Anal. Appl. 2008, 342: 753-760. 10.1016/j.jmaa.2007.11.019

    Article  MathSciNet  Google Scholar 

  20. Sakthivel R, Luo J: Asymptotic stability of impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 2009, 356: 1-6. 10.1016/j.jmaa.2009.02.002

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author would like to thank the referee and the associate editor for their very helpful suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lijun Pan.

Additional information

Competing interests

The author declares that they have no competing interests.

Author’s contributions

The author contributed to the manuscript. The author read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (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

Pan, L. Local stability and parameter dependence of mild solutions for stochastic differential equations. Adv Differ Equ 2014, 276 (2014). https://doi.org/10.1186/1687-1847-2014-276

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords