arxiv: v1 [math-ph] 9 Sep 2016

Transcription

1 A TIME SCALES NOETHER S THEOREM by Bptiste Anerot 2, Jcky Cresson,2 nd Frédéric Pierret 3 rxiv: v [mth-ph] 9 Sep 206 Abstrct. We prove time scles version of the Noether s theorem relting group of symmetries nd conservtion lws. Our result extends the continuous version of the Noether s theorem s well s the discrete one nd corrects previous sttement of Brtosiewicz nd Torres in [3]. SYRTE, Observtoire de Pris, CNRS UMR 8630, 77 Avenue Denfert-Rochereu, 7504 Pris, Frnce 2 Lbortoire de Mthémtiques Appliquées de Pu, Université de Pu et des Pys de l Adour, venue de l Université, BP 55, 6403 Pu Cedex, Frnce 3 IMCCE, Observtoire de Pris, CNRS UMR 8028, 77 Avenue Denfert-Rochereu, 7504 Pris, Frnce Contents. Introduction Min result Comments on previous results The Brtosiewicz nd Torres result The second Euler-Lgrnge eqution pproch A time scles Jost s method of proof Pln of the pper Preliminries on time scles Proof of the min result The Brtosiewicz nd Torres exmple Invrince nd conservtion lw Simultions Proof of the technicl Lemm Proof of Lemm Proof of Lemm Proof of Lemm References

2 2 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3. Introduction The clculus on time-scles initited by Stefn Hilger in [4] gives convenient wy to del with discrete, continuous or mixed processes using unique formlism. In 2004, this theory ws used by M. Bohner [6] nd R. Hilscher nd V. Zeidn [5] to develop clculus of vritions on time scles. In this context, mny nturl problems rise. One of them is to generlize to the time scles setting clssicl results of the clculus of vrition in the continuous cse. One of these problem is to obtin time scles nlogue of the Noether s Theorem relting group of symmetries nd conservtion lws. The im of this rticle is precisely to derive time scles version of the Noether s theorem. We refer to the books of Olver [8] nd Jost [6] for the clssicl cse. This problem ws initilly considered by Z. Brtosiewicz nd D.F.M. Torres in [3] but both the result nd the proof re incomplete. In the following, we follow the strtegy of proof proposed in [3] consisting in deriving the Noether s theorem for trnsformtions depending on time from the esier result obtined for trnsformtions without chnging the time. In [], we cll Jost s method this wy of proving the Noether s theorem s clssicl reference is contined in the book [6]... Min result. Our min result cn be formulted s follows. Let T be bounded time scle with = mint), b = mxt) nd crdt) 3. We denote by ρ nd σ the bckwrd nd forwrd jump opertor see Definition ). We set T κ = T\]ρb), b], T κ = T\[, σ)[ nd T κ κ = T κ T κ. We denote by C, rd T) the set of -differentible functions on T κ with rd-continuous -derivtive see Definition 5). Let us consider functionl L : C, T) R defined by Lq) = rd Lt, qt), qt)) t, where L : [, b] R d R d R is Lgrngin. The criticl point of L re solutions of the time-scle Euler-Lgrnge eqution see [9]): [ ] L t, qt), qt)) = σt) L t, qt), qt)), ) v x for every t T κ κ. Following [3], time-scle Lgrngin functionl L is sid to be invrint under the oneprmeter fmily group G = {g s } s R of trnsformtions g s x, t) = gst), 0 gsx)) if nd only if for ny subintervl [t, t b ] [, b] with t, t b T, for ny s R nd x C, T) one hs tb t L t, xt), xt)) t = τb where τ = g 0 st ) nd τ b = g 0 st b ). τ rd L τ, gs x gs) 0 τ), T g s x gs) 0 τ) )) Tτ 2) In the following, we need the notion of dmissible group of symmetries which corresponds to one-prmeter group of diffeomorphisms stisfying:

