arxiv: v1 [math.oc] 11 Dec 2007

Transcription

1 rxiv: v mth.o] Dec 2007 Frctionl Optiml ontrol in the Sense of puto nd the Frctionl Noether s Theorem Gstão S. F. Frederico Deprtment of Science nd Technology University of pe Verde Pri, Sntigo, pe Verde silves36@hotmil.com Delfim F. M. Torres Deprtment of Mthemtics University of Aveiro Aveiro, Portugl delfim@u.pt Abstrct The study of frctionl vritionl problems with derivtives in the sense of puto is recent subject, the min results being Agrwl s necessry optimlity conditions of Euler-Lgrnge nd respective trnsverslity conditions. Using Agrwl s Euler-Lgrnge eqution nd the Lgrnge multiplier technique, we obtin here Noether-like theorem for frctionl optiml control problems in the sense of puto. Mthemtics Subject lssifiction: 49K05, 26A33 Keywords: Frctionl Optiml ontrol, puto Derivtives, Riemnn- Liouville Derivtives, Noether s Theorem Introduction Noether s theorem, published in 98 23], is centrl result of the clculus of vritions tht explins ll physicl lws bsed upon the ction principle. It is very generl result, sserting tht to every vritionl symmetry of the problem there corresponds conservtion lw. Noether s principle gives powerful insights from the vrious trnsformtions tht mke system invrint. For instnce, in mechnics the invrince of physicl system with respect Int. Mth. Forum ccepted Dec 2007)

2 2 G. S. F. Frederico nd D. F. M. Torres to sptil trnsltion gives conservtion of liner momentum; invrince with respect to rottion gives conservtion of ngulr momentum; nd invrince with respect to time trnsltion gives conservtion of energy 20, 3]. The clculus of vritions is now prt of more vst discipline, clled optiml control 25], nd Noether s principle still holds in this more generl setting 30, 32]. Frctionl derivtives ply n incresing role in mthemtics, physics nd engineering 4, 6, 7, 2, 24, 29] nd the theory of the clculus of vritions hs been extended in order to del with more generl systems contining noninteger derivtives, 2, 3, 5, 9,, 9, 26, 27]. The new frctionl vritionl clculus provide more relistic pproch to physics 6, 7, 8, 8, 22, 28], permitting to consider nonconservtive systems in nturl wy very importnt issue since closed systems do not exist: forces tht do not store energy, soclled nonconservtive or dissiptive forces, re lwys present in rel systems. Nonconservtive forces remove energy from the systems nd, s consequence, the stndrd conservtion lws cese to be vlid. However, it is still possible to obtin Noether-type theorem which covers both conservtive nd nonconservtive cses 0, 2]. In more generl wy, formultions of Noether s theorem were proved for frctionl problems with left nd right Riemnn-Liouville frctionl derivtives 9, 3, 4, 5]. In 3] Agrwl proves version of the Euler-Lgrnge equtions for frctionl problems of the clculus of vritions in the sense of puto. One of the interesting spects of the new theory is tht both puto nd Riemnn- Liouville derivtives ply role in Agrwl s Euler-Lgrnge equtions. Here we use the results of 3] to formulte Noether-type theorem in the generl context of the frctionl optiml control in the sense of puto. 2 Frctionl Derivtives In this section we collect the well-known definitions of frctionl derivtives in the sense of Riemnn-Liouville nd puto see, 3, 2, 24, 29]). Definition 2. Frctionl derivtive in the sense of Riemnn-Liouville). Let f be n integrble continuous function in the intervl, b]. For t, b], the left Riemnn-Liouville frctionl derivtive Dt α ft) nd the right Riemnn-Liouville frctionl derivtive t Db α ft), of order α, re defined by ) n Dt α d t ft) = t θ) n α fθ)dθ, ) td α b ft) = dt d dt ) n θ t) n α fθ)dθ, 2) where n N, n α < n, nd Γ is the Euler gmm function. t

