Minimization of differential equations and algebraic values of 𝐸-functions

DOI10.1090/MCOM/3912arXiv2209.01827OpenAlexW4387343330MaRDI QIDQ6203471FDOQ6203471

Alin Bostan, T. Rivoal, Bruno Salvy

Publication date: 28 February 2024

Published in: Mathematics of Computation (Search for Journal in Brave)

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 for these questions and discuss implementation and experiments.

Full work available at URL: https://arxiv.org/abs/2209.01827

zbMATH Keywords

minimizationfactorizationlinear differential operatorsdesingularization\(E\)-functionsSiegel-Shidlovskii theoremAdamczewski-Rivoal algorithmBeukers' algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Rings of differential operators (associative algebraic aspects) (16S32) Transcendence (general theory) (11J81) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finiteness theorems for abelian varieties over number fields.
• The order of a singularity in Fuchs' theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of non-commutative polynomials
• On the complexity of skew arithmetic
• On the irreducibility of the generalized Laguerre polynomials
• Complexity of factoring and calculating the GCD of linear ordinary differential operators
• On 3-dimensional lattice walks confined to the positive octant
• DEGENERATE GAUSS HYPERGEOMETRIC FUNCTIONS
• Non-commutative elimination in Ore algebras proves multivariate identities
• Siegel normality
• A modular algorithm for computing the exponential solutions of a linear differential operator
• The method of creative telescoping
• Multiple binomial sums
• Title not available (Why is that?)
• Effective estimates for global relations on Euler-type series
• Factorization of differential operators with rational functions coefficients
• Title not available (Why is that?)
• Gevrey series of arithmetic type. I: Purity and duality theorems
• Specializations of one-parameter families of polynomials
• Complexity of creative telescoping for bivariate rational functions
• Trading order for degree in creative telescoping
• Differential equations for algebraic functions
• A general module theoretic framework for vector M-Padé and matrix rational interpolation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solution algebras of differential equations and quasi-homogeneous varieties: a new differential Galois correspondence
• Invariant Description of Linear, Time-Invariant Controllable Systems
• Introduction to the Galois theory of linear differential equations
• Gevrey series of arithmetic type. II: Transcendence without transcendence
• Testing reducibility of linear differential operators: A group theoretic perspective
• Transcendental numbers. With a foreword by W. Dale Brownawell. Transl. from the Russian by Neal Koblitz
• A refined version of the Siegel-Shidlovskii theorem
• On the values of \(G\)-functions
• Équations différentielles linéaires et majorations de multiplicités
• Arithmetic theory of \(E\)-operators
• Formal solutions and factorization of differential operators with power series coefficients
• Apparent singularities of linear difference equations with polynomial coefficients
• Removing apparent singularities of systems of linear differential equations with rational function coefficients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Moduli of linear differential equations on the Riemann sphere with fixed Galois groups
• Title not available (Why is that?)
• Affektlose Gleichungen in der Theorie der Laguerreschen und Hermiteschen Polynome.
• Around the numeric-symbolic computation of differential Galois groups
• Order-degree curves for hypergeometric creative telescoping
• Desingularization explains order-degree curves for ore operators
• Desingularization of Ore operators
• Algebraic independence of the values of \(E\)-functions at singular points and Siegel's conjecture
• On the Siegel conjecture for second-order homogeneous linear differential equations
• Title not available (Why is that?)
• Weyl closure of a linear differential operator
• On the genus of generalized Laguerre polynomials
• Title not available (Why is that?)
• Linear independence of values of $ E$-functions
• Les lettres de Gh. Hermite à A. Markoff, 1885-1899
• Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity
• Transcendentality of zeros of higher derivatives of functions involving Bessel functions
• Fast computation of approximant bases in canonical form
• Exceptional values of E-functions at algebraic points
• Méthode de Mahler : relations linéaires, transcendance et applications aux nombres automatiques
• A non-hypergeometric \(E\)-function
• Bounds for D-finite closure properties
• Title not available (Why is that?)
• Explicit degree bounds for right factors of linear differential operators
• Méthode de Mahler, transcendance et relations linéaires : aspects effectifs
• Finding hyperexponential solutions of linear ODEs by numerical evaluation

Cited In (2)

• Algebraic solutions of linear differential equations: an arithmetic approach
• Algebraic relations between values of Siegel \(E\)-functions and Mahler \(M\)-functions

This page was built for publication: Minimization of differential equations and algebraic values of 𝐸-functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203471)