arxiv: v1 [math.ap] 20 Oct 2017

Transcription

1 Lie symmetries for systems of evolution equations arxiv: v1 [math.p] 0 Oct 017 ndronikos Paliathanasis 1, 1 Instituto de Ciencias Físicas y Matemáticas, Universidad ustral de Chile, Valdivia, Chile Institute of Systems Science, Durban University of Technology Durban 4000, Republic of South frica Michael Tsamparlis 3 3 Faculty of Physics, Department of stronomy-strophysics-mechanics, University of thens, Panepistemiopolis, thens , Greece October 5, 017 bstract The Lie symmetries for a class of systems of evolution equations are studied. The evolution equations are defined in a bimetric space with two Riemannian metrics corresponding to the space of the independent and dependent variables of the differential equations. The exact relation of the Lie symmetries with the collineations of the bimetric space is determined. Keywords: Lie symmetries; Evolution equation; Collineations 1 Introduction Lie symmetries is a powerful method for the determination of solutions in the theory of differential equations. Lie symmetry is important as it provides invariants which can be used to write a new differential equation with less degree of freedom. Furthermore, a solution of such an equation is also a solution of the original differential equation [1, ]. The reduction process is the main application of Lie symmetries, however, it is not a univocal approach. Symmetries can be used for the determination of conservation currents [3], for the classification of differential equations [4 10] and for the reconnaissance of some well-known systems [11 15]. Intherecentliterature,ithasbeenshownthatthereisacloserelationbetweentheLiesymmetriesofasecond order differential equation and the geometry of the space where motion occurs. For example, the conservation of energy and angular momentum in Newtonian Physics is a result of the Lie point symmetries, generated by the Killing vectors of translations and rotations respectively. The general result for a holonomic autonomous dynamical system moving in a Riemannian space is that the Lie point symmetries of the equations of motion anpaliat@phys.uoa.gr mtsampa@phys.uoa.gr 1

2 are generated by the special projective algebra of the kinematic metric, that is, the metric defined by the kinetic energy. [16 ]. Similar results have been derived for second-order partial differential equations [3 5]. The importance of the relation of Lie symmetries with the symmetry groups lies in that one can determine those symmetries, hence, reduce the problem of finding solutions for second order time independent differential equations by applying direct theorems of differential geometry [6 8]. Moreover, it has been shown [9] that the application of the geometric approach in constrained dynamical systems can be used to extract information during the quantization process 1 [30 33]. The present work is a natural extension of the approach initiated in [3,4], that is, we consider the problem of determining the Lie point) symmetries for a class of systems of quasilinear evolution equations which define a bimetric manifold with two independent connections. The system of differential equations is assumed to be of the form Q t,x k,u C,u C,i,u C,ij,u C ) t = 0, 1) in which Q g ij u,ij +gij Γ BC ub,i uc,j Γi u,i +F t,x k,u C) u,t, ) where u denotes the m dependent variables, dim u ) = m, x k are the n independent variables, dim x k) = n, while Γ i = g jk Γ i jk xr ) and Γ BC = Γ BC u D are the two affine connections on the bimetric theory {g ij, H B }. Metric g ij is defined in the spaceofthe independent variableswhile H ) B u C defines the geometry of the space of dependent variables u. Moreover, we assume that the two spaces are minimally coupled, that is, {g ij, H B } = { g ) ij x k,h )} B u C. Finally, the function F t,x k,u C) counts for the interaction term of the metrics g ij, H B and t denotes the time in which the system evolves. Static solutions of the system 1) have been studied in [4]. It was found that the Lie point symmetries of 1) are constructed by the conformal Killing vectors and the affine collineations of the metrics g ij and H B respectively. The present letter is organized as follows. In Section we present the main results. We solve the symmetry conditions for the system 1) and show that the Lie point symmetries are generated by the elements of the homothetic algebra and the affine algebra of the two metrics which are defined by the differential equations. Three corollaries are presented for some cases of special interest. Finally, our discussion is given in Section 3. Lie point symmetries The lhs of the differential equation 1) can be seen as a vector field Q in the space of variables = t,x k,u C,u C,i,uC,ij,uC t. The condition is that the function Q is invariant under the action of the one parameter point transformation t = t+εξ t t,x k,u B) 3) x i = x i +εξ i t,x k,u B), 4) ū = ū +εη t,x k,u B), 5) is X [] Q = 0 6) 1 For some interesting results on the quantization from symmetries see [34 36] and references therein.

