Abstract
Using nonlinear theory to research vibration model of engineering system has important theoretical and practical significance. Multi-degree-of-freedom (MDOF) coupled van der Pol oscillator is a typical model in the nonlinear vibration; many complex dynamic problems in practical engineering can be simplified as this model to be solved in the end. This paper discusses a class of two-degrees-of-freedom (2-DOF) coupled van der Pol oscillator, which was divided into three parameters of different situations α1≠α2, β1≠β2, and γ1≠γ2 to discuss. Employing symbolic software such as Mathematica for those problems, the explicit analytical solutions of frequency ω and displacements x1(t) and x2(t) are well formulated. Results showed that the homotopy analysis method (HAM) can effectively deal with this kind of parameter of different coupled vibrators, just request the values of some parameters are not too big. Finally, we got four important theorems to simplify the solution of the nonlinear system.
1. Introduction
Most of practical engineering problems can be governed by multi-degree-of-freedom (MDOF) nonlinear systems. The significance of MDOF nonlinear dynamical systems is mainly due to its complex dynamics, global bifurcations, and chaotic motions; the intensive research subjects are thus at the forefront of nonlinear dynamics. Due to lack of analytical tools and methods to study MDOF nonlinear systems, it is extremely challenging to develop the theories of MDOF nonlinear systems and to give systematic applications to engineering problems.
Enlightened from the basic concepts of the homotopy in topology, Liao [1, 2] proposed an analytical method for solving a kind of nonlinear problems, namely, the homotopy analysis method (HAM). Unlike the classical perturbation techniques, the clear-cut feature of the HAM is independent of small parameters in the governing equations of motion. Inasmuch as the HAM can overcome the foregoing restrictions of conventional perturbation techniques, this method has been widely applied to solve a variety of nonlinear problems [3–7].
The studies of the limit cycles (LC) of the van der Pol oscillator have attracted a considerable number of authors [8, 9]. Odani obtained the LC of the van der Pol equation that is not algebraic in [10]. Wirkus and Rand [11] discussed the dynamics of two coupled van der Pol oscillators with delay coupling. Hirano and Rybicki [12] presented the existence of limit cycles for coupled van der Pol equations. Bi [13] studied the dynamical analysis of two coupled parametrically excited van der Pol oscillators. Rompala et al. [14] proposed the dynamics of three coupled van der Pol oscillators; they investigated the existence of the in-phase mode in which the first two oscillators have the same behavior. Recently, Chen and Liu [15, 16] studied the LC of van der Pol and van der Pol-Duffing equation for single degree of freedom (SDOF) by the HAM. Kuznetsov et al. [17] obtained the phase dynamics and structure of synchronization tongues of coupled van der Pol-Duffing oscillators. Kimiaeifar et al. [18] made use of HAM to give the analytical solution for van der Pol-Duffing oscillators for SDOF. Qian et al. [19] derived the highly convergent solutions for MDOF coupled van der Pol oscillators. Liao [20] elucidated some new definitions and theorems of the HAM. As a result of the existence of nonlinear terms, we must study different kinds of systems, no matter the physical significance and complication of calculation. With HAM as an analytical approximation method, we can verify its effectiveness through specific cases. In this paper we study a pair of van der Pol oscillators in which there are cubic couple terms. Because of its flexibility, the present techniques can also be further generalized to analyze more complicated nonlinear MDOF dynamical systems that can only be analyzed by numerical methods.
In this paper, the HAM is applied to study the accurate approximate analytical solutions for a class of coupled van der Pol oscillators. We discuss a 2-DOF coupled van der Pol system in three circumstances with different parameters α1≠α2, β1≠β2, and γ1≠γ2. The validity and accuracy of the HAM are also performed. The auxiliary parameter ℏ is firstly modified to ensure the convergence of solution series. Also, the relationship of the frequency, amplitudes, and parameters is investigated through figures. Then we acquire the approximate value of ω and expressions of x1(t) and x2(t). The comparison between approximate solutions and exact ones is conducted simultaneously. It is shown that the periodic solutions of the HAM are in excellent agreement with the numerical integration ones, even if time t progresses to a certain large domain. In what follows, Section 2 presents the HAM of the 2-DOF coupled van der Pol system. In Section 3, numerical comparisons are carried out to authenticate the correctness and accuracy of the present method. Moreover, we got four important theorems to simplify the solution of the nonlinear system in Section 4. Finally, the paper ends with concluding remarks in Section 5.
2. Homotopy Analysis Method
In this section, we consider the following types of the 2-DOF strongly nonlinear coupled van der Pol oscillators
where x1(t) and x2(t) are unknown functions, α i , β i , γ i , and δ i (i = 1, 2) are the known physical parameters, and x1 and x2 are mutual coupling.
Introduce a new variable τ = ωt and substitute it into the systems (1a) and (1b); we get
with the initial conditions
Apostrophe is on behalf of the new variable's differential.
Assuming the periodic solution of systems (2a) and (2b) can be represented by the basis function {cos(kτ), sin(kτ) ∣ k = 0, 1, 2, …}
For the initial guess solution, we set
and the auxiliary linear operator is expressed as
According to the systems (2a) and (2b), nonlinear operator is defined as follows:
Taking H(t) = 1, the zero-order deformation equation can be written as
with the initial conditions
When q = 0, (8), (9a), and (9b) have solutions
When q = 1, the zero-order deformation equations (8), (9a), and (9b) are equivalent to the original equations (2a), (2b), and (3), so
When the embedded variable q increases from 0 to 1, Φ i (τ,q) changes from the initial guess solution xi,0(τ) to an unknown exact solution x i (τ) (i = 1, 2). Likewise, Ω(q) changes from an initial guess frequency ω0 to the physical frequency ω.
Using Taylor expansion theorem and (10), we get
Assuming that the auxiliary parameter ℏ is selected appropriately, (12a), (12b), and (12c)'s power series are converging when q = 1. By (13a), (13b), and (13c), we get the series solution
For convenience, we define the vector as follows:
By differentiating the zeroth-order deformation equation (8) m times with respect to q, and both sides of the resulting equation are divided by m!, and assume q = 0; we obtain m order deformation equation
with the initial conditions
According to the solution expression principles and the definition of linear operator L, by (16), we obtained solutions x1,m(τ) and x2,m(τ) without secular terms τsinτ and τcosτ. The right-hand side of (16) cannot contain sinτ, cosτ, or similar items. We set the coefficient of these items are 0, and we get
Then
Using (16), (18a), (18b), (18c), and (18d), we can gradually get ω k , a k , b k , and c k (k = 0, 1, 2, …).
3. Numerical Simulation
In this section, we get the periodic solution of systems (1a) and (1b) by HAM under the condition of the given parameters α i , β i , γ i , and δ i (i = 1, 2). First we consider the case α1≠α2; take α1 = 1, α2 = 99/100, β1 = β2 = 1, γ1 = γ2 = 1, δ1 = δ2 = 1, and then put them into (18a), (18b), (18c), and (18d); we can get the following nonlinear algebraic equations:
Solve the equations; we have a0 = 2, b0 = 0, c0 = 2, and ω0 = 2.
Next make use of the relationship between frequency ω and parameter ℏ to determine the value range of ℏ. Figure 1 is the curve of ω-ℏ by the fourth-order approximation; when − 0.28 < ℏ < − 0.18, the series of ω is convergent. The selection of different auxiliary parameters ℏ can improve the accuracy of the final series solution; for simplicity, take ℏ = − 0.2.

