Transcendental values of Bessel-Carlitz functions
type: Item
instance of: scholarly article
title: Transcendental values of Bessel-Carlitz functions
zbMATH Open document ID: 1044.11070
DOI: 10.1007/BF02385667
author: Laurent Denis
published in: Arkiv för Matematik
publication date: 1999-11-05T00:00:00Z
review text: Let \(\mathbb{F}_q[T]=A\) denote the ring of polynomials in one variable with coefficients in the finite field \(\mathbb{F}_q\) of prime characteristic \(p\), let \(k=\mathbb{F}_q(T)\) be its field of fractions and \(k_\infty= \mathbb{F}_q((1/T))\) the completion of \(k\) with respect to the \((1/T)\)-adic valuation \(v\) that can be continued to an algebraic closure \(\overline k\) (resp. \(\overline k_\infty)\) of \(k\) (resp. \(k_\infty)\) and to the completion \(C\) of \(\overline k_\infty\). For \(\alpha\in C\) we set \(|\alpha| =q^{d (\alpha)} =q^{-v(\alpha)}\) and \(d(0)= -\infty\). The aim of this paper is to prove convenient conditions for the transcendence over \(k\) for the value sof the Bessel-Carlitz functions which are integral series with coefficients it \(k\). For each integer \(m>0\), the Bessel function of order \(m\), as defined by Carlitz, associates with each \(z\in C\) the sum of the following series \[ J_m(z)=\sum^\infty_{k=0}\frac{(-1)^k z^{q^{n +k}}} {D_{m+k} D_k^{q^n}}. \] Define the operator \(\Delta\) by \(\Delta f(z)=f(Tz)-Tf(z)\). Theorem 1: Given \(\alpha\in C\), algebraic over \(k\) and \(\alpha\neq 0\), then for all natural integers in \(J_m(\alpha)\) and \(\Delta J_m(\alpha)\) are algebraically independent over \(k\).
reviewed by: Olaf Ninnemann
Mathematics Subject Classification ID: 11J91
Mathematics Subject Classification ID: 11G09
zbMATH DE Number: 1185573
MaRDI profile type: Publication
cites work: \(t\)-motives
cites work: Tensor powers of the Carlitz module and zeta values
cites work: Some special functions over \(GF (q,x)\)
cites work: Multiplicity lemmas and \(T\)-modules
cites work: A transcendency criterion in prime characteristic
cites work: Algebraic independence in characteristic two
cites work: Q5520004
cites work: Q4851968
cites work: A six exponentials theorem in finite characteristic
cites work: Transcendence and Drinfeld modules: Several variables
cites work: Analytic homomorphisms into Drinfeld modules
description: scientific article; zbMATH DE number 1185573