Equivalent Lagrangians: Generalization, Transformation Maps, and Applications

Equivalent Lagrangians are used to ﬁnd, via transformations, solutions and conservation law of a given di ﬀ erential equation by exploiting the possible existence of an isomorphic algebra of Lie point symmetries and, more particularly, an isomorphic Noether point symmetry algebra. Applications include ordinary di ﬀ erential equations such as the Kummer equation and the combined gravity-inertial-Rossby wave equation and certain classes of partial di ﬀ erential equations related to multidimensional wave equations.


Introduction
The method of equivalent Lagrangians is used to find the solutions of a given differential equation by exploiting the possible existence of an isomorphic algebra of Lie point symmetries and, more particularly, an isomorphic algebra of Noether point symmetries.The underlying idea of the method is to construct a regular point transformation which maps the Lagrangian of a "simpler" differential equation with known solutions to the Lagrangian of the differential equation in question.Once determined, this point transformation will then provide a way of mapping the solutions of the simpler differential equation to the solutions of the equation we seek to solve.This transformation can also be used to find conserved quantities for the equation in question, if the conserved quantities for the simpler differential equation are known.In the sections that follow, the method of equivalent Lagrangians is described for scalar second-order ordinary differential equations and for partial differential equations in two independent variables.Some well-known ordinary differential equations in mathematical physics such as the Kummer equation and the combined gravity-inertial-rossby wave equation are analysed.Also, using the standard Lagrangian and previous knowledge of the 1 1 wave equation, we find some interesting properties of certain classes of partial differential equations like the canonical form of the wave equation, the wave equation with dissipation and the Klein-Gordon equation.

2.2
A current T T 1 , . . ., T n is conserved if it satisfies along the solutions of 2.1 .The Euler-Lagrange Euler operator is defined by 2.4 Hence, the Euler-Lagrange Euler equations are of the form where L is a Lagrangian of some order; the solutions of 2.5 are the optimizers of the functional L x, u, u 1 , . . .dx.

2.6
A vector field X of the form which leaves 2.6 invariant is known as a Noether symmetry, where A is the space of differential functions.Equivalently, X is a Noether symmetry of L if there is a vector B B 1 , . . ., B n ∈ A such that where X is prolonged to the degree of L see 1 .If the vector B is identically zero, then X is a strict Noether symmetry, see Ibragimov et al. 2 .
It is well known that if the Noether symmetry algebras for two Lagrangians, L and L, are isomorphic, the Lagrangians can be mapped from one to the other.In light of this, we define the notion of equivalent Lagrangians.Definition 2.1.Two Lagrangians, L L x, u, u 1 , . . ., u r and L L X, U, U 1 , . . ., U r , are said to be equivalent if and only if there exists a transformation, X X x, u and U U x, u , such that where J is the determinant of the Jacobian matrix, see Kara 3 .For ordinary differential equations in which u u x , the definition of equivalence up to gauge is as follows.
Definition 2.2.Two Lagrangians, L and L, are said to be equivalent up to gauge if and only if there exists a transformation, X X x, u and U U x, u , such that where the gauge function, f, is an arbitrary function of x and u, see Kara and Mahomed 4 .
Remark 2.3.The definitions imply that given a variational differential equation with corresponding Lagrangian L, we can find a regular point transformation X X x, u and U U x, u which maps L to another equivalent Lagrangian L. This regular point transformation also maps the solutions of the differential equation associated with L to the solutions of the original differential equation.
Also, once we have found the regular point transformation X X x, u and U U x, u mentioned above, it is possible to use this transformation to map the known conserved quantities of the differential equation associated with L to the conserved quantities of the equation in question.
As an illustration, consider the well-known harmonic oscillator ordinary differential equation

2.16
This is verified by dI/dx y sin x y sin x sin x y y .I is the well-known integral y sin x − y cos x.