The fourth-order approximation curve of ω versus ℏ.
We further explore the relationship between the frequency, amplitude, and the parameters. According to (3), the amplitudes of the two components x1(t), x2(t) are a, c in periodic solution of the system. In this example, since α1≠α2 and other parameter values are the same, the focus of the research is the relationship between ω, a, c and α1, α2. First, set α1 as an unknown parameter, and set α2 as a known quantity (α2 = 99/100). According to the HAM, the second-order approximate expression of ω(α1), a(α1), and c(α1) can be written, respectively, as follows:
Then set α2 as an unknown parameter, α1 as a known quantity (α1 = 1); the second-order approximate expression of ω(α2), a(α2), and c(α2) can be written, respectively, as follows:
Figure 2 shows the image of ω(α1) and ω(α2) drawn in the same Cartesian coordinate system, namely, the curves of ω-α1 and ω-α2.

The second-order approximation curves of ω-α1 and ω-α2.
One can see from Figure 2 that if α1, α2 are within the suitable range (− 1/2 < α1, α2 < 3/2), and the gap between α1 and α2 is very small (|α1 − α2| < 1/50), then the approximate value of frequency ω can be stabilized in the vicinity of 1.9. Thus it can be seen that the setting of α1, α2 in this example is reasonable.
Figures 3 and 4 give the fourth-order analytical approximate phase diagram and time history curve, respectively. The fourth-order analytical approximation agrees well with the solution obtained by the numerical integration method. Here the initial conditions that numerical integration method meets are x1(0) = 2, x1′(0) = 0, x2(0) = 2, and x2′(0) = 0.

