Published: 30 December 2015

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
Corresponding Author:
Shenghong Li
Views 66
Reads 37
Downloads 1331

Abstract

In this paper, the pth 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 A, the eigenvalues of the low order sub-matrices of A are obtained by the truncation of n 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.

1. Introduction

The moment Lyapunov exponent that describes the pth moment stability of stochastic dynamic system, is defined as:

1
Λp,x0=limt1tlogExt,x0p,

where x(t,x0) is a solution to a random dynamical system and E[] denotes expected value. If Λ(p,x0)<0, by definition, E[x(t,x0)p]0 as t, which represents that the pth 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 [1]. Later, the results were extended to an arbitrary d-dimensional system by Arnold in Ref. [2], 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 x0. So the moment Lyapunov exponent can be written as Λ(p), which is a convex analytic function of pR. In addition, the maximal Lyapunov exponent is a derivative of moment Lyapunov exponent at p= 0, i.e.:

2
λ=Λ(p)pp=0=limt1tlogx(t,x0).

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 [5] firstly applied a perturbation method to perform the asymptotic expansions of the pth moment Lyapunov exponents on a small noise intensity and a small value of p. Using the same method, Namachchivaya [6] obtained the small pth 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 [7] proved that the finite pth 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 [7], for the same system and random excitation as [6], Namachchivaya and Roessel [8] obtained the asymptotic expansion of the finite pth 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 pth 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 [11]. Due to the complexity of approximate analytical methods, Higham [12] 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 [13]. 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 [16] obtained its moment Lyapunov exponent.

In this paper, the pth 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 ε0, ε1 and ε2are 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.

2. Formulation

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 [19], i.e.:

3
r˙=μ1r+a1rz+a2r3+a3r2z+Or,z4,
z˙=μ2z+b1r2+b2z2+b3r2z+b4z3+Or,z4,
Θ˙=ω+Or,z2,

where μ1 and μ2 are unfolding parameters, a1, a2, a3, b1, b2, b3 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 r=(x12+x22)1/2, z=x3, Θ=arctan(x1/x2) in the vicinity of equilibrium point x'=(x1,x2,x3)=(0, 0, 0), the linearization of the original system Eq. (3), which is subjected to a stochastic parametric perturbation, is the following as:

4
x˙=A0x-ε2A1x+εcosξtBx,dξt=μdt+σdWt,

where:

A0=0ω0-ω00000, A1=δ1000δ1000δ2, B=b11b12b13b21b22b23b31b32b33.

The symbol ‘’ indicates that the equations within Eq. (4) are Stratonovich stochastic differential equations, μ and σ are real constants, W(t) is a unit Wiener process and the bifurcation parameters μ1, μ2 are rescaled such that μ1=-εδ1, μ2=-εδ2.

The following spherical polar transformation from (x1,x2,x3) to (ρ,θ,ϕ):

5
x1=acosθsinϕ, x2=acosθcosϕ, x3=asinθ, ρ=lna, P=ap,
ϕt=ωt+φt, θ-π2,π2, ϕ, φ0, 2π,

yields a set of equations of the arguments of ρ, θ, ϕ and the noise process ξ(t), i.e.:

6
dP=[εcos(ξ)pPρ1+ε2pPρ2]dt,
dθ=[εcos(ξ)θ1+ε2θ2]dt,
dϕ=[ω+εcos(ξ)ϕ1]dt,
dξ=μdt+σdWt,

where:

ρ1=12f12+f31sin2θ+f11cos2θ+f32sin2θ,
ρ2=-δ1cos2θ-δ2sin2θ,
θ1=12f32-f11sin2θ+f31cos2θ-f12sin2θ,
θ2=12δ1-δ2sin2θ,
ϕ1=f21+f22tanθ,
f11=12k1+k2cos2ϕ+k3sin2ϕ,
f12=b13sinϕ+b23cosϕ,
f21=12k4+k3cos2ϕ-k2sin2ϕ,
f22=b13cosϕ-b23sinϕ,
f31=b31sinϕ+b32cosϕ, f32=b33,
k1=b22+b11, k2=b22-b11,
k3=b12+b21, k4=b12-b21.

