Skip to main content

Theory and Modern Applications

pth moment stability in stochastic neutral Volterra-Levin equation with Lévy noise and variable delays

Abstract

In this paper, we study a class of stochastic neutral Volterra-Levin equations which are equipped with Lévy noise and variable delay and we obtain p th moment exponential stability. Some well-known results are improved and generalized.

1 Introduction

Plenty of sophisticated dynamical systems are described by stochastic differential equations in physics, biology, chemistry, economics, control engineering, and financial market theory [1]. Now, first order nonlinear stochastic equations have recently received a lot of attention on the investigation of stability in the literature; for instance, see the book [2] and specially important papers [3, 4]. Moreover, the asymptotic stability results for various second-order stochastic differential equations have also been established in [57]. It is well known that Lyapunov’s method has been the classical technique to study stability of deterministic and stochastic differential equations and functional differential equations for more than 100 years, for example [1, 2]. However, there are a lot of difficulties to construct Lyapunov functions for examining stability. Burton et al. [811] have successfully applied fixed point theory to overcome these problems.

Volterra-Levin equations are often applied in biological problem [12], which were first studied by Volterra. Specially, stability of Volterra-Levin equation always attracts many authors’ attentions. In detail, Zhao and Yuan in [13] obtained 3/2 stability conditions for determinate Volterra-Levin equation. Furthermore, by fixed point theory, Lou in [14] studied the stochastic Voltera-Levin equation which is equipped with constant delay and Gaussian noise, and he obtained the mean square exponential stability. Unfortunately, the stochastic disturbances in real world do not obey Gaussian noise, but they are variable structures subject to stochastic abrupt changes, which may come from abrupt phenomena. For this case, it is recognized that stochastic differential equations with Lévy noise are quite suitable to describe such stochastic abrupt phenomena. Thus, Guo and Zhu in [15] studied the stochastic Voltera-Levin equation with Poisson jumps, which is a special case of Lévy noise, and they obtained p th moment stability of this equations. Their results are more generalized and obviously extended ones in [16]. Real systems depend on not only present and past states but also on derivatives with delays. As a result, these systems are often built in the form of neutral differential equations. Recently, Ardjouni and Djoudi in [17] have addressed the deterministic neutral Volterra-Levin equation with variable delay by using fixed point theory. As far as we know, the stochastic version for a neutral Volterra-Levin equation with variable delays and Lévy noise has been not investigated. To this end, in this paper we make the first attempt to fill this gap and study p th moment exponential stability of the stochastic neutral Volterra-Levin equation with variable delays and Lévy noise by fixed point theory and using the Bukhölder-Davis-Gundy inequality.

This paper is organized as follows. In Section 2, some necessary basic preliminaries and the form of the stochastic neutral Volterra-Levin equation with variable delays and Lévy noise are introduced. In Section 3, we show the main result about p th moment exponential stability and the proof of this result. In Section 4, we make some remarks and an example is given to test our result. Finally, a necessary discussion is given.

2 Preliminaries

Let {Ω,F, { F } t 0 ,P} be a probability space with a filtration satisfying the usual conditions, i.e., the filtration is continuous on the right and F 0 contains all P-zero sets. Let {B(t),t0} be a standard Brownian motion defined on {Ω,F,P}. N ˜ (dt,du), t R + , uR is a centered Poisson random measure with parameter π(du)dt.

Now, we consider the following stochastic neutral Volterra-Levin equation with variable delay and Lévy noise:

d [ x ( t ) G ( t , x ( t τ 1 ( t ) ) ) ] = ( t τ 2 ( t ) t a ( t , s ) g ( x ( s ) ) d s ) d t + σ ( t , x ( t ) , x ( t τ 3 ( t ) ) ) d B ( t ) + R h ( t , x ( t ) , x ( t τ 4 ( t ) ) , u ) N ˜ ( d t , d u ) , t 0 ,
(1)

with the initial condition x 0 =ψ(t), where ψ(t)C([m(0),0];R) and m(0)= min s 0 {s τ i (s),i=1,2,3,4}.

Assume that the function G(t,x(t τ 1 (t))) is continuous and G(t,0)=g(0)=σ(0,0,0)=h(0,0,0,u)=0, τ i (t)C( R + , R + ) satisfies t τ i (t), i=1,2,3,4. N ˜ (dt,du)=N(dt,du)π(du)dt is a compensated Poisson random measure which is independent of { B ( t ) } t 0 .

