English

Explicit constants in averages involving the multiplicative order

Number Theory 2021-02-10 v3

Abstract

Let a>1a>1. Denote by la(p)l_a(p) the multiplicative order of aa modulo pp. We look for an estimate of sum of la(p)p1\frac{l_a(p)}{p-1} over primes pxp\leq x on average. When we average over aNa\leq N, we observe a statistic of CLi(x)C\mathrm{Li}(x). P. J. Stephens ~\cite[Theorem 1]{S} proved this statistic for N>exp(c1logx)N>\exp(c_1\sqrt{\log x}) for some positive constant c1c_1. Upon this result, we give an explicit value of c1c_1. In fact, ~\cite[Theorem 1, 3]{S} hold with N>exp(3.42logx)N>\exp(3.42\sqrt{\log x}), and ~\cite[Theorem 2, 4]{S} hold with N>exp(4.8365logx)N>\exp(4.8365\sqrt{\log x}). Also, we improve the range of yy, from yexp((2+ϵ)logxloglogx)y\geq \exp((2+\epsilon)\sqrt{\log x\log\log x}) in ~\cite[Theorem 1]{LP}, to y>exp(3.42logx)y > \exp(3.42\sqrt{\log x}).

Keywords

Cite

@article{arxiv.1510.04348,
  title  = {Explicit constants in averages involving the multiplicative order},
  author = {Sungjin Kim},
  journal= {arXiv preprint arXiv:1510.04348},
  year   = {2021}
}

Comments

13 pages

R2 v1 2026-06-22T11:20:46.034Z