Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation

Fredrik Johansson 1 Manuel Kauers 1 Marc Mezzarobba 2, 3
1 RISC - Research Institute for Symbolic Computation
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic functions and evaluating them numerically at some common ordinary point. The numerical data is used to determine a small number of combinations of the formal series that may give rise to hyperexponential solutions.
Type de document :
Communication dans un congrès
ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. ACM, pp.211­­-218, 2013, 〈10.1145/2465506.2465513〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00818789
Contributeur : Marc Mezzarobba <>
Soumis le : lundi 29 avril 2013 - 10:58:30
Dernière modification le : mardi 26 juin 2018 - 14:42:20

Lien texte intégral

arxiv

Identifiants

Collections

ENS-LYON | INRIA | LIP | UNIV-LYON1

Citation

Fredrik Johansson, Manuel Kauers, Marc Mezzarobba. Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation. ISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. ACM, pp.211­­-218, 2013, 〈10.1145/2465506.2465513〉. 〈hal-00818789〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

203

Contact


archive-ouverte@inria.fr