We assume that the following conditions hold:

  1. (i)

    there exists a positive constant k 1 such that |G(t,x)G(t,y)| k 1 |xy|;

  2. (ii)

    there exists a positive k 2 such that

    | a ( u , s ) | k 2 ,for u[m(0),),s R + ;
  3. (iii)

    there exists a positive k 3 such that

    | g ( x ) g ( y ) | k 3 |xy|;
  4. (iv)

    τ 2 (t) is differential with respect to t and there exists a positive constant k 4 such that | τ 2 (t)| k 4 , t R + ;

  5. (v)

    the global Lipschitz condition: there exists a positive constant k 5 such that

    | σ ( t , x 1 , y 1 ) σ ( t , x 2 , y 2 ) | 2 R | h ( t , x 1 , y 1 , u ) h ( t , x 2 , y 2 , u ) | 2 π d u k 5 ( | x 1 x 2 | 2 + | y 1 y 2 | 2 ) .

Definition 2.1 The system (1) is said to be exponentially stable in the p th moment if there exist a pair of positive constant δ and K such that

E | x ( t ) | p KE ψ p e δ t ,t0.

Lemma 2.2 ([2], Bukhölder-Davis-Gundy inequality)

There exists a universal constant J p for any p(0,) such that for every continuous local martingale M vanishing at zero and any stopping time T,

E ( | M T | p ) E ( sup 0 s T | M s | p ) J p E ( M , M T ) p 2 ,

where M,M is the cross-variation of M.

To study stability of the system (1), we rewrite (1) into

d [ x ( t ) G ( t , x ( t τ 1 ( t ) ) ) ] = A ( t , t τ 2 ( t ) ) ( 1 τ 2 ( t ) ) g ( x ( t τ 2 ( t ) ) ) d t + d ( t τ 2 ( t ) t A ( t , s ) g ( x ( s ) ) d s ) + σ ( t , x ( t ) , x ( t τ 3 ( t ) ) ) d B ( t ) + R h ( t , x ( t ) , x ( t τ 4 ( t ) ) , u ) N ˜ ( d t , d u ) ,
(2)

where

A(t,s)= t s a(u,s)du,A ( t , t τ 2 ( t ) ) = t t τ 2 ( t ) a ( u , t τ 2 ( t ) ) du.
(3)

3 p th moment exponential stability

In this section, we study the p th moment exponential stability of (1).

Theorem 3.1 Suppose that there exists a continuous function H(t):[0,) R + such that it satisfies the following conditions:

  1. (a)

    there exists a positive constant n1 such that H(t)>n, t R + ;

  2. (b)

    For t R + , z[0,t] and a positive constant α<1, the following inequality holds:

    r : = 3 p 1 ( 2 k 1 + k 3 0 z e s z H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) d s + k 3 z τ 2 ( z ) z A ( t , v ) d v + k 3 0 z e s z H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) d v d s ) p + 4 × 3 p 1 k 5 ( 1 + π ) ( 0 z e s z 2 H ( μ ) d μ d s ) p 2 α < 1 ,

where p1 and A(t,v), A(s,sτ(s)) are defined as (3). Then the zero solution of (1) shows pth moment exponential stability.

Proof Multiplying both sides of (2) by the factor e 0 t H ( μ ) d μ , and integrating from 0 to any time t<+, we obtain

x ( t ) = [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t H ( μ ) d μ + G ( t , x ( t τ 1 ( t ) ) ) + 0 t e s t H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s + 0 t e s t H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s + 0 t e s t H ( μ ) d μ d [ s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v ] + 0 t e s t H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) + 0 t e s t H ( μ ) d μ R h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) .
(4)

Performing an integration by parts, we obtain

x ( t ) = [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t H ( μ ) d μ + G ( t , x ( t τ 1 ( t ) ) ) + 0 t e s t H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s + 0 t e s t H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s + t τ 2 ( t ) t A ( t , v ) g ( x ( v ) ) d v e 0 t H ( μ ) d μ τ 2 ( 0 ) 0 A ( 0 , v ) g ( x ( v ) ) d v 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v d s + 0 t e s t H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) + 0 t R e s t H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) : = i = 1 9 I i ( t ) ,
(5)

where

I 1 ( t ) = [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t H ( μ ) d μ , I 2 ( t ) = G ( t , x ( t τ 1 ( t ) ) ) , I 3 ( t ) = 0 t e s t H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s , I 4 ( t ) = 0 t e s t H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s , I 5 ( t ) = t τ 2 ( t ) t A ( t , v ) g ( x ( v ) ) d v , I 6 ( t ) = e 0 t H ( μ ) d μ τ 2 ( 0 ) 0 A ( 0 , v ) g ( x ( v ) ) d v , I 7 ( t ) = 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v d s , I 8 ( t ) = 0 t e s t H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) , I 9 ( t ) = 0 t R e s t H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) .

