Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.

François Lemaire (1, 2) , Alexandre Sedoglavic (1, 2, 3) , Asli Urguplu (1, 2)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 CALFOR - Calcul Formel
3 ALIEN - Algebra for Digital Identification and Estimation

When an ordinary differential/recurrence system presents a m-parameters solvable group of symmetries, Lie group theory states that its number of variables could be reduce by m. This reduction process is classically done by rewriting original problem in an invariant coordinates set for these symmetries. We show how to use computational strategies using non explicit (infinitesimal) data representation in the reduction process and thus, how to avoid—for differential systems—the explicit expansive computation of these invariants. Thus, these strategies lead to efficient algorithms that were used in the maple implementation.

Keywords: Lie point symmetry. Reduction process. Computer Algebra.; Lie point symmetry. Reduction process. Computer Algebra

Domains: Symbolic Computation [cs.SC]

François Lemaire, Alexandre Sedoglavic, Asli Urguplu. Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.. 2008. ⟨hal-00212331⟩