An algorithm of computing inhomogeneous differential equations for definite integrals

Preprint English OPEN
Nakayama, Hiromasa; Nishiyama, Kenta;
  • Subject: Mathematics - Classical Analysis and ODEs | Mathematics - Algebraic Geometry
    arxiv: Mathematics::Commutative Algebra

We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis method in the ring of differential... View more
  • References (14)
    14 references, page 1 of 2

    [1] G.Almkvist, D.Zeilberger, The method of differentiating under the integral sign, Journal of Symbolic Computation 10, 571-591, 1990.

    [2] M.Apagodu, D.Zeilberger, Multi-variable Zeilberger and AlmkvistZeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Advances in Applied Mathematics 37, 139-152, 2006.

    [3] F.Chyzak, Gr¨obner Bases, Symbolic Summation and Symbolic Integration, London Mathematics Lecture Notes Series, vol.251, 32-60, 1998.

    [4] F.Chyzak, An Extension of Zeilberger's Fast Algorithm to General Holonomic Functions, Discrete Mathematics 217, 115-134, 2000.

    [5] F.Chyzak, B. Salvy, Non-commutative Elimination in Ore Algebras Proves Multivariate Holonomic Identities, Journal of Symbolic Computation 26, 187-227, 1998.

    [6] T.Oaku, Algorithms for b-functions, restrictions, and algebraic local cohomology groups of D-modules, Advances in Applied Mathematics 19, 61-105, 1997.

    [7] T.Oaku, Y.Shiraki, and N.Takayama, Algebraic Algorithm for D-modules and numerical analysis, Computer mathematics (Proceedings of ASCM 2003), 23-39, Lecture Notes Ser. Comput., 10, World Sci. Publ., River Edge, NJ, 2003.

    [8] M.Saito, B.Sturmfels, and N.Takayama, Gr¨obner Deformations of Hypergeometric Differential Equations, Springer, 2000.

    [9] N.Takayama, An Approach to the Zero Recognition Problem by Buchberger Algorithm, Journal of Symbolic Computation 14, 265-282, 1992.

    [10] A.Tefera, MultInt, a Maple package for multiple integration by the WZ method, Journal of Symbolic Computation 34, 329-353, 2002.

  • Metrics
Share - Bookmark