Related papers: On the values of G-functions

It is known that $G$-functions solutions of a linear differential equation of order 1 with coefficients in $\overline{\mathbb{Q}}(z)$, are algebraic (of a very precise form). No general result is known when the order is 2. In this paper, we…

A rational function is the ratio of two complex polynomials in one variable without common roots. Its degree is the maximum of the degrees of the numerator and the denominator. Rational functions belong to the same class if one turns into…

We use the Aubry-Perret bound for singular curves, a generalization of the Hasse-Weil bound, to prove the following curious result about rational functions over finite fields: Let $f(X),g(X)\in\Bbb F_q(X)\setminus\{0\}$ be such that $q$ is…

Let $r_1,\ldots,r_s:\mathbb{Z}_{n\geqslant 0}\to\mathbb{C}$ be linearly recurrent sequences whose associated eigenvalues have arguments in $\pi\mathbb{Q}$ and let $F(z):=\sum_{n\geqslant 0}f(n)z^n$, where $f(n)\in\{r_1(n),\ldots,$…

We show that the coefficients of rational 2-functions are contained in an abelian number field. More precisely, we show that the poles of such functions are poles of order one and given by roots of unity and rational residue.

For a given l-adic sheaf F on a commutative algebraic group over a finite field k and an integer r we define the r-th local norm L-function of F at a point t in G(k) and prove its rationality. This function gives information on the sum of…

Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies…

A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that…

The paper gives some criteria for partial sums of rational number sequences to be not rational functions and to be not algebraic functions. As an application, we study partial sums of some famous rational number sequences in mathematical…

Let $\sum\_{n=0}^\infty a\_n z^n\in \overline{\mathbb Q}[[z]]$ be a $G$-function, and, for any $n\ge0$, let $\delta\_n\ge 1$ denote the least integer such that $\delta\_n a\_0, \delta\_n a\_1, ..., \delta\_n a\_n$ are all algebraic…

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of…

In 1923 Schur considered the following problem. Let f(X) be a polynomial with integer coefficients that induces a bijection on the residue fields Z/pZ for infinitely many primes p. His conjecture, that such polynomials are compositions of…

In \cite{d4}, we gave a method to construct a continued fraction of the function $F(x):=e^{x}E_{1}(x)$. More precisely we define $F_{1}(x)$ as the reciprocal of $F(x)$ and we inductively define $F_{m}(x)$ as the reciprocal of ``$F_{m-1}(x)$…

We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…

One of the many remarkable properties of the Ap\'ery numbers $A (n)$, introduced in Ap\'ery's proof of the irrationality of $\zeta (3)$, is that they satisfy the two-term supercongruences \begin{equation*} A (p^r m) \equiv A (p^{r - 1} m)…

It is well known that value at a non-zero algebraic number of each of the functions $e^{x}, \ln x, \sin x, \cos x, \tan x, \csc x, \sec x, \cot x, \sinh x,$ $ \cosh x,$ $ \tanh x,$ and $\coth x$ is transcendental number (see Theorem 9.11 of…

For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…

An important question arising from the Frobenius Coin Problem is to decide whether or not a given monetary sum S can be obtained from N coin denominations. We develop a new Generating Function G(x), where the coefficient of x^i is equal to…

A lower bound for the dimension of the $\Q$-vector space spanned by special values of a Dirichlet series with periodic coefficients is given. As a corollary, it is deduced that both special values at even integers and at odd integers…

Consider an algebraic function like $F(x) = \sqrt{x^3 - 1}$. If $p \in \mathbb{Q}$ is a rational number, how many iterates of $p$ under $F$ can also be rational? The dynamics of algebraic functions may be formalized in the language of…