^{1}

^{*}

^{2}

^{3}

^{1}

In this paper, we introduce the study of the general form of stochastic Van der Pol equation (SVDP) under an external excitation described by Gaussian white noise. The study involves the use of Wiener-Chaos expansion technique (WCE) and Wiener-Hermite expansion (WHE) technique. The application of these techniques results in a system of deterministic differential equations (DDEs). The resulting DDEs are solved by the numerical techniques and compared with the results of Monte Carlo (MC) simulations. Also, we introduce a new formula that facilitates handling the cubic nonlinear term of van der Pol equations. The main results of this study are: 1) WCE technique is more accurate, programmable compared with WHE and for the same order, WCE consumes less time. 2) The number of Gaussian random variables (GRVs) is more effective than the order of expansion. 3) The agreement of the results with the MC simulations reflects the validity of the forms obtained through theorem 3.1.

In recent years, vibration systems represented by oscillations have received considerable attention. One of these systems is the van der Pol (VDP) oscillator [

As it is known, accurate analytical solution of the VDP system is not obtained until now. So, the interest in studying the approximate solution of this system has increased lately, where the dynamic properties of such system have been investigated in [

The aim of the current work is to study the dynamic behavior of SVDP equation and SVDP-Duffing equation using the stochastic spectral expansions; WCE and WHE. Some important theoretical results are deduced. The paper also studies the influence of the coefficients on the oscillatory motion and dynamic behavior limitation. The outline of this paper is:

In Section 2 we investigate the mathematical equation of SVDP system and some basic theorems that are quite useful to deal with non-linear differential equations. In Section 3 we introduce the WCE method, its application on the SVDP equation and the error bound of the method, in addition to the analytic formula for the WCE of polynomial nonlinear term. In Section 4 we introduce the WHE method and its application on the SVDP equation. The numerical simulation for the results of the WCE method is shown in Section 5. The simulation of the comparison between the numerical results of WCE method, the WHE method and those of the MC simulations are shown in Section 6. In Section 7 the conclusions are summarized.

The van der Pol equation is a non-conservative system, where adding and subtracting energy from the system is done in the periodic motion called the limit cycle [

x ¨ ( t ) − ( ζ − ε x 2 ( t ) ) x ˙ + β x ( t ) = λ W ˙ ( t ) , x ( 0 ) = 0 , x ˙ ( 0 ) = b . (2.1)

where the oscillation behavior of the SVDP Equation (2.1) is affected by three forces:

1) The damping force ( ζ − ε x 2 ) x ˙ .

2) The external (stochastic) force λ W ˙ ( t ) .

3) The spring force − β x .

Since x ( t ) is the displacement; ζ is the coefficient of the linear damping, ε is the coefficient of the nonlinear damping; λ is the forcing intensity, W ˙ ( t ) is the Gaussian white noise and b , β are deterministic coefficients. The three forces act in the opposite direction of the displacement.

Equation (2.1) can be converted into a system of first order stochastic differential equations as follows:

x ˙ ( t ) = y ( t ) , y ˙ ( t ) − ( ζ − ε x 2 ( t ) ) y ( t ) + β x ( t ) = λ W ˙ ( t ) , x ( 0 ) = 0 , y ( 0 ) = b . (2.2)

Existence and Uniqueness Theorem

Suppose we have the following stochastic differential equation system,

x ˙ ( t ) = f 1 ( t , x , y ) y ˙ ( t ) = f 2 ( t , x , y ) + g 2 ( t , x , y ) ⋅ W ˙ ( t ) , x ( 0 ) = 0 , y ( 0 ) = b .

where W t is a one dimensional Wiener process b is constant. If the R 2 -valued functions f i ( t , x , y ) and the real valued functions g i ( t , x , y ) , i = 1 , 2 are defined and measurable on [ t 0 , T ] × R 2 and have the following properties [

a) (Lipschitz condition) for all t ∈ [ t 0 , T ] , x 1 , x 2 ∈ R , y 1 , y 2 ∈ R