3 Frctionl optiml control nd Noether s theorem 3 Definition 2.2 Frctionl derivtive in the sense of puto). Let f be n integrble continuous function in, b]. For t, b], the left puto frctionl derivtive Dt α ft) nd the right puto frctionl derivtive t Db αft), of order α, re defined in the following wy: Dα t ft) = t D α b ft) = where n N, n α < n. t t n d t θ) dθ) n α fθ)dθ, 3) θ t) n α dθ) d n fθ)dθ, 4) Remrk 2.3. If α N, equlities )-4) give the clssicl derivtives D α t ft) = Dα t ft) = d dt) α ft), td α b ft) = t Dα b ft) = d dt) α ft). Remrk 2.4. The puto frctionl derivtive of constnt is lwys equl to zero. This is not the cse with the Riemnn-Liouville frctionl derivtive. 3 Min Results Our min result is Noether-type theorem for frctionl optiml control problems in the sense of puto Theorem 3.7). As corollry, we obtin Noether theorem for the frctionl problems of the clculus of vritions orollry 3.20). The frctionl optiml control problem in the sense of puto is introduced, without loss of generlity, in Lgrnge form: Iq ), u )] = Dα t L t, qt), ut))dt min, P ) qt) = ϕ t, qt), ut)), where functions q :, b] R n stisfy pproprite boundry conditions. The Lgrngin L :, b] R n R m R nd the velocity vector ϕ :, b] R n R m R n re ssumed to be functions of clss with respect to ll their rguments. We lso ssume, without loss of generlity, tht 0 < α. In conformity with the clculus of vritions, we re considering tht the control functions u ) tke vlues on n open set of R m. Along the work we denote by i L, i =, 2, 3, the prtil derivtive of function L,, ) with respect to its ith rgument.

4 4 G. S. F. Frederico nd D. F. M. Torres Definition 3. Process). An dmissible pir q ), u )) which stisfies the control system Dα t qt) = ϕ t, qt), ut)) of problem P ) is sid to be process. Remrk 3.2. hoosing α =, Problem P ) is reduced to the clssicl problem of optiml control theory 25]: Iq ), u )] = L t, qt), ut))dt min, 5) qt) = ϕ t, qt), ut)). Remrk 3.3. The fundmentl frctionl problem of the clculus of vritions in the sense of puto, first introduced in 3] Iq )] = L t, qt), D α t qt) ) min, 6) is prticulr cse of P ): we just need to choose ϕt, q, u) = u. The frctionl Hmiltonin formlism introduced in ] is esily dpted to our present context. Using the stndrd Lgrnge multiplier technique, we rewrite problem P ) in the following equivlent form: Iq ), u ), p )] = where the Hmiltonin H is defined by H t, qt), ut), pt)) pt) D α t qt)] dt min, H t, q, u, p) = L t, q, u) + p ϕ t, q, u). 8) Remrk 3.4. In the context of clssicl mechnics, p is interpreted s the generlized momentum. In the optiml control literture, the multiplier p is known s the djoint vrible. We now proceed with the usul steps for obtining necessry optimlity conditions in the clculus of vritions. We begin by computing the vrition δi of functionl 7): δi = 2 H δq + 3 H δu + 4 H δp δp Dα t q p δ D α t q)] dt, 9) where δq, δu nd δp re the vritions of q, u, nd p respectively. Using the results obtined in, 2, 3], eqution 9) is equivlent to δi = 2 H t D α b p) δq + 3H δu + 4 H Dα t q) δp ] dt td α b p ) δq b 7)

5 Frctionl optiml control nd Noether s theorem 5 where the frctionl derivtives of pt) re in the sense of Riemnn-Liouville in contrst with the frctionl derivtive of qt) which is tken in the sense of puto). Stndrd rguments conduce us to the following result. Theorem 3.5. If q ), u )) is n optiml process for problem P ), then there exists function p ), b]; R n ) such tht for ll t, b] the tuple q ), u ), p )) stisfy the following conditions: the Hmiltonin system { 2 Ht, qt), ut), pt)) = t D α b pt), 4 Ht, qt), ut), pt)) = Dα t qt) ; the sttionry condition 3 Ht, qt), ut), pt)) = 0 ; the trnsverslity condition with H given by 8). td α b p ) δq b = 0 ; Definition 3.6. A triple q ), u ), p )) stisfying Theorem 3.5 will be clled frctionl Pontrygin extreml. Remrk 3.7. For the fundmentl frctionl problem of the clculus of vritions in the sense of puto 6) we hve H = L + p u. It follows from Theorem 3.5 tht Dα t q = u, td α b p = 2 L, 3 H = 0 p = 3 L t D b α p = t D α b 3L. 0) ompring both expressions for t Db α p, we rrive to the frctionl Euler-Lgrnge equtions proved by O. P. Agrwl 3, 3]: 2 L + t D α b 3L = 0. ) In other words, for the problem of the clculus of vritions 6) the frctionl Pontrygin extremls give Agrwl s Euler-Lgrnge extremls.