For the norm process P, a reversible linear stochastic transformation is introduced, i.e.:

7
S=Tθ,ϕ,ξP, P=T-1θ,ϕ,ξS, -π2θπ2, 0ϕ2π, 0<ξ<2π,

where the function T(θ,ϕ,ξ) is a scalar function of the phase processes (θ,ϕ,ξ). Thus the equation for the new norm process S is obtained through lemma:

8
dS=PμTξ+12σ22Tξ2+ωTϕ+εpρ1T+θ1Tθ+ϕ1Tϕcos(ξ)
+ε2pρ2T+θ2Tθdt+σTξPdW.

Since T(θ,ϕ,ξ) is bounded and non-singular, then both P and S have the same stability. Therefore, T(θ,ϕ,ξ) is selected such that the drift term of Eq. (11) is independent of the phase processes θ, ϕ and ξ, i.e.:

9
dS=ΛpSdt+σTξT-1θ,ϕ,ξSdW.

Comparing between Eq. (8) and Eq. (9) yields a fact that T(θ,ϕ,ξ) is presented by the following equation:

10
ΛpT=μTξ+12σ22Tξ2+ωTϕ+εpρ1T+θ1Tθ+ϕ1Tϕcosξ
+ε2pρ2T+θ2Tθ.

The above equation is written as:

11
LεpTθ,ϕ,ξ=ΛpTθ,ϕ,ξ,

where:

12
Lεp=L0p+εL1p+ε2L2p,
L0(p)=μξ+σ222ξ2+ωϕ,
L1p=θ1θ+ϕ1ϕ+pρ1cosξ,
L2p=θ2θ+pρ2.

And its corresponding adjoint operator is:

13
L0*=-μξ+σ222ξ2-ωϕ,
L1*=-θ1θ+ϕ1ϕ+pρ1cosξ,
L2*=-θ2θ+pρ2.

We can see that Eq. (11) defines an eigenvalue problem with the second-order differential operator, in which, Λ(p) is the eigenvalue and T(θ,ϕ,ξ) is the eigenfunction. Based on Eq. (11), one can easily find that this eigenvalue is the pth moment Lyapunov exponent of system Eq. (4).

Consider the operator Lε(p) and its adjoint operator Lε*(p), according to the facts shown by Arnold [3, 4], Λ(p) is an isolated simple eigenvalue of Lε(p) with non-negative eigenfunction T(θ,ϕ,ξ) and T(θ,ϕ,ξ)=1. For Lε*p,T*(θ,ϕ,ξ) is the unique eigenfunction corresponding to Λ(p) with the property of T(θ,ϕ,ξ),T*(θ,ϕ,ξ)=1, i.e.:

14
LεpTθ,ϕ,ξ=ΛpTθ,ϕ,ξ,
Lε*pT*θ,ϕ,ξ=ΛpT*θ,ϕ,ξ,
T(θ,ϕ,ξ),T*(θ,ϕ,ξ)=1, pR.

3. Asymptotic analysis

Because it is practically impossible that the expression of Λ(p)is solved by Eq. (14), perturbation method is applied here. The following asymptotic expansions Λ(p) and T(θ,ϕ,ξ) are assumed in advance, i.e.:

15
Λp=Λ0p+εΛ1p+ε2Λ2p++εnΛnp+,
Tθ,ϕ,ξ=T0θ,ϕ,ξ+εT1θ,ϕ,ξ+ε2T2θ,ϕ,ξ++εnTnθ,ϕ,ξ+.

Substituting Eq. (15) into Eq. (14) and equating the terms of the equal powers of ε, then the following recursion equations are obtained:

16
ε0: L0pT0θ,ϕ,ξ=Λ0pT0θ,ϕ,ξ,
ε1: L0pT1θ,ϕ,ξ+L1pT0θ,ϕ,ξ=Λ0pT1θ,ϕ,ξ+Λ1pT0θ,ϕ,ξ,
ε2: L0(p)T2(θ,ϕ,ξ)+L1(p)T1(θ,ϕ,ξ)+L2(p)T0(θ,ϕ,ξ)=Λ0(p)T2(θ,ϕ,ξ)
+Λ1pT1θ,ϕ,ξ+Λ2pT0θ,ϕ,ξ.

3.1. ε0 order perturbation

According to Eq. (16), the zero order perturbation equation is equavelant to:

17
L0pT0θ,ϕ,ξ=Λ0pT0θ,ϕ,ξ,

i.e.:

18
σ222T0ξ2+μT0ξ+ωT0ϕ=Λ0pT0.

In order to make the problem tractable, we assume θ, ϕ and ξ are mutually independent. Applying the method of variable separation, i.e. T0(θ,ϕ,ξ)=F0(θ)Φ0(ϕ)H0(ξ), and dividing both sides of Eq. (18) by Φ0(ϕ)H0(ξ), we obtain:

19
σ22H¨0(ξ)H0(ξ)+μH˙0(ξ)H0(ξ)-Λ0=-ωΦ˙0ϕΦ0ϕ=k.

Solving the equation for Φ0 yields Φ0(ϕ)=ke-cωϕ, where k and c are constants. Since Φ0(ϕ) is a periodic function of ϕ, we obtain c=0. Hence Φ0(ϕ) can be chosen as 1. On the basis of the property of moment Lyapunov exponent, we know Λ(0)=0, which is substituted into Eq. (15), then leads to that Λ0(0)=0. Because the left side of Eq. (18) does not include p, Λ0(0)=0 yields Λ0(p)=0. Thus the equation for H0(ξ) becomes:

20
σ22H¨0(ξ)H0(ξ)+μH˙0(ξ)H0(ξ)=0.

We easily obtain:

21
H0ξ=C0+C1exp-2μσ2.

Since H(ξ) is bounded, C1=0 is required. So H(ξ) is a constant, we choose H(ξ)=1.

Thus, we obtain:

22
T0θ,ϕ,ξ=F0θ, θ-π2, π2, ϕ0, 2π, ξ0, 2π.

It is the joint probability density function of the phase processes (θ,ϕ,ξ).

The corresponding adjoint differential equation of Eq. (17) is the following:

23
μξT0*-σ222ξ2T0*-ωϕT0*=0.

Also T0*(θ,ϕ,ξ)=F0*θG0*ϕH0*(ξ), Eq. (23) becomes:

24
σ22H¨0*(ξ)H0*(ξ)-μH˙0*ξH0*ξ=ωΦ˙0*θΦ0*θ=κ.

Solving the above equation, we obtain Φ0*(ϕ)=c1eκ/ω. Where κ and c1 are constants. Because Φ0(ϕ) is a periodic function of ϕ, then κ=0, and Φ0*(ϕ) is selected:

Φ0*ϕ=12π, ϕ0, 2π,

which represents the probability density function of a uniformly distributed random variable ϕ[0, 2π].

Therefore, Eq. (24) is simplified as:

25
σ22H¨0*(ξ)H0*(ξ)-μH˙0*ξH0*ξ=0.

The solution of Eq. (25) is H0*(ξ)=B0+B1exp(2μ/σ2)

Since H*(ξ) is bounded, it is required that B1=0. ξ(t) is the angle of triangular function, and cosine is the periodic function with 2π, so we can choose H*(ξ)=1/2π, ξ[0, 2π]. Thus:

26
T0*θ,ϕ,ξ=14π2F0*θ, θ-π2, π2, ϕ0, 2π, ξ0, 2π,

which is the joint probability density of the independent random variables (θ,ϕ,ξ).

3.2. ε1 order perturbation

From Eq. (16), the first order perturbation is the following:

27
L0pT1θ,ϕ,ξ+L1pT0θ,ϕ,ξ=Λ0pT1θ,ϕ,ξ+Λ1pT0θ,ϕ,ξ.