Let (B, B ) be the Banach space of all bounded and continuous in the p th mean F 0 - adapted process ϕ(t,ω):[m(0),)×ΩR with the following supremum norm:

ϕ B := sup t 0 E | ϕ ( t ) | p ,for ϕB.

Moreover, let Z denote the complete metric space with the supremum metric consisting of functions ϕB such that ϕ(s)=ψ(s) on s[m(0),0] and e λ t E | ϕ ( t , ω ) | p 0 as t, where n>λ. Then we define an operator P:ZZ as follows:

P(x)(t):={ ψ ( t ) , t [ m ( 0 ) , 0 ] , i = 1 9 I i ( t ) , t 0 .

We will finish this proof in three steps.

Step 1: we will show that the operator P is continuous in the p th moment on [0,). Let xZ, t 1 0 and |a| be sufficiently small. By using the C p inequality we obtain

E | P ( t 1 + a ) P ( t 1 ) | p 9 p 1 i = 1 9 E | I i ( t 1 + a ) I i ( t 1 ) | p .
(6)

As |a|0, we have

E | I 1 ( t 1 + a ) I 1 ( t 1 ) | p = [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t 1 + a H ( μ ) d μ [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t 1 H ( μ ) d μ = [ ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) ] e 0 t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) 0 , E | I 2 ( t 1 + a ) I 2 ( t 1 ) | p = E | G ( t 1 + a , x ( t 1 + a τ 1 ( t 1 + a ) ) ) G ( t 1 , x ( t 1 τ 1 ( t 1 ) ) ) | p 0 , E | I 3 ( t 1 + a ) I 3 ( t 1 ) | p = E | 0 t 1 + a e s t 1 + a H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s 0 t 1 e s t 1 H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s | p = E | t 1 t 1 + a e s t 1 + a H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s + 0 t 1 e s t 1 H ( μ ) d μ H ( s ) ( e t 1 t 1 + a H ( μ ) d μ 1 ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s | p 2 p 1 E ( t 1 t 1 + a e s t 1 + a H ( μ ) d μ | H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] | d s ) p + 2 p 1 E ( 0 t 1 e s t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) × | H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] | d s ) p 0 , E | I 4 ( t 1 + a ) I 4 ( t 1 ) | p = E | 0 t 1 + a e s t 1 + a H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s 0 t 1 e s t 1 H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s | p 2 p 1 E ( t 1 t 1 + a e s t 1 + a H ( μ ) d μ | A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) | d s ) p + 2 p 1 E ( 0 t 1 e s t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) × | A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) | d s ) p 0 , E | I 5 ( t 1 + a ) I 5 ( t 1 ) | p = E | t 1 + a τ 2 ( t 1 + a ) t 1 + a A ( t 1 + a , v ) g ( x ( v ) ) d v t 1 τ 2 ( t 1 ) t 1 A ( t 1 , v ) g ( x ( v ) ) d v | p = E | 0 t 1 [ A ( t 1 + a , v ) A ( t 1 , v ) ] g ( x ( v ) ) d v + t 1 t 1 + a A ( t 1 + a , v ) g ( x ( v ) ) d v + 0 t 1 τ 2 ( t 1 ) [ A ( t 1 , v ) A ( t 1 + a , v ) ] g ( x ( v ) ) d v t 1 τ 2 ( t 1 ) t 1 + a τ 2 ( t 1 + a ) A ( t 1 + a , v ) g ( x ( v ) ) d v | p 4 p 1 { E [ 0 t 1 | A ( t 1 + a , v ) A ( t 1 , v ) | | g ( x ( v ) ) | d v ] p + E [ t 1 t 1 + a | A ( t 1 + a , v ) g ( x ( v ) ) | d v ] p + E [ 0 t 1 τ 2 ( t 1 ) | A ( t 1 , v ) A ( t 1 + a , v ) | | g ( x ( v ) ) | d v ] p + E [ t 1 τ 2 ( t 1 ) t 1 + a τ 2 ( t 1 + a ) | A ( t 1 + a , v ) g ( x ( v ) ) | d v ] p } 0 , E | I 6 ( t 1 + a ) I 6 ( t 1 ) | p = E | e 0 t 1 + a H ( μ ) d μ τ 2 ( 0 ) 0 A ( 0 , v ) g ( ψ ( v ) ) d v e 0 t 1 H ( μ ) d μ τ 2 ( 0 ) 0 A ( 0 , v ) g ( ψ ( v ) ) d v | p = E | e 0 t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) τ 2 ( 0 ) 0 A ( 0 , v ) g ( x ( v ) ) d v | p 0 , E | I 7 ( t 1 + a ) I 7 ( t 1 ) | p = E | 0 t 1 + a e s t 1 + a H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v d s 0 t 1 e s t 1 H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v d s | p 2 p 1 { E [ 0 t 1 e s t 1 H ( μ ) d μ | e t 1 t 1 + a H ( μ ) d μ 1 | s τ 2 ( s ) s | H ( s ) A ( s , v ) g ( x ( v ) ) | d v d s ] p + E [ t 1 t 1 + a e s t 1 + a H ( μ ) d μ s τ 2 ( s ) s | H ( s ) A ( s , v ) g ( x ( v ) ) | d v d s ] p } 0 , E | I 8 ( t 1 + a ) I 8 ( t 1 ) | p = E | 0 t 1 + a e s t 1 + a H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) 0 t 1 e s t 1 H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) | p 2 p 1 E | 0 t 1 e s t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) | p + 2 p 1 E | t 1 t 1 + a e s t 1 + a H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) | p 2 p 1 J p E [ 0 t 1 e 2 s t H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) 2 σ 2 ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d s ] p 2 + 2 p 1 J p E [ t 1 t 1 + a e 2 s t H ( μ ) d μ σ 2 ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d s ] p 2 0 , E | I 9 ( t 1 + a ) I 9 ( t 1 ) | p = E | 0 t 1 + a R e s t 1 + a H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) 0 t 1 R e s t 1 H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) | p 2 p 1 E | 0 t 1 R e s t 1 H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) | p + 2 p 1 E | t 1 t 1 + a R e s t 1 + a H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) | p 2 p 1 J p E [ 0 t 1 R e 2 s t H ( μ ) d μ ( e t 1 t 1 + a H ( μ ) d μ 1 ) 2 × h 2 ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) π d s d u ] p 2 + 2 p 1 J p E [ t 1 t 1 + a R e 2 s t H ( μ ) d μ h 2 ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) π d s d u ] p 2 0 .

