Differential Algebra for Derivations with Nontrivial Commutation Rules Evelyne Hubert INRIA Sophia Antipolis, Sophia Antipolis 06902, France
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 200 (2005) 163–190 www.elsevier.com/locate/jpaa Differential algebra for derivations with nontrivial commutation rules Evelyne Hubert INRIA Sophia Antipolis, Sophia Antipolis 06902, France Received 21 October 2003; received in revised form20 October 2004 Available online 2 March 2005 Communicated by M.-F. Roy Abstract The classical assumption of differential algebra, differential elimination theory and formal inte- grability theory is that the derivations do commute. This is the standard case arising from systems of partial differential equations written in terms of the derivations w.r.t. the independant variables. We inspect here the case where the derivations satisfy nontrivial commutation rules. Such a situation arises, for instance, when we consider a systemof equations on the differential invariants of a Lie group action. We develop the algebraic foundations for such a situation. They lead to algorithms for completion to formal integrability and differential elimination. © 2005 Elsevier B.V. All rights reserved. MSC: 12H05, 12H20, 53A55, 16W22, 16W25, 16W99, 16S15, 16S30, 16S32 1. Introduction We establish the bases of a differential algebra theory, aimed at differential elimination, where the derivations do not commute but satisfy some non trivial relationships. Classically [21,36], to treat algebraic differential systems with independent variables (t1,...,tm) and dependent variables Y ={y1,...,yn} we introduce the ring of differ- m ential polynomials F[y | y ∈ Y, ∈ N ] where F is a field of rational or meromor- phic functions in (t1,...,tm).
[Show full text]