Substituting Λ0(p)=0 and T0(θ,ϕ,ξ)=F0(θ) into Eq. (27) results as follows:

28
L0pT1θ,ϕ,ξ=Λ1pT0θ,ϕ,ξ-L1pT0θ,ϕ,ξ.

The solvability condition of Eq. (28) is:

29
Λ1(p)T0(θ,ϕ,ξ)-L1(p)T0(θ,ϕ,ξ),T0*=0,

where T0* is shown in Eq. (26), , denotes the inner product that is defined as follows:

S1,S2=02πdϕ-π/2π/2dθ02πS1(θ,ϕ,ξ)S2(θ,ϕ,ξ)dξ.

Solving Eq. (29) obtains that the first order term of the moment Lyapunov exponent, i.e.:

30
Λ1p=L1pT0θ,ϕ,ξ,T0*.

Again T0(θ,ϕ,ξ)=F0(θ), so by calculating it is obtained that:

31
L1pT0θ,ϕ,ξ=cosξθ1F0'θ+pρ1F0θ.

And T0*(θ,ϕ,ξ)=F0*(θ)/4π2, Eq. (31) is rewritten as:

32
Λ1p=14π2cosξθ1F0'θ+pρ1F0θ,F0*θ.

Integrating Eq. (32) for ξ from 0 to 2π, it is obtained that Λ1(p)=0.

Hence, Eq. (27) reduces to:

33
L0pT1θ,ϕ,ξ=-L1pT0θ,ϕ,ξ,

i.e.:

34
μξ+σ222ξ2+ωϕT1θ,ϕ,ξ=-cosξθ1F0'θ+pρ1F0θ.

For the convenience to write, let F(θ,ϕ)=θ1F0'(θ)+pρ1F0(θ).

In order to solve the measure T1(θ,ϕ,ξ), we introduce an auxiliary time t' in Eq. (34) and make it become as:

35
t'+σ222ξ2+μξ+ωϕT1θ,ϕ,ξ,t'=cosξtFθ,ϕ.

Applying the linear transformation t'=ψ+s, ϕ=ω(ψ+s), then Eq. (35) is:

36
s+σ222ξ2+μξT1θ,ψ,ξ,s=cosξtFθ,ωψ+s.

According to Duhamel’s principle [20], the solution for Eq. (36) is given by:

37
T1θ,ψ,ξ,s=0sfθ,ψ,ξ,s;rdr,

where f(θ,ψ,ξ,s;r) is the solution of the following homogeneous equations:

38
s+σ222ξ2+μξfθ,ψ,ξ,s;r=0, s>r,
fθ,ψ,ξ,r;r=cosξtFθ,ωψ+s, s=r.

In order to solve Eq. (38), the following equations are considered:

39
s+σ222ξ2+μξPξ,s;z,t=0, s<t,
Pξ,s;z,t=limstPξ,s;z,t=δz-ξ.

Eq. (39) are the Kolmogorov’s backward equations for the transition probability function P(ξ,s;z,t), which is the probability density function of random variable z(t) conditioned on ξ(s), t>s. The transition probability function with Eq. (4) is given:

40
Pξ,s;z,t=12πt-sσexp-z-ξ+μt-sσ2t-s.

By Eq. (38) and Eq. (39), the solution for Eq. (38) is given by:

41
f(θ,ψ,ξ,s;r)=F(θ,ω(ψ+r))-+EcoszrPξ,s;z,tdz,

where:

42
Ecoszr=-+coszrPξ,s;z,rdz=cosξ-μr-sexp-12σ2r-s.

After substituting Eq. (41) and Eq. (42) into Eq. (37) and via some calculation, T1(θ,ψ,ξ,s) is solved:

43
T1(θ,ψ,ξ,s)=exp-12σ2t-s{cos(ξ)0sF(θ,ω(ψ+r))cos[μ(r-s)]dr
+sin(ξ)0sFθ, ωψ+rsinμr-sdr}.

