Issue 
Wuhan Univ. J. Nat. Sci.
Volume 28, Number 3, June 2023



Page(s)  207  216  
DOI  https://doi.org/10.1051/wujns/2023283207  
Published online  13 July 2023 
Mathematics
CLC number: O316
Noether Theorem for Fractional Singular Systems
^{1}
School of Mathematical Sciences, Suzhou University of Science and Technology, Suzhou 215009, Jiangsu, China
^{2}
College of Civil Engineering, Suzhou University of Science and Technology, Suzhou 215009, Jiangsu, China
Received:
11
June
2022
Noether theorems for two fractional singular systems are discussed. One system involves mixed integer and Caputo fractional derivatives, and the other involves only Caputo fractional derivatives. Firstly, the fractional primary constraints and the fractional constrained Hamilton equations are given. Then, the fractional Noether theorems of the two fractional singular systems are established, including the fractional Noether identities, the fractional Noether quasiidentities and the fractional conserved quantities. Finally, the results obtained are illustrated by two examples.
Key words: singular system / fractional primary constraint / fractional constrained Hamilton equation / Noether theorem / conserved quantity
Biography: SONG Chuanjing, female, Ph. D., Associate professor, research direction: mathematical methods of classical mechanics. Email: songchuanjingsun@126.com
Fundation item: Supported by the National Natural Science Foundation of China (12172241, 12002228, 12272248, 11972241) and Qing Lan Project of Colleges and Universities in Jiangsu Province
© Wuhan University 2023
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
DOI https://doi.org/10.1051/wujns/2023283207
0 Introduction
Given a Lagrangian , , , we define
where the matrix is called a Hessian matrix. If , then the Lagrangian is called regular. If , then the Lagrangian is called singular. For example, the Parra's Lagrangian^{[1]}
the Deriglazov's Lagrangian^{[2]}
the Cawley's Lagrangian^{[3]}
and the Mittelstaedt's Lagrangian^{[4]}
where , and are constants and represents potential energy, they are all singular. In fact, singular systems have a close relationship with the condensed matter theories, the gauge field theories, the quantum field theories of anyons, the particle physics and so forth^{[57]}. Regarding the singular systems, Dirac^{[8]} was the first one to study their canonical equation. Then, singular systems were also investigated in several classical mechanics textbooks^{[57]}, including both the canonical equation and the Noether theorem.
The Noether theorem was introduced by the German female mathematician Noether^{ [9]}. The Noether symmetry method is one of the methods used to solve the differential equations of motion. There are many results on the Noether theorem^{ [1012]}. Fractional calculus has been popular recently. The fractional derivatives that are used most often are the RiemannLiouville, Caputo and Riesz fractional derivatives. In 2007, Frederico and Torres^{ [13]} initiated the study of the fractional Noether theorem. Based on a bilinear operator (), they defined the fractional conserved quantity. Using this definition, fractional Noether theorems and their applications were discussed for several mechanics systems, such as the Lagrangian system^{[1417]}, the Birkhoffian system^{ [18,19]}, the Hamiltonian system^{ [20]}, and the multidimensional Lagrangian system^{ [21]}. Two years later, with the idea of the definition of the classical conserved quantity, Atanacković et al^{ [22]} introduced another definition of the fractional conserved quantity (). They held the point that this definition is more reasonable than the former definition. Then, fractional Noether theorems of the different mechanics systems, such as the Birkhoffian system^{ [2325]}, the Hamiltonian system^{ [26,27]} and the nonconservative system^{ [28,29]} were obtained.
At present, two fractional singular systems, one concerning the mixed integer and Caputo fractional derivatives and the other concerning the Caputo fractional derivatives, have been established, including the fractional primary constraints and the fractional constrained Hamilton equations^{ [30]}. The next task is to find the solutions to them. Therefore, in this paper, we intend to make use of the Noether symmetry method to complete this study.
1 Preliminaries
We give the definitions of the RiemannLiouville and the Caputo fractional derivatives as follows. Given a function and two constants and that satisfy , where is an integer, the RiemannLiouville fractional derivative and the Caputo fractional derivative have the forms^{ [31]}
here, and represent the orders of the fractional derivatives. When , the fractional derivative operators reduce to the classical integer derivative operators, namely,
Throughout this paper, we assume that .
For the Lagrangian , where , , , are the generalized coordinates, are the generalized velocities, are the Caputo derivatives of , , , , and , we define the corresponding generalized momenta and the Hamiltonian as
Specifically, we assume that can always be described by a function that depends on the elements of , , and , namely, , .
In this case, we define the elements of the Hessian matrix as
if , , then the fractional primary constraints with the mixed derivatives have the forms^{ [30]}
where , , . The fractional constrained Hamilton equations with the mixed derivatives have the forms ^{[30]}
where , , , , are the Lagrange multipliers, , , and .
However, when the Lagrange multipliers cannot be solved, Eq. (14) is invalid, and the fractional constrained Hamilton equations with the mixed derivatives have another forms, which have been investigated in Ref. [30]. In this paper, we discuss only the case in which the Lagrange multipliers can be solved.
For the Lagrangian , where , , are the generalized coordinates, are the Caputo derivatives of , , , , and , we define the corresponding generalized momenta and the Hamiltonian as
We assume that the Lagrangian is singular, i.e., only elements of , , can be solved, where .
In this case, the fractional primary constraints with the Caputo fractional derivatives have the forms^{ [30]}
The fractional constrained Hamilton equations with the Caputo fractional derivatives have the forms^{ [30]}
where , , , are the Lagrange multipliers, , , and .
Similarly, when the Lagrange multipliers cannot be solved, Eq. (17) is invalid, and the fractional constrained Hamilton equations with the Caputo fractional derivatives have another forms, which have been investigated in Ref. [30]. In this paper, we discuss only the case in which the Lagrange multipliers can be solved.
2 Fractional Noether Theorem with Mixed Derivatives
Noether symmetry with the mixed derivatives is determined by the Noether symmetric transformations, under which the fractional Hamilton action with the mixed derivatives
remains invariant. Therefore, if we want to study the Noether theorem, we first need to give the infinitesimal transformations with the mixed derivatives. Then, we discuss the change of the fractional Hamilton action (Eq. (18)) under the given infinitesimal transformations. Finally, the condition which is called the fractional Noether identity with the mixed derivatives is obtained.
Here, the infinitesimal transformations have the forms
whose expansions are
where , , and are called the infinitesimal generators with the mixed derivatives, is a small parameter, and .
We denote the change of the fractional Hamilton action as , namely, . If we consider only the linear part of , then we have
where
That fractional Hamilton action remains invariant implies , therefore, from Eq. (21), we have
Equation (22) is called the fractional Noether identity with the mixed derivatives for the fractional constrained Hamiltonian system (Eq. (14)). The infinitesimal transformations in this case are called the Noether symmetric transformations, which determine the Noether symmetry.
In this paper, we adopt Atanacković's definition of the fractional conserved quantity. We review it first.
Definition 1^{ [22]} A quantity is called a fractional conserved quantity if and only if holds.
Theorem 1 If the infinitesimal generators , , and satisfy the fractional Noether identity (Eq. (22)), then a fractional conserved quantity with the mixed derivatives exists for the fractional constrained Hamiltonian system (Eq. (14)), as follows:
Proof It is obtained from Eqs. (14), (23) that
where
The proof is completed.
Furthermore, if the fractional Hamilton action (Eq. (18)) does not remain invariant under the infinitesimal transformations with the mixed derivatives, for instance, if , where and is called a gauge function with the mixed derivatives, then from Eq. (21), we obtain
Equation (24) is called the fractional Noetherquasi identity with the mixed derivatives for the fractional constrained Hamiltonian system (Eq. (14)). The infinitesimal transformations in this case are called the Noetherquasi symmetric transformations with the mixed derivatives, which determine the Noetherquasi symmetry with the mixed derivatives. Then, a fractional conserved quantity can also be obtained from the Noetherquasi symmetry.
Theorem 2 If the infinitesimal generators , , , and a gauge function satisfy the fractional Noetherquasi identity (Eq. (24)), then a fractional conserved quantity with the mixed derivatives exists for the fractional constrained Hamiltonian system (Eq. (14))
Proof The intended result can be obtained from Eqs. (14), (24) and (25).
Remark 1 The Noetherquasi symmetry with the mixed derivatives is more general than the Noether symmetry with the mixed derivatives. In fact, by setting , Theorem 2 reduces to Theorem 1.
An example is presented to illustrate the results and methods above.
Example 1 For the Lagrangian
find its conserved quantity.
For this Lagrangian , there exist two fractional primary constraints ^{[30]}
In addition, all the Lagrange multipliers can be obtained ^{[30]}:
The fractional constrained Hamilton equations can also be established ^{[30]}:
The fractional Noetherquasi identity (Eq. (24)) gives
Through computation, we can verify that
is a solution to Eq. (30). Finally, Theorem 2 gives the fractional conserved quantity
3 Fractional Noether Theorem with only Caputo Fractional Derivatives
Noether symmetry with the Caputo fractional derivative is determined by the Noether symmetric transformations under which the fractional Hamilton action with the Caputo fractional derivatives
remains invariant. Similarly, if we want to study the Noether theorem, we first need to give the infinitesimal transformations with the Caputo fractional derivative; then, we discuss the change of the fractional Hamilton action (Eq. (33)) under the given infinitesimal transformations. Finally, the condition called the fractional Noether identity with the Caputo fractional derivatives is obtained.
Here, the infinitesimal transformations have the forms
whose expansions are
where , and are called the infinitesimal generators with the Caputo fractional derivatives, is a small parameter, and .
We denote the change of the fractional Hamilton action (Eq. (33)) as ; namely, . If we consider only the linear part of , then we have
where
That fractional Hamilton action (Eq. (33)) remains invariant implies ; therefore, from Eq. (36), we have
Equation (37) is called the fractional Noether identity with the Caputo fractional derivatives for the fractional constrained Hamiltonian system (Eq. (17)). The infinitesimal transformations in this case are called the Noether symmetric transformations with the Caputo fractional derivatives, which determine the Noether symmetry.
Theorem 3 If the infinitesimal generators , , and satisfy the fractional Noether identity (Eq. (37)), then a fractional conserved quantity with the Caputo fractional derivatives exists for the fractional constrained Hamiltonian system (Eq. (17)) as follows:
Proof It is obtained from Eqs. (17), (37) and (38) that
where
The proof is completed.
Let , where and is a gauge function with the Caputo fractional derivatives; then, from Eq. (37), we obtain
Equation (39) is called the fractional Noetherquasi identity with the Caputo fractional derivatives for the fractional constrained Hamiltonian system (Eq. (17)). The infinitesimal transformations in this case are called Noetherquasi symmetric transformations, which determine the Noetherquasi symmetry. Then, a fractional conserved quantity with the Caputo fractional derivatives can be obtained.
Theorem 4 If the infinitesimal generators , , , and a gauge function satisfy the fractional Noetherquasi identity (Eq. (39)), then a fractional conserved quantity with the Caputo fractional derivatives exists for the fractional constrained Hamiltonian system (Eq. (17))
Proof The intended result can be obtained from Eqs. (17), (39) and (40).
Remark 2 Based on the Caputo fractional derivatives, the Noetherquasi symmetry is more general than the Noether symmetry. In fact, by setting , Theorem 4 reduces to Theorem 3.
Remark 3 Based on the Caputo fractional derivatives, if let , then the fractional primary constraint (Eq. (16)), the fractional constrained Hamilton equation (Eq. (17)) and the Noether theorem (Theorem 3) reduce to the corresponding classical integerorder cases, which are consistent with the results in Ref. [6].
An example is presented to illustrate the results and methods above.
Example 2 For the Lagrangian
find its conserved quantity.
For this Lagrangian , there exist two fractional primary constraints ^{[30]}:
The fractional constrained Hamilton equations can also be established ^{[30]}:
The fractional Noetherquasi identity (Eq. (39)) gives
Through computation, we can verify that
is a solution to Eq. (44). Finally, Theorem 4 gives the fractional conserved quantity
4 Conclusion
Noether theorems for the singular systems with the mixed derivatives and with only Caputo fractional derivatives are studied for the first time. Theorems 14 are all new work. Besides, the constrained Hamiltonian system on time scales is another topic deserved to be done.
References
 Parra J C. On singular lagrangians and Dirac's method[J]. Revista Mexicana De Física, 2012, 58(1): 6168. [MathSciNet] [Google Scholar]
 Deriglazov A. Classical Mechanics Hamiltonian and Lagrangian Formalism [M]. Berlin: SpringerVerlag, 2010. [Google Scholar]
 Cawley R. Determination of the Hamiltonian in the presence of constraints[J]. Physical Review Letters, 1979, 42(7): 413416. [NASA ADS] [CrossRef] [Google Scholar]
 Mittelstaedt P. Klassische Mechanik [M]. Germany: Hochschultaschenbücher Verlag, 1970. [Google Scholar]
 Li Z. Symmetries in Constrained Canonical Systems [M]. Beijing: Science Press, 2002(Ch). [Google Scholar]
 Li Z P. Contrained Hamiltonian Systems and Their Symmetrical Properties [M]. Beijing: Beijing Polytechnic University Press, 1999(Ch). [Google Scholar]
 Li Z P. Classical and Quantal Dynamics of Contrained Systems and Their Symmetrical Properties [M]. Beijing: Beijing Polytechnic University Press, 1993(Ch). [Google Scholar]
 Dirac P A M. Generalized Hamiltonian dynamics[J]. Canadian Journal of Mathematics, 1950, 2: 129148. [CrossRef] [Google Scholar]
 Noether A E. Invariante variationsprobleme [J]. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 1918, KI: 235257. [Google Scholar]
 Mei F X, Wu H B. Dynamics of Constrained Mechanical Systems [M]. Beijing: Beijing Institute of Technology Press, 2009. [Google Scholar]
 Mei F X. Aanlytical Mechanics [M]. Beijing: Beijing Institute of Technology Press, 2013. [Google Scholar]
 Zhang Y, Cai J X. Noether theorem of herglotztype for nonconservative Hamilton systems in event space[J]. Wuhan University Journal of Natural Sciences, 2021, 26(5): 376382. [Google Scholar]
 Frederico G S F, Torres D F M. A formulation of Noether's theorem for fractional problems of the calculus of variations[J]. Journal of Mathematical Analysis and Applications, 2007, 334(2): 834846. [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Frederico G S F, Torres D F M. Fractional conservation laws in optimal control theory[J]. Nonlinear Dynamics, 2008, 53(3): 215222. [CrossRef] [MathSciNet] [Google Scholar]
 Frederico G S F, Torres D F M. Fractional isoperimetric Noether's theorem in the RiemannLiouville sense[J]. Reports on Mathematical Physics, 2013, 71(3): 291304. [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Frederico G S F, Torres D F M. Fractional Noether's theorem in the RieszCaputo sense[J]. Applied Mathematics and Computation, 2010, 217(3): 10231033. [CrossRef] [MathSciNet] [Google Scholar]
 Frederico G S F. Fractional optimal control in the sense of Caputo and the fractional Noether's theorem[J]. International Mathematical Forum, 2008, 3(10): 479493. [MathSciNet] [Google Scholar]
 Jia Q L, Wu H B, Mei F X. Noether symmetries and conserved quantities for fractional forced Birkhoffian systems[J]. Journal of Mathematical Analysis and Applications, 2016, 442(2): 782795. [CrossRef] [MathSciNet] [Google Scholar]
 Zhou Y. The Fractional PfaffBirkhoff Variational Problem and Its Symmetries [D]. Suzhou: Suzhou University of Science and Technology, 2013(Ch). [Google Scholar]
 Zhou S, Fu H, Fu J L. Symmetry theories of Hamiltonian systems with fractional derivatives[J]. Science China Physics, Mechanics and Astronomy, 2011, 54(10): 1847. [CrossRef] [Google Scholar]
 Malinowska A B. A formulation of the fractional Noethertype theorem for multidimensional Lagrangians[J]. Applied Mathematics Letters, 2012, 25(11): 19411946. [CrossRef] [MathSciNet] [Google Scholar]
 Atanacković T M, Konjik S, Pilipović S, et al. Variational problems with fractional derivatives: Invariance conditions and Noether's theorem [J]. Nonlinear Analysis Theory Methods & Applications, 2009, 71: 15041517. [CrossRef] [Google Scholar]
 Zhai X H, Zhang Y. Noether symmetries and conserved quantities for fractional Birkhoffian systems with time delay [J]. Commun Nonlinear Sci Numer Simulat, 2016, 36: 8197. [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Zhang Y, Zhai X H. Noether symmetries and conserved quantities for fractional Birkhoffian systems[J]. Nonlinear Dynamics, 2015, 81: 469480. [CrossRef] [MathSciNet] [Google Scholar]
 Song C J, Zhang Y. Noether symmetry and conserved quantity for fractional Birkhoffian mechanics and its applications [J]. Fract Calc Appl Anal, 2018, 21: 509526. [CrossRef] [MathSciNet] [Google Scholar]
 Zhang S H, Chen B Y, Fu J L. Hamilton formalism and Noether symmetry for mechanico electrical systems with fractional derivatives [J]. Chin Phys B, 2012, 21: 100202. [CrossRef] [Google Scholar]
 Song C J. Noether symmetry for fractional Hamiltonian system [J]. Phys Lett A, 2019, 29: 125914. [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Jin S X, Zhang Y. Noether theorem for nonconservative systems with time delay in phase space based on fractional model[J]. Nonlinear Dynamics, 2015, 82: 663676. [CrossRef] [MathSciNet] [Google Scholar]
 Jin S X, Zhang Y. Noether theorem for nonconservative Lagrange systems with time delay based on fractional model[J]. Nonlinear Dynamics, 2015, 79: 11691183. [CrossRef] [MathSciNet] [Google Scholar]
 Song C J, Agrawal O P. Hamiltonian formulation of systems described using fractional singular Lagrangian[J]. Acta Applicandae Mathematicae, 2021, 172(1): 9. [CrossRef] [MathSciNet] [Google Scholar]
 Podlubny I. Fractional Differential Equations [M]. San Diego: Academic Press, 1999. [Google Scholar]
Current usage metrics show cumulative count of Article Views (fulltext article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 4896 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.