| f 1 ( t , x 1 , y ) − f 1 ( t , x 2 , y ) | + | g 1 ( t , x 1 , y ) − g 1 ( t , x 2 , y ) | ≤ K | x 1 − x 2 | , | f 2 ( t , x , y 1 ) − f 2 ( t , x , y 2 ) | + | g 2 ( t , x , y 1 ) − g 2 ( t , x , y 2 ) | ≤ K | y 1 − y 2 | , (2.3)

b) Restriction on the growth for all t ∈ [ t 0 , T ] , x , y ∈ R

| f 1 ( t , x , y ) | 2 + | g 1 ( t , x , y ) | 2 ≤ K 2 ( 1 + | x | 2 ) , | f 2 ( t , x , y ) | 2 + | g 2 ( t , x , y ) | 2 ≤ K 2 ( 1 + | y | 2 ) , (2.4)

then the system has a unique R 2 -valued solution on [ t 0 , T ] with probability one. Then by checking the applicability of the conditions (2.3) and (2.4) on functions f i ( t , x , y ) and g i ( t , x , y ) , i = 1 , 2 with respect to the variables x , y for the system (2.2) then we will get: for i = 1 , the conditions (2.3) and (2.4) are satisfied.

By checking the condition (2.3) for i = 2 then for

| f 2 ( t , x , y 1 ) − f 2 ( t , x , y 2 ) | ≤ K | y 1 − y 2 | ,

we get, | ( ζ − ε x 2 ) y 1 − β x − ( ζ − ε x 2 ) y 2 + β x | = | ζ ( y 1 − y 2 ) − ε x 2 ( y 1 − y 2 ) | , and, | ζ ( y 1 − y 2 ) − ε x 2 ( y 1 − y 2 ) | ≤ | y 1 − y 2 | | ζ − ε x 2 | ≤ K | y 1 − y 2 | , then the condition is satisfied and results in

| ζ − ε x 2 | ≤ K , (2.5)

which means that x ( t ) should be a second-order (finite-variance) process.

Furthermore, the derivatives of the functions f , g are:

∂ f 1 ∂ x = 0 , ∂ f 1 ∂ y = 1 , ∂ f 2 ∂ x = − 2 ε x y − β , ∂ f 2 ∂ y = ζ − ε x 2 , ∂ g 1 ∂ x = ∂ g 1 ∂ y = ∂ g 2 ∂ x = ∂ g 2 ∂ y = 0. (2.6)

Then the functions f i , i = 1 , 2 are locally Lipchitz continuous in ( x , y ) .

By checking the growth condition (2.4), for i = 2 , consider the following:

[ ( ζ − ε x 2 ) y − β x ] 2 + λ 2 ≤ K ( 1 + y 2 ) ,

then we get [ ( ζ − ε x 2 ) y − β x ] ≤ [ K ( 1 + y 2 ) − λ 2 ] 1 2 , which results in

y ≤ [ K ( 1 + y 2 ) − λ 2 ] 1 2 + β x ζ − ε x 2 , (2.7)

where x represents the solution of the stochastic Van der Pol Equation (2.1) and y = x ˙ is the velocity. The inequality (2.7) means that the velocity should be bounded and the bound is inversely proportional to the displacement. In fact, the existence and boundedness of the solution depend on the damping coefficients ζ and ε . Also, the solution is expected to be restricted in a local area respected by condition (2.7). Furthermore, it is found that if x is larger than

ζ ε , the nonlinear term will be dominant and the damping force will be positive. If x is smaller than ζ ε , the damping force will be negative because the