3 A TIME SCALES NOETHER S THEOREM 3 the set defined by T s = g 0 st) is time-scle for ll s R, the function g 0 s is strictly incresing, Ts g 0 s ) exist, g 0 s 0 nd g 0 s is rd-continuous. Our min result is the following version of the time-scle Noether s theorem: Theorem Time-scle Noether s theorem). Suppose G = {g s t, x) = gst), 0 gsx))} s R is n dmissible one prmeter group of symmetries of the vritionl problem nd Lx) = L t, xt), xt)) t X = ζt) t + ξx) x, 3) be the infinitesiml genertor of G. Then, the function It, x) = ζ σ [L ) v L ) x]+ξ σ v L )+ t ζ [ σ t L ) L v L x)] t, 4) is constnt of motion over the solution of the time-scle Euler-Lgrnge eqution ), i.e. tht [It, xt))] = 0, 5) for ll solutions x of the time-scle Euler-Lgrnge equtions nd ny t T κ. The proof is given in Section 3. In the continuous cse T = R, one obtin the clssicl form of the integrl of motion becuse the lst integrl term is reduced to zero. It, x) = ζ L ) v L )ẋ) + ξ v L ), 6) Lgrnge eqution one hs the identity t L ) = d dt L ) vl )ẋ). Indeed, on the solutions of the Euler- In the discrete cse, T = Z nd trnsformtions without chnging time, one recovers the clssicl integrl see [0], Theorem 2 p.885 nd lso [7]):.2. Comments on previous results. Ix) = ξ σ v L ). 7).2.. The Brtosiewicz nd Torres result. In [3] the uthors obtin time scles version of the Noether theorem in the shifted version of the clculus of vrition on time scles. However, their result cn be esily extended to the non shifted cse following the sme pths. It coincides with our result for trnsformtions without chnging time but differs from it in the other cses. As illustrted in Section 4 with n exmple nd numericl simultions, the result in [3] is not correct. The reson is tht in order to follow their scheme of proof see Section.3) the

4 4 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3 solutions of the Euler-Lgrnge equtions hve to stisfy n uxiliry eqution given for ll t T κ κ by see Lemm 3 in Section 3): στ) t L ) + xt) v L ) L )) = 0, 8) which is precisely the quntity under the -ntiderivtive. This quntity is discussed in the next Section The second Euler-Lgrnge eqution pproch. As lredy noted, in the continuous cse T = R, condition 8) is well known nd corresponds to the second Euler-Lgrnge eqution or the Dubois-Rymond necessry optimlity condition. A time-scles nlogue of the second Euler-Lgrnge eqution ws derived by Brtosiewicz, Mrtins nd Torres in [4], Theorem 5 p.2) leding to nother proof of the time-scle Noether s theorem see [4],Section 4, Theorem 6). As lredy sid, the result in [3] is wrong without dditionl ssumptions. As consequence, we believe tht the time scles second Euler-Lgrnge eqution in [4] must be tken with cre..3. A time scles Jost s method of proof. The pproch used by Brtosiewicz nd Torres to prove their time scles Noether s theorem is n dpttion of method which cn be found in the clssicl Textbook by J. Jost nd X. Li-Jost [6] on the clculus of vritions. Formlly, the ide is very simple. One introduce n extr vrible corresponding to the time vrible in order to trnsform the cse of invrince under trnsformtions chnging time to cse of invrince without chnging the time vrible for n extended Lgrngin which is explicitly constructed from the initil Lgrngin. The corresponding Noether s theorem then follows from the one for trnsformtions without chnging time which is esier. We refer to [6] for more detils. However, s in the frctionl cse, where the sme method of proof were used, severl problems rise when dpting the method of Jost to the time-scle cse. In prticulr, one must be very creful with the vlidity of the chnge of vribles nd the fct tht one cn used the time-scle Noether s theorem for trnsformtions without chnging time. In prticulr, the proof proposed in [3] does not work precisely becuse one cn not use the utonomous version of the Noether s theorem but only the infinitesiml invrince chrcteriztion see Section 3, Lemm 3 nd fter). It must be pointed out tht there exists severl wy to prove the Noether s theorem. However, we decide to follow the sme strtegy of Brtosiewicz nd Torres in [3] becuse this method is very elegnt nd mny other generliztions re bsed on it. As consequence, the problems tht we re discussing will be of importnce for other works. This work ws in fct suggested by recent rticle [2] showing tht the frctionl Noether theorem proved by Frederico nd Torres in [3] is wrong. However, the rticle [2] does not provide cler understnding of where nd why the result is not correct. The second uthor nd A. Szfrnsk hve nlysed in [] the proof given in [3] which is n dpttion of the Jost s method to the frctionl clculus of vritions. Severl problems ws then pointed out which cn occur when generlizing the Jost s method to nother frmework.

