Abstract
A new class of involutive divisions induced by certain orderings of monomials is considered. It is proved that these divisions are Noetherian and constructive. Therefore, each of them allows one to compute an involutive Gröbner basis of a polynomial ideal by sequentially examining multiplicative reductions of nonmultiplicative prolongations. The dependence of involutive algorithms on the completion ordering is studied. Based on the properties of particular involutive divisions, two computational optimizations are suggested. One of them consists of a special choice of the completion ordering. The other optimization is related to recomputing multiplicative and nonmultiplicative variables in the course of the algorithm. Bibliography: 17 titles.
Similar content being viewed by others
REFERENCES
V. P. Gerdt and Yu. A. Blinkov, "Involutive bases of polynomial ideals," Math. Comp. Simul., 45, 519-542 (1998).
V. P. Gerdt and Yu. A. Blinkov, "Minimal involutive bases," Math. Comp. Simul., 45, 543-560 (1998).
B. Buchberger, An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal [in German], PhD Thesis, Univ. Innsbruck (1965).
J.-F. Pommaret, Partial Differential Equations and Group Theory. New Perspectives for Applications, Kluwer, Dordrecht (1994).
V. P. Gerdt, "Gröbner bases and involutive methods for algebraic and differential equations," Math. Comp. Model., 25, 75-90 (1997).
M. Janet, "Sur les systèmes d'équations aux dérivées partielles," J. Math. Pure Appl., 3, 65-151 (1920).
J. Thomas, Differential Systems, Am. Math. Soc., New York (1937).
J. E. Pommaret, Systems of Partial Differential Equations and Lie Pseudogroups, Gordon and Breach, New York (1978).
A. Yu. Zharkov and Yu. A. Blinkov, "Involutive approach to investigating polynomial systems," Math. Comp. Simul., 42, 323-332 (1996).
B. Buchberger, "Gröbner bases: an algorithmic method in polynomial ideal theory," in: Recent Trends in Multidimensional System Theory, N. K. Bose (ed.), Reidel, Dordrecht (1985), pp. 184-232.
T. Becker, V. Weispfenning, and H. Kredel, Gröbner Bases. A Computational Approach to Commutative Algebra (Grad. Texts Math., 141), Springer-Verlag, New York (1993).
J. Apel, "Theory of involutive divisions and an application to Hilbert functions," J. Symb. Comp., 25, 683-704 (1997).
A. Yu. Zharkov, "Solving zero-dimensional involutive systems," in: Algorithms in Algebraic Geometry and Applications (Progress Math., 143), L. Gonzales-Vega and T. Recio (eds.), Birkhäuser, Basel (1996), pp. 389-399.
V. P. Gerdt, M. Berth, and G. Czichowski, "Involutive divisions in Mathematica: Implementation and some applications," in: Proc. 6th Rhein Workshop Computer Algebra (St. Augustin, March 31-April 3, 1998), Inst. Algorithms Sci. Computing. GMD-SCAI, St. Augustin (1998), pp. 74-91.
F. Schwarz, "An algorithm for determining the size of symmetry groups," Computing, 49, 95-115 (1992).
F. Schwarz, "Janet bases of 2nd order ordinary differential equations, " in: Proc. ISSAC'96, ACM Press (1996), pp. 179-188.
W. M. Seiler, Analysis and Application of the Formal Theory of Partial Differential Equations, PhD Thesis, Lancaster Univ. (1994). 1051
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gerdt, V.P. Involutive Division Techniques: Some Generalizations and Optimizations. Journal of Mathematical Sciences 108, 1034–1051 (2002). https://doi.org/10.1023/A:1013596522989
Issue Date:
DOI: https://doi.org/10.1023/A:1013596522989