6 6 G. S. F. Frederico nd D. F. M. Torres Remrk 3.8. Our optiml control problem P ) only involves puto frctionl derivtives but both puto nd Riemnn-Liouville frctionl derivtives pper in the necessry optimlity condition given by Theorem 3.5. This is different from 2, 4, 5] where the necessry conditions only involve the sme type of derivtives Riemnn-Liouville) s those in the definition of the frctionl optiml control problem. This fct lso occurs in the prticulr cse of the clculus of vritions s noted in 3]: the Riemnn-Liouville derivtive is present in the necessry condition of optimlity ) but not in the formultion of the problem 6). The notion of vritionl invrince for problem P ) is defined with the help of the equivlent problem 7). Definition 3.9 Invrince of P ) without trnsformtion of time). We sy tht functionl P ) is invrint under the one-prmeter fmily of infinitesiml trnsformtions qt) = qt) + εξt, q, u, p) + oε), ūt) = ut) + εςt, q, u, p) + oε), pt) = pt) + ε t, q, u, p) + oε), if nd only if tb H t, qt), ut), pt)) pt) D α t qt) ] dt t = tb t H t, qt), ūt), pt)) pt) D α t qt)] dt 2) for ny subintervl t, t b ], b]. Noether s theorem will be proved following similr steps s those in 3] for the problems of the clculus of vritions in the Riemnn-Liouville sense. Lemm 3.0 necessry nd sufficient condition of invrince). If functionl P ) is invrint, in the sense of Definition 3.9, then 2 H t, q, u, p) ξ+ 3 H t, q, u, p) ς+ 4 H t, q, u, p) Dα t q) p Dα t ξ = 0. 3) Proof. Since condition 2) is to be vlid for ny subintervl t, t b ], b], we cn write 2) in the following equivlent form: H t, qt), ut), pt)) pt) Dα t qt) = H t, qt), ūt), pt)) pt) Dα t qt). 4)

7 Frctionl optiml control nd Noether s theorem 7 We differentite both sides of 4) with respect to ε nd then substitute ε by zero. The definition nd properties of the puto frctionl derivtive permit us to write tht 0 = 2 H t, q, u, p) ξ + 3 H t, q, u, p) ς + 4 H t, q, u, p) Dα t q) p d t n d t θ) n α qθ)dθ dε dθ) ε t n ] d + t θ) n α ξ dθ dθ) = 2 H t, q, u, p) ξt, q) + 3 H t, q, u, p) ς + 4 H t, q, u, p) Dα t q) p Expression 5) is equivlent to 3). t ε=0 t θ) n α d dθ) n ξ dθ. 5) In this work we propose the new notion of frctionl conservtion lw in the sense of puto. For tht, we introduce the opertor D ω t. Definition 3.. Given two functions f nd g of clss in the intervl, b], we introduce the following opertor: where t, b] nd ω R + 0. D ω t f, g] = g td ω b f + f Dω t g, Remrk 3.2. Similr opertors were used in ] nd 3, Def. 9]. While here D ω t depends both on puto nd Riemnn-Liouville derivtives, the ones introduced in, 3] involve Riemnn-Liouville derivtives only. We note tht in the clssicl context ω =, nd D t f, g] = gf + fg = d dt fg) = D t g, f]. Definition 3.3 frctionl conservtion lw in the sense of puto cf. Def. 23 of 3]). A quntity f t, qt), D α t qt), ut), pt)) is sid to be frctionl conservtion lw in the sense of puto if it is possible to write f s sum of products, f t, qt), Dt α qt), ut), pt) ) r = i t, qt), Dt α qt), ut), pt)) i 2 t, qt), Dt α qt), ut), pt)) 6) i= for some r N, nd for every i =,..., r the pir i nd i 2 stisfy one of the following reltions: D α t i t, qt), D α t qt), ut), pt) ), 2 i t, qt), D α t qt), ut), pt) )] = 0 7)

