A perturbed differential resultant based implicitization algorithm for linear DPPEs

DOI10.1016/J.JSC.2011.05.001MaRDI QIDQ2275897zbMATH OpenOpenAlexFDO

Authors Sonia Rueda

Publication date 10 August 2011

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

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

zbMATH Keywords

differential rational parametric equationsdifferential resultantimplicitizationperturbation

Mathematics Subject Classification ID

Differential algebra (12H05) Abstract differential equations (12H20)

Abstract: Let $$ be an ordinary differential field with derivation $partial$. Let $cP$ be a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters with implicit ideal $id$. Given a nonzero linear differential polynomial $A$ in $id$ we give necessary and sufficient conditions on $A$ for $cP$ to be $n-1$ dimensional. We prove the existence of a linear perturbation $c{P}_{phi}$ of $cP$ so that the linear complete differential resultant $dcre{s}_{phi}$ associated to $c{P}_{phi}$ is nonzero. A nonzero linear differential polynomial in $id$ is obtained from the lowest degree term of $dcre{s}_{phi}$ and used to provide an implicitization algorithm for $cP$.

Review text

In the present article the author continues research of [\textit{S. L. Rueda} and \textit{J. R. Sendra}, J. Symb. Comput. 45, No. 3, 324--341 (2010; Zbl 1222.12009)] on a differential resultant for an implicitization algorithm of a system of linear differential polynomial parametric equations (\(P\)). In the case when the differential resultant of the initial system \(P\) is zero, it is shown how to pass to the new (perturbed) system and to use its differential resultant for implicitization of the initial system \(P\). The specified approach is illustrated by a concrete example using MAPLE.

Recommendations

• Linear differential implicitization and differential resultants
• Linear complete differential resultants and the implicitization of linear DPPEs
• A zero structure theorem for differential parametric systems
• Implicitization of differential rational parametric equations.
• An algorithm for solving partial differential parametric systems.

Cites work

• Associative differential operations
• Generalised characteristic polynomials
• scientific article; zbMATH DE number 1206418 (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 3415973 (Why is no real title available?)
• Implicitization of differential rational parametric equations.
• Linear complete differential resultants and the implicitization of linear DPPEs
• Solving degenerate sparse polynomial systems faster

Cited in

(3)

• Unirational differential curves and differential rational parametrizations
• Linear sparse differential resultant formulas
• Linear complete differential resultants and the implicitization of linear DPPEs

Describes a project that uses

Uses Software

• Maple
• DiffRes

This page was built for publication: A perturbed differential resultant based implicitization algorithm for linear DPPEs

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