# Theory of Generalized Canonical Transformations for Birkhoff Systems

Authors: Yi Zhang
Journal: Advances in Mathematical Physics
 (2020)

---

## Abstract

Transformation is an important means to study problems in analytical mechanics. It is often difficult to solve dynamic equations, and the use of variable transformation can make the equations easier to solve. The theory of canonical transformations plays an important role in solving Hamilton’s canonical equations. Birkhoffian mechanics is a natural generalization of Hamiltonian mechanics. This paper attempts to extend the canonical transformation theory of Hamilton systems to Birkhoff systems and establish the generalized canonical transformation of Birkhoff systems. First, the definition and criterion of the generalized canonical transformation for the Birkhoff system are established. Secondly, based on the criterion equation and considering the generating functions of different forms, six generalized canonical transformation formulas are derived. As special cases, the canonical transformation formulas of classical Hamilton’s equations are given. At the end of the paper, two examples are given to illustrate the application of the results.


---

## Body

## 1. Introduction

Birkhoffian mechanics can be traced back to Birkhoff’s monograph Dynamical Systems, which gave a new class of dynamic equations more common than Hamilton’s canonical equations and a new class of integral variational principles more common than Hamilton’s principle [1]. Santilli [2] studied Birkhoff’s equations, the transformation theory of Birkhoff’s equations, and the extension of Galileo’s relativity and applied Birkhoff’s equations to hadron physics. Galiullin et al. [3] studied the inverse problem of Birkhoffian dynamics, the symmetry, and the conformal invariance of Birkhoff systems. Mei et al. have conducted in-depth studies on the dynamics of Birkhoff systems, including Birkhoffian representation of holonomic and nonholonomic systems, integration theory, symmetry theory, inverse problem of dynamics, motion stability, geometric method, and global analysis of Birkhoff systems [4], and extended the results to generalized Birkhoff systems [5]. In recent years, some new advances have been made in the study of dynamics of Birkhoff systems, such as [6–19] and the references therein.The integration problem of dynamic equations is an important aspect of analytical mechanics. Since it is often difficult to solve the general dynamic equations, the transformation of variables can make the equations easy to solve. The classical Hamilton canonical transformation theory plays an important role in solving dynamic equations. How do we extend Hamilton canonical transformation theory to Birkhoff systems? Santilli first proposed and preliminarily studied the transformation theory of Birkhoff’s equations and only gave one kind of generating function and its transformation [2]. In this paper, based on the basic identity of Birkhoff system’s generalized canonical transformation, we derive six generalized canonical transformation formulas by selecting different forms of generating functions and give the transformation relations between the old and new variables in each case. The way of selecting the generating function in this paper is different from that in Reference [2]. The canonical transformation formulas of classical Hamilton’s equations are the special cases of the generalized canonical transformation formulas of Birkhoff systems. The application of the results is illustrated with two examples.This paper is organized as follows. In Section2, we give the definition of the generalized canonical transformation for Birkhoff systems and establish the basic identity for constructing the generalized canonical transformation. In Section 3, we present six generating functions of Birkhoff systems, derive the corresponding generalized regular transformation formulas, and discuss their special cases, namely, the canonical transformation of Hamilton systems. Two examples are given in Section 4. We conclude in Section 5.


## 2. Definition and Criterion of Generalized Canonical Transformations