Meanwhile, the solution T1(θ,ψ,ξ) in Eq. (34) is obtained by inserting ϕ=ω(ψ+s) into Eq. (43) and calculating the limit s-.

3.3. ε2 order perturbation

According to Eq. (16), the second order perturbation is rewritten as:

44
L0 T2=Λ2T0-L1 T1-L2 T0 =Λ2T0-cosξθ1θ+ϕ1ϕ1+pρ1T1
-θ2F0'θ-pρ2F0θ.

The solvability condition of Eq. (44) is:

45
14π202πdϕ-π2π2dθ02πΛ2T0-cosξθ1θ+ϕ1ϕ1+pρ1T1
-θ2F0'(θ)-pρ2F0(θ)]F0*(θ)dξ=0.

Via an integral for ϕ on [0, 2π] and the massive calculations, Eq. (45) can be sorted into:

46
-π/2π/2L(p)-Λ2(p)F0(θ)F0*(θ)dθ=0,
Lp=12σ2θd2dθ2+μθ+pμ^θddθ+pqθ+12p2q^θ,
σ2(θ)=132(2α12σ3-α2σ2)sin2(2θ)
+12α4-α5cos2θ+12α3cos4θσ1cos2θ-cos4θ,
μ(θ)=164[9α6μ1-(3α5+16α4)σ1+4(α2σ2-(k12-k1)σ3)+32Δ-]sin(2θ)
+164[2α12σ3+6(α5σ1+α4μ1)-(α5σ1+α2σ2)+4α4σ1]sin(4θ)
+164α6μ1-3α5σ1sin6θ+1128α3σ1sin8θ+14α4σ1tanθ,
μ^(θ)=1128[2(α2σ2+5α5σ1)-8(k12-4b332)σ3
-(11b322-16b232-6b312+16b132)σ1]sin(2θ)
-164[2(α12σ3+b322α2σ1)+4(α4+α5+b232)σ1-α2σ2]sin(4θ)
+11282α3+2b312+b322σ1sin6θ,
q(θ)=12[α6μ1-(α4+α5)σ1]
+14[α12σ3-α2σ2-3α6μ1+(α3+4α4+5α5)σ1-Δ-]cos2(θ)
+18α2σ2-14α6μ1+α12σ3+5α5-3α3-2α4σ1cos4θ,
q^(θ)=12b332σ3+14[2α12σ3-(α3+α4+2α5)σ1]c os2(θ)
+116[2α12σ3-α2σ2+(4α3+4α4+8α5)σ1]cos4(θ)α1
=k1-2b33,α2=k22+k32,
α3=b312+b322, α4=b132+b232, α5=b13b31+b23b32,
α6=b13b32-b23b31, Δ±=δ1±δ2,
σ1=σ2σ4+4(ω+μ)2+σ2σ4+4(ω-μ)2, σ2=σ2σ4+4(2ω+μ)2+σ2σ4+4(2ω-μ)2,
σ3=-2σ2σ4+4μ2, μ1=2ω+μσ4+4(ω+μ)2+2ω-μσ4+4(ω-μ)2.

Due to the arbitrariness of the function F0*(θ), the bracketed expression in Eq. (46) must vanish identically, which yields the eigenvalue problem of the operator L(p), i.e.:

47
LpF0θ=Λ2pF0θ, θ-π2, π2.

4. Solution of the eigenvalue problem

According to Namachchivaya [6, 8], for the eigenvalue problem defined in Eq. (47), at the boundariesθ=±π/2, the eigenfunction F0(θ) meets the zero Neumann boundary condition. Then based on Wedig [21] and Bolotin [22], F0(θ) is thought as an orthogonal expansion of a Fourier cosine series, i.e.:

48
F0θ=m=0zmcos2mθ.

By substituting Eq. (48) into Eq. (47), and multiplying both sides of the equation by cos(2nθ), then integrating for θ on [-π/2,π/2], the following equations can be obtained:

49
m=0anmzm=Λ2pzn, anm=-π/2π/2[L(p)cos(2mθ)]cos(2nθ)dθ, n=0, 1, 2,.

