Existential theorem of conserved quantities and its inverse for the dynamics of nonholonomic relativistic systems

We present a general approach to the construction of conservation laws for the dynamics of nonholonomic relativistic systems. Firstly, we give the definition of integrating factors for the differential equations of motion of a mechanical system. Next, the necessary conditions for the existence of the conserved quantities are studied in detail. Then, we establish the existential theorem for the conserved quantities and its inverse for the equations of motion of a nonholonomic relativistic system. Finally, an example is given to illustrate the application of the result.