We consider a mechanical system described by2n Birkhoff’s variables aμμ=1,2,⋯,2n. The differential equations of motion of the system can be expressed as the following Birkhoff’s equations:
(1)∂Rν∂aμ−∂Rμ∂aνȧν−∂B∂aμ−∂Rμ∂t=0μ,ν=1,2,⋯,2n,where B=Bt,aν is the Birkhoffian and Rμ=Rμt,aν are Birkhoff’s functions.If there is a contemporaneous transformation(2)t⟶t¯≡t,aμ⟶a¯μt,aν,where the equations of motion expressed by the new variables a¯μ remain in the form of Birkhoff’s equations, i.e.,
(3)∂R¯ν∂a¯μ−∂R¯μ∂a¯νa¯̇ν−∂B¯∂a¯μ−∂R¯μ∂t=0μ,ν=1,2,⋯,2n,where B¯=B¯t,a¯ν and R¯μ=R¯μt,a¯ν are the new Birkhoffian and new Birkhoff’s functions, then the transformation (2) is the generalized canonical transformation of the Birkhoff system.Considering that Birkhoff’s equations are directly derived from the Pfaff-Birkhoff principle, we give a general definition of the generalized canonical transformation of the Birkhoff system, as follows:Definition 1.
For the Birkhoff system (1), if the contemporaneous transformation (2) preserves the Pfaff-Birkhoff principle in the transition from the old variables
(4)δ∫t0t1Rμt,aνȧμt−Bt,aνdt=0to the new variables
(5)δ∫t0t1R¯μt,a¯νa¯̇μt−B¯t,a¯νdt=0,where the notation δ∗ represents the isochronous variation of ∗, then the transformation is called a generalized canonical transformation of the system.According to Definition1, equations (4) and (5) need to be satisfied simultaneously for the generalized canonical transformation, but this does not mean that their integrand functions are exactly the same. In general, they can differ from each other by the total derivative of any function Ft,aν,a¯ν with respect to time t. Due to
(6)∫t0t1dFdtdt=Ft,aν,a¯νt1−Ft,aν,a¯νt0.Consideringδaμt1=δaμt0=δa¯μt1=δa¯μt0=0μ=1,2,⋯,2n, so the variation of equation (6) is zero, we have
(7)δ∫t0t1dFdtdt=0.Hence, we obtain the following.Criterion 2.
Transformation (2) is the generalized canonical transformation of Birkhoff system (1), if and only if there is a function Ft,aν,a¯ν such that the following basic identity [2]
(8)Rμt,aνdaμ−Bt,aνdt−R¯μt,a¯νda¯μ+B¯t,a¯νdt=dFt,aν,a¯νholds.Formula (8) is called the criterion equation to judge whether the given transformation of the Birkhoff system is a generalized canonical transformation. The function F is called the generating function.Since the old variablesaμ, the new variables a¯μ, and time t are connected by 2n transformation equation (2), only 2n variables are independent except for the variable . Selecting independent variables usually can have different schemes. Thus, the generating function can also have different forms.


## 3. Generating Functions and Generalized Canonical Transformations

