Back to Search Start Over

Minimization of differential equations and algebraic values of $E$-functions

Authors :
Bostan, Alin
Rivoal, Tanguy
Salvy, Bruno
Calcul formel, mathématiques expérimentales et interactions (MATHEXP)
Inria Saclay - Ile de France
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Symbolic Special Functions : Fast and Certified (SPECFUN)
Institut Fourier (IF)
Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)
Centre National de la Recherche Scientifique (CNRS)
École normale supérieure de Lyon (ENS de Lyon)
Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC)
Laboratoire de l'Informatique du Parallélisme (LIP)
École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL)
Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL)
Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon
Institut National de Recherche en Informatique et en Automatique (Inria)
ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019)
Bostan, Alin
Décider l'irrationalité et la transcendance - - DeRerumNatura2019 - ANR-19-CE40-0018 - AAPG2019 - VALID
Publication Year :
2022
Publisher :
arXiv, 2022.

Abstract

A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential equation of minimal order having this power series as a solution. This problem exists in both homogeneous and inhomogeneous variants; it is distinct from, but related to, the classical problem of factorization of differential operators. Recently, minimization has found applications in Transcendental Number Theory, more specifically in the computation of non-zero algebraic points where Siegel's $E$-functions take algebraic values. We present algorithms and implementations for these questions, and discuss examples and experiments.<br />Comment: 48 pages

Details

Database :
OpenAIRE
Accession number :
edsair.doi.dedup.....834fd789c60ed29f16eb4e89ece8fc3c
Full Text :
https://doi.org/10.48550/arxiv.2209.01827