Thus, we can conclude that the operator P is p th continuous on [0,).

Step 2: We will prove that P(Z)Z. Then we only need to prove e λ t E | I i ( t ) | p 0 as t for i=1,,9, where n>λ. In fact, for ε>0, there exists T>0 such that e λ t E | x ( t ) | p <ε and e λ t E | x ( t τ j ( t ) ) | p <ε, j=1,2,3 when t>Tm(0). We have

e λ t E | I 1 ( t ) | p = e λ t | ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) | p e p 0 t H ( μ ) d μ e λ t E | I 1 ( t ) | p | ψ ( 0 ) G ( 0 , ψ ( τ 1 ( 0 ) ) ) | p e ( p n λ ) t e λ t E | I 1 ( t ) | p 0 , e λ t E | I 2 ( t ) | p = e λ t E | G ( t , x ( t τ 1 ( t ) ) ) | p = k 1 e λ t E | x ( t τ 1 ( t ) ) | p k 1 ε 0 , e λ t E | I 3 ( t ) | p = e λ t E | 0 t e s t H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) ] d s | p e λ t E | I 3 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) d s ] p e λ t E | I 3 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) d s ] p e λ t E | I 3 ( t ) | p e λ t E [ ( 0 t e s t H ( μ ) d μ H ( s ) d s ) p 1 e λ t E | I 3 ( t ) | p × 0 t e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) p d s ] e λ t E | I 3 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) p d s ] e λ t E | I 3 ( t ) | p = e λ t E [ 0 T e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) p d s ] e λ t E | I 3 ( t ) | p = + e λ t E [ T t e s t H ( μ ) d μ H ( s ) ( | x ( s ) | + k 1 | x ( s τ 1 ( s ) ) | ) p d s ] e λ t E | I 3 ( t ) | p ( 1 + k 1 ) p E [ sup s [ m ( 0 ) , T ] | x ( s ) | p ] 0 T e ( n λ ) t + s n d s e λ t E | I 3 ( t ) | p + e λ t T t E [ 2 p 1 ( | x ( s ) | p + k 1 p | x ( s τ 1 ( s ) ) | p ) ] e s t H ( μ ) d μ H ( s ) d s e λ t E | I 3 ( t ) | p ( 1 + k 1 ) p E [ sup s [ m ( 0 ) , T ] | x ( s ) | p ] 0 T e ( n λ ) t + s n e λ t E | I 3 ( t ) | p + 2 p 1 ( 1 + k 1 p ) ε ( 1 e T t H ( μ ) d μ ) e λ t E | I 3 ( t ) | p 0 , e λ t E | I 4 ( t ) | p = e λ t E | 0 t e s t H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) g ( x ( s τ 2 ( s ) ) ) d s | p e λ t E | I 4 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ k 2 k 3 | m ( 0 ) ( 1 τ 2 ( s ) ) x ( s τ 2 ( s ) ) | d s ] p e λ t E | I 4 ( t ) | p e λ t E [ ( 0 t e s t H ( μ ) d μ d s ) p 1 e λ t E | I 4 ( t ) | p × 0 t e s t H ( μ ) d μ ( k 2 k 3 ) p | m ( 0 ) ( 1 τ 2 ( s ) ) x ( s τ 2 ( s ) ) | p d s ] e λ t E | I 4 ( t ) | p e λ t E [ ( 0 t e s t H ( μ ) d μ H ( s ) d s ) p 1 e λ t E | I 4 ( t ) | p × 0 t e s t H ( μ ) d μ ( k 2 k 3 ) p | m ( 0 ) ( 1 τ 2 ( s ) ) x ( s τ 2 ( s ) ) | p d s ] e λ t E | I 4 ( t ) | p [ k 2 k 3 m ( 0 ) ( 1 + k 4 ) ] p e λ t E [ 0 t e s t H ( μ ) d μ | x ( s τ 2 ( s ) ) | p d s ] e λ t E | I 4 ( t ) | p [ k 2 k 3 m ( 0 ) ( 1 + k 4 ) ] p e λ t E [ 0 T e s t H ( μ ) d μ | x ( s τ 2 ( s ) ) | p d s e λ t E | I 4 ( t ) | p + T t e s t H ( μ ) d μ H ( s ) | x ( s τ 2 ( s ) ) | p d s ] e λ t E | I 4 ( t ) | p [ k 2 k 3 m ( 0 ) ( 1 + k 4 ) ] p { E [ sup s [ m ( 0 ) , T ] | x ( s ) | p ] 0 T e ( n λ ) t + n s d s e λ t E | I 4 ( t ) | p + ε ( 1 e T t H ( μ ) d μ ) } e λ t E | I 4 ( t ) | p 0 , e λ t E | I 5 ( t ) | p = e λ t E | t τ 2 ( t ) t A ( t , v ) g ( x ( v ) ) d v | p e λ t E | I 5 ( t ) | p e λ t E [ t τ 2 ( t ) t | A ( t , v ) g ( x ( v ) ) | d v ] p e λ t E | I 5 ( t ) | p e λ t E [ ( t m ( 0 ) t | A ( t , v ) | p p 1 d v ) p 1 × t m ( 0 ) t | g ( x ( v ) ) | p d v ] e λ t E | I 5 ( t ) | p k 2 p k 3 m 2 p ( 0 ) ε 0 , e λ t E | I 6 ( t ) | p = e λ t e p 0 t H ( μ ) d μ | τ 2 ( 0 ) 0 A ( 0 , v ) g ( ψ ( v ) ) d v | p e λ t E | I 6 ( t ) | p e λ t e p 0 t H ( μ ) d μ ( τ 2 ( 0 ) 0 | A ( 0 , v ) g ( ψ ( v ) ) | d v ) p e λ t E | I 6 ( t ) | p [ k 2 k 3 m 2 ( 0 ) max s [ m ( 0 ) , 0 ] | ψ ( s ) | ] p e ( n p λ ) t e λ t E | I 6 ( t ) | p 0 , e λ t E | I 7 ( t ) | p = e λ t E | 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) g ( x ( v ) ) d v d s | p e λ t E | I 7 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s | A ( s , v ) g ( x ( v ) ) | d v d s ] p e λ t E | I 7 ( t ) | p = e λ t E [ 0 t e s t p 1 p H ( μ ) d μ H p 1 p ( s ) e λ t E | I 7 ( t ) | p = × e s t 1 p H ( μ ) d μ H 1 p ( s ) s τ 2 ( s ) s | A ( s , v ) g ( x ( v ) ) | d v d s ] p e λ t E | I 7 ( t ) | p e λ t E [ ( 0 t e s t H ( μ ) d μ H ( s ) ) p 1 e λ t E | I 7 ( t ) | p × 0 t e s t H ( μ ) d μ H ( s ) ( s τ 2 ( s ) s | A ( s , v ) g ( x ( v ) ) | d v ) p d s ] e λ t E | I 7 ( t ) | p e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) ( s τ 2 ( s ) s | A ( s , v ) g ( x ( v ) ) | d v ) p d s ] e λ t E | I 7 ( t ) | p m p 1 ( 0 ) e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s | A ( s , v ) g ( x ( v ) ) | p d v d s ] e λ t E | I 7 ( t ) | p k 2 p k 3 p m 2 p 1 ( 0 ) e λ t E [ 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s | x ( v ) | p d v d s ] e λ t E | I 7 ( t ) | p k 2 p k 3 p m 2 p 1 ( 0 ) e λ t E [ 0 T e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s | x ( v ) | p d v d s e λ t E | I 7 ( t ) | p + T t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s | x ( v ) | p d v d s ] e λ t E | I 7 ( t ) | p k 2 p k 3 p m 2 p ( 0 ) [ E ( sup s [ m ( 0 ) , T ] | x ( s ) | p ) e ( n λ ) t 0 T e s n H ( s ) d s e λ t E | I 7 ( t ) | p + ε ( 1 e T t H ( μ ) d μ ) ] e λ t E | I 7 ( t ) | p 0 , e λ t E | I 8 ( t ) | p = e λ t E | 0 t e s t H ( μ ) d μ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d B ( s ) | p e λ t E | I 8 ( t ) | p J p e λ t E | 0 t e 2 s t H ( μ ) d μ σ 2 ( s , x ( s ) , x ( s τ 3 ( s ) ) ) d s | p 2 e λ t E | I 8 ( t ) | p k 5 J p e λ t E [ 0 t e 2 s t H ( μ ) d μ ( | x ( s ) | 2 + | x ( s τ 3 ( s ) ) | 2 ) d s ] p 2 e λ t E | I 8 ( t ) | p k 5 J p e λ t E [ 0 t e 2 p 2 p s t H ( μ ) d μ H ( s ) e λ t E | I 8 ( t ) | p × e 2 2 p s t H ( μ ) d μ ( | x ( s ) | 2 + | x ( s τ 3 ( s ) ) | 2 ) d s ] p 2 e λ t E | I 8 ( t ) | p k 5 J p e λ t E [ ( 0 t e 2 s t H ( μ ) d μ H ( s ) d s ) p 2 2 e λ t E | I 8 ( t ) | p × 0 t e 2 s t H ( μ ) d μ ( | x ( s ) | 2 + | x ( s τ 3 ( s ) ) | 2 ) p 2 d s ] e λ t E | I 8 ( t ) | p k 5 J p e λ t E [ 0 t e 2 s t H ( μ ) d μ ( | x ( s ) | 2 + | x ( s τ 3 ( s ) ) | 2 ) p 2 d s ] e λ t E | I 8 ( t ) | p 2 p 2 1 k 5 e λ t E [ 0 t e 2 s t H ( μ ) d μ ( | x ( s ) | p + | x ( s τ 3 ( s ) ) | p ) d s ] e λ t E | I 8 ( t ) | p 2 p 2 1 k 5 J p e λ t E [ 0 T e 2 s t H ( μ ) d μ ( | x ( s ) | p + | x ( s τ 3 ( s ) ) | p ) d s e λ t E | I 8 ( t ) | p + T t e 2 s t H ( μ ) d μ H ( s ) ( | x ( s ) | p + | x ( s τ 3 ( s ) ) | p ) d s ] e λ t E | I 8 ( t ) | p 2 p 2 1 k 5 J p [ 2 E ( sup s [ m ( 0 ) , T ] | x ( s ) | p ) 0 T e ( 2 n λ ) t + 2 n s d s e λ t E | I 8 ( t ) | p + ε ( 1 e 2 T t H ( μ ) d μ ) ] e λ t E | I 8 ( t ) | p 0 .

