Abstract
This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld–Gröbner, which computes a representation for the radical \({\mathfrak p}\) of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo \({\mathfrak p}\) (it permits to test membership in \({\mathfrak p}\)). It permits also to compute Taylor expansions of solutions of Σ. The algorithm is implemented within a package (the package (diffalg) is available in MAPLE standard library since MAPLE VR5) in MAPLE.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Becker T., Weispfenning V. (1991) Gröbner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141. Springer, New York
Boulier, F.: Étude et Implantation de Quelques Algorithmes en Algèbre Différentielle. PhD thesis, Université Lille I, 59655, Villeneuve d’Ascq, France (1994).http://tel.archives-ouvertes.fr/tel-00137866
Boulier, F.: Some improvements of a lemma of Rosenfeld (never published) (1997)
Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: ISSAC’95: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, pp. 158–166, ACM Press, New York (1995). ISBN 0-89791-699-9.http://hal.archives-ouvertes.fr/hal-00138020
Bouziane D., Kandri Rody A., Maârouf H. (2001) Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symb. Comput. 31: 631–649
Buchberger, B.: A Criterion for Detecting Unnecessary Reductions in the Construction of Gröbner Bases. Lecture Notes in Computer Science, vol. 72, pp. 3–21. Springer, New York (1979)
Carra-Ferro, G.: Gröbner bases and differential ideals. In: Proceedings of AAECC 5, pp. 129–140, Springer, Menorca (1987)
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (1992)
Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)
Gallo G., Mishra B., Ollivier F. (1991) Some constructions in rings of differential polynomials. Lect. Notes Comput. Sci. 539: 171–182
Gebauer R., Möller H.M. (1988) On an installation of Buchberger’s algorithm. J. Symb. Comput. 6(2-3): 275–286
Hubert, é.: Étude Algébrique et algorithmique des Singularités des Équations Différentielles Implicites. PhD thesis, Institut National Polytechnique de Grenoble, France (1997)
Janet, M.: Systèmes d’Équations aux Dérivées Partielles. Journal de Mathématiques, 8e Série, vol. 3. Gauthier-Villars, Paris (1920)
Janet, M.: Leçons sur les Systèmes d’Équations aux Dérivées Partielles. Cahiers Scientifiques, vol. IV. Gauthier-Villars, Paris (1929)
Kalkbrener M. (1993) A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15: 143–167
Knuth D.E. (1966) The Art of Computer Programming, 2nd edn. Addison-Wesley, Reading
Kolchin E.R. (1973) Differential Algebra and Algebraic Groups. Academic Press, New York
Kőnig D. (1950) Theorie der Endlichen und Unendlichen Graphen. Chelsea, New York
Lazard D. (1992) Solving zero-dimensional algebraic systems. J. Symb. Comput. 13: 117–131
Levi H. (1945) The low power theorem for partial differential equations. Ann. Math. Soc. 46: 113–119
Maârouf, H.: Étude de Quelques Problèmes Effectifs en Algèbre Différentielle. PhD thesis, Université Cadi Ayyad, Morocco (1996)
Mansfield, E.L.: Differential Gröbner Bases. PhD thesis, University of Sydney, Australia (1991)
Moreno Maza, M.: Calculs de Pgcd au-dessus des Tours d’Extensions Simples et Résolution des Systèmes d’Équations Algébriques. PhD thesis, Université Paris VI, France (1997)
Morrison, S.: Yet another proof of Lazard’s lemma. Private communication (1995)
Morrison S. (1999) The differential ideal [P] : M ∞. J. Symb. Comput. 28: 631–656
Ollivier, F.: Le Problème de l’Identifiabilité Structurelle Globale: Approche Théorique, Méthodes Effectives et Bornes de Complexité. PhD thesis, École Polytechnique, Palaiseau, France (1990)
Ollivier, F.: A proof of Lazard’s lemma. Private communication (1998)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics, vol. 107, 2nd edn. Springer, New York (1993)
Olver P.J. (1995) Equivalence, Invariants and Symmetry. Cambridge University Press, New York
Péladan-Germa, A.: Tests Effectifs de Nullité Dans des Extensions d’Anneaux Différentiels. PhD thesis, École Polytechnique, Palaiseau, France (1997)
Reid G.J. (1991) Algorithms for reducing a system of PDEs to standard form determining the dimension of its solution space and calculating its Taylor series solution. Eur. J. Appl. Math. 2: 293–318
Reid G.J., Wittkopf A.D., Boulton A. (1996) Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. Appl. Math. 7(6): 635–666
Reid G.J., Lin P., Wittkopf A.D. (2001) Differential elimination-completion algorithms for DAE and PDAE. Stud. Appl. Math. 106(1): 1–45
Riquier C. (1910) Les Systèmes d’Équations aux Dérivées Partielles. Gauthier-Villars, Paris
Ritt, J.F.: Differential Equations from the Algebraic Standpoint. American Mathematical Society Colloquium Publications, vol. 14. AMS, New York (1932)
Ritt, J.F.: Differential Algebra. Dover, New York (1950).http://www.ams.org/online_bks/coll33
Rosenfeld A. (1959) Specializations in differential algebra. Trans. Am. Math. Soc. 90: 394–407
Schicho, J., Li, Z.: A construction of radical ideals in polynomial algebra. Technical report, RISC, Johannes Kepler University, Linz, Austria, August (1995)
Seidenberg A. (1952) Some basic theorems in differential algebra(characteristic p arbitrary). Trans. Am. Math. Soc. 73: 174–190
Seidenberg A. (1956) An elimination theory for differential algebra. Univ. Calif. Publ. Math. (New Series) 3: 31–65
Seidenberg A. (1958) Abstract differential algebra and the analytic case. Proc. Am. Math. Soc. 9: 159–164
Seidenberg A. (1969) Abstract differential algebra and the analytic case II. Proc. Am. Math. Soc. 23: 689–691
Waerden B.L. (1966) Algebra, 7th edn. Springer, Berlin
Wang, D.: An elimination method for differential polynomial systems I. Technical report, LIFIA–IMAG, Grenoble, France (1994)
Tsün W.W. (1989) On the foundation of algebraic differential geometry. Mechanization Math. 3: 2–27 (research preprints)
Zariski, O., Samuel, P.: Commutative Algebra. Van Nostrand, New York (1958). Also volumes 28 and 29 of the Graduate Texts in Mathematics. Springer, New York
Author information
Authors and Affiliations
Corresponding author
Additional information
A part of this work (in particular the MAPLE diffalg package) was realized while the first author was a postdoctoral fellow at the Symbolic Computation Group of the University of Waterloo, N2L 3G6 ON, Canada.
Rights and permissions
About this article
Cite this article
Boulier, F., Lazard, D., Ollivier, F. et al. Computing representations for radicals of finitely generated differential ideals. AAECC 20, 73–121 (2009). https://doi.org/10.1007/s00200-009-0091-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-009-0091-7