3 where X [] is the second extension for the generator X = ξ t t +ξ i i +η in the space of both independent and dependent variables. In particular, the second extension is given by the formula [1, ] X [] = X+η α u α +η αβ u αβ 7) where η α and η αβ are defined as follows η α = η,α +ub,α η,b ξβ,α u,β u,β ub,α ξβ,b, 8) η αβ = η,αβ +η,bα ub,β) ξγ,αβ u,γ +η,bcu B,αu C,β ξ γ,α B ub β) u,γ ξ γ,bc ub,α uc,β u,γ +η,b ub,αβ ξγ,β u,α)γ ξγ,b u,γ ub,αβ +ub,β u,α)γ. 9) Considering condition, 6), as a polynomial in the variables u ) 0 ), u,α, u,αu B,β, u,αβ and we find the following symmetry conditions u,αβ ub,γ ξ ț i = 0, ξ ț = 0, ξ i, = 0 10) F,kξ k +F,t ξ t +F,Bη B + g ij η ;ij η ),t = λf 11) ) g kj ξ i,kj Γ i,kξ k +ξ i,jγ j +λγ i +ξ i,t δ B Γ i η,b +g ij η B = 0 1),j Lξ g ij λg ij) Γ BC + Γ BC,Dη D +g ij η,bc +g ij Γ KC η K,C = 0 13) δ B L ξg ij = λ η,b) g ij δ B 14) η,b = ξ ț t λ) δ B 15) where and ; denote covariant derivative with respect to the connection Γ BC or Γi jk respectively, while L X denotes Lie derivative. The symmetry conditions are similar to those derived in [4], therefore, we follow the same procedure in their solution. Condition 14) becomes L ξ g ij = λ η,b) gij 16) which means that ξ i is a conformal Killing vector CKV) field for the metric g ij with conformal factor ψ = λ η,b. However, from 15) we have that ψ = ψt) only such that ξ t = ψ T t)dt. Hence, ξ i = 1 T t)ζ i, where ζ i is a homothetic vector HV) of g ij. From 13) we have that L η Γ BC = 0 17) which implies that η is an affine collineation C) of the metric H B. These two conditions, namely 16) and 17) provide the geometric answer to the relation between Lie point symmetries of 1) and collineations of the underlying space. The remaining symmetry conditions produce constraints on these collineations which should be satisfied in order the latter to be Lie point symmetries for the system 1). We rewrite condition 1) as follows The Greek indices a,β,γ count on all the independent parameters x i and t. η B = T,tζ i δ B 18),j 3

4 from which follows that η B = T,t ζδ B +Z t,u C) 19) where ζ,i denotes a gradient HV of g ij, otherwise T t) = const. such that T,t = 0. From 19) and 17) it follows that η = T,t ζy u C) +Z t,u C) +σ t,x k) 0) where Z is an C of H B and Y is a proper gradient HV of H B. Finally, condition 11) becomes L ξ if +ψ T t)dtf,t +ψt t)f T,t ζly F +L Z F + g ij ) η ;ij η,t = 0 1) The last condition is the one which constrains the collineations of the bimetric manifold with the function F in order for the collineations to generate a Lie point symmetry for the system 1). The following theorem is the main result of this work and a natural extension of [4] for systems of evolution equations. Theorem 1 The Lie point symmetries for the system of evolution equations 1) are generated by the collineations of the bimetric {g ij, H B }. In particular, the generic form for the Lie symmetry vector is given by the formula X = ψ T t)dt t +T t)ζ i x k) i + Z t,u ) T,t ζy u C) +σ t,x k)) ) where ζ i is an element of the Homothetic algebra of g ij with homothetic factor ψ, ζ is a gradient homothetic vector field of g ij, Z and Y are elements of the affine and homothetic algebra of the metric H B respectively. The collineations and the functions T t), σ t,x k) are constrained by condition 1). In the case where the bimetric does not admit any gradient HV, it follows: Corollary The generic Lie point symmetry for the system of evolution equations 1) in which g ij and H B do not admit a gradient HV is X = ψt t +ζ i x k) i + Z t,u ) +σ t,x k)), 3) where ζ i, Z and σ t,x k) are constrained with the condition L ξ if +ψtf,t +ψf +L Z F + g ij σ ;ij σ,t) Z,t = 0. 4) In case where there is no interaction term F in the system 1), that is F t,x k,u C) = 0, condition 1) becomes g ij σ ) ;ii σ,t + ψt,t T,tt ζ) Y Z,t = 0 5) that is and ψt,t Y Z,t = 0, T,tt ζy = 0, 6) g ij σ ;ii σ,t = 0. 7) From 6) it follows that T,tt = 0, that is T t) = T 0 + T 1 t, while from 6) we have that Z = ψt 1 ty or Z Y and T 1. Condition 7) provides an infinite number of trivial symmetries, which is a well-known result for the heat equation. Thus, from Theorem 1 follows: 4