Applications to ODEs
Second-order ordinary differential equations ODEs can be divided into equivalence classes based on their Lie symmetries 5 .Two equations belong to the same equivalence class if there exists a diffeomorphism that transforms one of the equations to the other 5 .If a secondorder ordinary differential equation admits eight Lie symmetries the maximum number of Lie symmetries of a scalar second-order ordinary differential equation, by Lie's "Counting Theorem," it belongs to the equivalence class of the equation Y 0 5 .Hence, it can be mapped to this equation by means of a regular point transformation.Mahomed et al. 5 prove that the maximum dimension of the Noether symmetry algebra for a scalar second-order ordinary differential equation is five and that 2.14 with standard Lagrangian 2.13 attains this maximum.This five-dimensional Noether algebra is unique see 5 , and so for any scalar second-order ordinary differential equation with Lagrangian, L, generating a five-dimensional Noether algebra, L can be mapped to L by means of a regular point transformation X X x, y and Y Y x, y this transformation evidently also transforms the corresponding Euler-Lagrange equations, for L and L, respectively, from one to the other 5 .
We use the method of equivalent Lagrangians detailed above to find solutions and conserved quantities for two scalar second-order ordinary differential equations, namely, the Kummer equation and the combined gravity-inertial Rossby wave equation.

The Kummer Equation
The Kummer equation, also called the confluent hypergeometric function, has several applications in theoretical physics.It models the velocity distribution of electrons in a highfrequency gas discharge.Using the solutions of this equation, together with kinetic theory, it is thus possible to predict the high-frequency breakdown electric field for gases see 6 .The differential equation is given by where k is an arbitrary constant.By rearranging this equation and multiplying by an integrating factor kxe − x, we discover that a Lagrangian for this equation is Equation 3.1 has 8 Lie symmetries.Therefore, it can be mapped, via a point transformation X X x, y and Y Y x, y to equation 2.14 , with Lagrangian 2.13 , which is known to have five Noether symmetries.It can be shown that the Lagrangian for the Kummer equation 3.1 , given by 3.2 , also has five Noether symmetries.Therefore, Lagrangians 3.2 and 2.13 are equivalent.Invoking Definition 2.2 and substituting L and L into 2.10 , we can find the point transformations X X x, y and Y Y x, y that map 3.2 to 2.13 , and hence 3.1 to 2.14 .Equation 2.10 gives us

3.3
In order to simplify the above equation, we assume that X is a function of x only and is of the form X a 2 dx, where a is a function of x.In fact, this assumption is not essential.It turns out that the coefficient of the cubic term in the subsequent separation leads to X y 0. The above equation becomes Now, since the variables x, y, and y are all linearly independent, we can separate 3.4 by powers of y , after which we obtain a system of three equations: From 3.5 , we get that Y y ax k e − 1/2 x .

3.8
Integrating with respect to y results in the expression Y ax k e − 1/2 x y b x , 3.9 for which we assume that b x 0. We can differentiate 3.9 partially with respect to x, and substitute expressions for Y x and Y y given above into 3.6 , in order to obtain the expression where we again assume that c x 0. For 3.7 , we can substitute our expression for Y x to obtain

3.12
Making the substitution A ȧ a 3.13 simplifies the above equation to

3.14
We then differentiate 3.11 partially with respect to x and obtain an expression for f x , which we can substitute into the above equation.This simplifies to

3.15
Integrating the equation A ȧ/a gives us the expression a e Adx , 3.16 where A satisfies 3.15 .Hence, we have that X e 2 Adx dx, Y e Adx x k e − 1/2 x y.

3.17
Equation 3.17 defines our regular point transformations X X x, y and Y Y x, y , which transform 3.1 to 2.14 .
We know that the solution to 2.14 is given by Y αX β, where α and β are arbitrary constants.Therefore, we can substitute expressions 3.17 , for X and Y , respectively, to obtain an expression for y which is the solution to the Kummer equation 3.1 .As before, the point transformations found above can also be used to find the conserved quantities of the Kummer equation.

The Combined Gravity-Inertial-Rossby Wave Equation
The combined gravity-inertial-Rossby wave equation is given by y g x y 0, 3.18 where g x is an arbitrary function of x.The derivation of this equation is outlined in MCkenzie 7 .Very briefly, the governing equations for the combined gravity-inertial-Rossby waves on a β-plane reduce to a partial differential equation, which, with Fourier plane wave analysis, becomes a second-order ordinary differential equation describing the latitudinal structure of the perturbations.In 3.18 , x and y are local Cartesian coordinates and g x is the wave number, see MCkenzie 7 .By inspection, we find that is a Lagrangian for 3.18 .As for the Kummer equation and its corresponding Lagrangian, it can be shown that 3.18 with Lagrangian 3.19 has an eight-dimensional Lie symmetry algebra and a five-dimensional Noether algebra.Therefore, this equation can be mapped to 2.14 using the method of equivalent Lagrangians.We follow the same procedure as for the Kummer equation in the previous section, with our aim being to find the regular point transformations X X x, y and Y Y x, y that map 3.18 to 2.14 .
As before, we begin by substituting expressions for L and L given in 3.19 and 2.13 , resp.into 2.10 .This gives the equation

3.20
Again we assume that X is of the form X a 2 dx, where a a x , which simplifies the above equation to

3.21
Separating by powers of y , we obtain the following system of three equations:

Applications to PDEs
We now study the application of the method to some classes of partial differential equations PDEs in two independent variables.We first demonstrate that given a Lagrangian, L, and a known transformation, one can construct an equivalent Lagrangian L. Following this, we turn our attention to the construction of a standard form for the Lagrangian equivalent to the usual Lagrangian of the standard wave equation.This will enable us to apply the method to partial differential equations whose Lagrangians are known to be equivalent to that of the standard wave equation.In this latter situation, the aim of the method is to construct a transformation that maps one Lagrangian, L, to its equivalent L.

Illustrative Example 1
In the first example, we use a given Lagrangian L and a given transformation, X X x, t, u , T T x, t, u , and U U x, t, u , in order to construct an equivalent Lagrangian L.
Consider the 1 1 wave equation with unit wave speed, Suppose we are given the transformation which is the standard transformation to canonical form, see Kara 3 .By making the correct substitutions into 2.9 , we can calculate L. Firstly, the determinant of the Jacobean matrix, J, is given by for two independent variables x and t, see Kara 3 .The Lagrangian L is a function of the variables x, t and u, where u u x, t .Hence using our canonical transformation above, we have that J 2.
It follows that In order to find U T and U X , we note Using our canonical transformation, X X x, t, u , T T x, t, u , and U U x, t, u , we have the equations u t U T U X and u x −U T U X .Solving these simultaneously, we get that These, expressions into 4.5 yield Hence, L is equivalent to L in the sense of Definition 2.1.The Euler-Lagrange equation associated with L is which is the canonical form of the wave equation given in 4.1 .

Illustrative Example 2
In the previous example, we made use of a canonical transformation in order to find a Lagrangian equivalent to L. In this example, however, transformed variables are concluded as a consequence of the underlying symmetry structure from which an equivalent Lagrangian is constructed.
It can be verified that G X, T, U ∂ ∂T 4.10 is a Noether point symmetry generator for the Lagrangian L given by 4.2 .Suppose we wish to map G to the dilation symmetry generator Once this mapping is found, it can be used in formula 2.9 to determine L. The formula for change of variables is given by

4.12
Substituting the relevant values into 4.12 , we obtain the three equations: We solve these equations using the method of invariants, for which we get that where F, G, and H are arbitrary functions.As an illustration, we choose

4.15
This gives us our transformation.From 4.4 , J −1/x.Thus, U X 2uu t /x and U T 2uu x − u 2 /x so that, by 2.9 , we get 4.16

Equivalent Lagrangian for the Wave Equation in (1 + 1) Dimension
We now find an expression for the form of a Lagrangian, L, which is equivalent to the usual Lagrangian of the wave equation, L. Once we have this form, given any L equivalent to L, we can find the transformation that maps L to L, and hence the solutions and conserved quantities of the differential equation associated with L to those of the standard wave equation.Since

4.18
Here, J X

4.19
It can be shown that X u 0 and T u 0 i.e., X X x, t and T T x, t .Then, the above expression for the Lagrangian reduces to

4.20
With dU/dt U t u t U u and dU/dx

4.21
This is the general form for a Lagrangian equivalent to the Lagrangian of the wave equation, where U U x, t, u , X X x, t , and T T x, t .Once we have a Lagrangian which we know to be equivalent to the Lagrangian L given by 4.2 , we can reverse the process of the examples above and use the form of the Lagrangian in the previous equation in order to find the transformations that map the solutions of the standard wave equation 4.1 to the solutions of the equivalent Euler differential equation.