Eq. (49) can be written as:

50
AZ=Λ2pZ,
51
A=a00a01a02a10a11a12a20a21a22, Z=z1z2z3.

From Eq. (50), it can be seen that Λ2(p) is the leading eigenvalue of sub-matrices of the matrix A, whose order is varied with n, then Λ2(p) is also an infinite sequence of the eigenvalues. Therefore, solving Λ2(p) is converted into evaluating the eigenvalue problem of matrix A that is defined by Eq. (50). Meanwhile, for Z 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 Λ2(p) as n. However, the amount of calculation increases drastically with the increase of n, so we obtain the approximate eigenvalue by the truncation of n.

For example, for n=0, Λ2(p)=a00. As n=1, the second order approximation of Λ2(p) is the eigenvalue of the second order sub-matrix. Likewise, for n= 2, the third order approximation of Λ2(p) is the eigenvalue of the third order sub-matrix. Until the curves of Λ2(p) are almost coincident for different n, the curve can be as the approximation of Λ2(p). Due to the complexity of expressions in the matrix A, here we only give the elements of the second order sub-matrix:

52
a00=π64{2α12σ3-12[(α4+α5)σ1-α6μ1]-5α2-32Δ}p
+π1286k12+4b332+43k1b33σ3-4α3+α4+2α5σ1-3α2σ2p2,
a01=π128[(15α5+16α4-α3)σ1-4α2σ2-17α6μ1-32Δ-]p
+π642k12-4b332σ3-α2σ2p2,
a10=π64[(5α5-32α4)σ1-9α6μ1-4α2σ2+4(k12-k1)σ3-32Δ-]
+π128{8(k12-4b332)σ3-8α2σ2+5(α4+α5)σ1-17α6μ1-32Δ-}p
+π642k12-4b332σ3-α2σ2p2,
a11=π256[(112α4-20α5+3α3)σ1+12α6μ1-4(α12-k1)σ3+4α2σ2]
+π256[2α12σ3-11α2σ2-20(α4+α5+2b322)σ1+28α6μ1]p-32Δ-}p
+π51214k12+4b332+47k1b33σ3-4α3+α4+2α5σ1-7α2σ2p2.

5. Numerical results

Because of very complex expressions of the elements in matrix A, 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 A. 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 Λ2(p) and Λ(p) in Eq. (15).

In Fig. 1 and Fig. 2, the curves of moment Lyapunov exponent Λ(p) for the different n 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 n, which represents the order of sub-matrix. In particular, in cases that as n= 3 and n= 4, the curves of Λ(p) are nearly overlap. Thus, we conclude that the results are convergent with increase of n and it is sufficient for us to calculate the four order approximate of Λ2(p). In addition, we obtain the moment Lyapunov exponent of the system Eq. (4) using Monte Carlo simulation [23] 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. 1Variation of moment Lyapunov exponent with n and p for the case: k1= 2, k2=k3= 0, k4= 2, b13=b23= 1, b31=b32= –2, b33= 1, μ=σ=ω= 1, δ1=δ2= –1

Variation of moment Lyapunov exponent  with n and p for the case: k1= 2, k2=k3= 0,  k4= 2, b13=b23= 1, b31=b32= –2,  b33= 1, μ=σ=ω= 1, δ1=δ2= –1

Fig. 2Variation of moment Lyapunov exponent with n and p for the case: k1= 2, k2= 0, k3= 3, k4=1, b13=b23=b31=1, b32=0, b33=1, μ=σ=ω=1, δ1=δ2= 1

Variation of moment Lyapunov exponent  with n and p for the case: k1= 2, k2= 0, k3= 3, k4=1, b13=b23=b31=1, b32=0, b33=1,  μ=σ=ω=1, δ1=δ2= 1

Fig. 3Variation of moment Lyapunov exponent with parameters p and μ for the case: k1= 2, k2= 0, k3= 3, k4=1, b13=b23=b31=1, b32=0, b33=1, σ=ω= 1, δ1=δ2= 1

