Abstract
Some remarks on the application of the Hori method in the theory of nonlinear oscillations are presented. Two simplified algorithms for determining the generating function and the new system of differential equations are derived from a general algorithm proposed by Sessin. The vector functions which define the generating function and the new system of differential equations are not uniquely determined, since the algorithms involve arbitrary functions of the constants of integration of the general solution of the new undisturbed system. Different choices of these arbitrary functions can be made in order to simplify the new system of differential equations and define appropriate near-identity transformations. These simplified algorithms are applied in determining second-order asymptotic solutions of two well-known equations in the theory of nonlinear oscillations: van der Pol equation and Duffing equation.
1. Introduction
In da Silva Fernandes [1], the general algorithm proposed by Sessin [2] for determining the generating function and the new system of differential equations of the Hori method for noncanonical systems has been revised considering a new approach for the integration theory which does not depend on the auxiliary parameter introduced by Hori [3, 4].
In this paper, this new approach is applied to the theory of nonlinear oscillations for a second-order differential equation and two simplified versions of the general algorithm are derived. The first algorithm is applied to systems of two first-order differential equations corresponding to the second-order differential equation, and the second algorithm is applied to the equations of variation of parameters associated with the original equation. According to these simplified algorithms, the determination of the unknown functions and , defined in the th-order equation of the algorithm of the Hori method, is not unique, since these algorithms involve at each order arbitrary functions of the constants of integration of the general solution of the new undisturbed system. Different choices of the arbitrary functions can be made in order to simplify the new system of differential equations and define appropriate near-identity transformations. The problem of determining second-order asymptotic solutions of two well-known equations in the theory of nonlinear oscillations—van der Pol and Duffing equations—is taken as example of application of the simplified algorithms. For van der Pol equation, two generating functions are determined: one of these generating functions is the same function obtained by Hori [4], and, the other function provides the well-known averaged equations of variation of parameters in the theory of nonlinear oscillations. For Duffing equation, only one generating function is determined, and the second-order asymptotic solution is the same solution obtained through Krylov-Bogoliubov method [5], through the canonical version of Hori method [6] or through a different integration theory for the noncanonical version of Hori method [7]. For completeness, brief descriptions of the noncanonical version of the Hori method [4] and the general algorithm proposed by Sessin [2] are presented in the next two sections.
2. Hori Method for Noncanonical Systems
The noncanonical version of the Hori method [4] can be briefly described as follows.
Consider the differential equations: where , , are the elements of the vector function . It is assumed that is expressed in power series of a small parameter : The system of differential equations described by is supposed to be solvable.
Let the transformation of variables be generated by the vector function . This transformation of variables is such that the new system: is easier to solve or captures essential features of the system. , , are the elements of the vector function , also expressed in power series of : It is assumed that the vector function , that defines a near-identity transformation, is also expressed in powers series of :
Following Hori [4], the transformation of variables generated by is given by For an arbitrary function , the expansion formula is given by The operator is defined by
According to the algorithm of the perturbation method proposed by Hori [4], the vector functions and are obtained, at each order in the small parameter , from the following equations:, where stands for the generalized Poisson brackets , , , and are written in terms of the new variables .
The th-order equation of the algorithm can be put in the general form: where the functions are obtained from the preceding orders.
3. The General Algorithm
The determination of the functions and from (2.13) is based on the following proposition presented in da Silva Fernandes [1].
Proposition 3.1. Let be a vector function of the variables , which satisfy the system of differential equations: where describes an integrable system of differential equations: a general solution of which is given by being arbitrary constants of integration; then
A corollary of this proposition can be stated.
Corollary 3.2. Consider the same conditions of Proposition 3.1 with the general solution of (3.2) given by being arbitrary constants of integration and , where τ is an additive constant; then
Now, consider (2.13). According to Proposition 3.1, this equation can be put in the form: with written in terms of the general solution (3.3) of the undisturbed system (3.2), involving arbitrary constants of integration—. and are unknown functions.
Equation (3.7) is very similar to the one presented by Hori [4], which is written in terms of an auxiliary parameter through an ordinary differential equation, that is,
To determine and , , Hori [4] extends the averaging principle applied in the canonical version: are determined so that the are free from secular or mixed secular terms. However, this procedure is not sufficient to determine such that the new system of differential equations (2.3) becomes more tractable, and, a tractability condition is imposed This condition is analogous to the condition in the canonical case, which provides the first integral , where denotes the new set of canonical variables, and, and are the undisturbed Hamiltonian and the new Hamiltonian, respectively, and stands for Poisson brackets [3, 4].
In the next paragraphs, the general algorithm for determining and , , proposed by Sessin [2] and revised in da Silva Fernandes [1] is briefly presented.
Introducing the matrices: and the Jacobian matrix
the system of partial differential equations (3.7) can be put in the following matrix form:
The vector functions and are determined from the following equations: where is the Jacobian matrix associated to the general solution (3.3) of the undisturbed system (3.2), denotes the secular or mixed secular terms, and denotes the remaining part. is the vector, , which depends only on the arbitrary constants of integration of the general solution (3.3). The choice of is arbitrary. Recall that in the integration process, the arbitrary constants of integration of the general solution (3.3) are taken as parameters.
Equations (3.13) and (3.14) assure that is free from secular or mixed secular terms. Moreover, these equations provide the tractability condition (3.9) as it will be shown in the case of nonlinear oscillation problems presented in the next section.
Finally, it should be noted that can be chosen at each order to simplify the generating function and the new system of differential equations (2.3). This aspect is discussed thoroughly in the examples of Section 5.
4. Simplified Algorithms in the Theory of Nonlinear Oscillations
In this section two simplified algorithms will be derived from the general algorithm in the case of nonlinear oscillations described by a second-order differential equation of the general form:
The first algorithm is applied to the system of first-order differential equations with and as elements of the vector , and, the second algorithm is applied to the system of equations of variation of parameters associated to the differential equation with and as elements of the vector ; and are defined in (4.26).
4.1. Simplified Algorithm I
For completeness, we present now the first simplified algorithm [1]. Additional remarks are included at the end of section.
Introducing the variables and , (4.1) can be put in the form: According to the notation introduced in (2.1) and (2.2):
Following the algorithm of the Hori method for noncanonical systems, one finds from zero-th-order equation, (2.9), that
Applying Proposition 3.1, it follows that the undisturbed system (3.2) is given by general solution of which can be written in terms of the exponential matrix as [2]: where and is the symplectic matrix: and , , are constants of integration. The Jacobian matrix associated with the solution (4.6) is then given by with inverse , since is an orthogonal matrix.
In view of (4.6), the functions defined at each order of the algorithm (see (2.13) or (3.7)) are expressed by Fourier series with multiples of as arguments such that the vector function can be written as where the coefficients , , , and are functions of the constants , . The Fourier series can also be put in matrix form: with The subscript is introduced to denote the first simplified algorithm.
Substituting (4.9) and (4.11) into (3.13), one finds
On the other hand, where stands for the mean value of the function.
Therefore, from (4.9), (4.13), and (4.14), it follows that
The second equation of the general algorithm, (3.14) can be simplified as described bellow.
From (3.14), (4.14), and (4.15), one finds
On the other hand,
Thus, introducing (4.16) and (4.17) into (3.14), one finds
Equations (4.15) and (4.18) define the first simplified form of the general algorithm applicable to the nonlinear oscillations problems described by (4.1) with and as elements of vector .
Finally, we note that (4.15) satisfies the tractability condition (3.9) up to order . In order to show this equivalence, one proceeds as follows. Since, from (4.14), does not depend explicitly on the time , it follows that Using Proposition 3.1 and taking into account that , this equation can be put in the following form: which is the tractability condition (3.9) up to order .
Remark 4.1. It should be noted that (4.15) and (4.18) for determining the vector functions and , respectively, are invariant with respect to the form of the general solution of the undisturbed system described by . This means that if the general solution of the undisturbed system is written in terms of a second set of constants of integration, for instance, if this solution is given by
where and denote new constants of integration, then and are determined through (4.15) and (4.18), with the Jacobian matrix given by
This result can be proved as follows. The two sets of constants of integration and are related through the following transformation:
In view of this transformation, the Jacobian matrix can be written in terms of the Jacobian matrix as
where the superscripts 1 and 2 are introduced to denote the form of the general solution of the undisturbed system described by with respect to the set of constants of integration and , respectively. is the Jacobian matrix of the transformation. Since does not depend on the time , it follows from (4.15) and (4.18) that
Finally, we note that the general solution given by (4.21) is more suitable in practical applications than the general solution given by (4.6), that, in turn, is more suitable for theoretical purposes.
4.2. Simplified Algorithm II
In this section, a second simplified algorithm is derived from the general one. Introducing the transformation of variables defined by the following equations equation (4.1) is transformed into These differential equations are the well-known variation of parameters equations associated to the second-order differential equation (4.1). Equation (4.27) define a nonautonomous system of differential equations.
The sets and , defined, respectively in (4.21) and (4.26), have different meanings in the theory: in (4.21), and are constants of integration of the general solution of the new undisturbed system described by ; in (4.26), and are new variables which represent the constants of integration of the general solution of the original undisturbed system described by in the variation of parameter method. These sets, and , are connected through a near identity transformation.
Remark 4.2. It should be noted that a second transformation of variables involving a fast phase, , can also be defined. This second transformation is given by
In this case, (4.1) is transformed into
These equations define an autonomous system of differential equations. In what follows, the first set of variation of parameters equations, (4.27), will be considered.
Now, introducing the variables and , one gets from (4.27) that
Applying Proposition 3.1, it follows that the undisturbed system (3.2) is given by
and its general solution is very simple,
where , , are constants of integration. The Jacobian matrix associated with this general solution is also very simple, and it is given by
where is the identity matrix.
Substituting (4.33) into (3.13) and (3.14), it follows that
The subscript is introduced to denote the second simplified algorithm.
Equation (4.34) can be put in a more suitable form as follows. In view of (4.30), the functions defined at each order of the algorithm (see (2.13) or (3.7)) are expressed by Fourier series with multiples of as arguments such that the vector function can be written as
where the coefficients , , , and are functions of the constant . The vector function can also be put in matrix form:
with
Note that is very similar to , defined by (4.11). They represent different forms of Fourier series of , but they are not the same, since they involve different sets of arbitrary constants of integration.
Thus, it follows from (4.36) that
with the periodic terms given by
Therefore,
Substituting (4.40) into (4.34), one finds
Note that depends only on .
It should be noted that (4.41) and (4.42) can be straightforwardly obtained from (3.12) by applying the averaging principle if is assumed to be zero, since in this second approach:
where denotes the null matrix. Thus, the general algorithm defined by (3.13) and (3.14) is equivalent to the averaging principle usually applied in the theory of nonlinear oscillations [5, 7].
Remark 4.3. Equations (4.41) and (4.42) are also obtained, if the second set of variation of parameters equations is considered (see Remark 4.2). In this case, the undisturbed system (3.2) is given by
with general solution defined by
and Jacobian matrix .
Finally, we note that (4.41) is the tractability condition (3.9) up to order . Since does not depend explicitly on the time , it follows that
which is the tractability condition (3.9) up to order .
5. Application to Nonlinear Oscillations Problems
In order to illustrate the application of the simplified algorithms, two examples are presented. The noncanonical version of the Hori method will be applied in determining second-order asymptotic solutions for van der Pol and Duffing equations. For the van der Pol equation, two different choices of the vector will be made, and two generating functions will be determined, one of these generating functions is the same function obtained by Hori [4] through a different approach, and, the other function gives the well-known averaged variation of parameters equations in the theory of nonlinear oscillations obtained through Krylov-Bogoliubov method [5]. It should be noted that the solution presented by Hori defines a new system of differential equations with a different frequency for the phase in comparison with the solution obtained by Ahmed and Tapley [7] and by Nayfeh [5], using different perturbation methods. For the Duffing equation, only one generating function is determined, and the second simplified algorithm gives the same generating function obtained through Krylov-Bogoliubov method.
The section is organized in two subsections: in the first subsection, the asymptotic solutions are determined through the first simplified algorithm, and, in the second subsection, they are determined through the second simplified algorithm.
5.1. Determination of Asymptotic Solutions through Simplified Algorithm I
5.1.1. Van der Pol Equation
Consider the well-known van der Pol equation: Introducing the variables and , this equation can be written in the form: Thus
As described in preceding paragraphs, two different choices of will be made, and two generating functions will be determined. Firstly, we present the solution obtained by Hori [4].
(1) First Asymptotic Solution: Hori’s [4] Solution
Following the simplified algorithm I defined by (4.15) and (4.18), the first-order terms and are calculated as follows.
Introducing the general solution given by (4.21) of the undisturbed system described by into (5.4), with replacing , one gets
Computing ,
and taking its secular part, one finds
From (4.15) and (4.22), it follows that is given by
In view of (4.21), can be written explicitly in terms of the new variables and as follows:
To determine , the indefinite integral is calculated:
Thus, from (4.18), it follows that is given by
In view of (4.21), can be written explicitly in terms of the new variables and as follows:
with put in the form:
being , , , and . The auxiliary vector is introduced in order to simplify the calculations, and, it is calculated in the second-order approximation as described below.
Following the algorithm of the Hori method described in Section 2, the second-order equation, (2.11), involves the term given by
The determination of is very arduous. The generalized Poisson brackets must be calculated in terms of and through (2.12), and, the general solution of the undisturbed system, defined by (3.1), must be introduced. It should be noted that , in (5.12) are functions of the new variables and through . So, their partial derivatives must be considered in the calculation of the generalized Poisson brackets. After lengthy calculations performed using MAPLE software, one finds
In order to obtain the same result presented by Hori [4] for the new system of differential equations and the near-identity transformation, the following choice is made for the auxiliary vector . Taking
it follows from (5.15) that
From (4.15), (4.21), and (5.17), one finds
In view of the choice the auxiliary vector , (5.12) can be simplified, and is then given by
Computing the indefinite integral and substituting the general solution of the new undisturbed system, it follows that is given by
with put in the form:
being , , , and . is obtained from the third-order approximation.
In order to get the same result presented by Hori [4], one finds, repeating the procedure described in the preceding paragraphs, that the auxiliary vector must be taken as follows:
Accordingly, is given by
The new system of differential equations and the generating function are given, up to the second-order of the small parameter, by
These results are in agreement with the ones obtained by Hori [4] using a different approach.
Following da Silva Fernandes [1], the Lagrange variational equations—equations of variation of parameters—for the noncanonical version of the Hori method are given by
where , and is the vector of constants of integration of the general solution of the new undisturbed system (3.3). In view of (4.15), Lagrange variational equations can be put in the form:
Accordingly, the Lagrange variational equations for the new system of differential equations, (5.24), are given by
The solution of the new system of differential equations can be obtained by introducing the solution of the above variational equations into (4.21).
The originalvariables and are calculated through (2.6), and the second-order asymptotic solution is
Equations (5.29) define exactly the same solution presented by Hori.
(2) Second Asymptotic Solution
Now, let us to consider a different choice of the auxiliary vector . Taking as a null vector, it follows straightforwardly from (5.15) that
Thus, from (4.15), (4.21), (5.28a), and (5.28b), one finds
Since is a null vector, (5.12) simplifies, and is given by
Now, repeating the procedure described in the previous section, that is, computing the indefinite integral , substituting the general solution of the new undisturbed system defined by (4.21), and taking is a null vector, it follows that is given by
So, the new system of differential equations and the generating function are given, up to the second-order of the small parameter ε, by
The Lagrange variational equations for the new system of differential equations, defined by (5.34), are given byThese differential equations are the well-known averaged equations obtained through Krylov-Bogoliubov method [5]. Note that (5.28b) and (5.36b) define the phase with slightly different frequencies.
As described in the preceding subsection, the solution of the new system of differential equations, defined by (5.34), can be obtained by introducing the solution of the above variational equations into (4.21).
The original variables and are calculated through (2.6), which provides the following second-order asymptotic solution,
Finally, note that (5.29) and (5.37) give different second-order asymptotic solution for van der Pol equation.
5.1.2. Duffing Equation
Consider the well-known Duffing equation:Introducing the variables and , this equation can be written in the form:
Thus,
Following the simplified algorithm I and repeating the procedure described in Section 5.1.1, the first-order terms and are obtained as follows. Introducing (4.21) into (5.40), and computing the secular part, one gets Thus, from (4.15) and (5.41), it follows that is given by
In view of (4.21), can be written explicitly in terms of the new variables and :
Calculating the indefinite integral , one finds
Multiplying this result by , it follows, according to (4.18), that is given by
Taking as a null vector and using (4.21), can be written explicitly in terms of the new variables and as follows:
In the second-order approximation, one finds after lengthy calculations using MAPLE software:
Repeating the procedure described in the above paragraphs, one finds Taking as a null vector, it follows that
The new system of differential equations and the generating function are given, up to the second-order of the small parameter , by
The Lagrange variational equations for the new system of differential equations, defined by (5.50), are given by These differential equations are the well-known equations obtained through Krylov-Bogoliubov method [5].
As described in Section 5.1.1, the solution of the new system of differential equations, defined by (5.50), can be obtained by introducing the solution of the above variational equations into (4.21).
The original variables and are calculated through (2.6), which provides the following second-order asymptotic solution: These equations are in agreement with the solution obtained through the canonical version of the Hori method [6].
5.2. Determination of Asymptotic Solutions through Simplified Algorithm II
5.2.1. Van der Pol Equation
For the van der Pol equation, the function is written in terms of the variables and byThus, it follows from (4.30) that As mentioned before, two different choices of will be made, and two generating functions will be determined.
(1) First Asymptotic Solution
Following the simplified algorithm II defined by (4.41) and (4.42), the first-order terms and are calculated as follows.
Taking the secular part of , with replacing , one finds
and, integrating the remaining part,
with , .
Following the algorithm of the Hori method described in Section 2, the second-order equation, (2.11), involves the term given by
After tedious lengthy calculations using MAPLE software, one finds
In order to obtain the same averaged Lagrange variational equations given by (5.28a) and (5.28b), must be taken as
Thus, it follows that
In view of the choice of , is then given by
Repeating the procedure for the third-order approximation, and, taking
one finds
The new system of differential equations is given, up to the second-order of the small parameter , byThese differential equations are exactly the same equations given by (5.28a) and (5.28b).
The generating function is obtained from (5.62), (5.64), and it is given, up to the second-order of the small parameter , by
The original variables and are calculated through (2.7), which provides, up to the second-order of the small parameter, the following solution:
with and given by the solution of (5.65a) and (5.65b).
Note that (5.29) and (5.67) give the same second-order asymptotic solution for the van der Pol equation. Recall that and have different meaning in these equations, but they are related through an equation similar to (4.21).
(2) Second Asymptotic Solution
Now, let us to take and as null vectors. Equations (5.59) simplifies, and is given by
The functions and are then given by
The new system of differential equations is obtained from (5.56) and (5.68), and it is given, up to the second-order of the small parameter, by
These differential equations are exactly the same equations given by (5.36a) and (5.36b).
The generating function is obtained from (5.69), and it is given, up to the second-order of the small parameter , by
Equations (5.71) are in agreement with the solution obtained by Ahmed and Tapley [7] through a different integration theory for the Hori method.
A second-order asymptotic solution for the original variables and is calculated through (2.7), and it is given by
with and given by the solution of (5.70).
As before, note that (5.37) and (5.72) give the same second-order asymptotic solution for the van der Pol equation. Recall that and have different meaning in these equations, but they are related through an equation similar to (4.21).
5.2.2. Duffing Equation
For the Duffing equation, the function is written in terms of the variables and , by Thus, it follows from (4.30) that
Following the simplified algorithm II and repeating the procedure described in Section 5.2.1, the first-order terms and are obtained as follows. Taking the secular part of , with replacing , and, integrating the remaining part, one finds
In the second-order approximation, one finds Taking the secular part of , and, integrating the remaining part, one finds
The new system of differential equations is given, up to the second-order of the small parameter , by These differential equations are exactly the same equations given by (5.52).
The generating function is obtained from (5.76) and (5.79), and it is given, up to the second-order of the small parameter , by
A second-order asymptotic solution for the original variables and is calculated through (2.7), and it is given by These equations are in agreement with the solution obtained through the canonical version of the Hori method [6]. Note that (5.53) and (5.82) give the same second-order asymptotic solution for the Duffing equation. Recall that and have different meaning in these equations, but they are related through an equation similar to (4.21).
6. Conclusions
In this paper, the Hori method for noncanonical systems is applied to theory of nonlinear oscillations. Two different simplified algorithms are derived from the general algorithm proposed by Sessin. It has been shown that the th-order terms and that define the near-identity transformation and the new system of differential equations, respectively, are not uniquely determined, since the algorithms involve at each order arbitrary functions of the constants of integration of the general solution of the undisturbed system. This arbitrariness is an intrinsic characteristic of perturbation methods, since some kind of averaging principle must be applied to determine these functions. The simplified algorithms are then applied in determining second-order asymptotic solutions of two well-known equations in the theory of nonlinear oscillations: van der Pol and Duffing equations. For van der Pol equation, the appropriate use of the arbitrary functions allows the determination of the solution presented by Hori. This solution defines a new system of differential equations with a different frequency for the phase in comparison with the solution obtained by Ahmed and Tapley, who used a different approach for determining the near-identity transformation and the new system of differential equations for the Hori method, and, with the solution obtained by Nayfeh through the method of averaging. For the Duffing equation, only one generating function is determined, and the second simplified algorithm gives the same generating function obtained through Krylov-Bogoliubov method.