Caputo导数下分数阶Birkho ff系统的准对称性与分数阶Noether定理1)
2017-07-03张毅
张 毅
(苏州科技大学土木工程学院,江苏苏州215011)
Caputo导数下分数阶Birkho ff系统的准对称性与分数阶Noether定理1)
张 毅2)
(苏州科技大学土木工程学院,江苏苏州215011)
应用分数阶模型可以更准确地描述和研究复杂系统的动力学行为和物理过程,同时Birkho ff力学是Hamilton力学的推广,因此研究分数阶Birkho ff系统动力学具有重要意义.分数阶Noether定理揭示了Noether对称变换与分数阶守恒量之间的内在联系,但是当变换拓展为Noether准对称变换时,该定理的推广遇到了很大的困难.本文基于时间重新参数化方法提出并研究Caputo导数下分数阶Birkho ff系统的Noether准对称性与守恒量.首先,将时间重新参数化方法应用于经典Birkho ff系统的Noether准对称性与守恒量研究,建立了相应的Noether定理;其次,基于分数阶Pfa ff作用量分别在时间不变的和一般单参数无限小变换群下的不变性给出分数阶Birkho ff系统的Noether准对称变换的定义和判据,基于Frederico和Torres提出的分数阶守恒量定义,利用时间重新参数化方法建立了分数阶Birkho ff系统的Noether定理,从而揭示了分数阶Birkho ff系统的Noether准对称性与分数阶守恒量之间的内在联系.分数阶Birkho ff系统的Noether对称性定理和经典Birkho ff系统的Noether定理是其特例.最后以分数阶Hojman-Urrutia问题为例说明结果的应用.
分数阶Birkho ff系统,Noether准对称性,Frederico-Torres分数阶守恒量,Caputo导数
引言
分数阶微积分由于具有记忆性和非局域性等特点,近四十年来被广泛地应用于解决科学和工程的许多领域的各种问题[13].1996年,Riewe[45]利用分数阶微积分将非保守力纳入 Lagrange函数和Hamilton函数中构建了非保守动力学系统的分数阶模型,首次提出并初步研究了分数阶变分问题.在此基础上,Agrawal[67],Baleanu等[89],Atanackovi´c等[1011],Almeida等[1213]对分数阶变分问题进行了深入研究.Frederico等[1418]最早开展分数阶Noether对称性与守恒量的研究,提出了分数阶守恒量的定义,利用时间重新参数化方法,建立了分数阶Noether定理.近年来,分数阶Noether对称性与守恒量的研究取得了重要进展[1931].基于Frederico-Torres分数阶守恒量定义建立的Noether定理揭示了Noether对称变换与分数阶守恒量之间的内在联系,但是当其变换拓展为Noether准对称变换时,该定理的推广遇到了很大的困难.迄今为止笔者尚未见到关于Noether准对称变换与Frederico-Torres分数阶守恒量的Noether定理的研究报道.本文提出并研究Caputo导数下分数阶Birkho ff系统的Noether准对称性与守恒量问题,基于Frederico-Torres分数阶守恒量定义,给出Noether准对称性的定义和判据,利用时间重新参数化方法,研究Noether准对称性与Frederico-Torres分数阶守恒量的联系,建立了更一般的分数阶Noether定理.
1 分数阶导数及其性质
本节列出文中涉及的分数阶导数的定义及相关性质,详细的证明和讨论可参见文献[2-3].
设函数 f(t)和g(t)在区间[a,b]上连续可积,则Riemann-Liouville分数阶左导数定义为
Riemann--Liouville分数阶右导数为
Caputo分数阶左导数定义为
Caputo分数阶右导数定义为
其中,Γ(∗)是Euler-Gamma函数,α是导数的阶,且0≤α<1.
设函数 f(t)和g(t)为在区间[a,b]上的光滑函数,且 f(a)=f(b)=0,则Caputo导数下的分数阶分部积分公式为
在Caputo导数下,定义算子C(f,g)为
或
当γ=1时,式(8)和式(9)成为
2 经典Birkho ff系统的Noether准对称性与守恒量
积分泛函
称为Pfa ff作用量,其中,B(t,aν)是Birkho ff函数,Rµ(t,aν)(µ =1,2,···,2n)是 Birkho ff 函数组.
Pfa ff-Birkho ff原理可表示为[32]
带有交换关系
及端点条件
由式(13)~式(15)容易导出Birkho ff方程
其中,矩阵
是非退化的.由Pfa ff-Birkho ff原理(式(13)~式(15))和 Birkho ff方程 (16)确定的动力学系统称为经典Birkho ff系统.
下面利用时间重新参数化方法研究经典Birkho ff系统的Noether准对称性与守恒量.首先,研究时间不变的无限小变换下经典Birkho ff系统的Noether准对称性.
作用下,对任意[T1,T2]⊆[t1,t2],满足如下条件
其中,ε为无限小参数,ξµ是无限小变换的生成元,则称Pfa ff作用量(式(12))在无限小变换(式(17))下准不变的,变换(式(17))为系统在时间不变的无限小变换下的Noether准对称变换.
其中,ΔG= εG(t,aν),函数G(t,aν)称为规范函数.
判据1对于经典Birkho ff系统,如果存在规范函数G(t,aν)使得无限小变换(式(17))的生成元ξµ满足条件
则变换(式(17))是系统在时间不变的无限小变换下的Noether准对称变换.
证明 由于积分区间[T1,T2]的任意性,式(19)等价于
将方程(21)等号两边对ε求导,并令ε=0,立即得到式(20).证毕.
定理1对于经典Birkho ff系统,如果时间不变的无限小变换(式(17))是系统的Noether准对称变换,则是系统的一个守恒量.
证明 利用条件(式(20))和方程(16),有
因此,系统存在守恒量(式(22)).证毕.
其次,研究一般无限小变换下经典Birkho ff系统的Noether准对称性.
作用下,对任意[T1,T2]⊆[t1,t2],满足如下条件
其中,ε为无限小参数,ξ0,ξµ是无限小变换的生成元,则称Pfa ff作用量(式(12))在无限小变换(式(23))下准不变的,变换(式(23))为系统在一般无限小变换下的Noether准对称变换.
由式(24)确定的R1µ,B1和Rµ,B具有相同的运动微分方程,此时有
于是有
判据2对于经典Birkho ff系统,如果存在规范函数G(t,aν)使得无限小变换(式(23))的生成元ξ0,ξµ满足条件
证明 由式(25)可得出
由积分区间[T1,T2]的任意性,式(27)等价于
将方程(28)等号两边对ε求导,并令ε=0,立即得到式(26).证毕.
定理2对于经典Birkho ff系统,如果一般无限小变换(式(23))是系统的Noether准对称变换,则
是系统的一个守恒量.
证明 如果将t看作为一个独立变量,则每个非自治问题(式(12))等价于一个自治问题[14].事实上,设
则在时间t的一一对应的李普希茨变换
作用下,有
随着生活水平的不断提高以及我国“大数据,物联网+”事业的不断发展,手机智能化的普及,人们的智能化生活得到了诸多便利,与人们生活嘻嘻相关的各类APP应用应运而生,正如大家所说的那样“手机在手,应有尽有”。目前纸质图书阅读不方便,需随身携带书籍,而电子图书只需使用必备的手机即可实现随时随地地阅读,满足人们对于阅读的需求,拓宽人们阅读渠道,也给人们的生活到来了便利性。
其中
因此,如果作用量A[aν(·)]在定义2意义下是准不变的,则作用量[t(·),aν(t(·))]在定义1意义下是准不变的.由定理1可得到
是系统的一个守恒量.证毕.
定理 1和定理 2可称为经典 Birkho ff系统的Noether定理.该定理揭示了经典Birkho ff系统分别在时间不变和一般单参数无限小变换下的Noether准对称性与守恒量之间的内在联系.如果˙G≡0,则定理给出了系统的Noether对称性与守恒量的联系.不同于以往的工作[3234],这里的证明采用了时间重新参数化方法:首先,在时间不变的无限小变换下给出守恒量(式(22));其次,引入李普希茨变换,将一个非自治问题化为一个自治问题,得到一般无限小变换下的守恒量(式(29)).
3 分数阶Birkho ff系统的Noether准对称性与守恒量
设基于Caputo导数的分数阶Pfa ff作用量为
则分数阶Pfa ff-Birkho ff原理可表示为
带有交换关系
以及端点条件
由式(34)~式(36)可导出Caputo导数下分数阶Birkho ff方程
由分数阶Pfa ff-Birkho ff原理(式(34)~式(36))和分数阶Birkho ff方程(37)确定的动力学系统称为Caputo导数下分数阶Birkho ff系统.
下面研究Caputo导数下分数阶Birkho ff系统的Noether准对称性与守恒量问题.首先基于由Frederico和Torres给出的分数阶守恒量概念[14],建立分数阶Birkho ff系统的分数阶守恒量定义,有
定义3 对于Caputo导数下分数阶Birkho ff系统,当且仅当沿着分数阶Birkho ff方程(37)的所有解曲线,有
定义3称为Caputo导数下分数阶Birkho ff系统的Frederico-Torres分数阶守恒量定义.
其次,研究时间不变的无限小变换下分数阶Birkho ff系统的Noether准对称性与守恒量.
定义4 对于Caputo导数下分数阶Birkho ff系统,设和B1是另外的Birkho ff函数组和Birkho ff函数,如果在时间不变的单参数无限小变换群(式(17))作用下,对任意[T1,T2]⊆[t1,t2],满足如下条件
则称分数阶Pfa ff作用量(式(33))在无限小变换(式(17))下是准不变的,变换(式(17))为系统在时间不变的无限小变换下的Noether准对称变换.
其中 ΔG= εG(t,aν).
判据3 对于Caputo导数下分数阶Birkho ff系统,如果存在规范函数G(t,aν)使得无限小变换(式(17))的生成元ξµ满足条件
则变换(式(17))是系统在时间不变的无限小变换下的Noether准对称变换.
证明 由于积分区间[T1,T2]的任意性,式(41)等价于
将方程(43)等号两边对ε求导,并令ε=0,我们有
证毕.
定理3 对于Caputo导数下分数阶Birkho ff系统,如果时间不变的无限小变换(式(17))是系统的Noether准对称变换,则
是系统在定义3意义下的一个分数阶守恒量.
证明 由方程(37),得
将式(45)代入式(42),并注意到式(8)和式(9),我们有
由定义3,得守恒量式(44).证毕.
最后,研究一般无限小变换下分数阶Birkho ff系统的Noether准对称性与守恒量.
定义5 对于Caputo导数下分数阶Birkho ff系统,设和B1是另外的Birkho ff函数组和Birkho ff函数,如果在一般单参数无限小变换群(式(23))作用下,对任意[T1,T2]⊆[t1,t2],满足如下条件
则称分数阶Pfa ff作用量(式(33))在无限小变换(式(23))下准不变的,变换(式(23))为系统的Noether准对称变换.
于是有
判据4 对于Caputo导数下分数阶Birkho ff系统,如果存在规范函数G(t,aν)使得无限小变换(式(23))的生成元 ξ0,ξµ满足条件
则变换 (式 (23))是系统在一般无限小变换下的Noether准对称变换.
证明 由式(43)可得出
由积分区间[T1,T2]的任意性,式(49)等价于
注意到
将式(52)代入式(51),有
将方程(50)等号两边对ε求导,利用式(53),并令ε=0,得
证毕.
定理4 对于Caputo导数下分数阶Birkho ff系统,如果一般无限小变换(式(23))是系统的Noether准对称变换,则
是系统在定义3意义下的一个分数阶守恒量.
证明 引进李普希茨变换
则分数阶Pfa ff作用量(式(33))成为
其中 t(σ1)=t1,t(σ2)=t2,以及
将式(58)代入式(57),得
因此,如果分数阶作用量S[aν(·)]在定义5意义下是准不变的,则分数阶作用量¯S[t(·),aν(t(·))]在定义4意义下是准不变的.由定理3,得到
是系统在定义3意义下的分数阶守恒量.当λ=0时,有
因此,我们有
而
将式(63)和式(62)代入式(60),得到分数阶守恒量(式 (54)).证毕.
定理3和定理4可称为Caputo导数下分数阶Birkho ff系统的 Noether定理.定理基于 Frederico和Torres提出的分数阶守恒量概念,建立了Caputo导数下分数阶Birkho ff系统的Noether准对称性与Frederico-Torres分数阶守恒量之间的联系.如果G≡0,则定理给出了分数阶Birkho ff系统的Noether对称性与分数阶守恒量之间的联系;如果α→1,则定理3和定理4退化为定理1和定理2,给出了经典Birkho ff系统的Noether对称性与经典Noether守恒量之间的联系.
4 算例
考虑分数阶Hojman-Urrutia问题[35],该问题可表示为一个四阶分数阶Birkho ff系统,在Caputo导数下其Pfa ff作用量为
试研究该系统的分数阶Noether对称性与分数阶守恒量.
分数阶Birkho ff方程(37)给出
判据方程(48)给出
方程(66)有解
式(67)对应系统的Noether对称变换,式(68)对应系统的Noether准对称变换.根据定理4,得到
其中c2为任意常数.式(69)是由Noether对称性(式(67))导致的分数阶守恒量,式(70)是由Noether准对称性(式(68))导致的分数阶守恒量.当α→1时,式(69)和式(70)成为
式 (71)和式 (72)是经典 Hojman-Urrutia问题的Noether守恒量.
5 结论
由于应用分数阶微积分可以更准确地描述和研究复杂系统的动力学行为和物理过程,同时Birkho ff系统动力学是Hamilton力学的推广,因此研究分数阶Birkho ff系统动力学具有重要意义.本工作一是建立了经典 Birkho ff系统和 Caputo导数下分数阶Birkho ff系统的Noether准对称性的定义和判据;二是基于时间重新参数化方法证明了经典Birkho ff系统和Caputo导数下分数阶Birkho ff系统的Noether定理,该定理建立了系统的Noether准对称性与分数阶守恒量之间的内在联系.以往关于 Caputo导数下分数阶Birkho ff系统基于Frederico-Torres分数阶守恒量定义的Noether定理以及经典Birkho ff系统的Noether定理都是本文之特例.由于Caputo分数阶导数定义解决了Riemann-Liouville定义中的分数阶初值问题,从而在工程和实际问题的动力学建模中得到了更广泛的应用,因此本文的方法和结果可望得到广泛应用和进一步发展.最后必须指出,基于 Frederico-Torres分数阶守恒量定义如何建立Noether准对称性与守恒量的关系尚属开放的课题,例如Riemann-Liouville导数下分数阶Noether定理的推广等.
1 Oldham KB,Spanier J.The Fractional Calculus.San Diego:Academic Press,1974
2 PodlubnyI.FractionalDi ff erentialEquations.SanDiego:Academic Press,1999
3 Kilbas AA,Srivastava HM,Trujillo JJ.Theory and Applications of Fractional Di ff erential Equations.Amsterdam:Elsevier B V,2006
4 Riewe F.Nonconservative Lagrangian and Hamiltonian mechanics.Physical Review E,1996,53(2):1890-1899
5 Riewe F.Mechanics with fractional derivatives.Physical Review E,1997,55(3):3581-3592
6 Agrawal OP.Formulation of Euler-Lagrange equations for fractional variational problems.Journal of Mathematical Analysis and Applications,2002,272(1):368-379
7 Agrawal OP.Fractional variational calculus in terms of Riesz fractional derivatives.Journal of Physics A:Mathematical and Theoretical,2007,40(24):6287-6303
8 Baleanu D,Avkar T.Lagrangians with linear velocities within Riemann-Liouville fractional derivatives.Nuovo Cimento B,2003,119(1):73-79
9 Baleanu D,Trujillo JJ.A new method of findin the fractional Euler-Lagrange and Hamilton equations within Caputo fractional derivatives.Communications in Nonlinear Science and Numerical Simulation,2010,15(5):1111-1115
10 Atanackovi´c TM,Konjik S,Pilipovi´c S.Variational problems with fractional derivatives:Euler-Lagrange equations.Journal of Physics A:Mathematical and Theoretical,2008,41(9):095201
11 Atanackovi´c TM,Konjik S,Oparnica Lj,et al.Generalized Hamilton’s principle with fractional derivatives.Journal of Physics A:Mathematical and Theoretical,2010,43(25):255203
12 Almeida R,Torres DFM.Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives.Communications in Nonlinear Science and Numerical Simulation,2011,16(3):1490-1500
13 Malinowska AB,Torres DFM.Introduction to the Fractional Calculus of Variations.London:Imperial College Press,2012
14 FredericoGSF,TorresDFM.AformulationofNoether’stheoremfor fractional problems of the calculus of variations.Journal of Mathematical Analysis and Applications,2007,334(2):834-846
15 Frederico GSF,Torres DFM.Fractional isoperimetric Noether’s theorem in the Riemann-Liouville sense.Reports on Mathematical Physics,2013,71(3):291-304
16 Frederico GSF.Fractional optimal control in the sense of Caputo and the fractional Noether’s theorem.International Mathematical Forum,2008,3(10):479-493
17 Frederico GSF,Torres DFM.Fractional Noether’s theorem in the Riesz-Caputo sense.Applied Mathematics and Computation,2010,217(3):1023-1033
18 Frederico GSF,Lazo MJ.Fractional Noether’s theorem with classicalandCaputoderivatives:constantsofmotionfornon-conservative systems.Nonlinear Dynamics,2016,85(2):839-851
19 Atanackovi´c TM,Konjik S,Pilipovi´c S,et al.Variational problems with fractional derivatives:invariance conditions and Noether’s theorem.Nonlinear Analysis:Theory,Methods&Applications,2009,71(5-6):1504-1517
20 Odzijewicz T,Malinowska AB,Torres DFM.Noether’s theorem for fractional variational problems of variable order.Central European Journal of Physics,2013,11(6):691-701
21 Zhang SH,Chen BY,Fu JL.Hamilton formalism and Noether symmetry for mechanico-electrical systems with fractional derivatives.Chinese Physics B,2012,21(10):100202
22 Zhou S,Fu H and FuJL.Symmetry theories of Hamiltonian systemswith fractional derivatives.Science China Physics,Mechanics&Astronomy,2011,54(10):1847-1853
23 Luo SK,Li L.Fractional generalized Hamiltonian equations and its integral invariants.Nonlinear Dynamics,2013,73(1):339-346
24 Luo SK,Li L.Fractional generalized Hamiltonian mechanics and Poisson conservation law in terms of combined Riesz derivatives.Nonlinear Dynamics,2013,73(1):639-647
25 Jia QL,Wu HB,Mei FX.Noether symmetries and conserved quantities for fractional forced Birkhoffian systems.Journal of Mathematical Analysis and Applications,2016,442(2):782-795
26 Zhang Y,Zhou Y.Symmetries and conserved quantities for fractional action-like Pfaffian variational problems.Nonlinear Dynamics,2013,73(1-2):783-793
27 Zhang Y,Zhai XH.Noether symmetries and conserved quantities for fractional Birkhoffian systems.Nonlinear Dynamics,2015,81(1-2):469-480
28 Long ZX,Zhang Y.Noether’s theorem for fractional variational problem from El-Nabulsi extended exponentially fractional integral in phase space.Acta Mechanica,2014,225(1):77-90
29 El-Nabulsi RA.Fractional variational symmetries of Lagrangians,the fractional Galilean transformation and the modifie Schr¨odinger equation.Nonlinear Dynamics,2015,81(1):939-948
30 Zhai XH,Zhang Y.Noether symmetries and conservedquantities for fractional Birkhoffian systems with time delay.Communications in Nonlinear Science and Numerical Simulation,2016,36:81-97
31 Yan B,Zhang Y.Noether’s theorem for fractional Birkhoffian systems of variable order.Acta Mechanica,2016,227(9):2439-2449
32梅凤翔.李群和李代数对约束力学系统的应用.北京:科学出版社,1999(Mei Fengxiang.Applications of Lie Groups and Lie Algebras to Constrained Mechanical Systems.Beijing:Science Press,1999(in Chinese))
33梅凤翔,吴惠彬,李彦敏等.Birkho ff力学的研究进展.力学学报,2016,48(2):263-268(Mei Fengxiang,Wu Huibin,Li Yanmin,et al.Advances in research on Birkhoffian mechanics.Chinese Journal of Theoretical and Applied Mechanics,2016,48(2):263-268(in Chinese))
34张毅.相空间中非保守系统的 Herglotz广义变分原理及其Noether定理.力学学报,2016,48(6):1382-1389(Zhang Yi.Generalized variational principle of Herglotz type for nonconservative system in phase space and Noether’s theorem.Chinese Journal of Theoretical and Applied Mechanics,2016,48(6):1382-1389(in Chinese))
35 Luo SK,Xu YL.Fractional Birkhoffian mechanics.Acta Mechanica,2015,226(3):829-844
QUASI-SYMMETRY AND NOETHER’S THEOREM FOR FRACTIONAL BIRKHOFFIAN SYSTEMS IN TERMS OF CAPUTO DERIVATIVES1)
Zhang Yi2)
(College of Civil Engineering,Suzhou University of Science and Technology,Suzhou 215011,Jiangshu,China)
The dynamical behavior and physical process of a complex system can be described and studied more accurately by using a fractional model,at the same time the Birkhoffian mechanics is a generalization of Hamiltonian mechanics,and therefore,the study of dynamics of fractional Birkhoffian systems is of great significanceFractional Noether’s theorem reveals the intrinsic relation between the Noether symmetric transformation and the fractional conserved quantity,but when the transformation is replaced by the Noether quasi-symmetric transformation,the corresponding extension of Noether’s theorem is very difficult.In this paper,the Noether quasi-symmetry and the conserved quantity for fractional Birkhoffian systems in terms of Caputo derivatives are presented and studied by using a technique of timereparametrization.Firstly,the technique is applied to the study of the Noether quasi-symmetry and the conserved quantityfor classical Birkhoffian systems and Noether’s theorem in its general form is established.Secondly,the definition and criteria of Noether quasi-symmetric transformations for fractional Birkhoffian systems are given which are based on the invariance of fractional Pfa ffaction under one-parameter infinitesima group of transformations without transforming the time and with transforming the time,respectively.Based on the definitio of fractional conserved quantity proposed by Frederico and Torres,Noether’s theorem for fractional Birkhoffian systems is established by using the method of timereparametrization.The theorem reveals the inner relationship between Noether quasi-symmetry and fractional conserved quantity and contains Noether’s theorem for the symmetry of fractional Birkhoffian system and Noether’s theorem for classical Birkhoffian system as its specials.Finally,we take the Hojman-Urrutia problem as an example to illustrate the application of the results.
fractional Birkhoffian system,Noether quasi-symmetry,Frederico-Torres fractional conserved quantity,caputo derivative
O316
:A
10.6052/0459-1879-16-350
2016–11–28 收稿,2017–02–19 录用,2017–02–22 网络版发表.
1)国家自然科学基金资助项目(11272227,11572212).
2)张毅,教授,主要研究方向:分析力学.E-mail:zhy@mail.usts.edu.cn
张毅.Caputo导数下分数阶Birkho ff系统的准对称性与分数阶Noether定理.力学学报,2017,49(3):693-702
Zhang Yi.Quasi-symmetry and Noether’s theorem for fractional Birkhoffian systems in terms of Caputo derivatives.Chinese Journal of Theoretical and Applied Mechanics,2017,49(3):693-702