Variation of moment Lyapunov exponent  with parameters p and μ for the case: k1= 2,  k2= 0, k3= 3, k4=1, b13=b23=b31=1,  b32=0, b33=1, σ=ω= 1, δ1=δ2= 1

Fig. 4Variation of moment Lyapunov exponent with parameters p and σ for the case: k1= 2, k2= 0, k3= 3, k4=1, b13=b23=b31=1, b32=0, b33=1, σ=ω= 1, δ1=δ2= 1

Variation of moment Lyapunov exponent  with parameters p and σ for the case: k1= 2,  k2= 0, k3= 3, k4=1, b13=b23=b31=1,  b32=0, b33=1, σ=ω= 1, δ1=δ2= 1

In addition, it can be shown from the expressions of the elements in matrix A 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 δ1, and the bigger δ1 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 δ2, and the vary of the curves is also alike to Fig. 3. Therefore, it can be seen from Fig. 3-7 that the parameter μ, δ1 and δ2 play the significant influence on the moment Lyapunov exponent.

Fig. 5Variation of moment Lyapunov exponent with parameters p and ω for the case: k1= 2, k2= 0, k3= 3, k4= 1, b13=b23=b31= 1, b32= 0, b33= 1, μ=ω= 1, δ1=δ2= 1

Variation of moment Lyapunov exponent  with parameters p and ω for the case: k1= 2,  k2= 0, k3= 3, k4= 1, b13=b23=b31= 1,  b32= 0, b33= 1, μ=ω= 1, δ1=δ2= 1

Fig. 6Variation of moment Lyapunov exponent with parameters p and δ1 for the case: k1= 2, k2= 0, k3= 3, k4= 1, b13=b23=b31= 1, b32= 0, b33= 1, μ=σ=ω= 1, δ2= 1

Variation of moment Lyapunov exponent  with parameters p and δ1 for the case: k1= 2,  k2= 0, k3= 3, k4= 1, b13=b23=b31= 1,  b32= 0, b33= 1, μ=σ=ω= 1, δ2= 1

Fig. 7Variation of moment Lyapunov exponent with parameters p and δ2 for the case: k1= 2, k2= 0, k3= 3, k4= 1, b13=b23=b31= 1, b32= 0, b33= 1, μ=σ=ω= 1, δ1= 1

Variation of moment Lyapunov exponent with parameters p and δ2 for the case: k1= 2, k2= 0, k3= 3, k4= 1, b13=b23=b31= 1, b32= 0, b33= 1, μ=σ=ω= 1, δ1= 1

6. Conclusions

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.

References

  • Molcanov S. A. The structure of eigenfunctions of one-dimensional unordered structures. Mathematics of the USSR – Izvestiya, Vol. 12, 1978, p. 69-101.
  • Arnold L. A formula connecting sample and moment stability of linear stochastic systems. SIAM Journal of Applied Mathematics, Vol. 44, 1984, p. 793-802.
  • Arnold L., Kliemann W., Oejeklaus E. Lyapunov Exponents of Linear Stochastic Systems. Lyapunov Exponents Lecture Notes in Mathematics, Vol. 1186, 1986, p. 85-125.
  • Arnold L., Oejeklaus E. Almost Sure and Moment Stability for Linear Equations. Lyapunov Exponents, Lecture Notes in Mathematics, Vol. 1186, 1986, p. 129-159.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Guckenheimer G., Holmes P. Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Field. Spring-Verlag, New York, 1983
  • Zauderer E. Partial Differential Equations of Applied Mathematics. 2nd Edition, Wiley, New York, 1989.
  • 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.
  • Bolotin V. V. The Dynamic Stability of Elastic Systems. Holden-Day, San Francisco, 1964.
  • 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.

About this article

Received
22 April 2015
Accepted
11 August 2015
Published
30 December 2015
SUBJECTS
Chaos, nonlinear dynamics and applications
Keywords
moment stability
moment Lyapunov exponent
perturbation method
diffusion process