By the same method as in the inequality of e λ t E | I 8 ( t ) | p , we get the following inequality:

e λ t E | I 9 ( t ) | p = e λ t E | 0 t R e s t H ( μ ) d μ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) N ˜ ( d s , d u ) | p J p e λ t E | 0 t R e 2 s t H ( μ ) d μ | h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) | p π ( d u ) d s | p 2 k 5 J p π e λ t E [ 0 t e 2 s t H ( μ ) d μ ( | x ( s ) | 2 + | x ( s τ 3 ( s ) ) | 2 ) d s ] p 2 0 .

From the above inequalities, we can conclude that the operator P maps Z into itself.

Step 3: Finally, we will prove that the operator P is contractive. For any x,yZ, we have

E sup z [ 0 , t ] | P ( x ) ( z ) P ( y ) ( z ) | p = E sup z [ 0 , t ] | G ( t , x ( t τ 1 ( t ) ) ) G ( t , y ( t τ 1 ( t ) ) ) + 0 t e s t H ( μ ) d μ H ( s ) [ x ( s ) G ( s , x ( s τ 1 ( s ) ) ) y ( s ) + G ( s , y ( s τ 1 ( s ) ) ) ] d s + 0 t e s t H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) [ g ( x ( s τ 2 ( s ) ) ) g ( y ( s τ 2 ( s ) ) ) ] d s + t τ 2 ( t ) t A ( t , v ) [ g ( x ( v ) ) g ( y ( v ) ) ] d v 0 t e s t H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) [ g ( x ( v ) ) g ( y ( v ) ) d v ] d s + 0 t e s t H ( μ ) d μ [ σ ( s , x ( s ) , x ( s τ 3 ( s ) ) ) σ ( s , y ( s ) , y ( s τ 3 ( s ) ) ) ] d B ( s ) + 0 t R e s t H ( μ ) d μ [ h ( s , x ( s ) , x ( s τ 4 ( s ) ) , u ) h ( s , y ( s ) , y ( s τ 4 ( s ) ) , u ) ] N ˜ ( d s , d u ) | p E sup z [ 0 , t ] | x ( z ) y ( z ) | p sup z [ 0 , t ] { 3 p 1 ( 2 k 1 + k 3 0 z e s z H ( μ ) d μ A ( s , s τ 2 ( s ) ) ( 1 τ 2 ( s ) ) d s + k 3 z τ 2 ( z ) z A ( t , v ) d v + k 3 0 z e s z H ( μ ) d μ H ( s ) s τ 2 ( s ) s A ( s , v ) d v d s ) p + 4 × 3 p 1 k 5 ( 1 + π ) ( 0 z e s z 2 H ( μ ) d μ d s ) p 2 } α < 1 .