5 A TIME SCALES NOETHER S THEOREM 5.4. Pln of the pper. The pln of the pper is s follows. In Section 2, we remind some definitions nd nottions bout time-scles nd give some prticulr sttements bout the chin rule formul nd the substitution formul for -derivtive in the time-scles setting. Section 3 gives the proof of our min result. The proof of severl technicl Lemms re given in Section 5. In Section 4, we discuss n exmple first studied by Brtosiewicz nd Torres in [3]. We compre the quntity tht we hve obtined with the one derived in [3] using numericl integrtion. In prticulr, it shows tht the conservtion lw obtined in [3] does not give n integrl of motion contrry to the quntity obtined using our Theorem. 2. Preliminries on time scles In this Section, we remind some results bout the chin rule formul, the chnge of vrible formul for -ntiderivtive which will be used during the proof of the min result. We refer to [, 6, 7, 8] nd references therein for more detils on time scle clculus. Definition. The bckwrd nd forwrd jump opertors ρ, σ : T T re respectively defined by: t T, ρt) = sup{s T, s < t} nd σt) = inf{s T, s > t}, where we put sup = nd inf = b. Definition 2. A point t T is sid to be left-dense resp. left-scttered, right-dense nd right-scttered) if ρt) = t resp. ρt) < t, σt) = t nd σt) > t). Let LD resp. LS, RD nd RS) denote the set of ll left-dense resp. left-scttered, rightdense nd right-scttered) points of T. Definition 3. The grininess resp. bckwrd grininess) function µ : T R + resp. ν : T R + ) is defined by µt) = σt) t resp. νt) = t ρt)) for ny t T. Let us recll the usul definitions of - nd -differentibility. Definition 4. A function u : T R n, where n N, is sid to be -differentible t t T κ resp. -differentible t t T κ ) if the following limit exists in R n : uσt)) us) us) uρt)) lim resp.. 9) s t σt) s s ρt) s σt) lim s t s ρt) In such cse, this limit is denoted by ut) resp. ut)). Proposition. Let u : T R n. Then, u is -differentible on T κ with u = 0 if nd only if there exists c R n such tht ut) = c for every t T. The nlogous results for -differentibility re lso vlid. Definition 5. A function u is sid to be rd-continuous resp. ld-continuous) on T if it is continuous t every t RD resp. t LD) nd if it dmits left-sided resp. righ-sided) limit t every t LD resp. t RD).

6 6 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3 We respectively denote by Crd 0 T) nd C, rd T) the functionl spces of rd-continuous functions on T nd of -differentible functions on T κ with rd-continuous -derivtive. Let us denote by τ the Cuchy -integrl defined in [6, p.26] with the following result see [6, Theorem.74 p.27]): Theorem 2. For every u Crd 0 Tκ ), there exist unique -ntiderivtive U of u in sense of U = u on T κ vnishing t t =. In this cse the -integrl is defined by for every t T. Ut) = t uτ) τ We hve time-scle chin rule formul see [6, Theorem.93]). Theorem 3 Time-scle Chin Rule). Assume tht v : T R is strictly incresing nd T := vt) is time-scle. Let w : T R. If vt) nd Tvt)) exist for t T κ, then w v) = T v ) v 0) With the time-scle chin rule, we obtin formul for the derivtive of the inverse function see [6, Theorem.97]). Theorem 4 Derivtive of the inverse). Assume tht v : T R is strictly incresing nd T := vt) is time-scle. Then v = T v ) v ) t points where v is different from zero. Another formul from the chin rule is the substitution rule for integrls see [6, Theorem.98]). Theorem 5 Substitution). Assume tht v : T R is strictly incresing nd T := vt) is time-scle. If f : T R is rd-continuous function nd v is differentible with rd-continuous derivtive, then for, b T, ft) vt) t = vb) v) f v ) s) Ts. 2) 3. Proof of the min result We first rewrite the invrince reltion 2) in order to hve the sme domin of integrtion. Lemm. Let L be time-scle Lgrngin functionl invrint under the ction of the group of diffeomorphisms g. Then, we hve L t, xt), xt)) t = L gst), 0 gs x)t), gs x ) ) t) gst) 0 gst) t. 0 3)