8 8 G. S. F. Frederico nd D. F. M. Torres or D α t 2 i t, qt), D α t qt), ut), pt)), i t, qt), D α t qt), ut), pt))] = 0 8) long ll the frctionl Pontrygin extremls Definition 3.6). Remrk 3.4. If α = 7) nd 8) coincide, nd f 6) stisfy the clssicl definition of conservtion lw: d dt ft, q, q)] = 0. Lemm 3.5 Noether s theorem without trnsformtion of time). If functionl P ) is invrint in the sense of Definition 3.9, then pt) ξ is frctionl conservtion lw in the sense of puto. Proof. We use the conditions of Theorem 3.5 in the necessry nd sufficient condition of invrince 3): 0 = 2 H ξ 3 H ς 4 H Dα t q) + p Dα t ξ = ξ td α b p + p Dα t ξ =D α t p, ξ]. Definition 3.6 Invrince of P )). Functionl P ) is sid to be invrint under the one-prmeter infinitesiml trnsformtions if nd only if t = t + ετt, q, u, p) + oε), qt) = qt) + εξt, q, u, p) + oε), ūt) = ut) + εςt, q, u, p) + oε), pt) = pt) + ε t, q, u, p) + oε), 9) tb H t, qt), ut), pt)) pt) D α t qt)] dt t = tt b ) tt ) H t, q t), ū t), p t)) p t) Dᾱ t q t) ] d t 20) for ny subintervl t, t b ], b]. Next result provides n extension of Noether s theorem 30] for frctionl optiml control problems in the sense of puto.

9 Frctionl optiml control nd Noether s theorem 9 Theorem 3.7 Noether s theorem for frctionl optiml control problems). If the functionl P ) is invrint under the one-prmeter infinitesiml trnsformtions 9), then f t, qt), D α t qt), ut), pt) ) = Ht, qt), ut), pt)) α)pt) D α t qt) τ pt) ξ 2) is frctionl conservtion lw in the sense of puto see Definition 3.3). Remrk 3.8. If α = problem P ) tkes the clssicl form 5) nd Theorem 3.7 gives the conservtion lw of 30]: t, qt), ut), pt)) = Ht, qt), ut), pt))]τ pt) ξ. Proof. Every non-utonomous problem P ) is equivlent to n utonomous one by rtificilly considering t s dependent vrible. For tht we consider Lipschitzin trnsformtion, b] t σfλ) σ, σ b ] stisfying the condition t σ = dtσ) = fλ) = for λ = 0, such tht 7) tkes dσ the form Īt ), qt )), ut )), pt ))] = where tσ ) =, tσ b ) = b nd σ D α tσ)qtσ)) = Then, we hve = t σ ) α σfλ) fλ) σ σb σ H tσ), qtσ)), utσ)), ptσ)) ptσ)) σ D α tσ) qtσ))] t σ dσ, σfλ) θ) n α d dθ) n q θf λ) ) dθ σ s) n α t σ )2 = t σ ) α χ Dα σ qσ), χ = t σ )2 ) n d qs)ds ds ). Īt ), qt )), ut )), pt ))] σb ] = H tσ), qtσ)), utσ)), ptσ)) ptσ)) t σ) α χdσqσ) α t σdσ. = = σ σb σ Hf tσ), t σ, qtσ)), utσ)), ptσ), χ Dασ qσ) ) dσ H t, qt), ut), pt)) pt) D α t qt)] dt = Iq ), u ), p )].