Thus P is a contraction mapping. □

4 Remarks and an example

Remark 4.1 If G(t,x(t τ 1 (t)))=0, τ 2 (t)=L, a(t,s)=p(st), σ(t,x(t),x(t τ 3 (t)))=σ(t) and h(t,x(t),x(t τ 1 (t)),u)=0, then the system (1) turns into

dx(t)= ( t L t p ( s t ) g ( x ( s ) ) d s ) dt+σ(t)dB(t),t0,

which was recently studied in [14] by second moment, i.e., p=2.

Remark 4.2 When G(t,x(t τ 1 (t)))=0, τ 2 (t)=τ, a(t,s)=q(st), g(x(s))=f(x(s)), σ(t,x(t),x(t τ 3 (t)))=g(t) and R h(t,x(t),x(t τ 1 (t)),u)du=h(t), the system (1) degrades into

dx(t)= ( t L t q ( s t ) f ( x ( s ) ) d s ) dt+g(t)dB(t)+h(t)d N ˜ (t),t0.

This system has been investigated in [15]. However, our model (1) is more general.

Example 4.1 We consider the following stochastic differential equation with variable delays:

d [ x ( t ) a 1 x ( t τ 1 ( t ) ) ] = a 2 ( t τ 2 ( t ) t x ( s ) d s ) d t + a 3 x ( t τ 3 ( t ) ) d B ( t ) + a 4 x ( t τ 4 ( t ) ) d N ˜ ( t ) , t 0 .
(7)

