Recognizing the symmetry type of ODEs

[摘要] An algorithm is presented to determine the symmetry type of an explicit ordinary differential equation of order at least 2. From a Janet basis for the determining system, the Lie algebra of point symmetries can be obtained abstractly, as well as the isotropy subalgebra at the origin. This pair is the input of a decision procedure that determines whether the Lie algebra is transitive and, if so, outputs the associated entry on Lie's list of transitive Lie algebras. (C) 2001 Elsevier Science B.V. All rights reserved.

[发布日期] 2001-10-24

[效力级别]  Proceedings Paper