Generalized hypergeometric G-functions take linear independent values

Authors Sinnou David, Noriko Hirata-Kohno, Makoto Kawashima

Publication date 28 February 2022

Abstract: In this article, we show a new general linear independence criterion related to values of

G

-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let

K

be any algebraic number field and

v

be a place of

K

. Let

r i n m a t h b b Z

with

r g e 2

. Consider

a_{1}, l d o t s, a_{r}, b_{1}, l d o t s, b_{r - 1} i n m a t h b b Q s e t m i n u s 0

not being negative integers. Assume neither

a_{k}

nor

a_{k} + 1 - b_{j}

be strictly positive integers

(1 l e k l e r, 1 l e j l e r - 1)

. Let

a l p h a_{1}, l d o t s, a l p h a_{m} i n K s e t m i n u s 0

with

a l p h a_{1}, l d o t s, a l p h a_{m}

pairwise distinct. By choosing sufficiently large

depending on

K

and

v

such that the points

are closed enough to the origin, we prove that the

r m + 1

numbers~

:

�egin{align*} &{}_{r}F_{r-1} �iggl(�egin{matrix} a_1,ldots, a_r\ b_1, ldots, b_{r-1} end{matrix} �iggm| dfrac{alpha_i}{�eta}�iggr)enspace, {}_{r}F_{r-1} �iggl(�egin{matrix} a_1+1,ldots,ldots,ldots,a_r+1\ b_1+1, ldots, b_{r-s}+1,b_{r-s+1},ldots,b_{r-1} end{matrix} �iggm| dfrac{alpha_i}{�eta}�iggr)enspace\ &(1le i le m, 1le s le r-1)end{align*} and

1

are linearly independent over

K

. The essential ingredient is our term-wise formal construction of type II of Pad'e approximants together with new non-vanishing argument for the generalized Wronskian.

This page was built for publication: Generalized hypergeometric $G$-functions take linear independent values

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