Its initial condition is equipped with x(0)=c (constant) and a i , i=1,2,3,4, are positive constants. τ 1 (t), τ 3 (t) and τ 4 (t) are variable delays. Set τ 2 (t)1 and H(t)4, then according to the definition of r under the condition (b) of Theorem 3.1, for t R + , z[0,t] we can calculate and obtain

r = 3 p 1 ( 2 a 1 + a 2 z 1 z ( v t ) d v + 0 z e s z 4 d μ 4 s 1 s a 2 ( v s ) d v d s ) p + 4 × 3 p 1 max { a 3 , a 4 } ( 1 + π ) ( 0 z e s z 8 d μ d s ) p 2 = 3 p 1 ( 2 a 1 a 2 ( t z + 0.5 ) 0.5 a 2 ( 1 e 4 z ) ) p + 3 p 1 2 max { a 3 , a 4 } ( 1 + π ) ( 1 e 8 z ) p 2 3 p 1 ( 2 a 1 0.5 a 2 ) p + 3 p 1 2 max { a 3 , a 4 } ( 1 + π ) .
(8)

Let p=1, a 1 =0.1, a 2 =0.2, a 3 = a 4 =0.04, then by (8) we have r0.2. As a result, according to Theorem 3.1 we can conclude that the zero solution of (7) is one of first moment exponential stability.

5 Conclusion

