Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Transcendence of values of logarithms of $E$-functions

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
  • معلومة اضافية
    • Contributors:
      Laboratoire de Mathématiques d'Orsay (LMO); Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS); Institut Fourier (IF); Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)
    • بيانات النشر:
      CCSD
    • الموضوع:
      2024
    • Collection:
      Université Grenoble Alpes: HAL
    • نبذة مختصرة :
      Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$ such that for all $\xi\in \overline{\mathbb{Q}}\setminus S(f)$, $\log(f(\xi))$ is a transcendental number. We then quantify this result when $f$ is an $E$-function in the strict sense with rational coefficients, by proving an irrationality measure of $\ln(f(\xi))$ when $\xi\in \mathbb{Q}\setminus S(f)$ and $f(\xi)>0$. This measure implies that $\ln(f(\xi))$ is not an ultra-Liouville number, as defined by Marques and Moreira. The proof of our first result, which is in fact more general, uses in particular a recent theorem of Delaygue. The proof of the second result, which is independent of the first one, is a consequence of a new linear independence measure for values of linearly independent $E$-functions in the strict sense with rational coefficients, where emphasis is put on other parameters than on the height, contrary to the case in Shidlovskii's classical measure for instance.
    • Relation:
      info:eu-repo/semantics/altIdentifier/arxiv/2409.18537; ARXIV: 2409.18537
    • الدخول الالكتروني :
      https://hal.science/hal-04711290
      https://hal.science/hal-04711290v1/document
      https://hal.science/hal-04711290v1/file/logEdef.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.AA318874