5 Corollary 3 The generic Lie point symmetry for the system of free evolution equations g ij u,ij +g ij Γ BC u B,iu C,j Γ i u,i +F t,x k,u C) u,t 8) is generated by the HV of the metric g ij and the Cs of the connection Γ BC formula and it is given by the following X = ψ T1 t +T 0 t ) ) +α 1 ψt+α 0 t + ψt1 t+t 0 ) ζ,i x k ) +α 1 ζ i) i + + Z t,u ) ψt 1 t+1) ζy u C) +σ t,x k)) 9) in which ζ i, ζ,i are elements of the Homothetic algebra of g ij with Homothetic factors ψ and ψ, where ζ,i is a gradient vector field. Z is an affine collineation of Γ BC while Y is a HV for the metric H B. Finally, σ t,x k) solves the system of independent linear evolution equations 7). In the special scenario in which {g ij, H B } are metrics of maximally symmetric spaces with nonzero curvature from Corollaries and 3, we have: Corollary 4 The generic Lie point symmetry for the system of free evolution equations of the form 8) where {g ij, H B } are metrics of maximally symmetric spaces with nonzero curvature is given as below X = α 0 t +ζ i i + Z t,u ) +σ t,x k)) 30) where ζ i and Z are the nn+1) and mm+1) Killing vectors of the spaces {g ij, H B }. Finally, σ t,x k) solve the system of independent linear evolution equations 7). For the proof of Corollary 4, we remind to the reader that maximally symmetric spaces of nonzero curvature do not admit a HV and Cs. t this point, we omit the demonstration of the application of the derived results. The same approach which has been presented in [4] can be applied. 3 Conclusion This work focuses on the relation between geometry and algebraic properties of differential equations. The system of evolution equations 1) is defined by a bimetric theory where the two Riemannian spaces define the spaces of the independent and dependent variables. Themainresultofthis workistheorem1, in whichweconstructthegenericformoftheliepointsymmetries for the system 1) and we transfer the problem of the determination of point Lie symmetries to a geometric problem. In particular, the geometric construction of the bimetric theory defines the existence, the number and the form of the Lie point symmetries. Because the point transformation3)-5) has components in the spaces of the independent and the dependent variables, it follows that it is constructed by the HV and the Cs for the two metrics which define the bimetric theory. There are various differences with the quasilinear system we studied in [4] the main one being that in [4] the CKVs of the metric g ab generate symmetries of the system. That means that in the case of static solutions of the system 1) the new Type-II hidden symmetries [37,38] are generated by the proper CKVs of the metric g ij, a result which generalizes the corresponding result of the one-dimensional case [39]. 5

