On the linear independence of values of G-functions

DOI10.1016/J.JNT.2020.09.007MaRDI QIDQ2212635zbMATH OpenOpenAlexFDO

Publication date 24 November 2020

Published in Journal of Number Theory (Search for Journal in Brave)

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

$G$-functions $G$-operators linear independence criterion saddle point method

Irrationality; linear independence over a field (11J72) Transcendence theory of other special functions (11J91) Linear ordinary differential equations and systems in the complex domain (34M03) Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms (34M35) Asymptotic approximations, asymptotic expansions (steepest descent, etc.) (41A60)

Abstract: We consider a

G

-function

F (z) = s u m_{k = 0}^{i n f t y} A_{k} z^{k} i n m a t h b b K [[z]]

, where

m a t h b b K

is a number field, of radius of convergence

R

and annihilated by the

G

-operator

L i n m a t h b b K (z) [m a t h r m d / m a t h r m d z]

, and a parameter

. We define a family of

G

-functions

indexed by the integers

s

and

n

. Fix

a l p h a i n m a t h b b K^{*} c a p D (0, R)

. Let

be the

m a t h b b K

-vector space generated by the values

,

n i n m a t h b b N

,

0 l e q s l a n t s l e q s l a n t S

. We show that there exist some positive constants

and

such that

. This generalizes a previous theorem of Fischler and Rivoal (2017), which is the case

. Our proof is an adaptation of their article "Linear independence of values of

G

-functions ([FR]), making use of the Andr'e-Chudnovsky-Katz Theorem on the structure of the $G$ -operators and of the saddle point method.

Review text

Let $\mathbb K$ be a number field and let $F(z)=\sum_{k=0}^\infty A_kz^k\in\mathbb K[\![ z]\!]$ be a non-polynomial $G$-function. Let $L\in\overline{\mathbb Q} [z,d/dz]\setminus \{ 0\}$ be an operator such that $L(F(z))=0$ and of minimal order $\mu$ for $F$. Let $\beta\in\mathbb Q\setminus\mathbb Z_{\leq 0}$. For positive integer $n$ and non-negative integer $s$ set $F^{[s]}_{\beta ,n}(z)=\sum_{k=0}^\infty \frac{A_k}{(k+\beta +n)^s}$. Then, the author proves that for $S$ large enough we have \[\frac{1+o(1)}{[\mathbb K:\mathbb Q]C(F,\beta)}\log S\leq \dim_{\mathbb K}\mathrm{Span}_{\mathbb K}(F^{[s]}_{\beta ,n}(\alpha);n\in\mathbb Z^+,0\leq s\leq S) \leq l_0(\beta)S+\mu . \] Here, $\alpha\in\mathbb K$ with $0\leq\mid\alpha\mid\leq R$ where $R$ is the radius of convergence of $F$ and $l_0(\beta)$ and $C(F,\beta)$ are constants.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: On the linear independence of values of $G$-functions

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