THE CALCULUS OF GENERATING FUNCTIONS AND THE FORMAL ENERGY FOR HAMILTONIAN ALGORITHMS

1.DarbouxTransformationConsidercotangentbundleT*R"acRZnwithnaturalsymplecticstructureandtheproductofcotangentbundles(T*R")x(T*R")=R4nwithnaturalproductsymplecticstructureCorrespondingly,weconsidertheproductspaceR"xR"rsRZn.ItscotangentbunT*(R"xR")=T*Rzn=R'nhasnaturalsymplecticstructure')PreparedbyQinMengzhaoChoosesymplecticcoordinatesz~(p,q)onthesymplecticmanifold,thenforsymplectictransformationg:T*R"~T*R",wehaveitisaLagrangiansubmanifoldofT*R"xT*RninR4n~(R'",J4.).NotethatonR4nth…

THE CALCULUS OF GENERATING FUNCTIONS AND THE FORMAL ENERGY FOR HAMILTONIAN ALGORITHMS

In [2-4],symplectic schemes of arbitrary order are constructed by generating functions. However the construction of generating functions is dependent on the chosen coordinates. One would like to know that under what circumstance the construction of generating functions will be independent of the coordinates. The generating functions are deeply associated with the conservation laws, so it is important to study their properties and computations. This paper will begin with the study of Darboux transformation, then in section 2, a normalization Darboux transformation will be defined naturally. Every symplectic scheme which is constructed from Darboux transformation and compatible with the Hamiltonian equation will satisfy this normalization condition. In section 3, we will study transformation properties of generator maps and generating functions. Section 4 will be devoted to the study of the relationship between the invariance of generating functions and the generator maps. In section 5, formal symplectic erengy of symplectic schemes are presented.