An algorithm of computing b-functions

Duke Mathematical Journal

Volumn 87, Issue 1, 1997, Pages 115-132

  Oaku, Toshinori ^a  

^a YOKOHAMA CITY UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000198012     PISSN: 00127094     EISSN: None     Source Type: Journal    
DOI: 10.1215/S0012-7094-97-08705-6     Document Type: Article

References (30)

1. T. Becker and V. Weispfenning, Gröbner Bases, Grad. Texts in Math. 141, SpringerVerlag, New York, 1993.
2. I. N. Bernstein, Modules over a ring of differential operators, Functional Anal. Appl. 5 (1971), 89-101.
3. I. N. Bernstein, The analytic continuation of generalized functions with respect to a parameter, Functional Anal. Appl. 6 (1972), 273-285.
4. J.-E. Björk, Rings of Differential Operators, North-Holland Math. Libr. 21, North-Hol-land, Amsterdam, 1979.
5. J. Briançon, M. Granger, Ph. Maisonobe, and M. Miniconi, Algorithme de calcul du polynôme de Bernstein: cas non dégénéré, Ann. Inst. Fourier (Grenoble) 39 (1989), 553-610.
6. B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math. 4 (1970), 374-383.
7. F. Castro, “Calculs effectifs pour les idéaux d’opérateurs différentiels” in Géométrie algébrique et applications III (La Rábida, 1984), Travaux en Cours 24, Hermann, Paris, 1987, 1-19.
8. D. Cox, J. Lotle, and D. O’Shea, Ideals, Varieties, and Algorithms, Undergrad. Texts Math., Springer-Verlag, New York, 1992.
9. D. Eisenbud, Commutative Algebra, with a View Toward Algebraic Geometry, Grad. Texts in Math. 150, Springer-Verlag, New York, 1995.
10. A. Galligo, “Some algorithmic questions on ideals of differential operators” in EUROCAL*85, Vol. 2 (Linz, 1985), Lecture Notes in Comput. Sei. 204, SpringerVerlag, Berlin, 1985, 413-421.
11. A. Kandri-Rody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Comput. 9 (1990), 1-26.
12. M. Kashiwara, B-functions and holonomie systems: rationality of roots of b-functions, Invent. Math. 38 (1976-1977), 33-53.
13. M. Kashiwara, On the holonomie systems of linear differential equations, II, Invent. Math. 49 (1978), 121-135.
14. M. Kashiwara, “Vanishing cycle sheaves and holonomie systems of differential equations” in Algebraic Geometry (Tokyo/Kyoto, 1982), Lecture Notes in Math. 1016, SpringerVerlag, Berlin, 1983, 134-142.
15. M. Kashiwara and T. Kawai, “Second-microlocalization and asymptotic expansions” in Complex Analysis, Microlocal Calculus, and Relativistic Quantum Theory, Lecture Notes in Phys. 126, Springer-Verlag, Berlin, 1980, 21-76.
16. Y. Laurent, Polygone de Newton et b-fonctions pour les modules microdifférentiels, Ann. Sei. École Norm. Sup. (4) 20 (1987), 391-441.
17. Y. Laurent and P. Schapira, Images inverses des modules différentiels, Compositio Math. 61 (1987), 229-251.
18. D. Lazard, “Gröbner bases, Gaussian elimination, and resolution of systems of algebraic equations” in Computer Algebra (London, 1983), Lecture Notes in Comput. Sei. 162, Springer-Verlag, Berlin, 1983, 146-156.
19. P. Maisonobe, “D-modules: an overview towards effectivity” in Computer Algebra and Differential Equations, London Math. Soc. Lecture Note Ser. 193, Cambridge University Press, Cambridge, 1994, 21-55.
20. B. Malgrange, “Le polyôme de Bernstein d’une singularité isolée” in Fourier Integral Operators and Partial Differential Equations, Lecture Notes in Math. 459, SpringerVerlag, Berlin, 1975, 98-119.
21. B. Malgrange, “Polynômes de Bemstein-Sato et cohomologie évanescente” in Analysis and Topology on Singular Spaces, II, III (Luminy, 1981), Astérisque 101-102 (1983), 243-267.
22. F. Mora, “An algorithm to compute the equations of tangent cones” in Computer Algebra (Marseille, 1982), Lecture Notes in Comput. Sei. 144, Springer-Verlag, Berlin, 1982, 158-165.
23. T. Oaku, Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, Japan J. Indust. Appl. Math. 11 (1994), 485-497.
24. T. Oaku, “Algorithms for finding the structure of solutions of a system of linear partial differential equations” in ISSAC’94: Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation, ACM Press, New York, 1994, 216-223.
25. T. Oaku, Algorithmic methods for Fuchsian systems of linear partial differential equations, J. Math. Soc. Japan 47 (1995), 297-328.
26. M. Sato, M. Kashiwara, T. Kimura, and T. Oshima, Microlocal analysis of prehomo-geneous vector spaces, Invent. Math. 62 (1980-1981), 117-179.
27. N. Takayama, Gröbner basis and the problem of contiguous relations, Japan J. Appl. Math. 6 (1989), 147-160.
28. N. Takayama, An approach to the zero recognition problem by Buchberger algorithm, J. Symbolic Comput. 14 (1992), 265-282.
29. N. Takayama, A system for computation in algebraic analysis, ftp://ftp.math.s.kobe-u.ac.jp/pub/kan/kan96.tgz, 1991.
30. T. Yano, On the theory of b-functions, Publ. Res. Inst. Math. Sei. 14 (1978), 111-202.