For the convenience of interpretation, we express Birkhoff’s variables asa=as,as and Birkhoff’s functions as R=Rs,Rs, where s=1,2,⋯,n. Then, the criterion equation (8) can be expressed as
(9)Rsdas+Rsdas−Bdt−R¯sda¯s−R¯sda¯s+B¯dt=dFs=1,2,⋯,n,where Rs,Rs are functions of the old variables ak,ak and R¯s,R¯s are functions of the new variables a¯k,a¯k. The generating function F only needs to be a function of any 2n dimension subset of variables ak,ak,a¯k,a¯k and time t. The generalized canonical transformation of Birkhoff system (1) depends on different choices of generating functions. In the following six theorems, we give the transformation relations between new functions and new variables and old functions and old variables and corresponding generating functions of six basic forms.Theorem 3.
If the old variablesas and the new variables a¯ss=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F1t,as,a¯s, then the transformation determined by the following equations
(10)Rs−∂F1∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,R¯s−∂F1∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯s=0,B¯−B−∂F1∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t=0,s,k,j=1,2,⋯,n,is the generalized canonical transformation of Birkhoff system (1), where F1t,as,a¯s is called the first kind of generating function.Proof.
Let(11)F=F1t,as,a¯s+Rsas−R¯sa¯s.We have(12)dF=∂F1∂tdt+∂F1∂asdas+∂F1∂a¯sda¯s+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k.Sinceas, a¯ss=1,2,⋯,n are independent variables, we have
(13)dak=∂ak∂tdt+∂ak∂ajdaj+∂ak∂a¯jda¯j,dak=∂ak∂tdt+∂ak∂ajdaj+∂ak∂a¯jda¯j.Substituting formula (12) into the criterion equation (9), and considering the relation (13), we get
(14)Rs−∂F1∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+−R¯s−∂F1∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯sda¯s+B¯−B−∂F1∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂tdt=0.By the independence ofdas and da¯s, we get the results easily. The theorem is proved.Hamilton’s principle is a special case of the Pfaff-Birkhoff principle, and Hamilton’s canonical equation is a special case of Birkhoff’s equation. Therefore, the generalized canonical transformations of the Birkhoff system are naturally suitable for the Hamilton system. In fact, if we takeas=qs,as=ps,Rs=ps,Rs=0,B=H, then equation (1) is reduced to the following Hamilton canonical equations
(15)q̇s=∂H∂ps,ṗs=−∂H∂qs,s=1,2,⋯,n.Equation (8) becomes the basic identity for constructing the canonical transformation of the Hamilton system, i.e.,
(16)psdqs−Hdt−p¯sdq¯s+H¯dt=dF.The transformation (10) gives
(17)ps=∂F1∂qs,p¯s=−∂F1∂q¯s,H¯=H+∂F1∂t.So, from Theorem3, we have the following corollary.Corollary 4.
If we take the old variablesqs and the new variables q¯ss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (17) is the canonical transformation of Hamilton system (15), where F1t,qs,q¯s is called the first kind of generating function.Theorem 5.
If the old variablesas and the new variables a¯ss=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F2t,as,a¯s, then the transformation determined by the following equations
(18)Rs−∂F2∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,−R¯s−∂F2∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯s=0,B¯−B−∂F2∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t=0,s,k,j=1,2,⋯,n,is the generalized canonical transformation of Birkhoff system (1), where F2t,as,a¯s is called the second kind of generating function.Proof.
Let(19)F=F2t,as,a¯s+Rsas−R¯sa¯s.We have(20)dF=∂F2∂tdt+∂F2∂asdas+∂F2∂a¯sda¯s+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k.Sinceas, a¯ss=1,2,⋯,n are independent variables, we have
(21)dak=∂ak∂tdt+∂ak∂ajdaj+∂ak∂a¯jda¯j,da¯k=∂a¯k∂tdt+∂a¯k∂ajdaj+∂a¯k∂a¯jda¯j.Substituting formula (20) into equation (9), and considering the relations (21), we get
(22)Rs−∂F2∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+−R¯s−∂F2∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯sda¯s+B¯−B−∂F2∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂tdt=0.By the independence ofdas and da¯s, we get the results easily. The theorem is proved.For the Hamilton system (15), equation (18) gives
(23)ps=∂F2∂qs,q¯s=∂F2∂p¯s,H¯=H+∂F2∂t.So, from Theorem5, we have the following corollary.Corollary 6.
If we take the old variablesqs and the new variables p¯ss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (23) is the canonical transformation of Hamilton system (15), where F2t,qs,p¯s is called the second kind of generating function.Theorem 7.
If the old variablesas and the new variables a¯ss=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F3t,as,a¯s, then the transformation determined by the following equations
(24)Rs−∂F3∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,−R¯s−∂F3∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯s=0,B¯−B−∂F3∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t=0,is the generalized canonical transformation of Birkhoff system (1), where F3t,as,a¯s is called the third kind of generating function.Proof.
Let(25)F=F3t,as,a¯s+Rsas−R¯sa¯s.We have(26)dF=∂F3∂tdt+∂F3∂asdas+∂F3∂a¯sda¯s+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k.Sinceas, a¯ss=1,2,⋯,n are independent variables, we have
(27)dak=∂ak∂tdt+∂ak∂ajdaj+∂ak∂a¯jda¯j,da¯k=∂a¯k∂tdt+∂a¯k∂ajdaj+∂a¯k∂a¯jda¯j.Substituting formula (26) into equation (9), and considering the relation (27), we get
(28)Rs−∂F3∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+−R¯s−∂F3∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯sda¯s+B¯−B−∂F3∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂tdt=0.By the independence ofdas and da¯s, we get the results easily. The theorem is proved.For the Hamilton system (15), equation (24) give
(29)qs=−∂F3∂ps,p¯s=−∂F3∂q¯s,H¯=H+∂F3∂t.So, from Theorem7, we have the following corollary.Corollary 8.
If we take the old variablesps and the new variables q¯ss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (29) is the canonical transformation of Hamilton system (15), where F3t,ps,q¯s is called the third kind of generating function.Theorem 9.
If the old variablesas and the new variables a¯ss=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F4t,as,a¯s, then the transformation determined by the following equations
(30)Rs−∂F4∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,−R¯s−∂F4∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯s=0,B¯−B−∂F4∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t=0is the generalized canonical transformation of Birkhoff system (1), where F4t,as,a¯s is called the fourth kind of generating function.Proof.
Let(31)F=F4t,as,a¯s+Rsas−R¯sa¯s.We have(32)dF=∂F4∂tdt+∂F4∂asdas+∂F4∂a¯sda¯s+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k.Sinceas, a¯ss=1,2,⋯,n are independent variables, we have
(33)dak=∂ak∂tdt+∂ak∂ajdaj+∂ak∂a¯jda¯j,da¯k=∂a¯k∂tdt+∂a¯k∂ajdaj+∂a¯k∂a¯jda¯j.Substituting formula (32) into equation (9), and considering the relation (33), we get
(34)Rs−∂F4∂as−ak∂Rk∂as−ak∂Rk∂aj∂aj∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+−R¯s−∂F4∂a¯s−ak∂Rk∂aj∂aj∂a¯s+a¯k∂R¯k∂a¯s+a¯k∂R¯k∂a¯j∂a¯j∂a¯sda¯s+B¯−B−∂F4∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂tdt=0.By the independence ofdas and da¯s, we get the results easily. The theorem is proved.For the Hamilton system (15), equation (30) gives
(35)qs=−∂F4∂ps,q¯s=∂F4∂p¯s,H¯=H+∂F4∂t.So, from Theorem9, we have the following corollary.Corollary 10.
If we take the old variablesps and the new variables p¯ss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (35) is the canonical transformation of Hamilton system (15), where F4t,ps,p¯s is called the fourth kind of generating function.Theorem 11.
If the old variablesas and ass=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F5t,as,as, then the transformation determined by the following equations
(36)Rs−∂F5∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,Rs−∂F5∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as=0,B¯−B−∂F5∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂a¯j∂a¯j∂t=0is the generalized canonical transformation of Birkhoff system (1), where F5t,as,as is called the fifth kind of generating function.Proof.
Let(37)F=F5t,as,as−R¯sa¯s−R¯sa¯s.We have(38)dF=∂F5∂tdt+∂F5∂asdas+∂F5∂asdas−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k−R¯sda¯s−a¯s∂R¯s∂tdt+∂R¯s∂a¯kda¯k+∂R¯s∂a¯kda¯k.Sinceas, ass=1,2,⋯,n are independent variables, we have
(39)da¯k=∂a¯k∂tdt+∂a¯k∂ajdaj+∂a¯k∂ajdaj,da¯k=∂a¯k∂tdt+∂a¯k∂ajdaj+∂a¯k∂ajdaj.Substituting formula (38) into equation (9), and considering the relation (39), we get
(40)Rs−∂F5∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+Rs−∂F5∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂as+a¯k∂R¯k∂a¯j∂a¯j∂asdas+B¯−B−∂F5∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂t+a¯k∂R¯k∂a¯j∂a¯j∂t+a¯k∂R¯k∂a¯j∂a¯j∂tdt=0.By the independence ofdas and das, we get the results easily. The theorem is proved.For the Hamilton system (15), equation (36) gives
(41)ps=∂F5∂qs−q¯j∂p¯j∂qs,q¯j∂p¯j∂ps=∂F5∂ps,H¯=H+∂F5∂t−q¯j∂p¯j∂t.So, from Theorem11, we have the following corollary.Corollary 12.
If we take the old variablesqs and pss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (41) is the canonical transformation of Hamilton system (15), where F5t,qs,ps is called the fifth kind of generating function.Theorem 13.
If the new variablesa¯s and a¯ss=1,2,⋯,n are regarded as 2n independent variables, namely, the generating function is taken as F6t,a¯s,a¯s, then the transformation determined by the following equations
(42)−R¯s−∂F6∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s=0,−R¯s−∂F6∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s=0,B¯−B−∂F6∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂aj∂aj∂t=0is the generalized canonical transformation of Birkhoff system (1), where F6t,a¯s,a¯s is called the sixth kind of generating function.Proof.
Let(43)F=F6t,a¯s,a¯s+Rsas+Rsas.We have(44)dF=∂F6∂tdt+∂F6∂a¯sda¯s+∂F6∂a¯sda¯s+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak+Rsdas+as∂Rs∂tdt+∂Rs∂akdak+∂Rs∂akdak.Sincea¯s, a¯ss=1,2,⋯,n are independent variables, we have
(45)dak=∂ak∂tdt+∂ak∂a¯jda¯j+∂ak∂a¯jda¯j,dak=∂ak∂tdt+∂ak∂a¯jda¯j+∂ak∂a¯jda¯j.Substituting formula (44) into equation (9), and considering the relations (45), we get
(46)−R¯s−∂F6∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯sda¯s+−R¯s−∂F6∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯s−ak∂Rk∂aj∂aj∂a¯sda¯s+B¯−B−∂F6∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂t−ak∂Rk∂aj∂aj∂t−ak∂Rk∂aj∂aj∂tdt=0.By the independence ofda¯s and da¯s, we get the results easily. The theorem is proved.For the Hamilton system (15), equation (42) gives
(47)p¯s=−∂F6∂q¯s−qj∂pj∂q¯s,qj∂pj∂p¯s=−∂F6∂p¯s,H¯=H+∂F6∂t+qj∂pj∂t.So, from Theorem13, we have the following corollary.Corollary 14.
If we take the new variablesq¯s and p¯ss=1,2,⋯,n as 2n independent variables, the transformation determined by equation (47) is the canonical transformation of Hamilton system (15), where F6t,q¯s,p¯s is called the sixth kind of generating function.The generating functionsF1t,qs,q¯s, F2t,qs,p¯s, F3t,ps,q¯s, and F4t,ps,p¯s for Hamilton system (15) are consistent with the classical results [20, 21], while the fifth kind of generating function F5t,qs,ps and the sixth kind of generating function F6t,q¯s,p¯s and their corresponding canonical transformations (41) and (47) are generally not reported in the classic textbooks, for example, [20, 21].The application of the theorems given above has two aspects. One is that you can specify the explicit form of any kind of the generating functions. The corresponding generalized canonical transformation can be calculated according to the generating function by using the theorem on implicit functions. Second, if a generalized canonical transformation is specified, the corresponding generating function can be obtained by applying the above transformation formulas.


## 4. Examples

(48)B=16t2a16+12t2a1a22,R1=0,R2=−12a12.Example 1.
The famous Lane-Emden equation [4, 22] arising in the field of mathematical physics and astrophysics can be expressed as the following Birkhoff system:Let us study the generalized canonical transformation of the system.According to (48), Birkhoff’s equations of the system are
(49)−a1ȧ2−t2a15−1t2a1a22=0,a1ȧ1−1t2a12a2=0.If we takeF5=F5t,a1,a2 as the generating function, by using the transformation formula (36), we have
(50)R1−∂F5∂a1+a¯1∂R¯1∂a¯1∂a¯1∂a1+a¯1∂R¯1∂a¯2∂a¯2∂a1+a¯2∂R¯2∂a¯1∂a¯1∂a1+a¯2∂R¯2∂a¯2∂a¯2∂a1=0,R2−∂F5∂a2+a¯1∂R¯1∂a¯1∂a¯1∂a2+a¯1∂R¯1∂a¯2∂a¯2∂a2+a¯2∂R¯2∂a¯1∂a¯1∂a2+a¯2∂R¯2∂a¯2∂a¯2∂a2=0,B¯−B−∂F5∂t+a¯1∂R¯1∂t+a¯1∂R¯1∂a¯1∂a¯1∂t+a¯1∂R¯1∂a¯2∂a¯2∂t+a¯2∂R¯2∂t+a¯2∂R¯2∂a¯1∂a¯1∂t+a¯2∂R¯2∂a¯2∂a¯2∂t=0.Suppose the transformed Birkhoff’s functions are(51)R¯1=a¯2,R¯2=0.Substituting (51) into equation (50), we have
(52)−∂F5∂a1+a¯1∂a¯2∂a1=0,−12a12−∂F5∂a2+a¯1∂a¯2∂a2=0,B¯−16t2a16−12t2a1a22−∂F5∂t+a¯1∂a¯2∂t+a¯1∂a¯2∂t=0.If we takeF5=−1/2a12a2, from the second equation of (52), we get
(53)a¯2=fa1,where fa1 represents any differentiable function of a1. Substituting equation (53) and F5=−1/2a12a2 into the first equation of (52), we get
(54)a1a2+a¯1f′a1=0.If we takefa1=a1, then we the following generalized canonical transformation
(55)a¯1=−a1a2,a¯2=a1.According to the third equation of (52), the new Birkhoffian is obtained as
(56)B¯=12t2a¯12+16t2a¯26.From formulas (51) and (56), we get the new Birkhoff’s equation as follows:
(57)−a¯̇2−1t2a¯1=0,a¯̇1−t2a¯25=0,where a¯1 and a¯2 are the new variables. Here, the new equation (57) is simpler than the original equation (49).
(58)B=18e−ta14+a222a12et+12a1a2,R1=a2,R2=0.Example 2.
We now study a nonconservative system [4], whose Birkhoffian and Birkhoff’s functions areBirkhoff’s equations of the system can be written as(59)−ȧ2−12e−ta13+a22a13et−12a2=0,ȧ1−a2a12et−12a1=0.According to Birkhoff’s equation (59), the second-order differential equation of motion of the system is
(60)−e−ta12a¨1−e−ta1ȧ12+e−ta12ȧ1−12e−ta13=0.If we takeF2t,a1,a¯2 as the generating function, by using the transformation formula (18), we have
(61)a2−∂F2∂a1+a¯1∂R¯1∂a¯1∂a¯1∂a1=0,−R¯2−∂F2∂a¯2+a¯1∂R¯1∂a¯2+a¯1∂R¯1∂a¯1∂a¯1∂a¯2=0,B¯−18e−ta14−a222a12et−12a1a2−∂F2∂t+a¯1∂R¯1∂t+a¯1∂R¯1∂a¯1∂a¯1∂t=0.Suppose new Birkhoff’s functions are(62)R¯1=a¯2,R¯2=0.Then equation (61) is reduced to
(63)a2−∂F2∂a1=0,−∂F2∂a¯2+a¯1=0,B¯−18e−ta14−a222a12et−12a1a2−∂F2∂t=0.If we take the transformation as follows,(64)a¯1=12e−ta12,a2=e−ta1a¯2.Substitute formula (64) into the first two equations of formula (63), we get
(65)F2=12e−ta12a¯2.Substituting formula (65) into the third equation of (63), we get
(66)B¯=12eta¯12+12e−ta¯22.From formulas (62) and (66), we obtain the new Birkhoff’s equations as follows:
(67)−a¯̇2−a¯1et=0,a¯̇1−a¯2e−t=0,where a¯1 and a¯2 are the new variables. Similarly, other forms of generalized canonical transformations given in this paper can be obtained.