10 0 G. S. F. Frederico nd D. F. M. Torres If functionl Iq ), u ), p )] is invrint in the sense of Definition 3.6, then the functionl Īt ), qt )), ut )), pt ))] is invrint in the sense of Definition 3.9. Applying Lemm 3.5, we obtin tht ) f tσ), t σ, qtσ)), utσ)), ptσ)), χd σqσ) α = ptσ)) ξ + ψtσ))τ 22) is frctionl conservtion lw in the sense of puto. For λ = 0, ptσ)) = pt) 23) nd it follows from the sttionry condition of Theorem 3.5 see third equlity in 0)) tht ψ = H f t σ = t σ ) n σ ptσ)) ) α d σ s) n α qs)ds t t σ σ ds t σ )2 H + p Dα t q = αptσ)) t σ ) α σ = H α)p Dα t q). σ s) n α t σ )2 ) n d qs)ds H + p ds Dα t q 24) Substituting 23) nd 24) into 22), we obtin the frctionl conservtion lw 2). As corollry, we obtin the nlogous to the min result proved in 3] for frctionl problems of the clculus of vritions in the Riemnn-Liouville sense. Definition 3.9 vritionl invrince for 6)). Functionl 6) is sid to be invrint under the one-prmeter fmily of infinitesiml trnsformtions { t = t + ετt, q) + oε), qt) = qt) + εξt, q) + oε), 25) if nd only if tb L t, qt), Dα t qt)) dt = t for ny subintervl t, t b ], b]. tt b ) tt ) L t, q t), Dᾱ t q t), ) d t

11 Frctionl optiml control nd Noether s theorem orollry 3.20 Noether s theorem for frctionl problems of the clculus of vritions). If functionl 6) is invrint under the fmily of trnsformtions 25), then f t, q, D α t q) = 3 L t, q, Dα t q) ξ + L t, q, Dα t q) α 3 L t, q, Dα t q) Dα t q] τ 26) is frctionl conservtion lw in the sense of puto. Proof. The frctionl conservtion lw 26) is obtined pplying Theorem 3.7 to functionl 6). Remrk 3.2. If α = problem 6) is reduced to the clssicl problem of the clculus of vritions, Iq )] = L t, qt), qt)) min, 27) nd one obtins from orollry 3.20 the stndrd Noether s theorem 23]: t, q, q) = 3 L t, q, q) ξt, q) + L t, q, q) 3 L t, q, q) q] τt, q) 28) is conservtion lw, i.e. 28) is constnt long ll the solutions of the Euler- Lgrnge equtions 2 L t, q, q) = d dt 3L t, q, q) 29) these clssicl equtions re obtined from ) putting α = ). 4 Illustrtive Exmples In clssicl mechnics, when problem 27) does not depend explicitly on q, i.e. L = L t, q), it follows from 0) nd 29) tht the generlized momentum p is conservtion lw. This is lso n immedite consequence of Noether s theorem 23]: from the invrince with respect to trnsltions on q τ = 0, ξ = ), it follows from 28) tht p = 3 L is conservtion lw. Another fmous exmple of ppliction of Noether s theorem in clssicl mechnics is given by the conservtion of energy: when the Lgrngin L in 27) is utonomous, i.e. L = L q, q), we hve invrince under time-trnsltions τ =, ξ = 0) nd it follows from 8), 0) nd 28) tht the Hmiltonin H which is interpreted s being the energy in clssicl mechnics) is conservtion lw. Surprisingly enough, we show next, s n immedite consequence of our Theorem 3.7, tht for the problem P ) with frctionl order of differentition α α ), the following hppens:

12 2 G. S. F. Frederico nd D. F. M. Torres i) similrly to clssicl mechnics, the generlized momentum p is frctionl conservtion lw when L nd ϕ do not depend explicitly on q Exmple 4.); ii) differently from clssicl mechnics, the Hmiltonin H is not frctionl conservtion lw when L nd ϕ re utonomous Exmple 4.2). In sitution ii), we obtin from our Theorem 3.7 new frctionl conservtion lw tht involves not only the Hmiltonin H but lso the frctionl order of differentition α, the generlized momentum p, nd the puto derivtive of the stte trjectory q see 30) below). This is in greement with the clim tht the frctionl clculus of vritions provide very good formlism to model nonconservtive mechnics, 27]. In the clssicl cse we hve α = nd the new obtined frctionl conservtion lw 30) reduces to the expected conservtion of energy H. Exmple 4.. Let us consider problem P ) with Lt, q, u) = Lt, u), ϕt, q, u) = ϕt, u). Such problem is invrint under trnsltions on the vrible q, i.e. condition 20) is verified for t = t, qt) = qt) + ε, ū t) = ut) nd p t) = pt): we hve d t = dt nd condition 20) is stisfied since Dᾱ t q t) = Dα t qt): D ᾱ t q t) = = t ā t = Dα t qt) + Dα t ε = Dα t qt). t θ) n α d dθ) n qθ)dθ t θ) n α d dθ) n qt) + ε)dθ According with 9) one hs ξ = nd τ = ς = = 0. It follows from Theorem 3.7 tht pt) is frctionl conservtion lw in the sense of puto. Exmple 4.2. We now consider the utonomous problem P ): Lt, q, u) = Lq, u) nd ϕt, q, u) = ϕq, u). This problem is invrint under time trnsltion, i.e. the invrince condition 20) is verified for t = t + ε, q t) = qt), ū t) = ut) nd p t) = pt): we hve d t = dt nd 20) follows from the fct

13 Frctionl optiml control nd Noether s theorem 3 tht Dᾱ t q t) = Dα t qt): Dᾱ t q t) = = = t ā t+ε +ε t = Dα t qt + ε) = Dα t q t) = D α t qt). t θ) n α d dθ) n qθ)dθ t + ε θ) n α d dθ) n qθ)dθ t s) n α d ds) n qt + ε)ds With the nottion 9) one hs τ = nd ξ = ς = = 0. We conclude from Theorem 3.7 tht Ht, q, u, p) α)p Dα t q 30) is frctionl conservtion lw in the sense of puto. For α = 30) represents the conservtion of the totl energy : Ht, qt), ut), pt)) = constnt, t, b], for ny Pontrygin extreml q ), u ), p )) of the problem. AKNOWLEDGEMENTS. This work is prt of the first uthor s PhD project. It ws finncilly supported by the Portuguese Institute for Development IPAD, G.F.); nd the entre for Reserch on Optimiztion nd ontrol EO, D.T.) through the Portuguese Foundtion for Science nd Technology FT) nd the Europen Socil Fund. References ] O. P. Agrwl, Formultion of Euler-Lgrnge equtions for frctionl vritionl problems, J. Mth. Anl. Appl ), no., ] O. P. Agrwl, A generl formultion nd solution scheme for frctionl optiml control problems, Nonliner Dynm ), no. -4, ] O. P. Agrwl, Frctionl vritionl clculus nd the trnsverslity conditions, J. Phys. A: Mth. Gen ), ] O. P. Agrwl, J. A. Tenreiro Mchdo nd J. Sbtier, Introduction Specil issue on frctionl derivtives nd their pplictions], Nonliner Dynm ), no. -4, 2.

14 4 G. S. F. Frederico nd D. F. M. Torres 5] T. Avkr nd D. Blenu, Frctionl Euler-Lgrnge equtions for constrined systems, in Globl nlysis nd pplied mthemtics, 84 90, Amer. Inst. Amer. Inst. Phys., Melville, NY, ] D. Blenu nd S. I. Muslih, Lgrngin formultion of clssicl fields within Riemnn-Liouville frctionl derivtives, Phys. Script ), no. 2-3, ] D. Blenu, S. I. Muslih nd K. Tş, Frctionl Hmiltonin nlysis of higher order derivtives systems, J. Mth. Phys ), no. 0, 03503, 8 pp. 8] F. Ben Add nd J. resson, Frctionl differentil equtions nd the Schrödinger eqution, Appl. Mth. omput ), no., ] J. resson, Frctionl embedding of differentil opertors nd Lgrngin systems, J. Mth. Phys ), no. 3, , 34 pp. 0] D. S. Djukic nd A. M. Struss, Noether s theory for nonconservtive generlised mechnicl systems, J. Phys. A 3 980), no. 2, ] R. A. El-Nbulsi nd D. F. M. Torres, Necessry optimlity conditions for frctionl ction-like integrls of vritionl clculus with Riemnn- Liouville derivtives of order α, β), Mth. Methods Appl. Sci ), no. 5, rxiv:mth-ph/ v 2] G. S. F. Frederico nd D. F. M. Torres, Nonconservtive Noether s theorem in optiml control, Int. J. Tomogr. Stt ), no. W07, rxiv:mth/052468v mth.o] 3] G. S. F. Frederico nd D. F. M. Torres, A formultion of Noether s theorem for frctionl problems of the clculus of vritions, J. Mth. Anl. Appl ), no. 2, rxiv:mth/07087v mth.o] 4] G. S. F. Frederico nd D. F. M. Torres, Noether s theorem for frctionl optiml control problems, Proceedings of the 2nd IFA Workshop on Frctionl Differentition nd its Applictions, 9-2 July 2006, Porto, rxiv:mth/ v mth.o] 5] G. S. F. Frederico nd D. F. M. Torres, Frctionl conservtion lws in optiml control theory, Nonliner Dynmics, in press DOI: 0.007/s z] rxiv: v mth.o] 6] R. Hilfer, Applictions of frctionl clculus in physics, World Sci. Publishing, River Edge, NJ, 2000.