nonlinear term will become negligible. On the other hand, to prove the uniqueness and stability of the limit cycle for the mean solution of system (2.2), we need to check the satisfaction of Lineard’s theorem [

Theorem 2.3

The second order differential equations are called Lineard’s equations and take the form:

x ¨ + Z ( x ) x ˙ + Q ( x ) = 0 , (2.8)

this equation is a generalization of the van der Pol equation x ¨ − ( ζ − ε x 2 ) x ˙ + β x = 0 , where Z ( x ) = − ( ζ − ε x 2 ) and Q ( x ) = β x ; it is equivalent to the system

x ˙ = υ , υ ˙ = − Z ( x ) υ − Q ( x ) , (2.9)

Lineard’s theorem states that system (2.9) has a unique, stable limit cycle under the following conditions on Z and Q.

i) Z ( x ) and Q ( x ) are continuously differentiable for all x.

ii) Z ( x ) is an even function; Z ( − x ) = Z ( x ) for all x.

iii) Q ( x ) > 0 for all x.

iv) Q ( x ) is an odd function; Q ( − x ) = − Q ( x ) for all x.

v) H ( x ) = ∫ 0 x Z ( u ) d u is an odd function and has exactly one positive zero at x = c , is positive for x > c and negative when 0 < x < c and H ( x ) → ∞ as x → ∞ . Then the system (2.9) has unique and stable limit cycle in the phase plane. Then for deterministic system of Equation (2.1) at λ = 0 , the conditions (i - iv) are satisfied whereas, the condition (v) satisfies at c = 3 ζ ε . So, the mean

solution of the SVDP system (2.2) has unique and stable limit cycle in the phase plane surrounding the origin point. This result will be shown in Section 5.

The WCE is applied to the SVDP Equation (2.1). Referring to [

x ( t ; w ) = ∑ α ∈ ℑ x α ( t ) T α ( ξ ) , x α = E [ x T α ( ξ ) ] , (3.1)

where the multi-index set ℑ = { α = ( α n , n ≥ 1 ) , α n ∈ { 0 , 1 , 2 , ⋯ } ; | α | = ∑ n = 1 ∞ α n < ∞ } ; T α ( ξ ) = ∏ i = 1 ∞ H α i ( ξ i ) and T α are called Wick polynomials of order α ; ξ i are

the standard Gaussian random variables (GRVs)and H n ( x ) is the normalized n^{th} order Hermite polynomial. The expansion of the Wiener process W ( t ) will be:

W ( t ) = ∑ i = 1 ∞ ξ i ∫ 0 t m i ( s ) d s , (3.2)

where m i ( t ) are an orthnormal basis in Hilbert space L 2 ( [ 0 , T ] ) , T < ∞ . The mean square error of this expansion for all t ≤ T [

E [ W ( t ) − ∑ i = 1 K ξ i ∫ 0 t m i ( s ) d s ] 2 ≤ T π K . (3.3)

The basis function m i ( t ) can be chosen as the trigonometric functions [

m 1 ( t ) = 1 T , m i ( t ) = 2 T cos ( ( i − 1 ) π t T ) , i > 1 , 0 ≤ t ≤ T .

The application of WCE on the linear problem is rather easy than the nonlinear problem. So, the following theorem enables us to handle the cubic term in the Equation (3.1) using WCE.

Theorem 3.1. Assume X and Y are two processes, they have Wiener chaos expansion (3.1), then if E [ | X 2 Y | 2 ] < ∞ then the product X 2 Y has the Wiener chaos expansion

X 2 Y = ∑ γ ∈ ℑ ∑ 0 ≤ θ ≤ γ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , r ) C ( γ , θ , μ ) x θ + μ − β + r x β + r y γ − θ + μ T γ ,

where C ( γ , θ , μ ) = [ ( γ θ ) ( θ + μ μ ) ( γ − θ + μ μ ) ] 1 2

Proof:

From [

X 2 Y = ∑ θ ∈ ℑ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ C ( θ , β , r ) x θ − β + r ( t ) x β + r ( t ) T θ ∑ α ∈ ℑ y α T α = ∑ θ ∈ ℑ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ ∑ α ∈ ℑ C ( θ , β , r ) x θ − β + r x β + r y α ∑ μ ≤ θ ∧ α B ( θ , α , μ ) T θ + α − 2 μ ,

where B ( θ , α , μ ) = [ ( θ α ) ( α + μ μ ) ( θ − α + μ μ ) ] 1 2 , then

X 2 Y = ∑ α ∈ ℑ ∑ θ ∈ ℑ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ ∑ μ ≤ θ ∧ α C ( θ , β , r ) [ ( θ μ ) ( α μ ) μ ! θ + α − 2 μ ! θ ! α ! ] 1 2 x θ − β + r x β + r y α T θ + α − 2 μ .

Let α − μ = α ′ , θ − μ = θ ′ then β ≤ θ , β ≤ θ ′ + μ ≥ 0 , the above summation can be rewritten as:

X 2 Y = ∑ α ′ ∈ ℑ ∑ θ ′ ∈ ℑ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ ′ + μ ∑ μ ∈ ℑ C ( θ ′ + μ , β , r ) [ ( θ ′ + μ μ ) ( α ′ + μ μ ) μ ! θ ′ + α ′ ! θ ′ + μ ! α ′ + μ ! ] 1 2 x θ ′ + μ − β + r x β + r y α ′ + μ T θ ′ + α ′ . (3.4)

For simplicity, we denote α ′ = α , θ ′ = θ ; α + θ = γ then α = γ − θ ≥ 0 , θ ≥ 0 ; so, the formula (3.4) will be:

X 2 Y = ∑ γ ∈ ℑ ∑ 0 ≤ θ ≤ γ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , r ) [ ( θ + μ μ ) ( γ − θ + μ μ ) μ ! γ ! θ + μ ! γ − θ + μ ! ] 1 2 x θ + μ − β + r x β + r y γ − θ + μ T γ ,

which can be written as:

X 2 Y = ∑ γ ∈ ℑ ∑ 0 ≤ θ ≤ γ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , r ) C ( γ , θ , μ ) x θ + μ − β + r x β + r y γ − θ + μ T γ .

This completes the proof.

From theorem (3.1), it follows that:

X 3 = ∑ γ ∈ ℑ ∑ 0 ≤ θ ≤ γ ∑ r ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , r ) C ( γ , θ , μ ) x θ + μ − β + r x β + r x γ − θ + μ T γ . (3.5)