Comparison of the phase portrait curves of the fourth-order approximation with the numerical integration method.

Comparison of the time history responses s of the fourth-order approximation with the numerical integration method.
The specific expressions of the fourth-order analytical approximate that the systems (1a) and (1b) satisfy the above initial conditions are
where
Now consider the case of β1≠β2. Taking each parameter as α1 = α2 = 1, β1 = 1, β2 = 999/1000, γ1 = γ2 = 1, and δ1 = δ2 = 1; in accordance with the method of the previous example, put them into (18a), (18b), (18c), and (18d), and obtain the following nonlinear algebraic equations:
Solving the equations, obtained a0 = 2, b0 = 0, c0 = 2, and ω0 = 2.
Using the relationship between the frequency ω and the parameters ℏ is to determine the range of ℏ. Figure 5 is the curve of ω-ℏ by the third-order approximation; as can be seen from the figure, when − 0.28 < ℏ < − 0.18, the series of ω is convergent. For simplicity, take ℏ = − 0.1.

The third-order approximation curve of ω versus ℏ.
Since β1≠β2, based on the idea of the previous example, we focus on studying the relationship between ω, a, c and the parameters β1, β2. First, set β1 as an unknown parameter, β2 as a known amount (β2 = 999/1000); in accordance with the HAM the second-order approximate expression of ω(β1), a(β1), and c(β1) can be written as
Next, set β2 as an unknown parameter, β1 as an known quantity (β1 = 1); the second-order approximate expression of ω(β2), a(β2), and c(β2) can be, respectively, written as
Draw the image of ω(β1) and ω(β2) in the same Cartesian coordinate system; we get curve ω-β1 and curve ω-β2, as Figure 6 demonstrates.

The first-order approximation curves of ω-β1 and ω-β2.
Similar to the last case, if β1, β2 are within the appropriate range 1/2 < β1, β2 < 3/2 and the gap between β1 and β2 is very narrow (|β1 − β2| < 1/5000), then the frequency ω approximation can be stabilized at 1.95 nearby.
Figures 7 and 8 give the third-order analytical approximate phase diagram, respectively. It is not difficult to find that third-order analytical approximation agrees well with the solution obtained by the numerical integration method. Of course, to get a more accurate solution, we can appropriately increase order of count, in order to increase the number of items series solution; here the initial conditions that numerical integration method meets are x1(0) = 2, x1′(0) = 0, x2(0) = 2, and x2′(0) = 0.

Comparison of the phase portrait curves of the third-order approximation with the numerical integration method.

Comparison of the time history responses of the third-order approximation with the numerical integration method.
Finally, the third-order analytical approximation (x1(t),x2(t),ω) that the systems (1a) and (1b) satisfy the above initial conditions is
where
Consider the case of γ1≠γ2; take α1 = α2 = 1, β1 = β2 = 1, γ1 = 2, γ2 = 3, and δ1 = δ2 = 2 and then put them into (18a), (18b), (18c), and (18d); we obtained the following nonlinear algebraic equations:
Solving these equations, we obtained a0 = 2, b0 = 0, c0 = 2, and
Utilizing the relationship between frequency ω and parameter ℏ again is to determine the value range of ℏ. Figure 9 is the curve of ω-ℏ by the fourth-order approximation; obviously, when − 0.16 < ℏ < − 0.09, the series of ω is convergent. We may as well select ℏ = − 0.1.

The fourth-order approximation curve of ω versus ℏ.
In this case, the unequal parameters γ1, γ2 are in the coupling, so the relationship between frequency, amplitude, and them becomes relatively simple. Set γ1, γ2 as unknown parameters, in accordance with the HAM; we obtained the fourth-order approximation expression of ω, a, and c. Consider the following:
Namely, as long as the order is fixed, regardless of the value of γ1, γ2, the approximation of frequency and amplitude is the same.
Figures 10 and 11 give the fourth-order analytical approximate phase diagram and time history curve, respectively. As is shown in the figures, fourth-order analytical approximation agrees well with the solution obtained by the numerical integration method. Here the initial conditions that numerical integration method meets are x1(0) = 2, x1′(0) = 0, x2(0) = 2, and x2′(0) = 0.

