Fast computation of discrete invariants associated to a differential rational mapping

DOI10.1016/S0747-7171(03)00091-9MaRDI QIDQ1878484zbMATH OpenFDO

Authors Guillermo Matera, Alexandre Sedoglavic

Publication date 20 August 2004

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0747-7171(03)00091-9

discrete invariants probalistic algorithm straight-line program

Differential algebra (12H05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Review text

Let \(k\) be a numerical field of characteristic zero. The authors exhibit new algorithms connected with a problem of numerical integration of systems of first order algebraic differential equations over \(k\) of the form (1) \(f(x, \dot{x}) =0\), where \(f:k^{2n}\rightarrow k^{n}\) is a rational mapping, when a Jacobian determinant of the system is zero. In such cases the application of the implicit function theorem is impossible and local passage from a system (1) to its explicit form (2) \(\dot{x}=g(x)\) needs the additional discrete information (differentiation index, differential Hilbert function, algebraic parametric set). In order to obtain this information, one may consider a system (3) \(f(x, \dot{x}) =y\) (generic perturbation of (1)) and fulfill the process of completion, with the help of algorithms which have exponential complexity. In this paper the authors offer an alternative approach based on the use of differentially algebraic technics [see \textit{E. R. Kolchin}, Differential algebra and algebraic group, New York: Academic Press (1973; Zbl 0264.12102), Chs. 3-4] and numeric-symbolic algorithms [see \textit{G. Reid, C. Smith, J. Verschelde}, Geometric completion of differential systems using numeric-symbolic continuation, SIGSAM Bull. 36, No. 2, 1--17 (2002; Zbl 1054.65090)] which have polynomial complexity. Reviewer's remark: The results of the paper are obtained assuming that the components of the map \(f\) are differentially algebraically independent over \(k\) (i.e. do not satisfy any differential equation over \(k\)). However it is not clear as far as realization of this condition for rational functions is easily checked.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

Uses Software

ObservabilityTest

This page was built for publication: Fast computation of discrete invariants associated to a differential rational mapping

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878484)