×

Fast evaluation of holonomic functions near and in regular singularities. (English) Zbl 0982.65024

The author obtains efficient algorithms for the evaluation of holonomic functions, which satisfy a linear differential equation \(Lf= 0\), near and in singular points where the differential operator \(L\) is regular or quasi-regular.
Reviewer: R.S.Dahiya (Ames)

MSC:

65D20 Computation of special functions and constants, construction of tables
34M35 Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms
65E05 General theory of numerical methods in complex analysis (potential theory, etc.)
34C05 Topological structure of integral curves, singular points, limit cycles of ordinary differential equations
65L05 Numerical methods for initial value problems involving ordinary differential equations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Balser, W., From Divergent Power Series to Analytic Functions (1994), Springer-Verlag: Springer-Verlag Berlin · Zbl 0810.34046
[2] Birkhoff, G., Singular points of ordinary differential equations, Trans. Am. Math. Soc., 10, 436-470 (1909) · JFM 40.0352.02
[3] Birkhoff, G., Equivalent singular points of ordinary differential equations, Math. Ann., 74, 134-139 (1913) · JFM 44.0373.01
[4] Braaksma, B., Multisummability and Stokes multipliers of linear meromorphic differential equations, J. Differ. Equ., 92, 45-75 (1991) · Zbl 0729.34005
[5] Chen, K., Algebras of iterated path integrals and fundamental groups, Trans. Am. Math. Soc., 156, 359-379 (1971) · Zbl 0217.47705
[6] Chudnovsky, D.; Chudnovsky, G., Computer algebra in the service of mathematical physics and number theory (computers in mathematics, Stanford, CA, 1986), Lecture Notes in Pure and Applied Mathematics 125 (1990), Dekker: Dekker New York, p. 109-232
[7] Della Dora, J.; Discrescenzo, C.; Tournier, E., An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point, Eurocal ’82, LNCS 174 (1982), Springer-Verlag: Springer-Verlag Berlin, p. 273-280
[8] Écalle, J., Introduction Aux Fonctions Analysables et Preuve Constructive de la Conjecture de Dulac (1992) · Zbl 1241.34003
[9] Écalle, J., Six lectures on transseries, analysable functions and the constructive proof of Dulac’s conjecture, (Schlomiuk, D., Bifurcations and Periodic Orbits of Vector Fields (1993)), 75-184 · Zbl 0814.32008
[10] E. Fabry, 1885; E. Fabry, 1885
[11] Frobenius, J., Ueber die integration der linearen differentialgleichungen durch reihen, J. für reine und angewandte Math., 76, 214-235 (1873) · JFM 05.0180.01
[12] Ince, E., Ordinary Differential Equations (1926) · JFM 52.0461.03
[13] Lipshitz, L., D-finite power series, J. Algebra, 122, 353-373 (1989) · Zbl 0695.12018
[14] Minh, M. N.; Petitot, M., Lyndon words, polylogarithms and the Riemann \(ζ\) function, Discrete Maths, 217, 273-292 (2000) · Zbl 0959.68144
[15] Minh,, M. N.; Petitot, M.; van der Hoeven, J., Monodromy of generalized polylogarithms, (Gloor, O., Proceedings of ISSAC ’98 (1998)), 276-283 · Zbl 0920.11084
[16] Poincaré, H., Sur les intégrales irrégulières des équations linéaires, Acta Math., 8, 295-344 (1886) · JFM 18.0273.02
[17] Ramis, J.-P., Dévissage gevrey, Astérisque, 59/60, 173-204 (1978) · Zbl 0409.34018
[18] Ramis, J.-P., Les séries \(k\) -sommables et leurs applications, Lecture Notes of Physics, 126, 178-199 (1980) · Zbl 1251.32008
[19] Richardson, D., How to recognize zero, J. Symb. Comput., 24, 627-645 (1997) · Zbl 0917.11062
[20] Stanley, R., Differentially finite power series, Eur. J. Comb. (MR # 81m:05012), 1, 175-188 (1980) · Zbl 0445.05012
[21] Turrittin, H., Reduction of ordinary differential equations to the birkhoff normal form, Trans. Am. Math. Soc., 107, 485-507 (1963) · Zbl 0115.07002
[22] J. van der Hoeven, 1997; J. van der Hoeven, 1997
[23] van der Hoeven, J., Fast evaluation of holonomic functions, TCS, 210, 199-215 (1999) · Zbl 0912.68081
[24] M. van Hoeij, 1996; M. van Hoeij, 1996
[25] van Hoeij, M., Formal solutions and factorization of differential operators with power series coefficients, J. Symp. Comput., 24, 1-30 (1997) · Zbl 0924.12005
[26] Wasow, W., Asymptotic Expansions for Ordinary Differential Equations (1967), Dover: Dover New York · Zbl 0169.10903
[27] Zeilberger, D., A holonomic systems approach to special functions identities, J. Comput. Appl. Math., 32, 321-368 (1990) · Zbl 0738.33001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.