Comparison of the phase portrait curves of the fourth-order approximation with the numerical integration method.

Comparison of the time history responses of the fourth-order approximation with the numerical integration method.
The fourth-order analytical approximation (x1(t),x2(t),ω) that systems (1a) and (1b) satisfy the above initial conditions is
4. Four Important Theorems
From the above discussion, when α1 = α2 = 1, β1 = β2 = 1, and δ1 = δ2 = 2, the solution of systems (1a) and (1b) satisfies x1(t) = x2(t), and the expressions of x1(t), x2(t), and ω will not be influenced by parameters γ1, γ2, inspired from the results.
Theorem 1. Assuming α, β, δ, and γ
i
(i = 1, 2) are real parameters, x(t) is the solution of van der Pol-Duffing equation
More generally, we have this theorem.
Theorem 2. Assuming α, β, and δ are real parameters, f
i
(i = 1, 2) is real function about x1 and x2, and when x1 = x2, f1 = f2 = 0, x(t) is the solution of van der Pol-Duffing equation
It is easy to prove the above two theorems. Take x1(t) = x2(t) = x(t) into the systems (32a), (32b), (33a), and (33b) and the equation is established. Note that we do not have to find all solutions of the systems (32a), (32b), (33a), and (33b). However, these two theorems are of positive significance. This type of MDOF coupled van der Pol-Duffing oscillator can be simplified into a single degree of freedom of the van der Pol-Duffing equation, and then we can obtain a periodic solution.
This thought of translating MDOF into SDOF is applicable in many nonlinear systems. Here we explore another type of MDOF coupled van der Pol-Duffing oscillator by Theorems 3 and 4.
Theorem 3. Assuming α, β, δ, and γ
i
(i = 1, 2) are real parameters, x(t) is the solution of van der Pol-Duffing equation
As the promotion of Theorem 3, we have Theorem 4.
Theorem 4. Assuming α, β, and δ are real parameters, f
i
(i = 1, 2) is real function about x1 and x2, and when x1 = x2, f1 = f2 = 0, x(t) is the solution of van der Pol-Duffing equation
The proofs of Theorems 1 and 2 are exactly the same. Next we combine the HAM to study the application of Theorem 3.
In the system of (34a) and (34b), taking α = 1, β = 1, γ1 = 5, γ2 = 6, and δ1 = δ2 = 1, by Theorem 3, a periodic solution of the system (x1(t),x2(t)) meets x1(t) = − x2(t) = x(t), wherein x(t) is the solution of equation
We get that the sixth-order homotopy approximate solution (x(t),ω) of the equation
The sixth-order homotopy approximate solution (x1(t),x2(t),ω) of Theorem 3 which meets the initial conditions x1(0) = 2, x1′(0) = 0, x2(0) = − 2, and x2′(0) = 0 is
Finally, we establish a comparison between the approximate solutions and the Runge-Kutta solution. Figures 12 and 13 represent a sixth-order approximation of the phase diagram and the time history graph, respectively. Clearly, the homotopy approximate solution is consistent with the Runge-Kutta solution.

Comparison of the phase portrait curves of the sixth-order approximation with the numerical integration method.

Comparison of the time history responses of the sixth-order approximation with the numerical integration method.
5. Conclusions
In this paper, we use the HAM to get the approximate solution of a class of coupled van der Pol oscillator. We focused on α1≠α2, β1≠β2, and γ1≠γ2. These three cases discussed 2-DOF coupled van der Pol system periodic solution's approximation problem, fully demonstrating the great potential of the HAM in the kinetic study. HAM is a powerful tool for solving the MDOF nonlinear system, which provides simple and ingenious ways to ensure the convergence of the series solution. It is also effective in dealing with equations without depending on the presence of a small parameter. This method not only can be obtained in any order frequency ω and expressions x1(t) and x2(t) but also greatly reduces the amount of the theoretical calculation. By the comparison between homotopy approximate solution and the Runge-Kutta solution, we see that the HAM can effectively deal with such parameters of coupled oscillators, just request the values of some parameters are not too big. To some degree, the proved four theorems simplify the solution of the two types of nonlinear systems. We will consider how to solve the response problem to this kind of system when the gap of parameters is relatively big in the future.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Footnotes
Acknowledgments
The authors gratefully acknowledge the support of the National Natural Science Foundations of China (NNSFC) through Grant no. 11202189 and the National Natural Science Foundation of Zhejiang through Grant no. LY12A02002.