Plugging formula (3.5) into Equation (2.1), we arrive at

x ¨ α ( t ) − ( ζ x ˙ α ( t ) − ε ∑ 0 ≤ θ ≤ α ∑ p ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , p ) C ( α , θ , μ ) x θ + μ − β + p x β + p x ˙ α − θ + μ ) + β x α ( t ) = λ ∑ i = 1 ∞ m i ( t ) I { α j = δ i j } , x α ( 0 ) = 0 , x α ( 0 ) = { b α = 0 , 0 α ≠ 0. (3.6)

Consequently, Equation (3.6) can be rewritten as the following system:

x ˙ α ( t ) = y α ( t ) , y ˙ α ( t ) − ( ζ y α ( t ) − ε ∑ 0 ≤ θ ≤ α ∑ p ∈ ℑ ∑ 0 ≤ β ≤ θ + μ ∑ μ ∈ ℑ C ( θ + μ , β , p ) C ( α , θ , μ ) x θ + μ − β + p x β + p y α − θ + μ ) + β x α ( t ) = λ ∑ i = 1 ∞ m i ( t ) I { α j = δ i j } , x α ( 0 ) = 0 , y α ( 0 ) = { b α = 0 , 0 α ≠ 0. (3.7)

By truncating the system (3.7) for N order of polynomial chaos and K GRVs; then the set ℑ can be truncated as the multi-index set ℑ K , N which can be defined as:

ℑ K , N = { α = ( α n , 1 ≤ n ≤ K ) , α n ∈ { 0 , 1 , ⋯ } ; | α | = ∑ n = 1 K α n ≤ N } .

Therefore, the number of the propagators can be calculated as [

χ = ∑ n = 0 N ( K + n − 1 n ) = ( K + N ) ! K ! N ! .

Accordingly, the number of propagators for system (3.7) equals 2 χ . So, for ( N , K ) = ( 2 , 5 ) , ( 2 , 8 ) , ( 3 , 3 ) and ( 3 , 5 ) , the number of DDEs (propagators) for system (3.5) will be 42, 90, 40 and 112 respectively. Those DDEs can be solved using the fifth order Rung kutta. Thus, the error of the truncated WCE for system (2.2) which satisfies the Lipchitz conditions (2.3) and (2.4), can be estimated depending on both K and N similar to [

Ο ( ( B 2 T ) N + 1 ( N + 1 ) ! + T 4 K ) (3.8)

where B depending only on K. Since N regulates the quality of the actual chaos expansion and the number K of used basis functions characterize the approximation within each chaos. Furthermore, the estimated error of the technique depends on the time interval [ 0 , T ] and the coefficient of the random forcing λ as it depends on the coefficients of the damping force. Also, we found that the smaller the time interval, the faster the convergence. For the equations of the long time simulation such as the vander Pol equation, we can divide the time interval into small subintervals of size Δ t . Therefore, the error for each step becomes

ο ( Δ t ) 3 2 . The mean and the variance of the random solution using WCE can be calculated as:

E [ x ( t ) ] = x α = 0 ( t ) , var [ x ( t ) ] = ∑ α ∈ ℑ K , N , α ≠ 0 | x α ( t ) | 2 . (3.9)

The solution of Equation (2.1) can be expanded in terms of second order Wiener-Hermite functionals as, [

x ( t ; ω ) = x ( 0 ) ( t ) + ∫ − ∞ ∞ x ( 1 ) ( t ; t 1 ) H ( 1 ) ( t 1 ) d t 1 + ∫ − ∞ ∞ ∫ − ∞ ∞ x ( 2 ) ( t ; t 1 , t 2 ) H ( 2 ) ( t 1 , t 2 ) d t 1 d t 2 , (4.1)

where H ( i ) ( t 1 , ⋯ , t i ) is the i^{th} order Wiener-Hermite time-independent functional. The zero and first order terms x ( 0 ) and x ( 1 ) represent the Gaussian part of the solution and are suitable only in the case of Gaussian processes. The second order term x ( 2 ) will account for the non-Gaussian part of the solution. Higher order terms will be less dominant than the second order one and hence, can be neglected as in the current work.

Apply the second order WHE to Equation (2.1) to get:

x ¨ ( 0 ) + ∫ − ∞ ∞ x ¨ ( 1 ) H ( 1 ) d t 1 + ∫ R 2 x ¨ ( 2 ) H ( 2 ) d τ 2 − ζ ( x ˙ ( 0 ) + ∫ − ∞ ∞ x ˙ ( 1 ) H ( 1 ) d t 1 + ∫ R 2 x ˙ ( 2 ) H ( 2 ) d τ 2 ) + ε ( ( x ˙ ( 0 ) + ∫ − ∞ ∞ x ˙ ( 1 ) H ( 1 ) d t 1 + ∫ R 2 x ˙ ( 2 ) H ( 2 ) d τ 2 ) ( x ( 0 ) + ∫ − ∞ ∞ x ( 1 ) H ( 1 ) d t 1 + ∫ R 2 x ( 2 ) H ( 2 ) d τ 2 ) 2 ) + β ( x ( 0 ) + ∫ − ∞ ∞ x ( 1 ) H ( 1 ) d t 1 + ∫ R 2 x ( 2 ) H ( 2 ) d τ 2 ) = λ W ˙ ( t ) . (4.2)

where d τ i = d t 1 d t 2 ⋯ d t i and ∫ R i is a i-dimensional integral over the disposable

variables t 1 , t 2 , ⋯ , t i , i ≥ 1 . Taking the ensemble averages together with the statistical properties of WHE functionals for Equation (4.2), a set of deterministic integro-differential equations are obtained in the deterministic kernels x ( l ) ( t ; t 1 , ⋯ , t l ) , l = 0 , 1 , 2 . From the orthognality of Hermite functionals [

x ¨ ( 0 ) − ζ x ˙ ( 0 ) + ε ( x ˙ ( 0 ) ( x ( 0 ) ) 2 + x ˙ ( 0 ) ∫ R ( x ( 1 ) ) 2 d t 1 + 2 x ˙ ( 0 ) ∫ R 2 ( x ( 2 ) ) 2 d τ 2 + 2 x ( 0 ) ∫ R x ˙ ( 1 ) x ( 1 ) d t 1 + 4 ∫ R 2 x ˙ ( 1 ) ( t 1 ) x ( 1 ) ( t 2 ) x ( 2 ) d τ 2 + 2 ∫ R 2 x ( 1 ) ( t 1 ) x ( 1 ) ( t 2 ) x ˙ ( 2 ) ( t 1 , t 2 ) d τ 2 + 4 x ( 0 ) ∫ R 2 x ˙ ( 2 ) x ( 2 ) d τ 2 + 8 ∫ R 3 x ( 2 ) ( t 1 , t 2 ) x ( 2 ) ( t 2 , t 3 ) x ˙ ( 2 ) ( t 1 , t 3 ) d τ 3 ) + β x ( 0 ) = 0 , x ( 0 ) ( 0 ) = 0 , x ˙ ( 0 ) ( 0 ) = b . (4.3)

x ¨ ( 1 ) − ζ x ˙ ( 1 ) + ε [ 2 x ˙ ( 0 ) x ( 0 ) x ( 1 ) + 4 x ˙ ( 0 ) x ( 1 ) ∫ R x ( 2 ) d t 2 + x ( 0 ) 2 x ˙ ( 1 ) + x ˙ ( 1 ) ∫ R ( x ( 1 ) ) 2 d t 1 + 2 x ( 1 ) ∫ R x ˙ ( 1 ) x ( 1 ) d t 1 + 8 ∫ R 2 x ˙ ( 1 ) ( t 2 ) x ( 2 ) ( t 1 , t 3 ) x ( 2 ) ( t 2 , t 3 ) d t 2 d t 3 + 2 x ˙ ( 1 ) ∫ R 2 ( x ( 2 ) ) 2 d τ 2 + 4 x ( 0 ) ∫ R x ˙ ( 1 ) x ( 2 ) d t 2 + 4 x ( 0 ) ∫ R x ( 1 ) x ˙ ( 2 ) d t 2 + 4 x ( 1 ) ∫ R 2 x ( 2 ) x ˙ ( 2 ) d τ 2 + 8 ∫ R 2 x ( 1 ) ( t 2 ) x ( 2 ) ( t 2 , t 3 ) x ˙ ( 2 ) ( t 1 , t 3 ) d t 2 d t 3 + 8 ∫ R 2 x ( 1 ) ( t 2 ) x ( 2 ) ( t 1 , t 3 ) x ˙ ( 2 ) ( t 2 , t 3 ) d t 2 d t 3 ] + β x ( 1 ) ( t ; t 1 ) = λ δ ( t − t 1 ) , x ( 1 ) ( 0 ; t 1 ) = x ˙ ( 1 ) ( 0 ; t 1 ) = 0 (4.4)

2 x ¨ ( 2 ) − 2 ζ x ˙ ( 2 ) + ε [ 2 x ˙ ( 0 ) x ( 1 ) ( t 1 ) x ( 1 ) ( t 2 ) + 8 x ˙ ( 0 ) ∫ R x ( 2 ) ( t 1 , t 3 ) x ( 2 ) ( t 2 , t 3 ) d t 3 + 4 x ( 0 ) x ˙ ( 0 ) x ( 2 ) + 2 x ( 0 ) x ˙ ( 1 ) ( t 1 ) x ( 1 ) ( t 2 ) + 2 x ( 0 ) x ˙ ( 1 ) ( t 2 ) x ( 1 ) ( t 1 ) + 4 x ( 2 ) ∫ R x ( 1 ) x ˙ ( 1 ) d t 1 + 4 x ˙ ( 1 ) ( t 2 ) ∫ R x ( 1 ) x ( 2 ) d t 2 + 2 x ˙ ( 2 ) ∫ R ( x ( 1 ) ) 2 d t 1 + 4 x ˙ ( 1 ) ( t 1 ) ∫ R x ( 1 ) x ( 2 ) d t 1 + 4 x ( 1 ) ( t 2 ) ∫ R x ˙ ( 1 ) x ( 2 ) d t 2 + 4 x ( 1 ) ( t 1 ) ∫ R x ˙ ( 1 ) x ( 2 ) d t 1 + 4 x ( 1 ) ( t 1 ) ∫ R x ( 1 ) x ˙ ( 2 ) d t 1 + 4 x ( 1 ) ∫ R x ( 1 ) x ˙ ( 2 ) d t 1 + 2 ( x ( 0 ) ( t ) ) 2 x ˙ ( 2 ) + 4 x ˙ ( 2 ) ∫ R 2 ( x ( 2 ) ) 2 d τ 2

+ 8 x ( 2 ) ∫ R 2 x ˙ ( 2 ) x ˙ ( 2 ) d τ 2 + 16 ∫ R x ( 2 ) ( t 3 , t 4 ) x ˙ ( 2 ) ( t 1 , t 4 ) x ˙ ( 2 ) ( t 2 , t 3 ) d t 3 d t 4 + 16 ∫ R x ( 2 ) ( t 3 , t 4 ) x ˙ ( 2 ) ( t 2 , t 4 ) x ˙ ( 2 ) ( t 1 , t 3 ) d t 3 d t 4 + 16 ∫ R x ( 2 ) ( t 1 , t 3 ) x ˙ ( 2 ) ( t 3 , t 4 ) x ˙ ( 2 ) ( t 2 , t 4 ) d t 3 d t 4 + 8 x ( 0 ) ∫ R x ˙ ( 2 ) ( t 1 , t 3 ) x ( 2 ) ( t 2 , t 3 ) d t 3 + 8 x ( 0 ) ∫ R x ˙ ( 2 ) ( t 2 , t 3 ) x ( 2 ) ( t 1 , t 3 ) d t 3 ] + 2 β x ( 2 ) ( t ; t 1 , t 2 ) = 0 , x ( 2 ) ( 0 ; t 1 , t 2 ) = x ˙ ( 2 ) ( 0 ; t 1 , t 2 ) = 0. (4.5)

For solving the deterministic differential Equations (4.3)-(4.5), we can use a numerical method such as the modified Euler method or the perturbation theory [

In this section, we analyze the results using WCE technique. Hence, we compare the results using different number of propagators and using MC simulations. For comparison, we will solve system (2.2) by MC simulations using 10,000 realizations and the time step 0.001. The initial conditions are chosen as x 0 = 0 , x ˙ 0 = 0.1 and the time interval will be [ 0 , T ] , T < ∞ . As it is known, the WCE method and the WHE method are both sensitive to the time intervals [

From the comparison, we find that increasing the number of GRVs is more effective than increasing the order of polynomial. Also, the parametric values affect the dynamic behavior of the approximate solution through its statistical properties. The influence of the external force on the dynamic behavior of the system is greater than the influence of the damping force.

This influence needs to reduce the error (3.3) of W ( t ) by increasing the number of GRVs (basis functions) of the expansion. Furthermore, it is found that a good agreement between the results of WCE and those of MC simulations in the mean solutions, but with some divergence in the variance with longer time intervals. To reduce the divergence, we need higher number of GRVs (see

Figures 1-3 show a good agreement between the results of WCE using N = 2 , K = 8 and those of MC simulations. Also, the figures show the influence of the damping parameters ζ and ε on the behavior of the solution. Depending on conditions (2.5) and (2.7), we found that reducing the values of ζ and ε makes the damping term ( ζ − ε x 2 ) x ˙ tends to zero. Consequently, the oscillations of system (2.2) converge to the harmonic oscillation. Accordingly, the mean solution makes a periodic motion with a self-sustained limit cycle with quasi-absence of the external force. While the variance increases linearity with time. Furthermore, magnifying the value of ε reduces the amplitude | x | of the system and that makes the motion converges from the nature of damping with time. This is one of advantage of generalized the damping term, using two different coefficients for the linear damping term and non-linear damping term.

Figures 4-6 show the convergence of WCE to MC results as the number K of GRVs increases. We can note that, it is more effective to use WCE with higher number K of random variables than to increase the polynomial order N. Furthermore, they show the dynamic behavior of the oscillations at large value of linear damping coefficient ζ . With quasi-absence of the external force, the mean solution reacts as a negative damping system. Where, the system starts outside of the limit cycle and acquires energy.

But, for ζ ≫ 1 the system acts as a relaxation oscillator system as result of the sudden increase and decrease of the velocity x ˙ , (see

Also, Depending on conditions (2.5) and (2.7), we found that reducing the value of ε makes the nonlinear damping term ε x 2 x ˙ tends to zero. Thence, the

approximate solution of the SVDP equation converges to the solution of the damping harmonic oscillation. For this reason, the mean solution of the WCE for different number of propagators will converge to the form x ¨ 0 + ζ x ˙ 0 + β x 0 = 0 , where 0 = ( 0 , 0 , ⋯ , 0 ) . So,

In Figures 7-9, the system acts as a positive damping system due to increase the influence of the external force. Therefore, the system dissipates the energy and converges to the origin. Depending on condition (2.7) where 1 + x 2 − λ 2 ≥ 0 , we get x 2 ≥ λ 2 − 1 .

Furthermore, increasing the value of λ ≫ 1 produces a deviation between the results of WCE and those of MC simulations. This deviation can be reduced by increasing MC samples, but at the other side, the computing time will increase and also the memory required. Especially we handle a second order differential equation. So, the oscillation of the results of MC simulations is been

chaotic.

The following results discussed the comparison between the results of WCE method, WHE method with those of MC simulations.

Although the existence of a small deviation of the results of WHE from the other methods,

In this paper, we investigated the SVDP equation under an external excitation described by Gaussian white noise. The accurate analytical solution of the SVDP oscillator was not obtained until now. Therefore we needed to use numerical techniques such as the spectral decomposition techniques to obtain an effective approximate solution. The dynamic behavior of this solution was studied through its statistical moments. Furthermore, depending on the study, it was found that:

· WCE technique was more accurate if it is compared with WHE technique for the same order.

· WCE technique was programmable if it is compared with WHE technique and for the same order, WCE consumed less time on the same processor.

· The accuracy of the WCE technique increases by increasing the number of Gaussian random variables (GRVs), much more than the order of the expansion. Hence, in creasing the number of GRVs makes the propagators capture more information about the stochastic solution. Especially, for equations need a long interval time.

· Depending on the growth condition, the solution of the SVDP system was locally existence as long as the values of both the linear damping coefficient and the external force coefficient were small.

Furthermore, we deduced that as long as the influence of the external force is negligible, the results of the three techniques are converged. But, increasing the influence of the external force refers to the efficiency of each method in dealing with the randomness of external force. In that study, we found that the WCE method was more efficient since it depends on the discretization of the white noise using the Fourier expansion. This discretization was missed in the WHE method. For the MC simulations, it was based on the number of realizations, the increasing of this number may be exceeded the capacity of the used machinery.

We would like to thank everyone who contributed to improving the quality and clarity of this research.

The authors declare that there are no conflicts of interest regarding the publication of this research.

Hamed, M., El-Kalla, I.L., El-Beltagy, M.A. and El-desouky, B.S. (2020) Solution of Stochastic Van der Pol Equation Using Spectral Decomposition Techniques. Applied Mathematics, 11, 184- 202. https://doi.org/10.4236/am.2020.113016