Finding Transformations: Example 1
Consider 4.9 with its Lagrangian L −u x u t , 4.22 which we found to be equivalent to 4.2 .We use the form of the equivalent Lagrangian given above in order to find the transformations that map this Lagrangian to the Lagrangian 4.2 .Substituting 4.22 for L and separating by monomials, we arrive at the equations:

Journal of Applied Mathematics
Using software to solve this overdetermined system of equations, we get the transformation for f and g arbitrary functions of x and t, respectively.The well-known transformation X t x, T t − x, U u, used in 4.1 , is in fact a special case.

Finding Transformations: Example 2
Utilising the Lagrangian which was constructed to be equivalent to the Lagrangian L; this was done in Subsection 4.2 above, the procedure yields X f t ln x − g t − ln x , T f t ln x g t − ln x , and U ±u 2 /x, where f and g are arbitrary functions and x and t as well.If we choose f such that f t ln x 1/2 t ln x and g such that g t − ln x − 1/2 t − ln x , we have the transformation as the one used in Example 2 of the previous section that resulted in the Lagrangian 4.25 .

The Equivalence of the Dissipative Wave and Klein-Gordon Equations
The equation is the one-dimensional case of the linear wave equation with dissipation see 8 .This equation has the well-known Lagrangian, after multiplication by a variational factor,

4.27
We map L to the Lagrangian which separates into an overdetermined system of partial differential equations whose solution is

4.31
where F satisfies 1/4 F F xx − F tt 0. The Lie algebra is isomorphic to the Noether algebra corresponding to the Lagrangian L see 9 .Hence, L and L are equivalent Lagrangians.We can therefore use 2.9 in order to find the transformations X X x, t, u , T T x, t, u and U U x, t, u that map L to L.
Assuming that X u 0 and T u 0 as before, we get

4.32
Substituting for L and then separating by derivative terms, we arrive at the system

4.33
For this overdetermined system of equations, the software yields the result U −e − 1/2 t u.

Equivalent Lagrangians and Wave Equations on Spacetime Manifolds
The three-dimensional linear wave equation is the well-known second-order PDE: Here, T , X, Y , and Z are the independent variables, and U U T, X, Y, Z is the dependent variable.The usual Lagrangian for this equation is It is well known that the Lagrangian for the three-dimensional wave equation in spherical co-ordinates is given by L and L are naturally equivalent because they are Lagrangians of the same equation.However, it can also be verified that they generate isomorphic Noether algebras of point symmetries.
In this section, we apply the method of equivalent Lagrangians to L and L, in an attempt to recover the transformation that maps L to L. We shall demonstrate that 2.9 of Definition 2.1 is satisfied by the transformation from Cartesian to polar coordinates, which is to be expected from our choice of Lagrangians.
As before, we make use of Definition 2.1, which relates two equivalent Lagrangians to each other by means of the transformation that maps one to the other.Substituting L and L into 2.9 gives us 1 2 x 2 sin y u

4.39
We first calculate the Jacobian J.We assume that T x T y T z X t Y t Z t 0. In other words, T T t , X X x, y, z , Y Y x, y, z , and Z Z x, y, z .Furthermore, we assume that T t.Hence T t 1.It follows that J from which we can read the expressions for U T , U X , U Y , and U Z in terms of u t , u x , u y , and u z .Substituting these into 4.39 , along with our expression for J, we have the equation

4.41
It can be shown, amongst others, a solution is given by T t, X x sin y cos z,Y x sin y sin z, and Z x cos y.
This procedure is particularly useful in mapping variational equations, like the wave equation, between equivalent "curved manifolds."

Conclusion
In this paper, we have applied the notion of equivalent Lagrangians to determine transformations that map differential equations one to another in order to generate solutions, conservation laws, inter alia.An additional consequence of the procedure is recovering some well-known transformations like the mapping from the standard wave equation to the canonical form.The procedure, although cumbersome, holds for partial differential equations of any number of independent variables.Finally, transformation maps between variational equations like the wave equation on equivalent manifolds can be determined by the procedure.
Finally, after substituting expressions for Y x and f x into 3.24 , and making the substitution A ȧ/a, we obtain the equation