Linear complete differential resultants and the implicitization of linear DPPEs (Q846353)

In the paper the authors explore the first steps of the generalization to the differential case of the results in algebraic geometry on implicit representations of unirational varieties. For example, the following system of linear differential polynomial parametric equations \({{x}_{1}}={{u}_{1}}+{{u}_{2}}+{{{\dot{u}}}_{2}}\) \({{x}_{2}}=t{{{\dot{u}}}_{1}}+{{{\ddot{u}}}_{2}}\) \({{x}_{3}}={{u}_{1}}+{{{\dot{u}}}_{2}}\) has implicit equation \((t-1){{\ddot{x}}_{1}}-t{{\dot{x}}_{3}}-(t-1){{\ddot{x}}_{3}}+{{x}_{2}}=0\). To find such equations they suggest to use differential resultant. With that end in the paper the concept complete differential resultant of a finite set of linear differential polynomials is entered and the following theorem is proved. Theorem. Given a system \(P(X,U)\) of differential polynomial parametric equations. If the linear complete differential resultant \(\partial \text{CRes}({{F}_{1}},\ldots ,{{F}_{n}})\neq 0\) then the implicit equation of \(P(X,U)\) is \(\partial \text{CRes}({{F}_{1}},\ldots ,{{F}_{n}})(X)=0\). All computations in the paper are carried out with author's \texttt{MAPLE} implementation of functions to compute the differential resultant. The corrigendum gives a bibliographic correction to the paper.