Stability analysis of second-order differential systems with Erlang distribution random impulses
Advances in Difference Equations volume 2013, Article number: 4 (2013)
Differential systems with random impulses are a new kind of mathematical models. In this paper, we put forward a model of second-order impulsive differential systems with Erlang distribution random impulses. Sufficient conditions are obtained for oscillation in mean and p-moment stability of this model respectively. An example is presented to illustrate the efficiency of the results obtained.
MSC:34A37, 34A12, 34A34.
It is recognized that the impulsive differential system is an effective model for many real world phenomena, thus it has been widely used in the study of physics, engineering, information and communications technology, etc. in the past years and a lot of valuable results have been obtained (see [1–15] and references therein).
For impulsive differential systems, most researchers concern about two kinds of impulse times: fixed impulse times and varying impulse times, which mean that the impulse time is some functions of the ‘state x’ [7–9]. However, the impulse phenomena sometimes happen at random times, and any solution of systems driven by this kind of impulses is a stochastic process, which is very different from those of differential systems with impulses at fixed moments and varying impulse times . Thus, the randomness introduced in impulsive differential systems by this way has brought us new difficulties and problems in the study of impulsive differential systems. Some other kinds of randomness brought to a system can be seen in [16–18].
In fact, only few researchers have studied this kind of impulse (see [11–15] and references therein). Wu and Meng first introduced random impulsive ordinary differential equations and investigated the boundedness of solutions to these models by Lyapunov’s direct method in . In , Wu et al. discussed the existence and uniqueness in mean square of solutions to certain impulsive differential systems by employing the Cauchy-Schwarz inequality, Lipschitz condition and techniques in stochastic analysis. In , Anguraj et al. presented the existence and exponential stability of mild solutions of semilinear differential equations with random impulses. In , the existence and uniqueness of stochastic differential equations with random impulses were studied by Wu and Zhou via employing the Bihari inequality under non-Lipschitz conditions. In , Wu and Duan studied the oscillation, stability and boundedness of second-order differential systems with random impulses. But in their paper, the random impulses must be independent and follow the same exponential distribution which is a very strong condition. Inspired by their work, we generalized their results to a much more general distribution, called the Erlang distribution, which has been widely used to describe the waiting times. We will call this kind of impulse the ‘random impulses’ throughout this paper. And in this paper, we will discuss properties such as oscillation, stability of second-order differential systems with Erlang distribution random impulses.
The rest of this paper is organized as follows. In Section 2, we recall some preliminary definitions. In Section 3, we first give some useful and important lemmas, then establish our main oscillation and stability results. In Section 4, we give an example to illustrate the effectiveness of our results. Finally, the conclusion and the acknowledgements are mentioned in Section 5.
Let be a given complete probability space and ’s be non-negative random variables defined in , . Furthermore, assume that and are independent with each other when for . denotes the mathematical expectation. For the sake of simplicity, we denote , , , , where is a constant. Consider the second-order linear differential systems with random impulses,
where are Lebesgue measurable and locally essentially bounded functions, and for all , , , and .
Before giving the main results, we first introduce some definitions.
Definition 2.1 A stochastic process is said to be a sample path solution to the system (1) with (2) satisfying the initial value condition,
if for any sample value , of , then satisfies the following equations:
Definition 2.2 Let , then the system (1) with (2) is said to be
p-moment stable if for any and , there exists a such that
uniformly p-moment stable if the δ in (i) is independent of ;
asymptotically p-moment stable if it is p-moment stable, and for any , and , there exists a such that
uniformly asymptotically p-moment stable if it is uniformly p-moment stable, and the T in (iii) is independent of .
Generally, two-moment stable is called stable in mean square.
Definition 2.3 A solution to the system (1) with (2) is said to be non-oscillatory in mean if is either eventually positive or eventually negative. Otherwise, it is called oscillatory.
Definition 2.4 The Erlang distribution is a continuous probability distribution with probability density function as follows:
where is the shape parameter and is the rate parameter. In the following, we will denote the probability density function of the Erlang distribution by .
Remark 2.1 Some properties of the Erlang distribution.
The mean value of is , the variance of is ;
If X, Y are independent, and , , then ;
The cumulative distribution function (CDF) of the Erlang distribution is
Consider the following auxiliary differential system:
A solution to the system (3) means that has the second-order derivative on and satisfies the system (3) for all .
The following condition will be needed by all main results in Section 3.
Let follow , where , , and , for any and let be independent with when .
Remark 2.2 From Remark 2.1(i), we know that the assumption () means that the impulses interval is non-decreasing in k in the sense of expectation.
3 Main results
In this section, some results on p-moment stability and oscillation in mean of the second-order linear differential systems (1) with random impulses (2) are presented. Inspired by , we obtain the following lemma, which guarantees with probability 1.
Lemma 3.1 Assume that the condition (H) holds, then with probability 1.
Proof For a given non-negative random variable τ and a constant , we define
By Kolmogorov’s three series theorem and Kolmogorov’s zero-or-one laws , almost surely if and only if at least one of the series and diverges for some or any .
From the CDF of the Erlang distribution, we obtain that is increasing in k, together with , we conclude that diverges. Thus, we know that almost surely. The proof is complete. □
Lemma 3.2 (see )
is a solution of the system (1) with (2) if and only if
where is a solution of the system (3) with the same initial conditions of the system (1) with (2), and is the index function, i.e.,
Here and in the sequel, we assume that a product equals unity if the number of factors is equal to zero.
Theorem 3.1 Let the condition (H) hold. Further assume that there are a finite number of such that . If there exists a such that
does not change its sign for all , then all solutions of the system (1) with (2) are oscillatory in mean if and only if all solutions of the system (3) are oscillatory. Here and in the following, .
Proof Let be any sample path solution of the system (1) with (2), then it follows from Lemma 3.2 that
Since there are a finite number of such that , there exists a K such that are either non-negative or non-positive for all . Hence, by either monotone convergence or Tonelli’s theorem ,
does not change its sign for all ,
does not change its sign for all , too. Hence, has the same sign as for all . That is, all solutions of the system (1) with (2) are oscillatory in mean if and only if all solutions of the system (3) are oscillatory. The proof is complete. □
Theorem 3.2 Let the condition (H) hold and further assume that there are a finite number of such that . Then all solutions of the system (1) with (2) are oscillatory in mean if and only if all solutions of the system (3) are oscillatory.
Proof According to Theorem 3.1, we only need to prove that there exists a such that
does not change its sign for all .
In the following, we will discuss the sign of (4) in two cases respectively.
Case I. Assume that there are a finite number of such that and no . Then there exists a finite set such that for all and for all .
If n is odd,
For any fixed k, ,
holds for .
holds for all , where , and
is a positive constant.
holds for . From (6), we obtain that
From (5) and (7), it follows that
for , where .
If n is even, similar to the procedure of (a) in Case I, we can prove that
holds for all .
From (a), (b), we know that
does not change its sign for all .
Case II. Assume there are a finite number of such that and at least a . Then let , and let for all and for all , where satisfying . Without loss of generality, we assume . Then
Similar to the proof of Case I, we can prove that
does not change its sign for all .
In summary, by Case I, Case II and Theorem 3.1, all solutions of the system (1) with (2) are oscillatory in mean if and only if all solutions of the system (3) are oscillatory. The proof is complete. □
Theorem 3.3 Let the condition (H) hold. If there exists a constant such that
holds for all , then the system (1) with (2) is (uniformly, asymptotically, uniformly asymptotically, etc.) p-moment stable if and only if the system (3) is stable correspondingly.
Proof Let be any solution of the system (1) with (2). Similar to the proof of Theorem 3.1, we obtain that
By assumption, we obtain that
So, if the trivial solution of the system (3) is stable, then for any , there exists a such that
From and (8), we obtain that
which means that the trivial solution of the system (1) with (2) is p-moment stable.
The remaining proof is similar to the proof above, so we omit it. The proof is complete. □
Let the condition (H) hold. Consider the second-order linear differential systems with random impulses as follows:
and the auxiliary differential equation
By the classic Lyapunov’s theory, the system (11) is stable, and if we let for , , , , be arbitrary for , , , then by Theorem 3.3, we obtain that the system (9) with (10) is stable in mean square. It can be seen that for this example, the most important impulsive effects are the first two impulsive functions and .
In this paper, we first put forward a model of second-order impulsive differential systems with Erlang distribution random impulses. Then we obtain sufficient conditions for oscillation in mean and p-moment stability of this model respectively. Finally, an example is presented to illustrate the efficiency of the results obtained.
Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
Berezansky L, Braverman E: Oscillation and other properties of linear impulsive and nonimpulsive delay equations. Appl. Math. Lett. 2003, 16: 1025-1030. 10.1016/S0893-9659(03)90090-5
Li CX, Sun JT, Sun RY: Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects. J. Franklin Inst. 2010, 347: 1186-1198. 10.1016/j.jfranklin.2010.04.017
Pan LJ, Cao JD: Exponential stability of impulsive stochastic functional differential equations. J. Math. Anal. Appl. 2011, 382: 672-685. 10.1016/j.jmaa.2011.04.084
Chen LJ, Sun JT: Nonlinear boundary value problem of first order impulsive functional differential equations. J. Math. Anal. Appl. 2006, 318: 726-741. 10.1016/j.jmaa.2005.08.012
Zhu LP, Dong QX, Li G: Impulsive differential equations with nonlocal conditions in general Banach spaces. Adv. Differ. Equ. 2012., 2012: Article ID 10
Soliman AA: On the stability of perturbed impulsive differential systems. Appl. Math. Comput. 2002, 133: 105-117. 10.1016/S0096-3003(01)00225-9
Liu XZ: Impulsive stabilization of nonlinear systems. IMA J. Math. Control Inf. 1993, 10: 11-19. 10.1093/imamci/10.1.11
Kou CH, Zhang SN, Wu SJ: Stability analysis in terms of two measures for impulsive differential equations. J. Lond. Math. Soc. 2002, 66: 142-152. 10.1112/S0024610702003277
Pan LJ, Cao JD: Exponential stability of stochastic functional differential equations with Markovian switching and delayed impulses via Razumikhin method. Adv. Differ. Equ. 2012., 2012: Article ID 61
Wu SJ, Duan YR: Oscillation, stability, and boundedness of second-order differential systems with random impulses. Comput. Math. Appl. 2005, 49: 1375-1386. 10.1016/j.camwa.2004.12.009
Wu SJ, Meng XZ: Boundedness of nonlinear differential systems with impulsive effect on random moments. Acta Math. Appl. Sin. 2004, 20: 147-154.
Wu SJ, Guo XL, Lin SQ: Existence and uniqueness of solutions to random impulsive differential systems. Acta Math. Appl. Sin. 2006, 22: 595-600. 10.1007/s10114-005-0689-z
Anguraj A, Wu SJ, Vinodkumar A: The existence and exponential stability of semilinear functional differential equations with random impulses under non-uniqueness. Nonlinear Anal. 2011, 74: 331-342. 10.1016/j.na.2010.07.007
Wu SJ, Zhou B: Existence and uniqueness of stochastic differential equations with random impulses and Markovian switching under non-Lipschitz conditions. Acta Math. Sin. Engl. Ser. 2011, 27: 519-536. 10.1007/s10114-011-9753-z
Ding DR, Wang ZD, Shen B, Shu HS: H -infinity state estimation for discrete-time complex networks with randomly occurring sensor saturations and randomly varying sensor delays. IEEE Trans. Neural Netw. Learn. Syst. 2012, 23: 725-736.
Shen B, Wang ZD, Liu XH: Bounded H -infinity synchronization and state estimation for discrete time-varying stochastic complex networks over a finite-horizon. IEEE Trans. Neural Netw. 2011, 22: 145-157.
Wang ZD, Wang Y, Liu DR: Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time-delays. IEEE Trans. Neural Netw. 2010, 21: 11-25.
Csorgo S, Hatvani L: Stability properties of solutions of linear second order differential equations with random coefficients. J. Differ. Equ. 2010, 248: 21-49. 10.1016/j.jde.2009.08.001
Chung KL: A Course in Probability Theory. 3rd edition. Academic Press, San Diego; 2001.
This work is supported by the NSF of China under Grant 61174039, and by the Fundamental Research Funds for the Central Universities of China.
The authors declare that they have no competing interests.
SZ completed the proof and wrote the initial draft. JS provided the problem and gave some suggestions for amendment. SZ then finalized the manuscript. Correspondence was mainly done by JS. All authors read and approved the final manuscript.
About this article
Cite this article
Zhang, S., Sun, J. Stability analysis of second-order differential systems with Erlang distribution random impulses. Adv Differ Equ 2013, 4 (2013). https://doi.org/10.1186/1687-1847-2013-4