Differential elimination by differential specialization of Sylvester style matrices

DOI10.1016/J.AAM.2015.07.002zbMATH Open1375.12003arXiv1310.2081OpenAlexW3103520372MaRDI QIDQ895967FDOQ895967

Authors: Sonia Rueda 

Publication date: 11 December 2015

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Newton polytope of the resultant
• Title not available (Why is that?)
• Factorization-free decomposition algorithms in differential algebra
• Computing differential characteristic sets by change of ordering
• A bound for orders in differential Nullstellensatz
• Macaulay style formulas for sparse resultants
• Linear sparse differential resultant formulas
• Title not available (Why is that?)
• A subdivision-based algorithm for the sparse resultant
• Title not available (Why is that?)
• A resultant theory for the systems of two ordinary algebraic differential equations
• Title not available (Why is that?)
• Product formulas for resultants and Chow forms
• Differential equations with symbolic computation.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sparse differential resultant for Laurent differential polynomials
• 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
• Matrix formulae of differential resultant for first order generic ordinary differential polynomials
• Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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
• Sparse differential resultant
• Linear sparse differential resultant formulas

Uses Software

• BLAD
• DIFFALG

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)