In this paper, we have investigated the stochastic neutral Volterra-Levin equation with Lévy noise and variable delays, and we obtained the condition of p th moment exponential stability by fixed point theory and the Bukhölder-Davis-Gundy inequality. Presently known results are improved and generalized. However, there are many problems to be solved for the stochastic Volterra-Levin equation, such as stability of this equation driven by factional Brownian motion [18], persistence, and so on.

References

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

    MATH  Google Scholar 

  2. Mao X: Exponential Stability of Stochastic Differential Equations. Marcel Dekker, New York; 1994.

    MATH  Google Scholar 

  3. Luo J: Stability of stochastic partial differential equations with infinite delays. J. Comput. Appl. Math. 2008, 222(2):364–371.

    Article  MATH  MathSciNet  Google Scholar 

  4. Sakthivel R, Luo J: Asymptotic stability of impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 2009, 356(1):1–6.

    Article  MATH  MathSciNet  Google Scholar 

  5. Ren Y, Sakthivel R: Existence, uniqueness, and stability of mild solutions for second-order neutral stochastic evolution equations with infinite delay and Poisson jumps. J. Math. Phys. 2012., 53(7): Article ID 073517

    Google Scholar 

  6. Sakthivel R, Ren Y: Exponential stability of second-order stochastic evolution equations with Poisson jumps. Commun. Nonlinear Sci. Numer. Simul. 2012, 17(12):4517–4523.

    Article  MATH  MathSciNet  Google Scholar 

  7. Sakthivel R, Ren Y, Kim H: Asymptotic stability of second-order neutral stochastic differential equations. J. Math. Phys. 2010., 51(5): Article ID 052701

    Google Scholar 

  8. Burton TA: Perron-type stability theorems for neutral equations. Nonlinear Anal., Theory Methods Appl. 2003, 55(3):285–297.

    Article  MATH  Google Scholar 

  9. Burton TA, Zhang B: Fixed points and stability of an integral equation: nonuniqueness. Appl. Math. Lett. 2004, 17(7):839–846.

    Article  MATH  MathSciNet  Google Scholar 

  10. Burton TA: Fixed points and stability of a nonconvolution equation. Proc. Am. Math. Soc. 2004, 132: 3679–3687.

    Article  MATH  Google Scholar 

  11. Burton TA: Stability by fixed point theory or Liapunov theory: a comparison. Fixed Point Theory 2003, 4(1):15–32.

    MATH  MathSciNet  Google Scholar 

  12. Levin JJ: The asymptotic behavior of the solution of a Volterra equation. Proc. Am. Math. Soc. 1963, 14(4):534–541.

    Article  MATH  Google Scholar 

  13. Zhao D, Yuan S: 3/2-stability conditions for a class of Volterra-Levin equations. Nonlinear Anal., Theory Methods Appl. 2014, 94: 1–11.

    Article  MATH  MathSciNet  Google Scholar 

  14. Luo J: Fixed points and exponential stability for stochastic Volterra-Levin equations. J. Comput. Appl. Math. 2010, 234(3):934–940.

    Article  MATH  MathSciNet  Google Scholar 

  15. Guo L, Zhu Q: Stability analysis for stochastic Volterra-Levin equations with Poisson jumps: fixed point approach. J. Math. Phys. 2011., 52(4): Article ID 042702

    Google Scholar 

  16. Jin C, Luo J: Stability of an integro-differential equation. Comput. Math. Appl. 2009, 57(7):1080–1088.

    Article  MATH  MathSciNet  Google Scholar 

  17. Ardjouni A, Djoudi A: Stability in nonlinear neutral integro-differential equations with variable delay using fixed point theory. J. Appl. Math. Comput. 2013, 44: 317–336.

    Article  MathSciNet  Google Scholar 

  18. Biagini F: Stochastic Calculus for Fractional Brownian Motion and Applications. Springer, London; 2008.

    Book  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their carefulness, helpful comments and suggestions which can greatly improve this paper. This work was partially supported by the NSFC (Nos. 61304161 and 11301260), the NSF of Jiangxi (Nos. 20132BAB211003, 20132BAB211037) and the YFED of Jiangxi (No. GJJ13078) of China, the Education and Reform of Jiangxi (No. JXJG-13-1-3).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shuiming Xiao.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

HY carried out the main parts of the draft. XX and XW provided the main idea of this paper. SX gave many valuable suggestions on how to modify this paper and responded the reviewers’ comments. All authors checked and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Yin, H., Xiao, S., Xiao, X. et al. pth moment stability in stochastic neutral Volterra-Levin equation with Lévy noise and variable delays. Adv Differ Equ 2014, 106 (2014). https://doi.org/10.1186/1687-1847-2014-106

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords