Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite

With the help of computer algebra methods properties of the algebraic system that determines stationary motions of an axisymmetric satellite moving along a circular orbit subject to gravitational and active damping moments are investigated. The main attention is paid to the study of the conditions for the existence of stationary satellite motions. Computer algebra methods based on the algorithm for the construction of Grobner bases are applied to reduce the satellite stationary motion system of six algebraic equations in six variables to a single algebraic equation in one variable that determines all stationary motions of the satellite. A classification of domains with equal numbers of stationary solutions is carried out using algebraic methods for constructing discriminant hypersurfaces. The effectiveness of various algorithms for constructing Grobner bases for the solution of the problem under consideration was compared.