First-order factors of linear Mahler operators - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

First-order factors of linear Mahler operators

Résumé

We develop and compare two algorithms for computing first-order right-hand factors in the ring of linear Mahler operators $\ell_r M^r + \dots + \ell_1 M + \ell_0$ where $\ell_0, \dots, \ell_r$ are polynomials in~$x$ and $Mx = x^b M$ for some integer~$b \geq 2$. In other words, we give algorithms for finding all formal infinite product solutions of linear functional equations $\ell_r(x) f(x^{b^r}) + \dots + \ell_1(x) f(x^b) + \ell_0(x) f(x) = 0$. The first of our algorithms is adapted from Petkovšek's classical algorithm for the analogous problem in the case of linear recurrences. The second one proceeds by computing a basis of generalized power series solutions of the functional equation and by using Hermite--Padé approximants to detect those linear combinations of the solutions that correspond to first-order factors. We present implementations of both algorithms and discuss their use in combination with criteria from the literature to prove the differential transcendence of power series solutions of Mahler equations.
Fichier principal
Vignette du fichier
mahler-riccati.pdf (905.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04502052 , version 1 (13-03-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04502052 , version 1

Citer

Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. First-order factors of linear Mahler operators. 2024. ⟨hal-04502052⟩
25 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More