Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
Journal de Théorie des Nombres de Bordeaux, 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 = {Y.-F. S. P\'etermann},
title = {Oscillations d'un terme d'erreur li\'e \a la fonction totient de {Jordan}},
journal = {Journal de Th\'eorie des Nombres de Bordeaux},
pages = {311--335},
publisher = {Universit\'e Bordeaux I},
volume = {3},
number = {2},
year = {1991},
doi = {10.5802/jtnb.53},
zbl = {0749.11041},
mrnumber = {1149800},
language = {fr},
url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.53/}
}
TY  - JOUR
TI  - Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
JO  - Journal de Théorie des Nombres de Bordeaux
PY  - 1991
DA  - 1991///
SP  - 311
EP  - 335
VL  - 3
IS  - 2
PB  - Université Bordeaux I
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.53/
UR  - https://zbmath.org/?q=an%3A0749.11041
UR  - https://www.ams.org/mathscinet-getitem?mr=1149800
UR  - https://doi.org/10.5802/jtnb.53
DO  - 10.5802/jtnb.53
LA  - fr
ID  - JTNB_1991__3_2_311_0
ER  - 
%0 Journal Article
%T Oscillations d'un terme d'erreur lié à la fonction totient de Jordan
%J Journal de Théorie des Nombres de Bordeaux
%D 1991
%P 311-335
%V 3
%N 2
%I Université Bordeaux I
%U https://doi.org/10.5802/jtnb.53
%R 10.5802/jtnb.53
%G fr
%F JTNB_1991__3_2_311_0
Y.-F. S. Pétermann. Oscillations d'un terme d'erreur lié à la fonction totient de Jordan. Journal de Théorie des Nombres de Bordeaux, Volume 3 (1991) no. 2, pp. 311-335. doi : 10.5802/jtnb.53. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.53/`

[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: 1042491 | Zbl: 0694.10041

[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: 65580 | Zbl: 0067.27601

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

[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: 0661.10056

[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: 1024603 | Zbl: 0685.10030

[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: 220685 | Zbl: 0146.06003

Cited by Sources: