- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Journal of Mathematics
Volume 2013 (2013), Article ID 685212, 4 pages
On the Variational Problems without Having Desired Variational Symmetries
School of Mathematics, Iran University of Science and Technology, Narmak, Tehran 1684613114, Iran
Received 14 January 2013; Revised 9 April 2013; Accepted 12 April 2013
Academic Editor: Peter Grabner
Copyright © 2013 Mehdi Nadjafikhah et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
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.
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” . 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  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 . 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 . 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 , it was shown that -symmetries are essentially equivalent (more precisely: locally, gauge equivalent) to standard symmetries (see especially , 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).
2. -Symmetry on Scalar PDEs and PDEs Systems
Let be a horizontal one form on first order jet space and compatible with contact structure on for . That is, where is a Cartan ideal generated by contact structure.
Let 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 in (2), we can gain ordinary prolongation of . So, ordinary prolongation can be assumed as -prolongation in -prolongation framework.
In the following theorem, the connection between ordinary prolongation and -prolongation will be considered.
Theorem 3 (see ). Let be a vector field on first order jet space ; Let and be as -prolongation and ordinary prolongation of , respectively. Then, we have , where satisfies the recursion relation (with ): ; where, is a Lie characteristic.
Note, this theorem provides an economic way of computing -prolongation of , if we already know its ordinary prolongation.
3. 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 ). 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.
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 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 and the parametric coordinate in can be chosen as , and . The corresponding inverse change of variables is , , . Hence, the function is -invariant if and only if . The partial derivations of express in the partial derivatives of as The above can be inverted to give Similar to the above, we have the following expressions for second order derivatives: The central object in this computation is a horizontal one-form on one ordered jet space . 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 as invariants of order zero, of order one, and of order two, we have
Theorem 6. Consider the equation 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 . (ii)For , is not an ordinary symmetry of . (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 . Hence, equation admits as -symmetry with .
(ii) Using (12), we can conclude that, in solution space, the arguments , and 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 and . From the above explicit expression of the invariants, we have that , , and . Therefore, on solution space we have , 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 to solution space, where is obtained from by setting , and the like for and .
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 . 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 , where are real constants. Going back to the original coordinates, the corresponding solutions are .
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 for (14), we found that for some , this does not remain again a solution under scaling transformation .
5. -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.
Example 8. Consider this equation it can be written as: , using given expressions in (12) with . Based on Theorem 6 this equation has scaling symmetry: as -symmetry with , and this transformation is not its Lie symmetry. Let it be an Euler-Lagrange equation for some second-order variational problem; so, from (4) we have By solving this equation, we have
Proposition 9. Any variational problem with the Lagrangian for arbitrary smooth function does not admit scaling transformation as a variational symmetry. Moreover, this transformation is a -symmetry of its Euler-Lagrangian equation with .
Example 10. Consider the equation This equation appears in Theorem 4.3 of  as an equation which can be integrated using the -symmetry method with and but lacks nontrivial symmetries. Let it be an Euler-Lagrange equation for some second-order variational problem; so, from (4) we have by solving (21), we find the following Lagrangian:
Proposition 11. Any variational problem with the Lagrangian for arbitrary smooth function has no nontrivial variational Lie symmetries, where its Euler-Lagrangian equation has as a -symmetry with .
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.
The authors would like to thank the referees for constructive suggestions and helpful discussions which have materially improved the presentation of the paper.
- S. Lie, “Uber integralinvarianten und ihre Verwertung fur die Theorie der Differentialgleichungen,” in Gesammelte Abhandlungen, vol. 6, pp. 664–701, B.G. Teubner, Leipzig, Germany, 1927.
- P. J. Olver, Equivalence, Invariants, and Symmetry, Cambridge University Press, Cambridge, UK, 1995.
- G. Gaeta and P. Morando, “On the geometry of lambda-symmetries and PDE reduction,” Journal of Physics A, vol. 37, no. 27, pp. 6955–6975, 2004.
- B. Abraham-Shrauner, “Hidden symmetries and nonlocal group generators for ordinary differential equations,” IMA Journal of Applied Mathematics, vol. 56, no. 3, pp. 235–252, 1996.
- C. Muriel and J. L. Romero, “New methods of reduction for ordinary differential equations,” IMA Journal of Applied Mathematics, vol. 66, no. 2, pp. 111–125, 2001.
- G. Gaeta and P. Morando, “PDEs reduction and -symmetries,” Note di Matematica, vol. 23, no. 2, pp. 33–73, 2004/05.
- G. Cicogna, G. Gaeta, and P. Morando, “On the relation between standard and -symmetries for PDEs,” Journal of Physics A, vol. 37, no. 40, pp. 9467–9486, 2004.
- C. Muriel, J. L. Romero, and P. J. Olver, “Variational -symmetries and Euler-Lagrange equations,” Journal of Differential Equations, vol. 222, no. 1, pp. 164–184, 2006.
- G. Cicogna and G. Gaeta, “Noether theorem for -symmetries,” Journal of Physics A, vol. 40, no. 39, pp. 11899–11921, 2007.
- B. van Brunt, The Calculus of Variations, Springer, 2003.
- P. J. Olver, Applications of Lie Groups to Differential Equations, vol. 107, Springer, New York, NY, USA, 1986.