Stochastic stability and moment Lyapunov exponent for co-dimension two bifurcation system with a bounded noise
Shenghong Li1 , Jiancheng Wu2
1, 2School of Mathematics and Physics, Jiangsu university of Science and Technology, Zhenjiang 212003, Jiangsu Province, China
2State Key Lab of Mechanics and Control for Mechanical Structures, College of Aerospace Engineering, Nanjing University of Aeronautics and Astronautics, 29 Yudao Street, Nanjing 210014, China
Journal of Vibroengineering, Vol. 17, Issue 8, 2015, p. 4589-4602.
Received 22 April 2015; received in revised form 30 July 2015; accepted 11 August 2015; published 30 December 2015
In this paper, the th moment Lyapunov exponent of a co-dimension two bifurcation system that is parametrically excited by a real noise is investigated. By a linear stochastic transformation, the eigenvalue problem of moment Lyapunov exponent is obtained. Then through perturbation method, we deduce the joint probability density function of the phase processes and its eigenvalue problem, which is solved by a Fourier cosine series expansion. Thus, an infinite matrix yields and whose leading eigenvalue is the second order of the asymptotic expansion of the moment Lyapunov exponent. Because of the complexity of elements in matrix , the eigenvalues of the low order sub-matrices of are obtained by the truncation of and the convergence of the eigenvalue sequence is numerically illustrated. Finally, the effects of the system and noise parameters on the moment Lyapunov exponent are discussed.
Keywords: moment stability, moment Lyapunov exponent, perturbation method, diffusion process.
The moment Lyapunov exponent that describes the th moment stability of stochastic dynamic system, is defined as:
where is a solution to a random dynamical system and denotes expected value. If , by definition, as , which represents that the th moment of the stochastic system is stable. The relation between moment stability and almost-sure stability for an un-damped linear oscillator under real noise excitation was found firstly by Molcanov . Later, the results were extended to an arbitrary -dimensional system by Arnold in Ref. , meanwhile, the rigorous definition of the moment Lyapunov exponent was firstly defined and the following results were obtained. Under some conditions, the limit in Eq. (3) exists and is independent of the initial value . So the moment Lyapunov exponent can be written as , which is a convex analytic function of . In addition, the maximal Lyapunov exponent is a derivative of moment Lyapunov exponent at 0, i.e.:
Then, Aronld investigated the linear stochastic systems excited by the real noise and white noise, and given a series of results of the moment Lyapunov exponent respectively in [3, 4]. Thus, the stochastic problem of linear system was resolved completely.
However, it is extremely difficult to investigate the stochastic stability of a nonlinear dynamical system except for several very special cases, especially for moment stability. So far, almost all the investigations on the moment Lyapunov exponents are confined to the approximate analytical methods. For a two dimensional stochastic system, L. Arnold  firstly applied a perturbation method to perform the asymptotic expansions of the th moment Lyapunov exponents on a small noise intensity and a small value of Using the same method, Namachchivaya  obtained the small th moment Lyapunov exponent for a system with two coupled oscillators that is excited by a real noise. For a linear conservative system with a white noise, Khasminskii and Moshchuk  proved that the finite th moment Lyapunov exponent and the stability index can respectively be expressed only as the asymptotic expansions of small noise intensity. On the basis of the theorem given in , for the same system and random excitation as , Namachchivaya and Roessel  obtained the asymptotic expansion of the finite th moment Lyapunov exponent. For the two dimensional system that was driven by the real noise and the bounded noise excitations respectively, Xie [9-10] implemented the weak noise expansions of the finite th moment Lyapunov exponent, the maximal Lyapunov exponent and the stability index through the same procedure. In recent years, this topic is still a hotspot for the researchers in the field of random dynamical system. The stability properties of a Van der Pol-Duffing oscillator with a real noise was investigated by Liu . Due to the complexity of approximate analytical methods, Higham  gave the numerical simulation of moment Lyapunov exponent in stochastic differential equations. Then, the moment Lyapunov exponent and the stochastic stability of a double-beam system under the compressive axial loading and moving narrow bands was studied by Kozic . Shenghong Li [14, 15] presented the result of the moment Lyapunov exponent for a three dimensional stochastic system. For a binary airfoil system driven by non-Gaussian colored noise, DL Hu  obtained its moment Lyapunov exponent.
In this paper, the th moment Lyapunov exponent of a co-dimension two bifurcation system that is parametrically excited by a real noise is investigated. For the same system, the maximal Lyapunov exponent was investigated by Li [17, 18]. In Section 2, the studied dynamical system is introduced and the eigenvalue problem of moment Lyapunov exponent is obtained. In Section 3, through a perturbation method, the probability density functions of differential operator about , and are solved respectively. In Section 4, via an expansion of orthogonal Fourier series, the eigenvalue problem of the differential operator leads to the eigenvalue problem for an infinite matrix, whose leading eigenvalue is the moment Lyapunov exponent. The numerical results are presented in Section 5 and a conclusion is given in Section 6.
Consider a typical deterministic co-dimension two bifurcation system that is on a three-dimension central manifold and possesses one zero-eigenvalue and a pair of pure imaginary eigenvalues , i.e.:
where and are unfolding parameters, , , , , , and is real constants. This normalized form arises in the classic fluid dynamic stability study of coquette flow.
According to Oseledec multiplication ergodic theorem in the theory of random dynamical system, both invariant manifold of the nonlinear system and the relevant invariant subspace of its linearized system are tangent at the equilibrium point, thus the almost asymptotic stabilities for the two systems at the equilibrium point are the same. Therefore, in order to study the stability for a nonlinear stochastic system at the equilibrium point, it is sufficient we only investigate the stochastic stability of its corresponding linearized system within the vicinity of the equilibrium point by the results.
Via the transformation of , , in the vicinity of equilibrium point , the linearization of the original system Eq. (3), which is subjected to a stochastic parametric perturbation, is the following as:
The symbol ‘’ indicates that the equations within Eq. (4) are Stratonovich stochastic differential equations, and are real constants, is a unit Wiener process and the bifurcation parameters , are rescaled such that , .
The following spherical polar transformation from to :
yields a set of equations of the arguments of , , and the noise process , i.e.:
For the norm process , a reversible linear stochastic transformation is introduced, i.e.:
where the function is a scalar function of the phase processes . Thus the equation for the new norm process is obtained through lemma:
Since is bounded and non-singular, then both and have the same stability. Therefore, is selected such that the drift term of Eq. (11) is independent of the phase processes , and , i.e.:
Comparing between Eq. (8) and Eq. (9) yields a fact that is presented by the following equation:
The above equation is written as:
And its corresponding adjoint operator is:
We can see that Eq. (11) defines an eigenvalue problem with the second-order differential operator, in which, is the eigenvalue and is the eigenfunction. Based on Eq. (11), one can easily find that this eigenvalue is the th moment Lyapunov exponent of system Eq. (4).
Consider the operator and its adjoint operator , according to the facts shown by Arnold [3, 4], is an isolated simple eigenvalue of with non-negative eigenfunction and For is the unique eigenfunction corresponding to with the property of , i.e.:
3. Asymptotic analysis
Because it is practically impossible that the expression of is solved by Eq. (14), perturbation method is applied here. The following asymptotic expansions and are assumed in advance, i.e.:
Substituting Eq. (15) into Eq. (14) and equating the terms of the equal powers of , then the following recursion equations are obtained:
3.1. order perturbation
According to Eq. (16), the zero order perturbation equation is equavelant to:
In order to make the problem tractable, we assume , and are mutually independent. Applying the method of variable separation, i.e. , and dividing both sides of Eq. (18) by , we obtain:
Solving the equation for yields , where and are constants. Since is a periodic function of , we obtain . Hence can be chosen as 1. On the basis of the property of moment Lyapunov exponent, we know , which is substituted into Eq. (15), then leads to that . Because the left side of Eq. (18) does not include , yields . Thus the equation for becomes:
We easily obtain:
Since is bounded, is required. So is a constant, we choose .
Thus, we obtain:
It is the joint probability density function of the phase processes .
The corresponding adjoint differential equation of Eq. (17) is the following:
Also , Eq. (23) becomes:
Solving the above equation, we obtain . Where and are constants. Because is a periodic function of , then , and is selected:
which represents the probability density function of a uniformly distributed random variable .
Therefore, Eq. (24) is simplified as:
The solution of Eq. (25) is
Since is bounded, it is required that . is the angle of triangular function, and cosine is the periodic function with , so we can choose , . Thus:
which is the joint probability density of the independent random variables .
3.2. order perturbation
From Eq. (16), the first order perturbation is the following:
Substituting and into Eq. (27) results as follows:
The solvability condition of Eq. (28) is:
where is shown in Eq. (26), denotes the inner product that is defined as follows:
Solving Eq. (29) obtains that the first order term of the moment Lyapunov exponent, i.e.:
Again , so by calculating it is obtained that:
And , Eq. (31) is rewritten as:
Integrating Eq. (32) for from 0 to , it is obtained that .
Hence, Eq. (27) reduces to:
For the convenience to write, let .
In order to solve the measure , we introduce an auxiliary time in Eq. (34) and make it become as:
Applying the linear transformation , , then Eq. (35) is:
According to Duhamel’s principle , the solution for Eq. (36) is given by:
where is the solution of the following homogeneous equations:
In order to solve Eq. (38), the following equations are considered:
Eq. (39) are the Kolmogorov’s backward equations for the transition probability function , which is the probability density function of random variable conditioned on , . The transition probability function with Eq. (4) is given:
By Eq. (38) and Eq. (39), the solution for Eq. (38) is given by:
After substituting Eq. (41) and Eq. (42) into Eq. (37) and via some calculation, is solved:
Meanwhile, the solution in Eq. (34) is obtained by inserting into Eq. (43) and calculating the limit .
3.3. order perturbation
According to Eq. (16), the second order perturbation is rewritten as:
The solvability condition of Eq. (44) is:
Via an integral for on and the massive calculations, Eq. (45) can be sorted into:
Due to the arbitrariness of the function , the bracketed expression in Eq. (46) must vanish identically, which yields the eigenvalue problem of the operator , i.e.:
4. Solution of the eigenvalue problem
According to Namachchivaya [6, 8], for the eigenvalue problem defined in Eq. (47), at the boundaries, the eigenfunction meets the zero Neumann boundary condition. Then based on Wedig  and Bolotin , is thought as an orthogonal expansion of a Fourier cosine series, i.e.:
By substituting Eq. (48) into Eq. (47), and multiplying both sides of the equation by , then integrating for on , the following equations can be obtained:
Eq. (49) can be written as:
From Eq. (50), it can be seen that is the leading eigenvalue of sub-matrices of the matrix , whose order is varied with , then is also an infinite sequence of the eigenvalues. Therefore, solving is converted into evaluating the eigenvalue problem of matrix that is defined by Eq. (50). Meanwhile, for in Eq. (50), to guarantee the existence of the non-trivial solution, the determinant of the coefficients must vanishes. Moreover, the eigenvalue sequence obtained by this method converges to the determined eigenvalue which is as . However, the amount of calculation increases drastically with the increase of , so we obtain the approximate eigenvalue by the truncation of .
For example, for , . As , the second order approximation of is the eigenvalue of the second order sub-matrix. Likewise, for 2, the third order approximation of is the eigenvalue of the third order sub-matrix. Until the curves of are almost coincident for different , the curve can be as the approximation of . Due to the complexity of expressions in the matrix , here we only give the elements of the second order sub-matrix:
5. Numerical results
Because of very complex expressions of the elements in matrix , It is almost impossible to obtain the analytical solution of moment Lyapunov exponent through eigenvalue problem defined in Eq. (50), especially, for high order matrix . Therefore, we present the numerical solutions to eigenvalue problems of the finite order sub-matrices, and obtain the approximate numerical results of moment Lyapunov exponent by the relationship between moment Lyapunov exponent and in Eq. (15).
In Fig. 1 and Fig. 2, the curves of moment Lyapunov exponent for the different in two cases are given respectively. It can be seen that the deviation of the curves of approximate moment Lyapunov exponent becomes less and less with the increase of , which represents the order of sub-matrix. In particular, in cases that as 3 and 4, the curves of are nearly overlap. Thus, we conclude that the results are convergent with increase of and it is sufficient for us to calculate the four order approximate of . In addition, we obtain the moment Lyapunov exponent of the system Eq. (4) using Monte Carlo simulation  in order to verify the effectiveness of the results. As can be seen in Figs. 1-2, asymptotic analytical result of the moment Lyapunonv exponent is nearly consistent with its numerical simulation.
Fig. 1. Variation of moment Lyapunov exponent with and for the case: 2, 0, 2, 1, –2, 1, 1, –1
Fig. 2. Variation of moment Lyapunov exponent with and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
Fig. 3. Variation of moment Lyapunov exponent with parameters and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
Fig. 4. Variation of moment Lyapunov exponent with parameters and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
In addition, it can be shown from the expressions of the elements in matrix that the moment Lyapunov exponents are relevant to the parameters of the system and the noise excitation. Fig. 3 and Fig. 4 describe the effect of noise parameters on the moment Lyapunov exponent. One can easily find that the apexes of the moment Lyapunov exponents move to the left and rise as both and increase, which illustrates the stability of the system become poor with the increased and . Moreover, by comparing two figures, we can see the effect of is bigger than that of . The trend of the curves in Fig. 5 is similar to Fig. 3, but the varied range is less than the one in Fig. 3. Fig.6 displays that the curves of moment Lyapunov exponent transform from the right side of vertical axis to the left with the increase of , and the bigger is, the larger the influence on the moment Lyapunov exponent. Finally, in view of Fig. 7, we see that the peak of the moment Lyapunov exponents moves to the left and ascends rapidly with increase of , and the vary of the curves is also alike to Fig. 3. Therefore, it can be seen from Fig. 3-7 that the parameter , and play the significant influence on the moment Lyapunov exponent.
Fig. 5. Variation of moment Lyapunov exponent with parameters and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
Fig. 6. Variation of moment Lyapunov exponent with parameters and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
Fig. 7. Variation of moment Lyapunov exponent with parameters and for the case: 2, 0, 3, 1, 1, 0, 1, 1, 1
In this paper, the moment Lyapunov exponent of a co-dimension two bifurcation system, that is on a three dimensional center manifold and is parametrically excited by a bounded noise, is investigated. By a reversible linear transformation and perturbation method, a corresponding eigenvalue problem and each order perturbation of the moment Lyapunov exponent are obtained. Zero, one and two order perturbation are solved through differential equation and stochastic process theory, thus, the eigenvalue problem of probability density is yielded. Finally, the eigenvalue problem is solved by Fourier cosine series expansion, and an infinite matrix yields and whose leading eigenvalue is the second order perturbation of the moment Lyapunov exponent. Furthermore, the convergence of procedure is numerically verified in two cases. Finally, the effects of system parameters and noise parameters on the expression of the moment Lyapunov exponent are discussed.
- Molcanov S. A. The structure of eigenfunctions of one-dimensional unordered structures. Mathematics of the USSR – Izvestiya, Vol. 12, 1978, p. 69-101. [Search CrossRef]
- Arnold L. A formula connecting sample and moment stability of linear stochastic systems. SIAM Journal of Applied Mathematics, Vol. 44, 1984, p. 793-802. [Search CrossRef]
- Arnold L., Kliemann W., Oejeklaus E. Lyapunov Exponents of Linear Stochastic Systems. Lyapunov Exponents Lecture Notes in Mathematics, Vol. 1186, 1986, p. 85-125. [Search CrossRef]
- Arnold L., Oejeklaus E. Almost Sure and Moment Stability for Linear Equations. Lyapunov Exponents, Lecture Notes in Mathematics, Vol. 1186, 1986, p. 129-159. [Search CrossRef]
- Arnold L., Doyle M., Namachchivaya Sri N. Small noise expansion of moment Lyapunov exponents for two-dimensional systems. Dynamics and Stability of Systems, Vol. 12, 1986, p. 187-211. [Search CrossRef]
- Namachchivaya Sri N., Van Roessel H., Doyle M. Moment Lyapunov exponent for two coupled oscillators driven by real noise. SIAM Journal of Applied Mathematics, Vol. 56, 1996, p. 1400-1423. [Search CrossRef]
- Khasminskii R., Moshchuk N. Moment Lyapunov exponent and stability index for linear conservative system with small random perturbation. SIAM Journal of Applied Mathematics, Vol. 58, 1988, p. 245-256. [Search CrossRef]
- Namachchivaya Sri N. Moment Lyapunov exponent and stochastic stability of two coupled oscillators driven by real noise. Journal of Applied Mechanics, Vol. 68, 2001, p. 903-914. [Search CrossRef]
- Xie W.-C. Moment Lyapunov exponents of a two dimensional system under real noise excitation. Journal of Sound and Vibration, Vol. 239, 2001, p. 139-155. [Search CrossRef]
- Xie W.-C. Moment Lyapunov exponents of a two dimensional system under bounded noise parametric excitation. Journal of Sound and Vibration, Vol. 263, 2003, p. 593-616. [Search CrossRef]
- Liu X. B., Liew K. M. On the stability properties of a Van Der Pol-Duffing oscillator that is driven by a real noise. Journal of Sound and Vibration, Vol. 285, 2005, p. 27-49. [Search CrossRef]
- Higham D., Mao X., Yuan C. Almost sure and moment exponential stability in the numerical simulation of stochastic differential equations. SIAM Journal on Numerical Analysis, Vol. 45, 2007, p. 592-609. [Search CrossRef]
- Kozic P., Janevski G., Pavlovic R. Moment Lyapunov exponent and stochastic stability of a double-beam system under compressive axial loading. International Journal of Solids and Structures, Vol. 47, 2010, p. 1435-1442. [Search CrossRef]
- Li S. H., Liu X. B. Moment Lyapunov exponent for a three dimensional stochastic system. IUTAM Symposium on Nonliear Stochastic Dynamics and Control, Vol. 29, 2011, p. 191-200. [Search CrossRef]
- Li S. H., Liu X. B. Moment Lyapunov exponent for three-dimensional system under real noise excitation. Applied Mathematics and Mechanics, Vol. 34, 2013, p. 613-626. [Search CrossRef]
- Hu D. L., Huang Y., Liu X. B. Moment Lyapunov exponent and stochastic stability of binary airfoil driven by Non-Gaussian colored noise. Nonliear Dynamics, Vol. 70, 2012, p. 1847-1859. [Search CrossRef]
- Liew K. M., Liu X. B. The maximal Lyapunov exponent for a three-dimensional stochastic system. Journal of Applied Mechanics, Vol. 71, 2004, p. 677-690. [Search CrossRef]
- Li S. H., Liu X. B. The maximal Lyapunov exponent for a co-dimensional two-bifurcation system excited by bounded noise excitation. Acta Mechanica Sinica, Vol. 28, 2012, p. 511-519. [Search CrossRef]
- Guckenheimer G., Holmes P. Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Field. Spring-Verlag, New York, 1983 [Search CrossRef]
- Zauderer E. Partial Differential Equations of Applied Mathematics. 2nd Edition, Wiley, New York, 1989. [Search CrossRef]
- Wedig W. Lyapunov Exponent of Stochastic Systems and Related Bifurcation Problems. Stochastic Structural Dynamics Progress in Theory and Applications. Elsevier Applied Science, New York, 1988, p. 315-327. [Search CrossRef]
- Bolotin V. V. The Dynamic Stability of Elastic Systems. Holden-Day, San Francisco, 1964. [Search CrossRef]
- Xie W. C., Huang Q. H. On the Monte Carlo simulation of moment Lyapunov exponents. Advances in Engineering Structures, Mechanics and Construction, Vol. 140, 2006, p. 627-636. [Search CrossRef]