7 A TIME SCALES NOETHER S THEOREM 7 The proof is given in Section 5.. As for the clssicl cse, we construct n extended Lgrngin functionl L ssocited with the utonomous Lgrngin L s follows: Let L : C, 2 [, b], R) C2, [, b], R) R defined by Lt, x) = L tτ), xtτ)), Ttτ), Txtτ))) τ. 4) where L : R R d R R d R is defined by Lt, x, w, v) = L t, x, v ) w. 5) w which is the sme s the clssicl cse. We define the time-scle bundle pth clss denoted by F nd defined by F = {t, x) C, [, 2 b], R) C, [, 2 b], R) ; τ tτ), xτ)) = τ, xτ)}. 6) We hve the following proposition: Proposition 2. The restriction of the Lgrngin function L to pth γ = t, x) F stisfies Lt, x) = Lx). 7) Proof. Let γ = t, x) F. By definition, we hve ) L tτ), xτ), Ttτ), Txtτ)) = L tτ), xtτ)), Txtτ)) Ttτ) Ttτ). As γ is bundle pth, we hve tτ) = τ nd Ttτ) =. In consequence, T = T nd we obtin Lt, x) = L tτ), xtτ)), Ttτ), Txtτ))) Tτ = L τ, xτ), xτ)) τ = Lx). In order to formulte the time-scle Euler-Lgrnge eqution for the extended utonomous Lgrngin, we need to hve the Ts -differentibility of σ. We hve: Lemm 2. Let s R. Let σ s to be the forwrd jump opertor over T s. Assume tht σ is -differentible on T κ then σ s is Ts -differentible on T s ) κ κ. Proof. Let s R. By definition, σ = σ g 0 s nd we hve σ g 0 s = g 0 s σ. As g 0 s is - differentible on T κ nd σ is -differentible on T κ then, from Theorem 3, we obtin tht g 0 s σ is -differentible on T κ κ. As T s = g 0 st), we obtin the result. In wht follows, we ssume tht σ is -differentible on T κ. Lemm 3. A pth γ = t, x) F is criticl point of L if, nd only if, x is criticl point of L nd for ll t T κ κ we hve ) στ) L t, xt), xt)) + xt) L ) t, xt), xt)) Lt, xt), xt)) = 0. 8) t v

8 8 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3 The proof is given in Section 5.2. Contrry to the continuous cse, Lemm 3 implies tht extended solutions of the initil Lgrngin re not utomticlly solutions of the extended Euler-Lgrnge eqution. This implies tht one cn not use the Noether s theorem but only the infinitesiml invrince criterion. Lemm 4. Let L be time-scle Lgrngin functionl invrint under the one-prmeter group of diffeomorphisms g. Then, the time-scle Lgrngin functionl L is invrint under the one-prmeter group of diffeomorphisms g over F. The proof is given in Section 5.3. We deduce from Lemm 4 nd the necessry condition of invrince given in [3],Theorem 2 p.223) tht t L ).ζ + x L ).ξ + v L ). ξ + L ) v L ). x). ζ = 0. 9) Multiplying eqution 9) by σ nd using the Time scles Euler-Lgrnge eqution ), we obtin t L ). σ.ζ + σ. v L ). [ξ] + [ v L )].ξ + L ) v L ). x). σ. ζ = 0. 20) Using the reltion we hve [f σ g] = σ [f].g + f. [g], 2) t L ). σ.ζ + [ v L ).ξ σ ] + L ) v L ). x). σ. ζ = 0. 22) Trying to be s close s possible to the continuous cse, we cn use gin reltion 2) on the lst term. We obtin t L ). σ.ζ + [ v L ).ξ σ ] + [ζ. L ) v L ). x).ζ σ ] ζ. [L ) v L ). x] = 0. 23) Tking the ntiderivtive of this expression, we deduce the conservtion lw 4). This concludes the proof. 4. The Brtosiewicz nd Torres exmple We consider the exmple of Lgrngin given in [3] nd we illustrte our result with respect to the result given in [3]. Let N N,, b R with < b nd let h = b )/N. We consider the time-scle T = {t k, k = 0, N} where t k = + kh. 4.. Invrince nd conservtion lw. We consider the Lgrngin introduced in [3] for x, v R. Lt, x, v) = x2 t + tv2 24) Lemm 5. The Lgrngin functionl ssocited to 24) is invrint under the fmily of trnsformtion G = {φ s t, x) = te s, x)} s R where its infinitesiml genertor X is given by ζt) = t nd ξx) = 0. 25)

