Advertisement

Standard bases of differential ideals

  • François Ollivier
Submitted Contributions Bases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 508)

Abstract

The aim of this paper is to introduce a new definition of standard bases of differential ideals, allowing more general orderings than the previous one, given by Giuseppa Carrá-Ferro, and following the general definition of standard bases, given in [O3], valid for algebraic ideals, canonical bases of subalgebras, etc.

Differential standard bases, as canonical bases, suffer a great limitation: they can be infinite, even for ideals of finite type. Nevertheless, we can sometimes bound the order of intermediate computations, necessary to make some elements of special interest appear in the basis.

As an illustration, we consider a differential rational map f: A F n →A F n , and show that if f is birational, then ord f−1n ord f. Partial standard bases computations provide then two algorithms to test the existence of f−1. The first one is also able to determine the inverse, if any. The second only determines existence, but we can provide a bound of complexity depending only of n, ord f and the number of derivatives.

Keywords

Prime Ideal Standard Basis Canonical Basis Generic Zero Birational Mapping 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. [Ba]
    H. BASS et al. The jacobian conjecture: reduction of degree and formal expansion of the inverse, Bulletin of the A.M.S. vol. 7, no 2, 1982.Google Scholar
  2. [Bu]
    B. BUCHBERGER, A criterion for detecting unecessary reductions in the construction of Groebner bases, proceedings of EUROSAM'79, Marseille, Lect. Notes in Computer Science 72, 2–31, Springer Verlag, 1979.Google Scholar
  3. [Car]
    G. CARRA'-FERRO, Gröbner Bases and Differential Ideals, proceeding of AAECC'5, Lect. Notes in Computer Science 356, 129–140, Springer Verlag, 1987.Google Scholar
  4. [Cas]
    F. CASTRO, Théorèmes de division dans les opérateurs différentiels et calculs des multiplicités, Thèse de troisième cycle, Université Paris VII, 19 Octobre 1984.Google Scholar
  5. [Ch]
    CHOU Shang-Ching, Mechanical geometry theorem proving, D. Reidel pub. co., 1988.Google Scholar
  6. [D]
    Sette DIOP, Théorie de l'élimination et principe du modèle interne en automatique, thèse de doctorat, université Paris-Sud, 1989.Google Scholar
  7. [Ja]
    M. JANET, Sur les systèmes d'équations aux dérivées partielles, Journ. de Math. (8e série), tome III, 1920.Google Scholar
  8. [Ka]
    I. KAPLANSKY, An introduction to differential algebra, Hermann, Paris, 1957.Google Scholar
  9. [KM]
    Deepak KAPUR and Klaus MADLENER, A Completion Procedure for Computing a Canonical Basis of a k-Subalgebra, Computers and Mathematics, E. Kaltofen and S. M. Watt editors, Springer, 1989.Google Scholar
  10. [Ko]
    E. R. KOLCHIN, Differential algebra and algebraic groups, Academic Press, 1973.Google Scholar
  11. [Koll]
    J. KOLLÁR, Sharp effective nullstellensatz, J. Am. Math. Soc. 1, (963–975), 1988.Google Scholar
  12. [O1]
    F. OLLIVIER, Inversibility of rational mappings and structural identifiability in automatics, proc. of ISSAC'89, Portland, Oregon, ACM Press, 1989.Google Scholar
  13. [O2]
    F. OLLIVIER, Canonical bases: relations with standard bases, finiteness conditions and application to tame automorphisms, to appear in the proceedings of MEGA '90, Castiglioncello.Google Scholar
  14. [O3]
    F. OLLIVIER, Le problème de l'identifiabilité: approache théorique, méthodes effectives et étude de complexité, Thèse de Doctorat en Sciences, École Polytechnique, Juin 1990.Google Scholar
  15. [P1]
    J. F. POMMARET, Differential Galois theory, Gordon and Breach, New-York, 1983.Google Scholar
  16. [P2]
    J. F. POMMARET, Effective method for systems of algebraic partial differential equations, preprint, 1989.Google Scholar
  17. [R1]
    J. F. RITT, Differential equations from the algebraic standpoint, A.M.S. col. publ. vol. XIV, 1932.Google Scholar
  18. [R2]
    J. F. RITT, Differential algebra, A.M.S. col. publ. vol. XXXIII, 1950.Google Scholar
  19. [RS]
    L. ROBBIANO and M. SWEEDLER, Subalgebra Bases, preprint, Cornell Univ., 1989.Google Scholar
  20. [S]
    A. SEIDENBERG, An elimination theory for differential algebra, Univ. California Publications in Math., (N.S.), 3, no 2, 31–65, 1956.Google Scholar
  21. SS.
    D. SHANNON and M. SWEEDLER, Using Groebner bases to determine algebra membership, split surjective algebra homomorphisms and determine birational equivalence, preprint 1987, appeared in J. Symb Comp. 6 (2–3).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • François Ollivier
    • 1
  1. 1.Laboratoire d'Informatique de l'X (LIX)École PolytechniquePalaiseau CedexFrance

Personalised recommendations