Transcendence measure for the values of the logarithmic derivative of the Bessel function $J_0$ at algebraic arguments
Let $P\in \mathbb Z[X]\setminus\{0\}$ be of degree $δ\ge 1$ and usual height $H\ge 1$, and let $α\in \overline{\mathbb Q}^*$ be of degree $d\ge 2$. As a consequence of general result due to Lang and Galochkin, we have the following transcendence measure: for any $\varepsilon>0$, there exists $c>0$ such that $\vert P(J_0'(α)/J_0(α))\vert>c/H^{4d^2δ+\varepsilon}$ where $J_0$ is the Bessel function. In this paper, we prove that the exponent $4d^2δ$ can be replaced by a smaller (explicit) quantity $μ(d,δ)\le 4d^2δ-2dδ-1$. A similar improvement holds more generally for the logarithmic derivative…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.17641
curl -X POST /api/v1/records/arxiv/2609.17641/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.17641/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'