Differential elimination by differential specialization of Sylvester style matrices

DOI10.1016/J.AAM.2015.07.002MaRDI QIDQ895967zbMATH OpenOpenAlexFDO

Authors Sonia Rueda

Publication date 11 December 2015

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.2081

zbMATH Keywords

differential eliminationsparse differential resultantsparse resultantdifferential specializationLaurent differential polynomial

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Abstract differential equations (12H20)

Abstract: Differential resultant formulas are defined, for a system $mathcalP$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials obtained from $mathcalP$ through derivations and multiplications by Laurent monomials. To start, through derivations, a system $ps(mathcalP)$ of $L$ polynomials in $L-1$ algebraic variables is obtained, which is non sparse in the order of derivation. This enables the use of existing formulas for the computation of algebraic resultants, of the multivariate sparse algebraic polynomials in $ps(mathcalP)$, to obtain polynomials in the differential elimination ideal generated by $mathcalP$. The formulas obtained are multiples of the sparse differential resultant defined by Li, Yuan and Gao, and provide order and degree bounds in terms of mixed volumes in the generic case.

Recommendations

• Linear sparse differential resultant formulas
• Sparse differential resultant
• Sparse differential resultant for Laurent differential polynomials
• Matrix formulae of differential resultant for first order generic ordinary differential polynomials
• Differential Chow form and sparse differential resultant
• New bounds and an efficient algorithm for sparse difference resultants
• Generalized differential resultant systems of algebraic ODEs and differential elimination theory

Cites work

• scientific article; zbMATH DE number 5376804 (Why is no real title available?)
• scientific article; zbMATH DE number 3987703 (Why is no real title available?)
• scientific article; zbMATH DE number 1206418 (Why is no real title available?)
• scientific article; zbMATH DE number 1346518 (Why is no real title available?)
• scientific article; zbMATH DE number 517393 (Why is no real title available?)
• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• scientific article; zbMATH DE number 1736029 (Why is no real title available?)
• scientific article; zbMATH DE number 2077082 (Why is no real title available?)
• scientific article; zbMATH DE number 3225844 (Why is no real title available?)
• scientific article; zbMATH DE number 3252945 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 2226485 (Why is no real title available?)
• A bound for orders in differential Nullstellensatz
• A resultant theory for the systems of two ordinary algebraic differential equations
• A subdivision-based algorithm for the sparse resultant
• Computing differential characteristic sets by change of ordering
• Differential equations with symbolic computation.
• Factorization-free decomposition algorithms in differential algebra
• Gröbner bases in symbolic analysis. Based on talks delivered at the special semester on Gröbner bases and related methods, Linz, Austria, May 2006
• Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
• Linear sparse differential resultant formulas
• Macaulay style formulas for sparse resultants
• Matrix formulae of differential resultant for first order generic ordinary differential polynomials
• On the Newton polytope of the resultant
• Product formulas for resultants and Chow forms
• Sparse differential resultant for Laurent differential polynomials

Cited in

(8)

• Index reduction of differential algebraic equations by differential Dixon resultant
• Differential Chow form and sparse differential resultant
• Differential elimination with Dixon resultants
• Generalized differential resultant systems of algebraic ODEs and differential elimination theory
• Matrix formulae of differential resultant for first order generic ordinary differential polynomials
• Sparse differential resultant for Laurent differential polynomials
• Linear sparse differential resultant formulas
• Sparse differential resultant

Describes a project that uses

Uses Software

• DIFFALG
• BLAD

This page was built for publication: Differential elimination by differential specialization of Sylvester style matrices

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