“…If we restrict to Y ≡ 0, this becomes the well-studied example by S. Lie, A. Tresse and A. Kumpera [29]. This example is rather simple 7 : there is only one singular orbit {u = 0} and the algebra of invariants is generated by 1 differential invariant and two invariant derivations.…”
Section: An Example Of Computationsmentioning
confidence: 96%
“…It is important to use global invariants (as algebraic classifications are always global). In this way the classical equivalence problem for binary and ternary forms was solved in [7], and a more general problem on equivalence under an irreducible algebraic action of a reductive Lie group can be also solved.…”
Section: Examples Of Calculationsmentioning
confidence: 99%
“…This implies, in particular, a possibility to solve algebraic equivalence problems via the differential-geometric technique (see, e.g., [7]). …”
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations.
“…If we restrict to Y ≡ 0, this becomes the well-studied example by S. Lie, A. Tresse and A. Kumpera [29]. This example is rather simple 7 : there is only one singular orbit {u = 0} and the algebra of invariants is generated by 1 differential invariant and two invariant derivations.…”
Section: An Example Of Computationsmentioning
confidence: 96%
“…It is important to use global invariants (as algebraic classifications are always global). In this way the classical equivalence problem for binary and ternary forms was solved in [7], and a more general problem on equivalence under an irreducible algebraic action of a reductive Lie group can be also solved.…”
Section: Examples Of Calculationsmentioning
confidence: 99%
“…This implies, in particular, a possibility to solve algebraic equivalence problems via the differential-geometric technique (see, e.g., [7]). …”
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations.
In this paper we study problems of classifications of smooth and rational functions and foliations with respect to the actions of affine group SA(2) on them. Algebras of differential invariants of these actions are found and criteria of equivalence are obtained.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.