A perturbed differential resultant based implicitization algorithm for linear DPPEs
Abstract
Let $\bbK$ 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 $\cP_{\phi}$ of $\cP$ so that the linear complete differential resultant $\dcres_{\phi}$ associated to $\cP_{\phi}$ is nonzero. A nonzero linear differential polynomial in $\id$ is obtained from the lowest degree term of $\dcres_{\phi}$ and used to provide an implicitization algorithm for $\cP$.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2010
- DOI:
- arXiv:
- arXiv:1003.4375
- Bibcode:
- 2010arXiv1003.4375R
- Keywords:
-
- Mathematics - Classical Analysis and ODEs;
- 34L99
- E-Print:
- Journal of Symbolic Computation, 46, 977-996 (2011)