Abstract
Choosing space as the phase space, the existence, uniqueness and stability of the solution to neutral stochastic functional differential equations with infinite delay (short for INSFDEs) are studied in this paper. Under non-Lipschitz condition, weakened linear growth condition and contractive condition, the existence-and-uniqueness theorem of the solution to INSFDEs by means of the Picard iteration, Doob’s martingale inequalities, Gronwall’s inequality and Bihari’s inequality is obtained. Furthermore, the continuous dependence of the solutions on the initial value to INSFDEs are derived.
MSC:65C30, 60H10.
Similar content being viewed by others
1 Introduction
With the development of industrial technology, just using ordinary differential equations to describe the systems with the phenomenon of time delay is not very ideal in real life. So, we cannot ignore the impact of system-related time delay. Namely, the information provided by the historical state of the system is the necessary data for the development to the current state. Such a system which depends on the historical information is called functional differential equations [1]. In general, functional differential equations are widely used in the fields of biological engineering, chemistry and chemical engineering etc. For functional differential equations with infinite delay, the selection of phase space plays a key role in solving specific problems [2]. In 1978, Hale et al. [3], Schumacher [4, 5] built a foundation of phase space axiomatic, respectively. In 1980, Corduneana et al. [6] summarized the theory of functional differential equations with infinite delay. Almost at the same time, Wang et al. built phase space and Burton constructed phase space, respectively [2]; these two kinds of phase spaces are different, and they are convenient for establishing the qualitative properties of solutions to functional differential equations with infinite delay.
In recent years, the existence-and-uniqueness theorem, stability and other related properties of stochastic functional differential equations have attracted great attention (see [7–9] and references therein for details). In 2006, Wei [10] studied the existence-and-uniqueness theorem of solutions to stochastic functional differential equations with infinite delay (ISFDEs in short) at phase space , and , respectively. Furthermore, she obtained the estimate for the error between the approximate solution and the accurate one to ISFDEs, which generalized Mao’s conclusions [7]. In 2007, under uniform Lipschitz condition and local Lipschitz respectively, Wei et al. [11] considered ISFDEs at phase space , they obtained the existence-and-uniqueness theorem and the moment estimate of solutions. In 2008, Xu et al. [12] established the existence, uniqueness and continuity of the local solutions to ISFDEs by means of Driver theorem and Picard iteration. In 2010, Yue et al. [13] investigated the existence, uniqueness and stability of solutions to ISFDEs under non-Lipschitz condition. Some authors introduced the theory of delayed stochastic functional differential equations into a neural network. For instance, Su et al. [14] considered an n-dimensional stochastic neural network with infinite delay (ISNN in short) in 2011. They obtained some sufficient conditions for stochastic stability, stochastic asymptotical stability and global stochastic asymptotic stability under some basic assumptions. Moreover, the stochastic stability of ISNN would not be changed when the environmental noises were small. In 2013, Zhang et al. [15] obtained sufficient criteria for stability and boundedness of solutions by the Lyapunov-Krasovskii functional approach to stochastic Volterra integrodifferential equations with infinite delay.
Stochastic system depends not only on the current state and a period of past state, but also on the rate of change for the past state, the systems are said to be neutral stochastic functional differential equations (NSFDEs in short) [7]. In 2000, under the classic Lipschitz condition, Mao [7, 16] discussed the existence-and-uniqueness theorem, the -exponential estimates, exponential stability and almost sure exponential stability for a solution to NSFDEs. For neutral stochastic functional differential equations with infinite delay (INSFDEs in short), in 2008, Zhou et al. [17] established the existence and uniqueness theorem of solutions to INSFDEs under uniform Lipschitz condition. In 2009, under non-Lipschitz condition, Ren et al. [18] obtained the existence-and-uniqueness theorem and continuous dependence of solutions to INSFDEs by means of Bihari’s inequality at phase space . In 2010, Xu et al. [19] studied the existence and uniqueness of the solution to INSFDEs under Lipschitz condition through establishing a Banach space . Chen [20] investigated the existence and uniqueness of solutions to INSFDEs under uniform Lipschitz condition, linear growth condition and contractive condition at phase space by constructing a new iterative by the fixed point theorem. Then, he got the moment estimate of solutions and the estimate for the error between the approximate solution and the accurate solution.
Motivated by the work [18], we choose as our phase space in this paper, the existence-and-uniqueness theorem of the solutions to INSFDEs will be obtained under non-Lipschitz condition, weakened liner growth condition and contractive condition. Furthermore, the continuous dependence of solutions on the initial value is given.
2 Preliminary
Let , , denote the family of continuous functions from to , let be a continuous and non-increasing function such that , . Define
For any , the norm be defined as . Arion et al. [21] proved that was a Banach space with the norm . We denote by the family of all -measurable, -valued process , such that .
Let , throughout this paper unless otherwise specified, be a complete probability space with a filtration satisfying the usual conditions. Assume that is an m-dimensional Brownian motion defined on a complete probability space. For , let , and be Borel measurable. Consider the d-dimensional neutral stochastic functional differential equation with infinite delay
where can be regarded as a -value stochastic process. The initial data of system (1)
is -measurable, -valued random variable such that .
Definition 1 [7]
-value stochastic process defined on is called the solution of (1) with initial data (2) if has the following properties:
-
(i)
is continuous and is -adapted;
-
(ii)
and ;
-
(iii)
, for each ,
is called a unique solution if any other solution is distinguishable with , that is,
We always assume that (B1)-(B3) are valid in this paper.
(B1) (non-uniform Lipschitz condition) For any and , it follows that
where is a concave continuous nondecreasing function from to such that , for and ;
(B2) (weakened linear growth condition) For any , it follows that such that , where is a constant;
(B3) (contractive condition) There exists a positive constant , for any and , it follows that
Definition 2 [18]
Solution of system (1) with initial data (2) is said to be stable in mean square if for all , there exists . When , it follows that for all , where is another solution of system (1) with initial data .
Lemma 1 (Hölder’s inequality) [7]
If for any , and , then and .
Lemma 2 (Doob’s martingale inequality) [7]
Let be an -value martingale and let be a bounded interval on . If and , then . In particular, as .
Lemma 3 (Gronwall’s inequality) [7]
Let , and let be a real continuous function on . If for all , then for all .
Lemma 4 [7]
If , such that , then
In particular, as .
Lemma 5 (Bihari’s inequality) [7]
Let and , let , be continuous functions on . Let be a concave continuous and nondecreasing function such that for . If for all , then for all such that , where , and is the inverse function of G.
Lemma 6 [18]
Let the assumptions of Lemma 5 hold and for . If for all , there exists such that holds for , then for every , the estimate holds.
3 The existence-and-uniqueness theorem
Let , for and all . Define the following Picard sequence
If we can give the approximate solutions by means of Picard iteration, then the existence-and-uniqueness theorem of the solutions for INSFDEs at phase space can be discussed next.
Theorem 1 If (B1), (B2) and (B3) hold, then there exists a unique solution to system (1) with initial value (2).
To show Theorem 1, first of all, let us prove two useful lemmas.
Lemma 7 Under the assumptions (B1), (B2) and (B3), for all , there exist positive constants , , such that
Proof Obviously, . By induction, . In fact, from Hölder’s inequality and the elementary inequality , we have
Taking the exception on both sides, and by Hölder’s inequality and Lemma 4, thus we get
Let . According to the property of a concave function, always exists maximum on the bounded closed interval , without loss of generality, taking as . The line L always lies on the curve , and line L passes through the point with the slope . Hence, for all , , it then follows
where and are positive constants. Thus, (4) can be simplified as
where .
According to the fact , one can see that
Again, noting that
for any .
By (7), (8) and Doob’s martingale inequality, (6) becomes
where , . Consequently,
Let
since k is arbitrary, by means of Gronwall’s inequality, we derive that
On the other hand, by the elementary inequality , one gets
From (B1), (B2), (B3), Hölder’s inequality and Jensen inequality for the concave function , it yields that
that is,
where . From (11), (14) can be simplified as
where . The proof is complete. □
For all , define
For , define the recursive function
We choose such that
In fact, from the monotonicity of a concave function and the relationship between , and , (19) becomes , that is,
From (5), and noting the fact that , we can get
Lemma 8 There exists a positive such that
for all , .
Proof According to the definition of the function , we have
From (19), we also have
Thus we derive that for all .
By induction, assume that , holds for some . Now we check Lemma 8 is valid for . In fact,
From (17), one gets that
The proof is complete. □
Proof for the uniqueness of Theorem 1 Let and be any two solutions of system (1) with the initial data (2). Thus, we have
By the elementary inequality , Hölder’s inequality and Lemma 4, one can find that
From (B1), (B2), the definition of the norm at phase space and (7), then we have
therefore
Lemma 5 and Lemma 6 yield , . The proof of uniqueness is complete. □
Proof for the existence of Theorem 1 Note that is continuous on . For each , is decreasing on , and for each t, is also a decreasing sequence. From the dominated convergence theorem, we can define the function as
Thus
For all , Lemma 5 and Lemma 6 imply that .
By Lemma 8, for , we have as , that is, as . From the completeness of , the assumptions (B1), (B2), (B3) and the property of the function to , it then follows that for all ,
Then, for all ,
that is,
which demonstrates that is one solution of system (1) with initial data (2) on , where . By iteration, the existence of solutions to system (1) on can be obtained. The proof is complete. □
From Theorem 1, the existence and uniqueness of solutions to system (1) are defined on a finite interval . If all additions of the existence and uniqueness theorem are satisfied on every finite subinterval of , then system (1) will have a unique solution on the entire interval . So, we have the following corollary.
Corollary 1 Assume that for each real number , there exist positive constants and such that for all and all , it follows that
where is defined in (B1). Then the system
has a unique global solution ; moreover, .
The proof is similar to that in Theorem 1, we omit it here.
4 Continuous dependence of solutions with initial value
In this section, we give the continuous dependence of solutions for system (1) with the initial data (2) by means of Lemma 5 and Lemma 6.
Theorem 2 Let and be two solutions of system (1) with initial data ξ and η, respectively. Assume that (B1), (B2) and (B3) are satisfied if for all and , there exists such that , then .
Proof For any , it follows that
Then
By the same arguments, we get that
Let , , , for is a concave continuous increasing function from to such that for , and . Therefore, for any , , , it yields that as . From Lemma 5 and Lemma 6, for any , the estimate holds, i.e., . The proof is complete. □
Corollary 2 Let and be two solutions of system (1) with initial data ξ and η, respectively. Assume that (B1), (B2) and (B3) are satisfied if for all and , there exists such that , then for .
References
Hale JK: Theory of Functional Differential Equations. Springer, New York; 1977.
Wang K, Fan M: Phase Space Theory and Their Application of Functional Differential Equations. Science Press, Beijing; 2009.
Hale JK, Kato J: Phase space for retarded equations with infinite delay. Funkc. Ekvacioj 1978, 21(1):11–41.
Schumacher K: Existence and continuous dependence for functional-differential equations with unbounded delay. Arch. Ration. Mech. Anal. 1978, 67(4):315–335.
Schumacher K: Dynamical systems with memory on history-spaces with monotonic seminorms. J. Differ. Equ. 1979, 34(3):440–463. 10.1016/0022-0396(79)90030-5
Corduneanu C, Lakshmikantham V: Equations with unbounded delay: a survey. Nonlinear Anal. 1980, 4(5):831–877. 10.1016/0362-546X(80)90001-2
Mao XR: Stochastic Differential Equations and Applications. Horwood, Chichester; 1997.
Zheng ZX: The development and application of functional differential equations. Adv. Math. 1983, 12(2):94–112.
Friedman A: Stochastic Differential Equations and Their Applications. Academic Press, San Diego; 1976.
Wei, FY: The basic theory of stochastic functional differential equations with infinite delay. Dissertation, Northeast Normal University, China (2006)
Wei FY, Wang K: The existence and uniqueness of the solution for stochastic functional differential equations with infinite delay. J. Math. Anal. Appl. 2007, 331(1):516–531. 10.1016/j.jmaa.2006.09.020
Xu DY, Yang ZG, Huang YM: Existence-uniqueness and continuation theorems for stochastic functional differential equations. J. Differ. Equ. 2008, 245(6):1681–1703. 10.1016/j.jde.2008.03.029
Yue CH, Wu J:Existence, uniqueness and stability of the solution to stochastic functional differential equations with infinite delay at phase space . J. Univ. Sci. Technol. China 2010, 40(6):583–589.
Su H, Li WX, Wang K, Ding XH: Stability analysis for stochastic neural network with infinite delay. Neurocomputing 2011, 74(10):1535–1540. 10.1016/j.neucom.2010.12.027
Zhang CM, Li WX, Wang K: Stability and boundedness of stochastic Volterra integrodifferential equations with infinite delay. J. Appl. Math. 2013., 2013: Article ID 320832
Mao XR: Asymptotic properties of neutral stochastic differential delay equations. Stoch. Int. J. Probab. Stoch. Process. 2000, 68(3/4):273–295.
Zhou SB, Xue MG: The existence and uniqueness of the solutions for neutral stochastic functional differential equations with infinite delay. Math. Appl. 2008, 21(1):75–83.
Ren Y, Xia NM: Existence, uniqueness and stability of the solutions to neutral stochastic functional differential equations with infinite delay. Appl. Math. Comput. 2009, 210(1):72–79. 10.1016/j.amc.2008.11.009
Xu Y, Hu SG: The existence and uniqueness of the solution for neutral stochastic functional differential equations with infinite delay in abstract space. Acta Appl. Math. 2010, 110(2):627–638. 10.1007/s10440-009-9465-x
Chen HB: The existence and uniqueness for the solution of neutral stochastic functional differential equations with infinite delay. J. Math. Res. Expo. 2010, 30(4):589–598.
Arino OA, Burton TA, Haddock JR: Periodic solutions to functional differential equations. Proc. R. Soc. Edinb. A 1985, 101: 253–271. 10.1017/S0308210500020813
Acknowledgements
This research is supported by NNSF of China (11201075), the Natural Science Foundation of Fujian Province of China (2010J01005) and the Technology Innovation Platform Project of Fujian Province (No. 2009J1007). The authors are thankful to the referees for their careful reading of the manuscript and insightful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors conceived of the study and carried out the proof. All authors read 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.
About this article
Cite this article
Wei, F., Cai, Y. Existence, uniqueness and stability of the solution to neutral stochastic functional differential equations with infinite delay under non-Lipschitz conditions. Adv Differ Equ 2013, 151 (2013). https://doi.org/10.1186/1687-1847-2013-151
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-151