This paper introduces a new, fully recursive algorithm for computing moving frames and differential invariants of Lie pseudo-group actions. The recursive method avoids unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method. The development leads to novel results on partial moving frames, structure equations, and new differential operators underlying the moving frame construction. In particular, our methods produce a streamlined computational algorithm for determining moving frames and differential invariants of finite-dimensional Lie group actions.
Bibliographical noteFunding Information:
Peter J. Olver was supported in part by NSF Grant DMS 11–08894. Francis Valiquette was supported in part by an AARMS Postdoctoral Fellowship.
© 2018, Springer International Publishing AG, part of Springer Nature.
- Differential invariant
- Maurer–Cartan form
- lie pseudo-group
- moving frame
- recurrence formula