Let $J_k\left(n\right):=n^k{\prod }_{p\mid n}(1-p^{-k})$ (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}{J}_k\left(n\right)-\frac{x^{k+1}}{(k+1)\zeta (k+1)}.$$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$$Ik:=\underset{n\in \mathbb{N},n\to \infty }{lim\; inf}$$d 1 (d)dk ( 12 - { nd} ), since from [AS] $i_k=I_k-{\left(\zeta (k+1)\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}{(k-1)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...

We study the palindromic complexity of infinite words $u_{\beta }$, the fixed points of the substitution over a binary alphabet, $\varphi \left(0\right)=0^{a}1$, $\varphi \left(1\right)=0^{b}1$, with $a-1\ge b\ge 1$, which are canonically associated with quadratic non-simple Parry numbers $\beta$.

We study the palindromic complexity of infinite words uβ, the fixed points of the substitution over a binary alphabet, φ(0) = 0a1, φ(1) = 0b1, with a - 1 ≥ b ≥ 1, which are canonically associated with quadratic non-simple Parry numbers β.

A simple Parry number is a real number $\beta \>1$ such that the Rényi expansion of $1$ is finite, of the form $d_{\beta }\left(1\right)=t_1\cdots t_m$. We study the palindromic structure of infinite aperiodic words $u_{\beta }$ that are the fixed point of a substitution associated with a simple Parry number $\beta$. It is shown that the word $u_{\beta }$ contains infinitely many palindromes if and only if $t_1=t_2=\cdots =t_{m-1}\ge t_m$. Numbers $\beta$ satisfying this condition are the so-called confluent Pisot numbers. If $t_m=1$ then $u_{\beta }$ is an Arnoux-Rauzy word. We show that if $\beta$ is a confluent Pisot number then...