中文摘要：

基于Birkhoff动力学函数包含系统全部运动信息的观点,借鉴Hamilton系统导出第一积分的思路,结合自治、半自治Birkhoff方程的定义和Birkhoff张量反对称性的特点,研究判别给定Birkhoff动力学函数是否是系统第一积分的方法.主要结论包括：证明自治系统的Birkhoff函数必是系统的第一积分,而半自治系统的Birkhoff函数一定不是系统的第一积分;针对非自治Birkhoff系统,导出循环积分、类循环积分以及Hojman积分,并讨论积分之间的关系.最后,通过两个例子来说明结论的具体应用.

英文摘要：

As is well known, the development of analysis mechanics from Lagrangian systems to Birkhoffian systems, achieved the self-adjointness representations of the constrained mechanical systems. Based on the Cauchy-Kovalevsky theorem of the integrability conditions for partial differential equations and the converse of the Poincar~ lemma, it can be proved that there exists a direct universality of Birkhoff＇s equations for local Newtonian system by reducing Newton＇s equations into a first-order form, which means that all local, analytic, regular, finite-dimensional, unconstrained or holonomic, conservative or non-conservative forms always admit, in a star-shaped neighborhood of a regular point of their variables, a representation in terms of first-order Birkhoff＇s equations in the coordinate and time variables of the experiment. The systems whose equations of motion are represented by the first-order Birkhoff＇s equations on a symplectic or a contact manifold spanned by the physical variables, are called Birkhoffian systems. The theory and method of Birkhoffian dynamics are used in hadron physics, quantum physics, relativity, rotational relativity, and fractional-order dynamics. At present, for a given dynamical system, it is important and essential to determine whether a Birkhoffian function is the first integral of the system. Although the numerical approximation is an important method of solving the differential equations, the direct theoretical analysis is more helpful for refining the general integral method, and more consistent with the usual way of solving problems of analysis mechanics. In this paper, we study how to judge whether a given Birkhoffian dynamical function to be a first integral of Birkhoff＇s equations, based on the point of Birkhoffian dynamical functions carrying all the informationabout motion of the system, and use the thought of deriving the first integrals of Hamiltonian systems. In Section 2, the normal first-order form and the Birkhoff＇s equations of the equations of motion of ho