Results 1  10
of
25
Moving frames for Lie pseudo–groups
 Canadian J. Math
"... Abstract. We propose a new, constructive theory of moving frames for Lie pseudogroup actions on submanifolds. The moving frame provides an effective means for determining complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relation ..."
Abstract

Cited by 31 (17 self)
 Add to MetaCart
Abstract. We propose a new, constructive theory of moving frames for Lie pseudogroup actions on submanifolds. The moving frame provides an effective means for determining complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, and solving equivalence and symmetry problems arising in a broad range of applications. Mathematics subject classification.
Differential Invariant Algebras of Lie Pseudo–Groups
, 2012
"... The aim of this paper is to describe, in as much detail as possible and constructively, the structure of the algebra of differential invariants of a Lie pseudogroup acting on the submanifolds of an analytic manifold. Under the assumption of local freeness ofasuitablyhighorder prolongationofthepse ..."
Abstract

Cited by 26 (13 self)
 Add to MetaCart
(Show Context)
The aim of this paper is to describe, in as much detail as possible and constructively, the structure of the algebra of differential invariants of a Lie pseudogroup acting on the submanifolds of an analytic manifold. Under the assumption of local freeness ofasuitablyhighorder prolongationofthepseudogroup action, wedevelop computational algorithms for locating a finite generating set of differential invariants, a complete system of recurrence relations for the differentiated invariants, and a finite system of generating differential syzygies among the generating differential invariants. In particular, if the pseudogroup acts transitively on the base manifold, then the algebra of differential invariants is shown to form a rational differential algebra with noncommuting derivations. The essential features of the differential invariant algebra are prescribed by a pair of commutative algebraic modules: the usual symbol module associated with the infinitesimal determining system of the pseudogroup, and a new “prolonged symbol module” constructed from the symbols of the annihilators of the prolonged pseudogroup generators. Modulo low order complications, thegenerating differential invariants and differential syzygies are in onetoone correspondence with the algebraic generators and syzygies of an invariantized version of the prolonged symbol module. Our algorithms and proofs are all constructive, and rely oncombining the movingframe approach developed inearlier papers with Gröbner basis algorithms from commutative algebra.
Algorithms for differential invariants of symmetry groups of differential equations
 Found. Comput. Math
"... Abstract. We present new computational algorithms, based on equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudogroups of differential equations and establishing the structure of the induced differential invariant algebra. The Korteweg–deVries and Kadomtsev– ..."
Abstract

Cited by 14 (10 self)
 Add to MetaCart
(Show Context)
Abstract. We present new computational algorithms, based on equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudogroups of differential equations and establishing the structure of the induced differential invariant algebra. The Korteweg–deVries and Kadomtsev–Petviashvili equations are studied to illustrate these methods. 1.
Symmetry group analysis of the shallow water and semigeostrophic
"... The twodimensional shallow water equations and their semigeostrophic approximation that arise in meteorology and oceanography are analysed from the point of view of symmetry groups theory. A complete classification of their associated classical symmetries, potential symmetries, variational symmetr ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
The twodimensional shallow water equations and their semigeostrophic approximation that arise in meteorology and oceanography are analysed from the point of view of symmetry groups theory. A complete classification of their associated classical symmetries, potential symmetries, variational symmetries and conservation laws is found. The semigeostrophic equations are found to lack conservation of angular momentum. We also show how the particle relabelling symmetry can be used to rewrite the semigeostrophic equations in such a way that a welldefined formal series solution, smooth only in time, may be carried out. We show that such solutions are in the form of an ‘infinite linear cascade’. 1.
Recursive Moving Frames
, 2011
"... A recursive algorithm for the equivariant method of moving frames, for both finitedimensional Lie group actions and Lie pseudogroups, is developed and illustrated by several examples of interest. The recursive method enables one avoid unwieldy symbolic expressions that complicate the treatment of ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
A recursive algorithm for the equivariant method of moving frames, for both finitedimensional Lie group actions and Lie pseudogroups, is developed and illustrated by several examples of interest. The recursive method enables one avoid unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method.
Algebraic and Differential Invariants
 FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, BUDAPEST 2011, LONDON MATHEMATICAL SOCIETY LECTURE NOTE SERIES (403)
, 2011
"... This article highlights a coherent series of algorithmic tools to compute and work with algebraic and differential invariants. ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
This article highlights a coherent series of algorithmic tools to compute and work with algebraic and differential invariants.
Solving local equivalence problems with the equivariant moving frame method
"... Abstract. Given a Lie pseudogroup action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate mod ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. Given a Lie pseudogroup action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate modifications and assumptions, the equivariant moving frame constructions extend to submanifold jets where the pseudogroup does not act freely at any order. Once this is done, we review the solution to the local equivalence problem of submanifolds within the equivariant moving frame framework. This offers an alternative approach to Cartan’s equivalence method based on the theory of Gstructures. Key words: differential invariant; equivalence problem; Maurer–Cartan form; moving frame
Differential Invariant Algebras
"... Abstract. The equivariant method of moving frames provides an algorithmic procedure for determining and analyzing the structure of algebras of differential invariants for both finitedimensional Lie groups and infinitedimensional Lie pseudogroups. This paper surveys recent developments, including ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
Abstract. The equivariant method of moving frames provides an algorithmic procedure for determining and analyzing the structure of algebras of differential invariants for both finitedimensional Lie groups and infinitedimensional Lie pseudogroups. This paper surveys recent developments, including a few surprises and several open questions. 1. Introduction. Differential invariants are the fundamental building blocks for constructing invariant differential equations and invariant variational problems, as well as determining their explicit solutions and conservation laws. The equivalence, symmetry and rigidity properties of submanifolds are all governed by their differential invariants. Additional applications