Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
Séminaire de théorie des nombres de Bordeaux, Serie 2, Volume 3 (1991) no. 2, pp. 311-335.

Let ${J}_{k}\left(n\right):={n}^{k}{\prod }_{p\mid n}\left(1-{p}^{-k}\right)$ (the $k$-th Jordan totient function, and for $k=1$ the Euler phi function), and consider the associated error term ${E}_{k}\left(x\right):={\sum }_{n\le x}\phantom{\rule{4pt}{0ex}}{J}_{k}\left(n\right)-\frac{{x}^{k+1}}{\left(k+1\right)\zeta \left(k+1\right)}$. When $k\ge 2$, both ${i}_{k}:={E}_{k}\left(x\right){x}^{-k}$ and ${s}_{k}:=lim sup{E}_{k}\left(x\right){x}^{-k}$ are finite, and we are interested in estimating these quantities. We may consider instead ${I}_{k}:={lim inf}_{n\in ℕ,n\to \infty }{\sum }_{d\ge 1}\phantom{\rule{4pt}{0ex}}\frac{\mu \left(d\right)}{{d}^{k}}\left(\frac{1}{2}-\left\{\frac{n}{d}\right\}\right),$ since from [AS] ${i}_{k}={I}_{k}-{\left(\zeta \left(k+1\right)\right)}^{-}1$ and from the present paper ${s}_{k}=-{i}_{k}$. We show that ${I}_{k}$ belongs to an interval of the form $\left(\frac{1}{2\zeta \left(k\right)}-\frac{1}{\left(k-1\right){N}^{k-1}},\frac{1}{2\zeta \left(k\right)}\right)$, where $N=N\left(k\right)\to \infty$ as $k\to \infty$. From a more practical point of view we describe an algorithm capable of yielding arbitrary good approximations of ${I}_{k}$. We apply this algorithm to the small values of $k$ and obtain $.29783 and $.46196896<{I}_{4}<.46196916$.

@article{JTNB_1991__3_2_311_0,
author = {P\'etermann, Y.-F. S.},
title = {Oscillations d'un terme d'erreur li\'e \a la fonction totient de {Jordan}},
journal = {S\'eminaire de th\'eorie des nombres de Bordeaux},
pages = {311--335},
publisher = {Universit\'e Bordeaux I},
volume = {2e s{\'e}rie, 3},
number = {2},
year = {1991},
zbl = {0749.11041},
mrnumber = {1149800},
language = {fr},
url = {http://archive.numdam.org/item/JTNB_1991__3_2_311_0/}
}
TY  - JOUR
AU  - Pétermann, Y.-F. S.
TI  - Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
JO  - Séminaire de théorie des nombres de Bordeaux
PY  - 1991
DA  - 1991///
SP  - 311
EP  - 335
VL  - 2e s{\'e}rie, 3
IS  - 2
PB  - Université Bordeaux I
UR  - http://archive.numdam.org/item/JTNB_1991__3_2_311_0/
UR  - https://zbmath.org/?q=an%3A0749.11041
UR  - https://www.ams.org/mathscinet-getitem?mr=1149800
LA  - fr
ID  - JTNB_1991__3_2_311_0
ER  - 
%0 Journal Article
%A Pétermann, Y.-F. S.
%T Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
%J Séminaire de théorie des nombres de Bordeaux
%D 1991
%P 311-335
%V 2e s{\'e}rie, 3
%N 2
%I Université Bordeaux I
%G fr
%F JTNB_1991__3_2_311_0
Pétermann, Y.-F. S. Oscillations d'un terme d'erreur lié à la fonction totient de Jordan. Séminaire de théorie des nombres de Bordeaux, Serie 2, Volume 3 (1991) no. 2, pp. 311-335. http://archive.numdam.org/item/JTNB_1991__3_2_311_0/`

[AS] S.D. Adhikari and A. Sankaranarayanan, On an error term related to the Jordan totient function Jk(n), J. Number Theory 34 (1990), 178-188. | MR | Zbl

[ES] P. Erdös and H.N. Shapiro, The existence of a distribution function for an error term related to the Euler function, Canad. J. Math. 7 (1955), 63-75. | MR | Zbl

[M] H.L. Montgomery, Fluctuations in the mean of Euler's phi function, Proc. Indian Acad. Sci. (Math.Sci.) 97 (1987), 239-245. | MR | Zbl

[P1] Y.-F.S. Pétermann, Existence of all the asymptotic λ-th means for certain arithmetical convolutions, Tsukuba J. Math. 12 (1988), 241-248. | Zbl

[P2] Y.-F.S. Pétermann, On the distribution of values of an error term related to the Euler function, Proc. Conf. Théorie des nombres Univ. Laval juillet 1987, 785-797, Walter de Gruyter, Berlin (1989). | MR | Zbl

[P3] Y.-F.S. Pétermann, On the average behaviour of the largest divisor of n which is prime to a fixed integer k, prépublication.

[W] A. Walfisz, Weylsche Exponentialsummen in der neueren Zahlentheorie, VEB Deutscher Verlag der Wissenschaften, Berlin (1963). | MR | Zbl