## 5. Conclusions

Birkhoffian mechanics is a natural generalization of Hamiltonian mechanics. It is because Birkhoff systems have many good properties, such as autonomous and semiautonomous Birkhoff systems have a Lie algebraic structure and proper symplectic form and Birkhoff’s equations have self-adjoint form, that Birkhoff systems are widely used in physics, mechanics, engineering, and other fields. In addition, the generalized canonical transformation has the property of preserving algebraic and geometric structures, which lays a foundation for the Hamilton-Jacobi method, so it is an important aspect of the integral theory of analytical mechanics. In this paper, we studied the generalized canonical transformations of Birkhoff systems. Our main work consists of three aspects. The first is that we derived the criterion equation (8) or (9) of the generalized canonical transformations of Birkhoff systems. The second is that, according to the selection of 2n independent variables, we presented six different forms of generating functions, and the method we constructed generating functions is different from the existing methods, as shown in formula (11), (19), (25), (35), (37), and (43). The third is that, based on the basic identity (9), six kinds of generalized canonical transformation formulas corresponding to the generating functions are derived from the independence of variables, namely, (10), (18), (24), (30), (36), and (42), which are the new results of this paper. The main results are summarized as six theorems. At the end of the paper, we gave two examples to illustrate the validity of the results.



---

*Source: 9482356-2020-05-26.xml*