Abstract
Deciding the unsolvability of a system of algebraic differential equations ∑ is one of the basic problems in differential algebra. We use the construction of Mayr and Meyer to show that the algorithms based on effective methods such as differential Groebner Bases, or Ritt's algorithm to test whether 1 belongs to the differential ideal generated by ∑, have at least doubly exponential worst case complexity in the linear case.
Preview
Unable to display preview. Download preview PDF.
References
Boulier, F., Lazard D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. Proceedings of ISSAC'95, to appear
Caniglia, L., Galligo, A., Heintz, J.: Some new effectivity bounds in computational geometry. Proceedings of AAECC'6, Lectures Notes in Computer Sciences 357 (1989) 131–151
Carra' Ferro, G.: Differential Gröbner Bases: Solved and Unsolved problems, preprint (1994)
Carra' Ferro, G.: Gröbner Bases and Differential Algebra. Lec. Not. in Comp. Sci. 356 (1987) 129–140
Castro, F.: Calculs effectifs pour les ideaux d'opérateurs différentiels. Géométrie algébrique et applications 3 J.M.Aroca, T.Sancheg-Giralda, J.L.Vicente eds. Travaux en cours 24 (1987), 1–19
Demazure, M.: Le monoïde de Mayr-Meyer. Notes Informelles de Calcul Formel 3 (1985), GAGE, Centre de Mathématiques, École Polytechnique, F-91128 Palaiseau CEDEX, France
Gallo, G., Mishra, B., Ollivier, F.: Standard bases of differential ideals. Lecture Notes in Computer Science 539 (1991) 171–182
Grigor'ev, D.Yu.: Complexity of quantifer elimination in the theory of ordinary differential equations. Lec. Not. in Comp. Sci. 378 (1989) 11–25
Grigor'ev, D.Yu.: Complexity of linear systems in rings of differential operators. Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V.A. Steklova AN SSSR 192 (1991) 47–59 (in russian)
Grigor'ev, D.Yu.: NC solving of a system of linear ordinary differential equations in several unknowns. Oral communication to MEGA'94
Janet, M.: Systèmes d'équations aux dérivées partielles. J. de Math., 8e série, tome III (1920)
Kolchin, E.: Differential algebra and algebraic groups. Academic Press, New York (1973)
Kollár, J.: Sharp effective nullstellensatz. J. Am. Math. Soc. 1 (1988) 963–975
Malgrange, B.: Cohomologie de Spencer. Université Paris VI (1965)
Mayr, E.W., Meyer, A.R.: The complexity of the world problems for commutative semigroups and polynomial ideals. Advanced in Mathematics 46 305–329 (1982)
Ollivier, F.: Standard bases of differential ideals. Proceedings of AAECC'8, Lec. Notes in Comp. Sci. 508 (1990) 304–321
Ritt, J.F.: Differential algebra. Amer. Math. Soc. Colloq. Publ. 33 (1950)
Seidenberg, A.: An elimination theory for differential algebra. Univ. California Publications in math., (N.S.) 3 no2 (1956) 31–65
Yap, C.K.: A new lower bound construction for commutative Thue systems with applications. J. Symbolic Computation (1991) 12 1–27
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sadik, B. (1995). The complexity of formal resolution of linear partial differential equations. In: Cohen, G., Giusti, M., Mora, T. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1995. Lecture Notes in Computer Science, vol 948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60114-7_31
Download citation
DOI: https://doi.org/10.1007/3-540-60114-7_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60114-2
Online ISBN: 978-3-540-49440-9
eBook Packages: Springer Book Archive