An explicit Baker-type lower bound of exponential values

DOI10.1017/S0308210515000049MaRDI QIDQ5744592zbMATH OpenOpenAlexFDO

Authors Anne-Maria Ernvall-Hytönen, Kalle Leppälä, Tapani Matala-Aho

Publication date 18 February 2016

Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Siegel's lemmatranscendence measurelower bound of linear form

Mathematics Subject Classification ID

Measures of irrationality and of transcendence (11J82) Irrationality; linear independence over a field (11J72)

Abstract: Let $mathbbI$ denote an imaginary quadratic field or the field $mathbbQ$ of rational numbers and $mathbb{Z}_{mathbbI}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $mathbb{Z}_{mathbbI}$-linear form of the numbers �egin{equation}label{1} 1, e^{alpha_1},..., e^{alpha_m},quad mge 2, end{equation} where $alph{a}_0=0$, $alph{a}_1,\mathrm{...},alph{a}_m$, are $m+1$ different numbers from the field $mathbbI$. Our work gives gives some improvements to the existing explicit versions of of Baker's work about exponential values at rational points. In particilar, dependences on $m$ are improved.

Recommendations

• On Baker type lower bounds for linear forms
• On a result of Fel'dman on linear forms in the values of some \(E\)-functions
• Explicit lower bounds for linear forms
• scientific article; zbMATH DE number 1978272
• scientific article; zbMATH DE number 4077345

Cites work

• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• Baker-Type Estimates for Linear Forms in the Values of q-Series
• Explicit irrationality measures for continued fractions
• Lower bounds for polynomials in the values of certain entire functions
• On Some Diophantine Inequalities Involving the Exponential Function
• Remarks on Mahler's transcendence measure for \(e\)

Cited in

(6)

• Hermite-Thue equation: Padé approximations and Siegel's lemma
• Explicit lower bounds for linear forms
• On a result of Fel'dman on linear forms in the values of some \(E\)-functions
• Transcendence measure of \(e^{1/n}\)
• A Geometric Face of Diophantine Analysis
• On Baker type lower bounds for linear forms

This page was built for publication: An explicit Baker-type lower bound of exponential values

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