9 A TIME SCALES NOETHER S THEOREM It, x, x) Ct, x σ, x) Time Figure. Proof. Indeed, we hve L te s, x, x ) ) x e s e s 2 x)2 = + tes tes e 2s e s = Lt, x, x) so tht condition 3) is stisfied. In our cse, the non-shifted) Euler Lgrnge eqution ssocited with L is given by t xt)) = x t, 26) nd our time-scle Noether s theorem genertes the following conservtion lw ) x 2 t )] It, x, v) = σt) t tv2 + [ x2 x 2 t + tv2 t t tv2 t. 27) The shifted) Euler Lgrnge eqution ssocited with L is given by t x) = xσ t, 28) nd the time-scle Noether s theorem given in [3], genertes the following conservtion lw x Ct, x σ σ ) 2 ), v) = σt) tv 2. 29) t Remrk. In [3], the uthors consider T = {2 n : n N {0}}. In tht cse, σt) = 2t for ll t T, which gives the expression of Ct, x σ, v) in [3, Exmple 3] Simultions. The initil conditions re chosen such tht x) = nd x) = 0.. We disply in Figure, the two quntities computed numericlly with =, b = 0 nd h = 0 3. As we cn see, the quntity It, x, x) is constnt of motion over the solution of the time-scle Euler-Lgrnge eqution. It is clerly not the cse for the quntity Ct, x σ, x) provided by the Noether s theorem in [3].

10 0 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3 5. Proof of the technicl Lemm 5.. Proof of Lemm. Using the time-scle chin rule, we obtin T g s x g 0 s) τ) ) = g s x ) t) Ts g 0 s ) τ). Then, using the time-scle derivtive formul for inverse function, we obtin T g s x gs) 0 τ) ) = gs x ) t) gst) 0. Using the chnge of vrible formul for time-scle integrls, we obtin τb τ = L τ, gs x gs) 0 τ), T g s x gs) 0 τ) )) Tτ L gst), 0 gs x)t), gs x ) t) gst) 0 ) g 0 st) t. Finlly, using the invrince condition in Eqution 2), we obtin the result Proof of Lemm 3. For the necessry condition, let γ = t, x) F be criticl point of L. Then, from Lemm 2 nd Eqution ), it stisfies the following Euler-Lgrnge equtions EL ) L T T [ ] L v τ ) [ ] L w τ ) = στ) L x τ ), = στ) L t τ ), for ll τ T s ) κ κ, where τ ) = tτ), xtτ)), Ttτ), Txtτ)). ) Let τ ) = tτ), xtτ)), Txtτ)) Ttτ). By definition, we hve L t τ ) = L t τ ) Ttτ), L x τ ) = L x τ ) Ttτ), 30) L w τ ) = L τ ) Txtτ)) L Ttτ) v τ ), 3) L v τ ) = L v τ ). 32) As γ F, we hve τ ) = τ, xτ), xτ)) nd T στ) = στ). In consequence, the first Euler-Lgrnge eqution is equivlent to [ ] L v τ ) = στ) L x τ ). 33) for ll τ T κ κ nd the second Euler-Lgrnge eqution is equivlent to στ) L t τ ) + xτ) L ) v τ ) L τ ) = 0, 34) for ll τ T κ κ, which corresponds to the condition ). As Eqution 33 is the Euler-Lgrnge eqution ssocited with the Lgrngin functionl L, we obtin tht x is criticl point of L nd ) is stisfied.

