Explicit results for Euler's factorial series in arithmetic progressions under GRH

TL;DR

This paper investigates the properties of Euler's factorial series in the $p$-adic domain under GRH, providing explicit non-vanishing results and lower bounds for linear forms involving the series at various primes and residue classes.

Contribution

It establishes explicit non-vanishing conditions and lower bounds for linear forms of Euler's factorial series in $p$-adic settings under GRH, with results on primes in arithmetic progressions.

Findings

Non-vanishing of linear forms in Euler's factorial series under certain residue class conditions

Explicit $p$-adic lower bounds for these linear forms

Existence of primes in specific arithmetic progressions satisfying non-vanishing conditions

Abstract

In this article, we study the Euler's factorial series $F_p(t)=\sum_{n=0}^\infty n!t^n$ in $p$-adic domain under the Generalized Riemann Hypothesis. First, we show that if we consider primes in $k\varphi(m)/(k+1)$ residue classes in the reduced residue system modulo $m$, then under certain explicit extra conditions we must have $\lambda_0+\lambda_1F_p(\alpha_1)+\ldots+\lambda_kF_p(\alpha_k) \neq 0$ for at least one such prime. We also prove an explicit $p$-adic lower bound for the previous linear form. Secondly, we consider the case where we take primes in arithmetic progressions from more than $k\varphi(m)/(k+1)$ residue classes. Then there is an infinite collection of intervals each containing at least one prime which is in those arithmetic progressions and for which we have $\lambda_0+\lambda_1F_p(\alpha_1)+\ldots+\lambda_kF_p(\alpha_k) \neq 0$. We also derive an explicit $p$-adic lower bound for the previous linear form.