15 Frctionl optiml control nd Noether s theorem 5 7] A. A. Kilbs, H. M. Srivstv nd J. J. Trujillo, Theory nd pplictions of frctionl differentil equtions, North-Hollnd Mthemtics Studies, Vol. 204, Elsevier, ] M. Klimek, Lgrngen nd Hmiltonin frctionl sequentil mechnics, zechoslovk J. Phys ), no., ] M. Klimek, Lgrngin frctionl mechnics noncommuttive pproch, zechoslovk J. Phys ), no., ] Y. Kosmnn-Schwrzbch, Les théorèmes de Noether, Second edition, With trnsltion of the originl rticle Invrinte Vritionsprobleme, Éditions de l École Polytechnique, Pliseu, ] K. S. Miller nd B. Ross, An introduction to the frctionl clculus nd frctionl differentil equtions, Wiley, New York, ] S. I. Muslih nd D. Blenu, Hmiltonin formultion of systems with liner velocities within Riemnn-Liouville frctionl derivtives, J. Mth. Anl. Appl ), no. 2, ] E. Noether, Invrinte Vritionsprobleme, Nchr. d. König. Gesellsch. d. Wiss. zu Göttingen, Mth-phys. Klsse, ). English trnsltion by M. A. Tvel, Trnsport Theory nd Sttisticl Physics, 97), no. 3, ] I. Podlubny, Frctionl differentil equtions, New York, Acdemic Press, ] L. S. Pontrygin, V. G. Boltynskii, R. V. Gmkrelidze nd E. F. Mishchenko, The mthemticl theory of optiml processes, Trnslted from the Russin by K. N. Trirogoff; edited by L. W. Neustdt, Interscience Publishers John Wiley & Sons, Inc. New York, ] E. M. Rbei, K. I. Nwfleh, R. S. Hijjwi, S. I. Muslih, D. Blenu, The Hmilton formlism with frctionl derivtives, J. Mth. Anl. Appl ), no. 2, ] F. Riewe, Nonconservtive Lgrngin nd Hmiltonin mechnics, Phys. Rev. E 3) ), no. 2, ] F. Riewe, Mechnics with frctionl derivtives, Phys. Rev. E 3) ), no. 3, prt B, ] S. G. Smko, A. A. Kilbs nd O. I. Mrichev, Frctionl integrls nd derivtives theory nd pplictions, Trnslted from the 987 Russin originl, Gordon nd Brech, Yverdon, 993.

16 6 G. S. F. Frederico nd D. F. M. Torres 30] D. F. M. Torres, On the Noether theorem for optiml control, Europen Journl of ontrol ), no., ] D. F. M. Torres, Proper extensions of Noether s symmetry theorem for nonsmooth extremls of the clculus of vritions, ommun. Pure Appl. Anl ), no. 3, ] D. F. M. Torres, A Noether theorem on unimprovble conservtion lws for vector-vlued optimiztion problems in control theory, Georgin Mthemticl Journl ), no., rxiv:mth/0473v mth.o]