11 A TIME SCALES NOETHER S THEOREM For the sufficient condition, ssume tht ) is stisfied nd let x be criticl point of L nd let γ be the pth such tht t, x) F. Using the sme computtion s previous, we obtin tht γ is criticl point of L. This conclude the proof Proof of Lemm 4. Let γ = t, x) F. By definition, we hve Lg s γ)) = L g 0 stτ)), g s xtτ)), Ts g 0 stτ)), Ts g s xtτ)) )) Ts τ. 35) Using the definition of L, the fct tht tτ) = τ nd gsτ) 0 0 for ll τ T κ, we obtin Lg s γ)) = L gsτ), 0 gs x)gsτ)), 0 gs x ) ) τ) gsτ) 0 gsτ) τ. 0 36) Using the invrince of L with the Lemm, we obtin Lg s γ)) = In consequence, s tτ) =, we obtin This concludes the proof. Lg s γ)) = L τ, xτ), xτ)) τ. 37) L τ, xτ),, xτ)) dτ = Lγ). 38) References [] R. Agrwl, M. Bohner, D. O Regn, nd A. Peterson. Dynmic equtions on time scles: survey. Journl of Computtionl nd Applied Mthemtics, 4: 26, [2] V. I. Arnold. Mthemticl Methods of Clssicl Mechnics. Grdute Texts in Mthemtics. Springer-Verlg, 978. [3] Z. Brtosiewicz nd D.F.M. Torres. Noether s theorem on time scles. Journl of Mthemticl Anlysis nd Applictions, 3422): , [4] Z. Brtosiewicz, N. Mrtins nd D.F.M. Torres. The second Euler-Lgrnge eqution of vritionl clculus on time scles. Eur. J. Control 7 20), no., 9-8. [5] M. Bohner, Clculus of vritions on time scles, Dynm. Systems Appl ) [6] M. Bohner nd A. Peterson. Dynmic equtions on time scles: An introduction with pplictions. Springer Science & Business Medi, 200. [7] M. Bohner nd A. Peterson. Advnces in dynmic equtions on time scles. Springer Science & Business Medi, [8] L. Bourdin. Contributions u clcul des vritions et u principe du mximum de Pontrygin en clculs time scle et frctionnire. PhD thesis, Pu, 203. [9] L. Bourdin. Nonshifted clculus of vritions on time scles with -differentible σ. Journl of Mthemticl Anlysis nd Applictions, 4: , 204. [0] Bourdin L., Cresson J., Greff I., A continuous/discrete frctionl Noether theorem, Commun. Nonliner Sci. Numer. Simul ), no. 4, [] J. Cresson, A. Szfrnsk, About the Noether s theorem for frctionl Lgrngin systems nd generliztion of the clssicl Jost method of proof, preprint, 24.p, 206. [2] R. A. C. Ferreir, A. B. Mlinowsk, A counterexmple to Frederico nd Torres s frctionl Noether-type theorem, J. Mth. Anl. Appl., 205. [3] Frederico G.S.F., Torres D.F.M., A formultion of Noether s theorem for frctionl problems of the clculus of vritions, J. Mth. Anl. Appl )

12 2 BAPTISTE ANEROT 2, JACKY CRESSON,2 AND FRÉDÉRIC PIERRET3 [4] S. Hilger, Differentil nd difference clculus: unified!, in Proceedings of the second World Congress of Nonliner Anlysis, Prt 5, Athens, 996, Nonliner Anl ) [5] R. Hilscher, V. Zeidn, Clculus of vritions on time scles: wek locl piecewise C rd solutions with vrible endpoints, J. Mth. Anl ) [6] J. Jost nd X. Li-Jost. Clculus of Vritions. Cmbridge Studies in Advnced Mthemtics. Cmbridge University Press, 998. [7] Hirer E, Lubich C, Wnner G. Geometric numericl integrtion. Structure-preserving lgorithms for ordinry differentil equtions. Springer series in computtionl mthemtics, 2nd ed., vol. 3. Berlin: Springer-Verlg; [8] P. J. Olver, Applictions of Lie groups to differentil equtions, 2d edition, Grdute Textes in Mthemtics, Springer-Verlg, 993. Bptiste Anerot 2, Jcky Cresson,2 nd Frédéric Pierret 3