Differential elimination by differential specialization of Sylvester style matrices (Q895967): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.aam.2015.07.002 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q3751886 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing differential characteristic sets by change of ordering / rank
 
Normal rank
Property / cites work
 
Property / cites work: A subdivision-based algorithm for the sparse resultant / rank
 
Normal rank
Property / cites work
 
Property / cites work: A resultant theory for the systems of two ordinary algebraic differential equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4470459 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5703438 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4266542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4209232 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329400 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Macaulay style formulas for sparse resultants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A bound for orders in differential Nullstellensatz / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5539557 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factorization-free decomposition algorithms in differential algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5680222 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sparse differential resultant for Laurent differential polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293528 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3543323 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282674 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Product formulas for resultants and Chow forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5514221 / rank
 
Normal rank
Property / cites work
 
Property / cites work: 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 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear sparse differential resultant formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Newton polytope of the resultant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential equations with symbolic computation. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.AAM.2015.07.002 / rank
 
Normal rank

Latest revision as of 07:32, 10 December 2024

scientific article
Language Label Description Also known as
English
Differential elimination by differential specialization of Sylvester style matrices
scientific article

    Statements

    Differential elimination by differential specialization of Sylvester style matrices (English)
    0 references
    0 references
    11 December 2015
    0 references
    The paper under review defines differential resultant formulas for a system \(\mathcal{P}\) 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 \(\mathcal{P}\) through the differentiation and multiplication by Laurent polynomials. The proposed construction generalizes the construction of differential resultants introduced in [\textit{G. Carrà Ferro}, Lect. Notes Comput. Sci. 1255, 55--65 (1997; Zbl 1039.12500)] and extends the results of the author [Linear Algebra Appl. 438, No. 11, 4296--4321 (2013; Zbl 1337.12002)] to the nonlinear case. Starting with the above-mentioned system \(\mathcal{P}\) with an additional ``super essential'' condition, the author obtains (through the appropriate number of differentiations of the elements of \(\mathcal{P}\)) an extended system \(\mathrm{ps}(\mathcal{P})\) of \(L\) polynomials in \(L-1\) algebraic variables, which is nonsparse in the order of derivation. At the same time, it is shown that every system contains a subsystem with the super essential condition. In the next part of the paper the author introduces a concept of an algebraic generic sparse system \(\mathrm{ags}(\mathcal{P})\) associated with a super essential system \(\mathcal{P}\). It is explained how such a system can be used for construction of a Sylvester style matrix \(\mathrm{Syl}(\mathcal{P})\) with the technique of [\textit{J. F. Canny} and \textit{I. Z. Emiris}, J. ACM 47, No. 3, 417--451 (2000; Zbl 1094.65508)] under additional conditions. Then the author obtains differential resultant formulas for \(\mathcal{P}\) through the specialization of \(\mathrm{Syl}(\mathcal{P})\) to the differential coefficients of \(\mathrm{ps}(\mathcal{P})\). The last part of this work considers a generic system of sparse differential polynomials. It is shown that the obtained formulas provide order and degree bounds for the sparse differential resultant \(\partial\mathrm{Res}(\mathcal{P})\) of \(\mathcal{P}\) defined in [\textit{W. Li} et al., Found. Comput. Math. 15, No. 2, 451--517 (2015; Zbl 1315.12003)]. The results of the paper are illustrated with several relevant examples.
    0 references
    differential elimination
    0 references
    Laurent differential polynomial
    0 references
    sparse resultant
    0 references
    differential specialization
    0 references
    sparse differential resultant
    0 references
    0 references
    0 references

    Identifiers