6 With the present work we complete our analysis on the relation between geometry and Lie point symmetries of differential equations of second-order of physical interest. There are various ways through which one could extend that geometric approach by studying other families of differential equations or studying higherorder symmetries. review on the geometric approach of the symmetries of differential equations where some extensions will be presented is in progress. cknowledgements The research of P was supported by FONDECYT postdoctoral grant no P thanks the University of thens for the hospitality provided while part of this work took place. References [1] H. Stephani, Differential Equations: Their Solutions Using Symmetry, Cambridge University Press, New York, 1989) [] G.W. Bluman and S. Kumei, Symmetries of Differential Equations, Springer-Verlag, New York, 1989) [3] E. Noether, Nachr. v.d. Ges. d. Wiss. zu Gottingen 35, 1918) [4] L. V. Ovsiannikov, Group analysis of differential equations, cademic Press, New York, 198) [5] N. Kallinikos and E. Meletidou, J. Phys. : Math. Theor. 46, ) [6] N. Kallinikos, Group classification of charged particle motion in stationary electromagnetic fields, arxiv: [7] K. ndriopoulos, P.G.L. Leach and G.P. Flessas, J. Math. nal. ppl. 6, ) [8].H. Kara and F.M. Mahomed, Int. J. Theor. Phys. 34, ) [9] S.-F. Shen and Y.-Y. Jin, cta. Math. ppl. Sinica English Series) 33, ) [10] S. Jamal, Gen. Relativ. Grav. 49, ) [11] P.G.L. Leach, J. Phys. : Math. Gen. 13, ) [1] S. Moyo and P.G.L. Leach,J. Math. nal. ppl. 5, ) [13] W. Sarlet, F.M. Mahomed and P.G.L. Leach, J. Phys..: Math. Gen. 0, ) [14] F.M. Mahomed and P.G.L. Leach, Quaestiones Mathematicae 1, ) [15] M. Tsamparlis and. Paliathanasis, J. Phys. : Math. Theor. 45, ) [16] G.H. Katzin and J. Levine, J. Math. Phys. 9, ) [17] G.H. Katzin and J. Levine, J. Math. Phys., ) [18] G.H. Katzin, J. Math. Phys. 14, ) [19].V. minova, Sbornik Math. 186, ) 6

7 [0].V. minova, Tensor N.S., 65, 6 000) [1] M. Tsamparlis and. Paliathanasis, Nonlinear Dyn. 6, ) [] M. Tsamparlis and. Paliathanasis, Gen. Relativ. Gravit. 4, ) [3]. Paliathanasis and M. Tsamparlis, J. Geom. Phys. 6, ) [4]. Paliathanasis and M. Tsamparlis, J. Geom. Phys. 107, ) [5] Y. Bozhkov and I.L. Freire, J. Diff. Eq. 49, ) [6]. Paliathanasis and M. Tsamparlis, Phys. Rev. D. 90, ) [7]. Paliathanasis, M. Tsamparlis and M.T. Mustafa, Int. J. Geom. Meth. Mod. Phys. 1, ) [8]. Paliathanasis, M. Tsamparlis and M.T. Mustafa, Comm. Non. Sci. Num. Sim. 55, ) [9] T.Christodoulakis, N. Dimakis and P.. Terzis, J. Phys. : Math. Theor. 47, ) [30] T. Christodoulakis, N. Dimakis, P.. Terzis, Th. Grammenos, E. Melas and. Spanou, J. Geom. Phys. 71, ) [31] T. Christodoulakis, N. Dimakis, P.. Terzis and G. Doulis, Phys. Rev. D 90, ) [3] N. Dimakis,. Karagiorgos, T. Pailas, P.. Terzis and T. Christodoulakis, Phys. Rev. D 95, ) [33]. Paliathanasis, M. Tsamparlis, S. Basilakos and J.D. Barrow, Phys. Rev. D 93, ) [34] M.C. Nucci, Theor. Math. Phys. 168, ) [35] M.C. Nucci, J. Phys.: Conf. Ser. 48, ) [36] M.C. Nucci and P.G.L. Leach, J. Non. Math. Phys. 17, ) [37] B. braham-shrauner, K.S. Govinder and D.J. rrigo, J. Phys. : Math. Gen. 39, ) [38] M.L. Gandarias, J. Math. nal. ppl. 348, ) [39] M. Tsamparlis and. Paliathanasis, J. Geom. Phys. 73, ) 7