M\'ethode de Mahler, transcendance et relations lin\'eaires : aspects effectifs

DOI10.5802/JTNB.1039MaRDI QIDQ6279136arXivFDO

Authors Boris Adamczewski, Colin Faverjon

Publication date 28 October 2016

Published in arXiv

Full work available at URL https://doi.org/10.5802/JTNB.1039

Mathematics Subject Classification ID

Irrationality; linear independence over a field (11J72) Transcendence (general theory) (11J81)

arXiv classification

math.NT

Abstract: This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in $$, where $$ denotes a number field, and an algebraic number $alpha$ in the domain of holomorphy of $f$, the number $f(alpha)$ is either transcendental or belongs to $$. We describe here an effective procedure to decide if such a number is transcendental or not. More generally, given several Mahler functions $f_1(z),cdots,f_r(z)$ and an algebraic number $alpha$ in the domain of holomorphy of these functions, we show how to effectively determine a basis of the vector space of $overlinemathbbQ$-linear relations between $f_1(alpha),cdots,f_r(alpha)$.

This page was built for publication: M\'ethode de Mahler, transcendance et relations lin\'eaires : aspects effectifs

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