Abstract
In the contemporary nonlinear dynamics literature, the nonlinear oscillator equation \(\ddot{x}+kx \dot{x}+\frac{k^2}{9}x^3+\tilde{\lambda } x=0\) is being analyzed in various contexts both classically and quantum mechanically. Classically this nonlinear oscillator equation has been shown to admit three different types of dynamics depending upon the sign and magnitude of the parameter \(\tilde{\lambda }\), namely (i) \(\tilde{\lambda }=0\), (ii) \(\tilde{\lambda }>0\) and (iii) \(\tilde{\lambda }<0\). By considering its importance, in this paper, we present the symmetries of its Lagrangian and underlying equation of motion for all the three cases. In particular, we present Lie point symmetries, \(\lambda \)-symmetries, Noether symmetries and telescopic symmetries of this equation. The utility of the symmetries for all the three cases is demonstrated explicitly.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
- Nonlinear oscillators
- Lie point symmetries
- \(\lambda \)-symmetries
- Noether symmetries
- Telescopic vector fields
1 Introduction
During the past ten years or so considerable interest has been shown on investigating various properties associated with the Liénard type nonlinear oscillator equation,
where overdot denotes differentiation with respect to t, k and \(\tilde{\lambda }\) are arbitrary parameters [4, 8, 12, 15, 22, 24, 27]. Equation (1) arises in the study of equilibrium configurations of a spherical gas cloud acting under the mutual attraction of its molecules and subject to the laws of thermodynamics [3]. Even though a more general equation of this form with time dependent coefficients has been studied long ago considerable interest has been shown on this particular equation when two of the present authors along with Bindu and Pandey have identified it as one of the linearizable equations when a Lie symmetry analysis was carried out on the Liénard type equation \(\ddot{x}+f(x)\dot{x}+g(x)=0\), where f(x) and g(x) are arbitrary functions of x [24]. Originally three of the present authors have proved the integrability of system (1) and demonstrated that this equation admits a conservative non-standard Lagrangian and Hamiltonian description [4]. They have also shown that the frequency of oscillations of this system for \(\tilde{\lambda } > 0\) does not depend on the amplitude of oscillations thereby showing that the amplitude dependence of frequency is not necessarily a fundamental property of nonlinear dynamical phenomena [4].
The system (1) admits three different dynamics depending upon the sign of the linear term in it. For example, for the choice \(\tilde{\lambda }\le 0\), the system (1) admits front like solution and \(\tilde{\lambda }>0\) displays explicit sinusoidal periodic solution [4].
This model has further been investigated by several authors under different perspectives [1, 5,6,7, 9, 15, 16, 22]. For example, it has been demonstrated that the model (1) admits (i) integrating factors [1, 5, 7, 16], (ii) Lagrangian multipliers [22], (iii) \(\lambda -\) symmetries [16], (iv) Darboux polynomials [15], and (v) alternate Lagrangian [9]. Equation (1) can be transformed (i) to a free particle equation through invertible point transformation, (ii) to a harmonic oscillator equation through Sundman transformation and (iii) to a linear third order ODE, \(w'''+\tilde{\lambda } w=0,\) through a generalized transformation [5,6,7, 15, 16].
In one of our earlier works, we have constructed a nonstandard Lagrangian, [4]
for this equation. For many of our investigations we stick to the Lagrangian (2) and its associated Hamiltonian (see Eq. (3) below) since when \(k \rightarrow 0\) both the Lagrangian and Hamiltonian reduce to the linear harmonic oscillator Lagrangian and Hamiltonian, respectively, as the equation of motion does. In a recent work, two of the present authors with Chithiika Ruby have also demonstrated the quantum solvability of its Hamiltonian [8]
where
By observing that the Hamiltonian (3) can also be equivalently considered in the form
where
and recognizing that this form coincides with the position dependent mass Hamiltonian with the difference that the variables x and p are interchanged, the authors went on to quantize the position dependent mass Schroedinger equation in momentum space by augmenting with van Roos ordering. The explicit eigenvalues and eigenvectors have been brought out in an elegant manner.
In this paper we present symmetries of various kinds for Eq. (1) and the nonstandard Lagrangian (2). The reason for consolidating this result is that as far as symmetries are concerned some of the earlier studies are incomplete. For example, eventhough Lie point symmetries are known for this equation for all the three parametric regimes the order reduction procedure has not been done so far for this system. In this paper, we intend to complete it. As far as \(\lambda \)-symmetries are concerned eventhough a detailed investigation has been made on the \(\tilde{\lambda }=0\) case, the analysis has not been carried out for the \(\tilde{\lambda }\ne 0\) cases. In this paper we carry out the \(\lambda \)-symmetry analysis for the \(\tilde{\lambda }\ne 0\) cases and present two independent \(\lambda \)-symmetries and their associated independent integrals. Similarly eventhough Noether symmetries for the nonstandard Lagrangian (2) with \(\tilde{\lambda } = 0\) has been reported it has not been analysed for the \(\tilde{\lambda }\ne 0\) cases. We present the Noether symmetries for the remaining two important cases, namely (i) \(\tilde{\lambda } > 0\) and (ii) \(\tilde{\lambda } < 0\) as well. The telescopic vector fields, which are more generalized vector fields that play important role when the Lie point symmetries and \(\lambda \)-symmetries are absent for a given second order nonlinear ordinary differential equation, are also unknown for this equation. We construct the telescopic vector fields also for Eq. (1).
The plan of the paper is as follows. In Sect. 2, we recall Lie point symmetries of the nonlinear oscillator equation (1) and carry out order reduction procedure for this equation. In Sect. 3, we carry-out the \(\lambda \)-symmetry analysis for the nonlinear oscillator Eq. (1). To begin with, we recall the results that are reported for the case \(\tilde{\lambda }=0\). We then extend the analysis for the cases \(\tilde{\lambda }\ne 0\) and give a complete picture. In Sect. 4, we recall Noether’s theorem and apply this theorem to the model (1) and derive Noether’s symmetries for all the three cases, namely (i) \(\tilde{\lambda }>0\), (ii) \(\tilde{\lambda }<0\) and (iii) \(\tilde{\lambda }=0\). In Sect. 5, we present the telescopic vector fields for all the three cases. We present our conclusions in Sect. 6.
2 Lie Point Symmetries of Eq. (1)
Let the evolution equation (1) be invariant under the one parameter Lie group of infinitesimal transformations [2, 13, 23]
where \(\xi \) and \(\eta \) represent the symmetries of Eq. (1) and they are functions of the variables t and x. The associated infinitesimal generator can be written as
Equation (1) is invariant under the action of (8) iff
where
and \(\eta ^{(1)}\) and \(\eta ^{(2)}\) are first and second prolongations respectively, whose explicit expressions can be found in Refs. [2, 13]. For the sake of completeness, we present symmetries and order reduction procedure for each one of the cases separately.
2.1 Case 1: \(\tilde{\lambda }=0\)
First let us consider the choice \(\tilde{\lambda }=0\). The invariance condition (9) reads (\(\ddot{x}=\phi (t,x,\dot{x})\))
Solving the invariance condition (11), one obtains the following symmetry generators, namely [24]
The nonlinear ODE (1) admits maximal symmetry generators and hence it is linearizable [24]. The symmetry generators constitute sl(3, R) symmetry algebra. Besides several applications, the symmetry generators can also be used to reduce the order of the nonlinear ODE (1). In the following, we demonstrate this procedure by considering the vector field \(X_3\) as an example.
Substituting the expression \(\xi =x\) and \(\eta =\frac{-k}{3}x^3\) in the characteristic equation \(\frac{dt}{\xi }=\frac{dx}{\eta }=\frac{d\dot{x}}{\eta ^{(1)}}\) and integrating the resultant equation one finds the invariants u and v as \(u=t-\frac{3}{k x},~ \mathrm {and}~v=\frac{3 x}{k}+\frac{x^3}{\dot{x}}\). The second-order invariant can be derived from the relation \(w=\frac{dv}{du}\). Evaluating and simplifying the resultant equation, we arrive at \(\frac{dv}{du}=\frac{(k x^3+3 x \dot{x})^2}{9 \dot{x}^2}=\frac{k^2}{9}v^2\). Integrating this first order differential equation we find \(v=-\frac{9}{9 I_1+k^2 u}\), where \(I_1\) is an integration constant. Substituting the expressions u and v in this solution and rewriting the resultant equation for \(\dot{x}\), we end up with
Integrating Eq. (13) we obtain the general solution of the MEE equation in the following form,
where \(I_2\) is the second integration constant. In a similar manner, one can carry out the order reduction procedure for the rest of the vector fields. Since the procedure is repetitive, one can move on to investigate the other two cases.
2.2 Case 2: \(\tilde{\lambda }>0\)
In this case the corresponding symmetry generators are [24]
The vector fields (15) can again be shown to form an sl(3, R) algebra.
In the following, we demonstrate the usefulness of the symmetry vector fields by considering the vector field \(X_7\). The associated characteristic equation reads
Now integrating the above Eq. (16) we find the invariants u and v to be of the following forms:
The second-order invariant reads \(\frac{dv}{du}=9 \tilde{\lambda } +\frac{v^2}{9}\). Integrating the later we find \(v=9 \sqrt{\tilde{\lambda } } \tan (9 I_1 \sqrt{\tilde{\lambda } }+\sqrt{\tilde{\lambda } } u)\), where \(I_1\) is an integration constant. Substituting the expressions u and v in this solution and rewriting the resultant equation for \(\dot{x}\), we end up with
Integrating Eq. (18) we obtain the general solution of (1) with positive values of \(\tilde{\lambda }\) in the following form,
where \(I_2\) is the second integration constant. One may extend the order reduction procedure for the remaining vector fields too in a similar fashion. Now we move on to the third case.
2.3 Case 3: \(\tilde{\lambda }<0\)
In this case, we find the equation is invariant under the following forms of symmetry generators: [24]
To obtain the general solution for this case, we consider the vector field \(X_6\). Solving the characteristic equation associated with this vector field
we obtain the invariants u and v of the form
The second-order invariant can be found from the relation \(w=\frac{dv}{du}\). In this case, we find
Integrating Eq. (24), we find \(v=e^{-2 \sqrt{\tilde{\lambda } } u }I_1-\frac{k^2}{6 \sqrt{\tilde{\lambda } }}\), where \(I_1\) is an integration constant. Substituting the expressions u and v in this solution and rewriting the resultant equation for \(\dot{x}\), we end up with
Integrating Eq. (25), we obtain the general solution of Eq. (1) with negative \(\tilde{\lambda }\) in the following form
where \(I_2\) is the second integration constant. One may verify that the remaining vector fields can also be used to derive the above general solution of the given Eq. (1).
3 \(\lambda \)-Symmetries
Recently efforts have been made to generalize the classical Lie algorithm and obtain integrals and general solution of nonlinear ODEs, in particular equations which lack Lie point symmetries. One such generalization is the \(\lambda \)-symmetry approach [17]. The method of finding \(\lambda \)-symmetries for a second-order ODE has been discussed in depth by Muriel and Romero [18] and the advantage of finding such symmetries has also been demonstrated by them. They also have developed an algorithm to determine integrating factors and integrals from \(\lambda \)-symmetries for second-order ODEs [19]. The relation among \(\lambda \)-symmetries, Lie point symmetries and local-nonlocal transformations for Liénard I and II-type equations was studied in Ref. [25]. The vector fields associated with \(\lambda \)-symmetries are being denoted as v instead of X just to differentiate \(\lambda \)-symmetries from Lie point symmetry vector fields.
A vector field v is a \(\lambda \)-symmetry of the second-order equation if there exists a function such that
where \(v^{[\lambda ,(2)]}\) is given by
with
In the above prolongation formula if we put \(\lambda =0\), we end up with standard Lie prolongation expressions. Solving the invariance condition (27) we can determine the functions \(\xi \), \(\eta \) and \(\lambda \) for the given equation. We note here that three unknowns \(\xi \), \(\eta \) and \(\lambda \) have to be determined from the invariance condition (27). The procedure is as follows.
Let us suppose that the second-order Eq. (1) has Lie point symmetries. In this case, the \(\lambda \)-function can be determined in a more simple way without solving the invariance condition (27) as follows. If X is a Lie point symmetry of (1) and \(Q=\eta -\dot{x}\xi \) is its characteristics, then \(v=\frac{\partial }{\partial x}\) is a \(\lambda \)-symmetry of (1) for \(\lambda =\frac{D[Q]}{Q}\) [25]. The \(\lambda \)-symmetry satisfies the invariance condition [19]
Once the \(\lambda \)-symmetry is determined, we can obtain the first integrals in two different ways. In the first way, we can calculate the integral directly from the \(\lambda \)-symmetry using the four step algorithm given below. In the second way, we can find the integrating factor \(\mu \) from \(\lambda \)-symmetry directly. With the help of integrating factors and \(\lambda \)-symmetries we can obtain the first integrals by integrating the system of Eq. (34) given below. In the following, we enumerate both the procedures.
(A) Method of finding the first integral directly from \(\lambda \)-symmetry [19]
The method of finding the integral directly from \(\lambda \)-symmetry is as follows:
-
1.
Find a first integral \(w(t,x,\dot{x})\) of \(v^{[\lambda ,(1)]}\), that is a particular solution of the equation \(w_x+\lambda w_{\dot{x}}=0, \) where the subscript denotes partial derivative with respect to that variable and \(v^{[\lambda ,(1)]}\) is the first-order \(\lambda \)-prolongation of the vector field v.
-
2.
Evaluate D[w] and express it in terms of (t, w) as \(D[w]=F(t,w)\).
-
3.
Find a first integral G of \(\partial _t+F(t,w)\partial _w\).
-
4.
Evaluate \(I(t,x,\dot{x})=G(t,w(t,x,\dot{x}))\).
(B) Method of finding integrating factors from \(\lambda \) [19]
If X is a Lie point symmetry of (1) and \(Q=\eta -\dot{x}\xi \) is its characteristics, then \(v=\partial _{x}\) is a \(\lambda \)-symmetry of (1) for \(\lambda =D[Q]/Q\) and any solution of the first-order linear system
is an integrating factor of (1). Here D represents the total derivative operator and it is given by \(\frac{\partial }{\partial t}+\dot{x}\frac{\partial }{\partial x}+\phi \frac{\partial }{\partial \dot{x}}\).
Solving the system of equations (33) one can get \(\mu \). Once the integrating factor \(\mu \) is known then a first integral I such that \(I_{\dot{x}}=\mu \) can be found by solving the system of equations
From the first integrals, we can write the general solution of the given equation.
In the following we apply the above method to Eq. (1)
3.1 Case 1: \(\tilde{\lambda }=0\)
Bhuvaneshwari et al. had studied the \(\lambda \)-symmetries for Eq. (1) with \(\tilde{\lambda }=0\) [1]. They have found the \(\lambda \)-symmetries from the Lie point symmetries by using the relation \(\lambda =\frac{D[Q]}{Q}\), where \(Q=\eta -\dot{x}\xi \). For this purpose they considered the Lie point symmetries \(X_2\) and \(X_4\) from Eq. (12). The expressions for Q turns out to be
The two \(\lambda \)-functions are of the form
The associated \(\lambda \)-symmetry is \(v=\frac{\partial }{\partial x}\).
3.1.1 First Integrals from \(\lambda _1\) and \(\lambda _2\)
By following the above discussed procedure, we have found
In the second step, we obtain determining equation for w as
using \(\lambda _1\). In the third step, we obtain the function G(t, w) as
In the final step, we found the integral \(I_1\) as
In the same way, we have found the function w for \(\lambda _2\) as
In the second step, we get the determining equation as
We get the function G in the third step as
As the final step we get the integral as
From the integrals \(I_1\) and \(I_2\), we can write the general solution as
3.1.2 Integrating Factors from \(\lambda _1\) and \(\lambda _2\)
We can also find the integrating factors from \(\lambda _1\) and \(\lambda _2\) using the relation (33). Substituting the function \(\lambda _1\) in Eq. (33) we get
The characteristic equation associated with Eq. (46) is given by
Integrating (47) we find the integrals to be of the form
From the above, we obtain the general solution as
Choosing the function \(C_1\) appropriately we get
We find that the expression (50) also satisfies the first equation in (33) as well and thus forms a compatible solution to the system of equation (33).
To determine the integrating factor associated with \(\lambda _2\) directly we first solve the second equation in (33), that is
The characteristic equation associated with the above equation can be written as
Integrating (52) we find the integral as
We find that the above expression also satisfies the first equation in (33).
3.2 Case 2: \(\tilde{\lambda } \ne 0\)
In the earlier case where \(\tilde{\lambda }=0\), we fixed the \(\lambda \)-symmetries from the set of Lie point symmetries itself. For the two cases \(\tilde{\lambda } > 0\) and \(\tilde{\lambda } < 0\) we derive the \(\lambda \)-symmetries by solving the associated invariance condition which has not been considered so far for this equation. To determine the \(\lambda \)-symmetry for Eq. (1), we solve the following determining equation
To obtain a particular solution of Eq. (54), we assume an ansatz
where \(a_1\) and \(a_2\) are functions of x.
Substituting (55) in (54) and solving the resultant equation, we find
Now we use the above said procedure and obtain the first integral. The calculations are given below.
In the first step, we setup the determining equation for \(w(t,x,\dot{x})\), that is
A particular solution of (57) is
In the second step, we express D[w] in terms of (t, w) as \(D[w]=F(t,w)\). In this case, we find
In the third step, we fix the function G(t, w) as
Now replacing w with the expression (58) we obtain the first integral in the form
By recalling the formula \(\arctan (x)=\frac{1}{2}i[\ln (1-i x)-ln (1+i x)]\) and simplifying the resultant equation we obtain the first integral as
To prove the integrability of Eq. (1), we are in need of one more \(\lambda \)-symmetry. To obtain it, we assume a more general ansatz for \(\lambda \) which is of the form
where \(a_1, a_2, a_3\) and \(a_4\) are arbitrary functions of t and x and to be determined. Substituting the above ansatz in the \(\lambda \)-determining Eq. (54) and solving the resultant equation, we obtain
We note here that while solving the Eq. (54) with the ansatz (63) we also obtain (56) as another particular solution. We do not mention it here as we have already dealt with it. Following the above said procedure now we find the integral associated with \(\tilde{\lambda _2}\). To begin it, we set up the determining equation for \(w(t,x,\dot{x})\) as
A particular solution of the above equation is
The total derivative of \(w(t,x,\dot{x})\) reads
In the third step, we determine the function G(t, w) as
Now replacing the variable w by (66) we obtain the integral associated with \(\tilde{\lambda }_2\) in the form
After rearranging the integral in more elegant form, we obtain
From the integrals \(I_1\) and \(I_2\), we can write the solution of Eq. (1) for \(\tilde{\lambda } > 0\) and \(\tilde{\lambda } < 0\). First let us consider the case \(\tilde{\lambda } > 0\).
3.2.1 Case 2: \(\tilde{\lambda } > 0\)
For \(\tilde{\lambda } > 0\), integrals (62) and (70) are complex. To get the real integrals, we consider the following combinations of the integrals
where \(\delta \) is phase constant. Now the integrals \(\tilde{I}_1\) and \(|\tilde{I}_2|\) can be considered as two real integrals of Eq. (1) for \(\tilde{\lambda } > 0\). The solution for Eq. (1) from the two integrals (62) and (70) can be written as
where \(A=3\sqrt{\tilde{\lambda }\tilde{I}_1}\) and \(\delta \) is an arbitrary constant.
3.2.2 Case 3: \(\tilde{\lambda } < 0\)
For \(\tilde{\lambda } < 0\), integrals (62) and (70) are real from which we can straightforwardly write the general solution as
where \(I_1\) and \(I_2\) are constants.
3.2.3 Integrating Factors from \(\lambda _1\) and \(\lambda _2\)
To find the integrating factors from \(\lambda _1\) and \(\lambda _2\), we consider the second equation in (33) and obtain
The characteristic equations associated with the above equations can be written as
Solving the above characteristic equations and choosing the constants appropriately, we obtain the solutions of the above equations as
The above integrating factors also satisfy the first equation of Eq. (33).
4 Noether’s Theorem and Variational Symmetries
If the given second-order equation has a variational structure then one can also determine the symmetries which leave the action integral invariant. Such symmetries are called variational symmetries. Variational symmetries are important since they provide conservation laws via Noether’s theorem [21]. In the following, we recall the method of finding variational symmetries [2, 23].
Noether’s theorem states that whenever the action integral \(S=\int L(t,x,\dot{x}) dt\), where L is the Lagrangian, is invariant under the one parameter continuous group of transformations (7) then the solution of Euler’s equation admit the conserved quantity [11, 14],
where f is an arbitrary function of t and x. The functions \(\xi ,\;\eta \) and f can be determined from the equation
where overdot denotes differentiation with respect to time and
Equation (83) can be derived by differentiating the Eq. (81) and simplifying the expressions in the resultant equation. Solving Eq. (83) one can obtain explicit expressions for Noether’s symmetries \(\xi ,\;\eta \) and the arbitrary function f. Now substituting these expressions into (81) one can get explicitly the associated integrals of motion.
To derive Noether’s symmetries associated with the Lagrangian (2) let us substitute the expression (2) into (81). Doing so we get
Now equating the coefficient of various powers of \(\dot{x}\) to zero and solving the resultant equations we obtain three different forms of infinitesimal symmetries for \(\xi \) and \(\eta \) depending upon the sign and magnitude of \(\tilde{\lambda }\). In the following, we discuss each one of the cases separately.
4.1 Case 1: \(\tilde{\lambda }>0\)
Solving the determining equations with \(\tilde{\lambda }>0\), the associated vector fields turn out to be
Substituting each vector field into (81) we obtain the following integrals of motion
where \(\alpha =3k\dot{x}+k^2x^2+9\tilde{\lambda }\).
One can select two independent integrals of motions, \(I_1\) and \(I_2\) from the above. The remaining integrals of motions can be written in terms of the integrals of motion \(I_1\) and \(I_2\). For example, in the present case we get
Using \(I_1\) and \(I_2\) we can construct the general solution in the form
The above solution is obviously equivalent to (73). Since Eq. (1) admits five Noether’s symmetries for the case \(\tilde{\lambda }>0\) and so the Lagrangian (2) can be considered as a physically important Lagrangian from Quantum Mechanics point of view.
4.2 Case 2: \(\tilde{\lambda }<0\)
Solving the determining equations with \(\tilde{\lambda }<0\), its associated symmetry vector fields turn out to be
Substituting each vector field into (81) we obtain the following integrals of motion,
As in the previous case the integrals of motions, \(I_1\) and \(I_2\) are functionally independent from the rest. In other words the remaining integrals of motions can be written in terms of the integrals of motion \(I_1\) and \(I_2\):
Using \(I_1\) and \(I_2\) we can construct the general solution in the form
The above solution is of front like nature and in this case also we have five Noether’s symmetries. The underlying Lagrangian (2) is again a physically important one.
4.3 Case 3: \(\tilde{\lambda }=0\)
One may note that in the limit \(\tilde{\lambda }=0\), Eq. (1) becomes the modified Emden equation/second order Ricatti equation which is another Liénard type system which possesses several interesting properties. Interestingly, this system also admits a time independent Lagrangian and Hamiltonian. In the following, we present the Noether’s symmetries and their associated constants of motions.
The Lagrangian associated with the MEE equation is,
Solving the determining Eq. (83) with \(\tilde{\lambda }=0\), we get
Substituting each vector field into (81) we obtain the following integrals of motion,
One can easily check that out of the five integrals of motions two are independent and the remaining three can be expressed in terms of the first two, namely
We can construct a general solution of the form
using \(I_1\) and \(I_4\). This case also admits five Noether’s symmetries and so the Lagrangian (93) is physically important for \(\tilde{\lambda }=0\) in Eq. (1).
5 Telescopic Vector Fields
Telescopic vector fields are more general vector fields than the ones discussed so far. The Lie point symmetries, contact symmetries and \(\lambda \)-symmetries are all sub-cases of telescopic vector fields. A telescopic vector field can be considered as a \(\lambda \)-prolongation where the two first infinitesimals can depend on the first derivative of the dependent variable [10, 20, 26]. In the following, we briefly discuss the method of finding telescopic vector fields for a second-order ODE. We then present the telescopic vector fields for Eq. (1).
Let us consider the second-order Eq. (1). The vector field
is telescopic if and only if [26]
with \(\zeta ^{(2)}\) given by
where \(\phi \) is the given equation \((\ddot{x}=\phi (t,x,x\dot{x}))\).
To prove that the telescopic vector fields are more general vector fields, let us introduce two functions \(g_1\) and \(g_2\) in the following forms, namely
We can rewrite the prolongations \(\zeta ^{(1)}\) and \(\zeta ^{(2)}\) using the above functions \(g_1\) and \(g_2\) as follows:
The relationship between telescopic vector fields and previously considered vector fields can be given by the following expressions [10, 26],
In the above vector fields if we choose \(g_1=g_2=0\) and \(\xi _{\dot{x}}^2+\eta _{\dot{x}}^2 = 0\) we get the Lie point symmetries. The choice \(g_1=g_2=0\) and \(\xi _{\dot{x}}^2+\eta _{\dot{x}}^2 \ne 0\) gives the contact symmetries. To get \(\lambda \)-symmetries, we should choose \(g_1\ne 0\) and \(\xi _{\dot{x}}^2+\eta _{\dot{x}}^2 = 0\). As a consequence it can be considered as the more general vector field.
Hence the unknowns to be solved in Eq. (32) can also be \((\xi ,\eta ,\eta ^{[\lambda ,1]})\) by expressing \(\lambda \) in terms of \((\xi ,\eta ,\eta ^{[\lambda ,1]})\). In other words, if the given equation admits the telescopic vector field, then it satisfies the following invariance condition
In the above expression, \(\xi ,~\eta \) and \(\zeta ^{(1)}\) are three unknown functions which we need in order to write the telescopic vector fields of Eq. (1). Since the above expression has three unknowns, it is very difficult to find them systematically. For this purpose, we assume \(\xi =0\) and the remaining two unknown functions can be obtained in the following way. In this case, Eq. (106) turns out to be
By assuming suitable ansatz for \(\eta \) and \(\zeta ^{(1)}\) we can find the telescopic vector fields associated with Eq. (1).
5.1 Case 1: \(\tilde{\lambda } = 0\)
For simplicity, first let us consider the case \(\tilde{\lambda } = 0\). Assuming the ansatz
for \(\eta \) and \(\zeta ^{(1)}\) and substituting them into Eq. (107) and solving the resultant expression we find the following telescopic vector fields for the case \(\tilde{\lambda }=0\):
The above telescopic vector fields also satisfy the invariance condition (106) with the choice \(\tilde{\lambda }=0\). To find the solution from the above admitted telescopic vector fields, one has to follow the standard order-reduction procedure. Let us consider the telescopic vector field \(\varOmega _1\). The corresponding Lagrange system can be written as
Solving the above set of equations, we get the characteristics as
From the above expression, we get \(\frac{dv}{du}\) as
Solution of the above equation is given by
Substituting (111) into (113) and rewriting it, we get a first-order ODE
Integrating the above equation, we get the general solution of (1) for the choice \(\tilde{\lambda }=0\) as
where \(I_1\) and \(I_2\) are the integration constants.
5.2 Case 2: \(\tilde{\lambda } > 0\)
As we did in the previous case, here we obtain the following vector fields for the case \(\tilde{\lambda } > 0\):
where \(a_1=(-k^3 x^4+9 k (3 \tilde{\lambda } x^2+\dot{x}^2)+27 \tilde{\lambda } \dot{x}), b_1=(-9 \tilde{\lambda } ^2+2 k^3 x^2 \dot{x}+ k^2 (7 \tilde{\lambda } x^2+6 \dot{x}^2)+3 \tilde{\lambda } k \dot{x})\), \(c_1=(-k^3 x^4+6 k^2 x^2 \dot{x}+15 \tilde{\lambda } k x^2+9 k \dot{x}^2+9 \tilde{\lambda } \dot{x})\),\(d_1=k (k x^2+\dot{x})-3 \tilde{\lambda }\) and \(e_1=(k^3 x^4+6 k^2 x^2 \dot{x}+9 \tilde{\lambda } k x^2-9 k \dot{x}^2-9 \tilde{\lambda } \dot{x})\). The above telescopic vector fields also satisfy the invariance condition (106). To find the solution from the above admitted telescopic vector fields, one has to follow the standard order-reduction procedure. Let us consider the telescopic vector field \(\varOmega _5\). The corresponding Lagrange system can be written as
Solving the above set of equations, we get the characteristics as
From the above expression, we get \(\frac{dv}{dt}=0\). So the function v itself acts as a first integral. Then the integral \(I_1\) takes the form
Rewriting the above expression for \(\dot{x}\) and integrating it we obtain the general solution as in Eq. (88).
5.3 Case 3: \(\tilde{\lambda } < 0\)
For the case \(\tilde{\lambda } < 0\), we get the telescopic vector fields by following the procedure discussed in the case \(\tilde{\lambda } = 0\). The telescopic vector fields are given by
where \(a_2=\sqrt{-\tilde{\lambda }},~b_2=(7 a_2 \tilde{\lambda } x^2+6 \tilde{\lambda } x \dot{x}+6 a_2 \dot{x}^2),~c_2=(5 \tilde{\lambda } x^2+a_2 x \dot{x}+3 \dot{x}^2),sd_2=(7 (-\tilde{\lambda } )^{3/2} x^2+6 \tilde{\lambda } x \dot{x}-6 a_2 \dot{x}^2),~e_2=(5 \tilde{\lambda } x^2-a_2 x \dot{x}+3 \dot{x}^2)\). Here also one can check that the above telescopic vector fields satisfy the invariance condition (106). To find the solution from the above admitted telescopic vector fields, one has to follow the standard order-reduction procedure. Let us consider the telescopic vector field \(\varOmega _1\). The corresponding Lagrange system can be written as
Solving the above set of equations, we get the characteristics as
From the above expression, we get \(\frac{dv}{du}\) as
Solution of the above equation is given by
Substituting (122) into (124) and rewriting it we get a first-order ODE,
Integrating the above equation, we get the general solution of (1) for the choice \(\tilde{\lambda }<0\) as
where \(I_1\) and \(I_2\) are the integration constants. Obviously the solution (126) can be rewritten in the form (92).
6 Conclusion
In this paper, we have reviewed four different kinds of symmetries for the Liénard type nonlinear oscillator Eq. (1). It has already been shown that this equation exhibits three different kinds of dynamics depending upon the sign of the parameter \(\tilde{\lambda }\). Based on this earlier result we have divided our analysis into three categories while studying the symmetries of this equation. To begin with, we have considered Lie point symmetries of this equation. We have derived the general solution for all the three regimes by considering a vector field in each one of the cases. We then considered \(\lambda \)-symmetries approach to this equation. As we noted earlier, we carried out this calculations for the \(\tilde{\lambda }=0\) case and demonstrated the applicability of \(\lambda \)-symmetries approach in establishing the integrability of this equation. We have then studied the Noether’s symmetries of (1) for the parametric choices \(\tilde{\lambda }>0\), \(\tilde{\lambda }<0\) and \(\tilde{\lambda }=0\). The underlying Lagrangian is of non-standard type. However in all the three cases, we found maximal number (five) of Noether’s symmetries for the Lagrangian (2). Recently it has been proposed that the physical Lagrangian for a second order differential equation should be the one which admits highest possible number of Noether’s symmetries. Our results indicate that even though the Lagrangian is of nonstandard type it can be considered as a physical Lagrangian since it admits maximal number of symmetries. Finally, we have constructed telescopic vector fields for Eq. (1) in the parametric regimes \(\tilde{\lambda }>0\), \(\tilde{\lambda }<0\) and \(\tilde{\lambda }=0\). The method of finding general solution from telescopic vector fields is also explained. Thus we have shown the utility of symmetry analysis in solving the nonlinear ODEs of Liénard type.
References
Bhuvaneswari, A., Kraenkel, R.A., Senthilvelan, M.: Nonlinear Anal. Real World Appl. 13, 1102–1114 (2012)
Bluman, G.W., Anco, S.C.: Symmetries and Integration Methods for Differential Equations. Springer, New York (2002)
Chandrasekhar, S.: An Introduction to the Study of Stellar Structure. Dover, New York (1957)
Chandrasekar, V.K., Senthilvelan, M., Lakshmanan, M.: Phys. Rev. E 72, 066203 (2005)
Chandrasekar, V.K., Senthilvelan, M., Lakshmanan, M.: Proc. R. Soc. Lond. A 461, 2451–2476 (2005)
Chandrasekar, V.K., Pandey, S.N., Senthilvelan, M., Lakshmanan, M.: Chaos, Solitons Fractals 26, 1399–1406 (2005)
Chandrasekar, V.K., Pandey, S.N., Senthilvelan, M., Lakshmanan, M.: J. Phys. A Math. Gen. 39, L69–L76 (2006)
Chithiika Ruby, V., Senthilvelan, M., Lakshmanan, M.: J. Phys. A Math. Theor. 45, 382002 (2012)
Choudhuri, A.: On the symmetries of the modified Emden-type equation. arXiv:1304.5826v1
Gaeta, G.: J. Nonlinear Math. Phys. 16, 107 (2009)
Gelfand, I.M., Fomin, S.V.: Calculus of Variations Translator. In: Silverman, R.A. (ed.). Prentice Hall, Englewood Cliffs (1963)
Gubbiotti, G., Nucci, M.C.: J. Nonlinear Math. Phys. 21, 248–264 (2014)
Hydon, P.E.: Symmetry Methods for Differential Equations: A Beginnner’s Guide. Cambridge University Press, Cambridge (2000)
Lutzky, M.: J. Phys. A Math. Gen. 11, 249–258 (1978)
Mohanasubha, R., Sabiya Shakila, M.I., Senthilvelan, M.: Commun. Nonlinear. Sci. 19, 799–806 (2014)
Muriel, C., Romero, J.L.: \(\lambda \)-symmetries and linearization of ordinary differential equations through nonlocal transformations. Preprint
Muriel, C., Romero, J.L.: IMA J. Appl. Math. 66, 111 (2001)
Muriel, C., Romero, J.L.: Theor. Math. Phys. 133, 1565 (2002)
Muriel, C., Romero, J.L.: J. Phys. A Math. Theor. 42, 365207 (2009)
Muriel, C., Romero, J.L.: SIGMA 8, 106 (2012)
Noether, E.: Gttingen Nachrichten Mathematik-physik Klasse 2, 235 (1918)
Nucci, M.C., Tamizhmani, K.M.: J. Nonlinear Math. Phys. 17, 167 (2010)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, New York (1986)
Pandey, S.N., Bindu, P.S., Senthilvelan, M., Lakshmanan, M.: J. Math. Phys. 50, 102701 (2009)
Polat, G.G., Özer, T.: Nonlinear Dyn. 85, 1571–1595 (2016)
Pucci, E., Saccomandi, G.: J. Phys. A Math. Gen. 35, 6145 (2012)
Yasar, E.: Mathematical Problems in Engineering, Article ID 916437, 10 pp. (2011)
Acknowledgements
RMS acknowledges the University Grants Commission (UGC), New Delhi, India, for the award of a Dr. D. S. Kothari Post Doctoral Fellowship [Award No. F.4-2/2006 (BSR)/PH/17-18/0004]. The work of M.S. forms part of CSIR research project under Grant No. 03(1397)/17/EMR-II. The work of V.K.C. was supported by the SERB-DST Fast Track scheme for young scientists under Grant No. YSS/2014/000175. The work of M.L. is supported by a DST- SERB Distinguished Fellowship program.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Mohanasubha, R., Chandrasekar, V.K., Senthilvelan, M., Lakshmanan, M. (2018). On the Symmetries of a Liénard Type Nonlinear Oscillator Equation. In: Kac, V., Olver, P., Winternitz, P., Özer, T. (eds) Symmetries, Differential Equations and Applications. Springer Proceedings in Mathematics & Statistics, vol 266. Springer, Cham. https://doi.org/10.1007/978-3-030-01376-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-01376-9_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01375-2
Online ISBN: 978-3-030-01376-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)