On the Variational Problems without Having Desired Variational Symmetries

We will have an attempt to present a method for constructing variational problems without having a desired one-parameter transformation group as a variational symmetry. For this, we use the notation of μ-symmetry which was introduced by Giuseppe Gaeta and Paola Morando in 2004. Moreover, our given method enabled us to solve those constructed variational problems using μ-symmetries.


Introduction
The applications of symmetry groups to problems arising in the calculus of variations have their origins in the late papers of Lie, which introduced the subject of "integral invariants" [1].Lie showed how the symmetry group of a variational problem can be readily computed based on an adaptation of the infinitesimal method used to compute symmetry groups of differential equations [2, Chapter 7].
In some applications, finding equations or variational problems which do not have some desired classical Lie symmetries have remarkable importance.In this paper, we have focused on investigating a method to find such equations or problems.Our given method will be based on -symmetries which was introduced by [3] to find Type I hidden symmetries.Hidden symmetries are defined as symmetries that are lost (Type I) or gained (Type II) as the order of an ODE is reduced or as the number of variable of a PDE is reduced [4].Hidden symmetries are difficult to evaluate since there are no general direct methods for determining them.There are several approaches that we can use to investigate the hidden symmetries.
In 2001, Muriel and Romero introduced -symmetries to evaluate Type I hidden symmetries of ODEs [5].Gaeta and Morando expanded this approach to scalar PDEs and PDEs systems as well as introducing a method for constructing equations without Lie point symmetries in 2004 [3,6].These equations have no obvious order reduction (in ODE case) and variable reduction (in scalar PDEs case and PDEs systems) which can be reduced using -symmetries.After a few months, in the subsequent paper [7], it was shown that symmetries are essentially equivalent (more precisely: locally, gauge equivalent) to standard symmetries (see especially [7], Theorem 1 and Example 1).The result has been also extended to the variational case in [8,9].
As before, in this paper we will attempt to present a method for constructing variational problems without having a desired one-parameter transformation group as a variational symmetry.More details, this paper is organized as follows.In Section 2, briefly, the notation of -symmetry is introduced in the line of [3,6].Section 3 is devoted to applications of symmetry approach in variational problems and some basic concepts of variational calculus.Constructing equations without Lie symmetries and introducing their appropriate -symmetries have been focused on in Section 4. Section 5 can be considered as a main part of the paper which is devoted to construct variational problems without desired variational symmetries using results of Section 4 with Theorem 6 and assuming the obtained equations in the preceding section as the Euler-Lagrangian equations of some variational problems with necessary condition (Propositions 9 and 11).

𝜇-Symmetry on Scalar PDEs and PDEs Systems
As before, the starting point will be a discussion of some of the foundational results about -symmetry.The reader can consult [3,6] to gain complete information about these symmetries.
Let  =     be a horizontal one form on first order jet space ( 1 , , ) and compatible with contact structure  on    for  ≥ 2. That is, where () is a Cartan ideal generated by contact structure.
Let  := ∑  =1   (, )   + (, )  be an arbitrary vector field on total space . :=  + Ψ    is defined as -prolongation of , on th order jet space   , if its coefficient satisfies the following -prolongation formula: Remark 2. By setting  = 0 in (2), we can gain ordinary prolongation of .So, ordinary prolongation can be assumed as 0-prolongation in -prolongation framework.
In the following theorem, the connection between ordinary prolongation and -prolongation will be considered.
Note, this theorem provides an economic way of computing -prolongation of , if we already know its ordinary prolongation.

Variational Problems and the Lie Standard Reduction Method
In this section, we will point out some aspects of applications of symmetries method to variational problems.The reader can find more information in [2,10,11].The variational problem is finding the extremals (maxima and/or minima) of a functional, over some space of functions  = (),  ∈ Ω.The integrand (,  () ), which is a smooth differential function on the jet space  () , is referred to as the Lagrangian of the variational problem (3).For such problems we can define the Euler-Lagrangian operators as Applications of the symmetry method on variational problems is motivated by the following theorem of the calculus of variational problems.
Theorem 4 (see [10]).The smooth extremals  = () of variational problem with the Lagrangian (,  () ) must be satisfied in the systems of its related Euler-Lagrange equations: The following theorem will be a cornerstone of our approach to the symmetry methods in variational problems.
Theorem 5 (see [2]). is a variational symmetry of variational problem (3) if and only if it is a Lie symmetry of its Euler-Lagrangian equation (4).

Euler-Lagrangian Equations without Desired Lie Symmetries
Our given method mainly organized in two steps: first, we characterize equations (scalar PDEs) without desired Lie symmetries (this section); then, we find appropriate variational problems which have them as Euler-Lagrangian equations (next section).
To attain the pointed purpose of this section, we consider  as a vector field on first order jet space  1  then determine general scalar PDEs which do not have  as Lie symmetries, with admitting it as a -symmetry (find more information in [3,7]).
Consider the scaling vector field  =   +   +   .We have  =  −   −   for the Lie characteristic [2,7].The corresponding invariant coordinates (, V) and the parametric coordinate  in  = (, , ) can be chosen as  = ,  = / and V = /.The corresponding inverse change of variables is  = ,  = ,  = V.Hence, the function V = V(, ) is -invariant if and only if V  = 0.The partial derivations of  express in the partial derivatives of V = V(, ) as The above can be inverted to give Similar to the above, we have the following expressions for second order derivatives: Journal of Mathematics 3 The central object in this computation is a horizontal oneform  on one ordered jet space  (1) .Here, since the space of independent variables is two dimensional, we have  =  + .Let us come to the second -prolongation of .
For this computation, we can use (2) or the recursion relation in Theorem 3. Hence if we show -prolongation of  as then, we have We will now consider the simplest nontrivial choice for ; that is,  = , with  a real constant.By substituting this  in (10), we find By taking (, V) as invariants of order zero, ( 1 ,  2 ) of order one, and ( 1 ,  2 ,  3 ) of order two, we have Theorem 6.Consider the equation Δ := (, V,  1 ,  2 ,  1 ,  2 ,  3 ) with  as an arbitrary smooth function of its arguments.
Let  be a real constant.Then, we have the following.
(i) Equation Δ admits the vector field  as a -symmetry with  = .
(iii) The -symmetry-reduced equation, providing -invariant solutions to Δ, is given by Proof.(i) Based on the Lie point symmetry method, a PDE admits  as -symmetry when we can rewrite it in terms of -invariants [2].Hence, equation Δ admits  as -symmetry with  = .
(ii) Using (12), we can conclude that, in solution space, the arguments  1 ,  2 and  3 depend on .So, if  depends on this argument, then  is not an ordinary symmetry of Δ.
(iii) Finally, note that restriction to solution space does not change the form of  2 and  1 .From the above explicit expression of the invariants, we have that  1 =   /,  2 = −  (  ), and Therefore, on solution space we have  1 =  2 =  3 = 0, and (13) represents indeed the reduced equation for Δ in the space of -invariant functions.This proves point (iii) and hence completes the proof.
We would like to note that, as claimed by (13), the reduced equation corresponds to the one which would be obtained by the standard symmetry reduction (under ) of the equation [, V, ξ1 ,  2 ,  1 , η2 , η3 ] = 0 to solution space, where ξ1 is obtained from  1 by setting  = 0, and the like for η2 and η3 .
Finally, let us discuss a completely concrete example; albeit, the procedure here is completely analogous to the one to be followed for standard symmetries.Consider equation Δ :=  1 −  2 = 0.This is written as in the original coordinates; in the adapted ones it reads The corresponding reduced equation is and the general solution to this is V() =  1 +  2 , where   are real constants.Going back to the original coordinates, the corresponding solutions are (, ) =  1  +  2 .
Remark 7. Note, unlike the Lie method, we focus on solutions which have not admitted the desired Lie symmetries.For instance, here, beside finding the solution (, ) =  1  +  2  for (14), we found that for some , this does not remain again a solution under scaling transformation (, , )  → (  ,   ,   ).

𝜇-Symmetry on Variational Problems
In the calculus of variations, the problem of characterizing systems of differential equations which are the Euler-Lagrange equations for some variational problems is known as the inverse problem [7,8].There are different approaches to perform the inverse problem [8,9].Here, in order to keep the scope manageable, we use the direct method.In this section, applying the preceding results, we construct an example of a variational problem which its Euler-Lagrange equation has no desired Lie symmetries.For this purpose, first, we assume that Δ is an equation without desired Lie symmetry (here, scaling symmetry); then, we find appropriate variational problems which have equation Δ as a Euler-Lagrangian equation.Also, in Proposition 11, we will introduce the class of variational problems without having any nontrivial Lie variational symmetries.
Let it be an Euler-Lagrange equation for some second-order variational problem; so, from (4) we have By solving this equation, we have As a result of the above and using Theorem 5 and Corollary 7.4 in [2], we can find the following.

Conclusions
In this paper, first, we construct some Euler-Lagrange equations with no desired symmetries as well as introducing appropriate -symmetries to reducing them; next, we find their related variational problems without having desired variational symmetries.Indeed, in Propositions 9 and 11, we introduced two class of variational problems which have no scaling variational symmetry and nontrivial Lie symmetries, respectively.
[5]s equation appears in Theorem 4.3 of[5]as an equation which can be integrated using the -symmetry method with  = / 2 and  =   but lacks nontrivial symmetries.Let it be an Euler-Lagrange equation for some second-order variational problem; so, from (4) we have Any variational problem with the Lagrangian L =  2 + Div  for arbitrary smooth function  has no nontrivial variational Lie symmetries, where its Euler-Lagrangian equation has  =   as a -symmetry with  = / 2 .