Jordan totient quotients

The Jordan totient $J_k(n)$ can be defined by $J_k(n)=n^k\prod_{p|n}(1-p^{-k})$. In this paper, we study the average behavior of fractions $P/Q$ of two products $P$ and $Q$ of Jordan totients, which we call Jordan totient quotients. To this end, we prepare some general and ready-to-use methods to deal with a wider class of totient functions first by an elementary method, and then by using an advanced method due to Balakrishnan and P\'etermann. As an application, we determine the average behavior of the Jordan totient quotient, the $k^{th}$ normalized derivative of the $n^{th}$ cyclotomic polynomial $\Phi_n(z)$ at $z=1$, the second normalized derivative of the $n^{th}$ cyclotomic polynomial $\Phi_n(z)$ at $z=-1$, and the average order of the Schwarzian derivative of $\Phi_n(z)$ at $z=1$.


Introduction
Jordan totient quotients. Let k ≥ 1 be an integer. The k th Jordan totient function J k (n) is the number of k-tuples chosen from a complete residue system modulo n such that the greatest common divisor of each set is coprime to n. It is not difficult to show that (1) J k (n) = n k where p here, and indeed in the whole paper, denotes a prime number. The Jordan function first showed up in the work of Camille Jordan in 1870 in formulas for the order of finite matrix groups (such as GL(m, Z/nZ)). For an introduction to Jordan totients see Section 2.
Definition. Let r ≥ 1 be an integer and e = (e 1 , . . . , e r ) be a vector with integer entries. Put w = i ie i . An arithmetic function J e of the form is said to be a Jordan totient quotient of weight w. If w = 0, then we say that it is a balanced Jordan totient quotient. If the weight is different from 0 we call it unbalanced.
Note that if J e is balanced, then J e (n) depends only on the square-free kernel of n. A famous (unbalanced) Jordan totient quotient is the Dedekind Ψ-function defined by which showed up in the work of Dedekind on modular forms. In this paper we study the average behavior of Jordan totient quotients. In the remainder of the introduction we describe our main results, including an application to the study of the average of the normalized derivative of cyclotomic polynomials.
2010 Mathematics Subject Classification. 11N37, 11Y60. 1 Our first result gives an asymptotic formula for the summatory function of any balanced Jordan totient quotient J e (n), which implies that J e (n) is constant on average. Theorem 1. Let r ∈ N, e = (e 1 , . . . , e r ) ∈ Z r be a vector of integers, and J e be a Jordan totient quotient of weight w = i ie i = 0. Then asymptotically n≤x J e (n) = S e x + is positive and the C e,r are some constants 1 .
Note that the convergence of S e is ensured since As J e (p)p −w > 0 > 1 − p, we have S e > 0. This constant can be expanded as a product of partial zeta values, see Moree and Niklasch [7,8]. As partial zeta values can be easily evaluated up to high precision (say, with thousand decimals), this then allows one to do the same for S e .
In case e = (0) is the zero vector, then J e (n) = 1 for every n ≥ 1, S e = 1 and Theorem 1 merely states that n≤x 1 = x + O(1).
The proof of Theorem 1 uses the method of Balakrishnan and Pétermann [2]. We consider not only the balanced Jordan totient quotients, but also a more general class of totient functions (see Section 3 for the definitions), a similar to the one earlier studied by Kaczorowski [5] in the context of the inverse theorems for the Selberg class. An analog of Theorem 1 for w = 0 can be easily established on invoking Lemma 6 and partial summation. As this is a long and rather inelegant result, we leave it to the interested reader to write it down.
Before applying the Balakrishnan-Pétermann method as in Section 4, we develop a simpler argument (see Section 3), which actually applies to a wider class of totients. This method allows us to get the main term of Theorem 1, however only with a weaker error term.
Theorem 2. Let r ∈ N, e = (e 1 , . . . , e r ) ∈ Z r be a vector of integers, and J e be a Jordan totient quotient of weight w = i ie i = 0. Then asymptotically where the constant S e is positive and given by (3).
By elementary means, we also obtain the mean value estimate of Theorem 2 for non-zero weight (see Proposition 1).
It is an open problem to obtain a result at least as strong as Theorem 1 by more elementary methods than used by Balakrishnan and Pétermann. Applications. In Section 5 of the present paper, we consider normalized higher derivatives of cyclotomic polynomials at 1. Our main result shows that they are constant on average. We use the standard notation Φ n and B n for the n th cyclotomic polynomial and n th Bernoulli number, respectively (cf. Section 5.1).
Although some part of the sum k r=1 C r (log x) r can be swamped by the error term, it turns out to be easier to work with this full series rather than an appropriately truncated one.
In case k = 1, we have by (17) improving Theorem 3. However, as our method of proof naturally includes the case k = 1, we have not excluded it from our formulation of Theorem 3. Theorem 3 is a simple consequence of Lemma 8 and Theorem 1. We expect that an analogous result can be obtained with 1 replaced by any root of unity, and that this would involve averages of generalized Jordan totients (introduced in Bzdȩga et al. [3]) of the form with χ a Dirichlet character of modulus m and m is the order of the root of unity. We will see such a result for −1 in case k = 2 in the proof of Theorem 4, which is due to Herrera-Poyatos and the first author [4].
Finally, in Theorem 5, we determine the average of the Schwarzian derivative of Φ n (z) evaluated at z = 1.

The totient functions
Let k ≥ 1 be an integer and J k (n) be the k th Jordan totient function. This is one of many generalizations of Euler's totient function (the case k = 1), see Sivaramakrishnan [11]. It is easy to see,cf. [12, p. 91], that which, by Möbius inversion, yields Thus J k is a Dirichlet convolution of two multiplicative functions and hence is itself multiplicative. By the Euler product formula, it then follows from (7) that (1) holds true. Given a Jordan totient quotient function of weight w = i ie i as in (2), we normalize it by dividing by n w , resulting in Although our focus is the study of this particular function, our methods easily allow a more general class of totients to be dealt with.
Definition (General totient). Let θ n be a complex valued multiplicative function supported on square-free numbers. Define the θ-totient φ θ (n) by It is easy to see that any arithmetic function f that only depends on the square-free kernel of n for every n ≥ 1, is of the form φ θ for some θ.
We next describe the conditions we impose on θ throughout the paper.
Condition Θ1. There exist non-negative constants σ, κ, A with 0 ≤ σ < 1 such that for any Condition Θ2. There exist 0 < λ < 1/2 and α ∈ R with |α| ≥ 1 such that for all primes p we have Condition Θ3. With respect to p the function pθ p is ultimately monotonic 2 .
Note that if Condition Θ2 is satisfied, then so is Condition Θ1 with σ = 0 and κ = |α|. We point out that in order to prove Theorem 2 only Condition Θ1 is needed, whereas to prove Theorem 1 we shall impose the stronger Condition Θ2. Notice that if θ is defined by J e (n)/n w = φ θ (n), then Condition Θ2 is satisfied with α = −e 1 and λ = 1, cf. (8).

Mean values of general totients via an elementary method
In this section, we give a simple method to obtain asymptotic formulas for the mean value of multiplicative functions of a certain type. The ideas and techniques are not new, but our aim is to provide a quick way to translate the definition of multiplicative functions to the asymptotic formula of its mean value. As we have seen, our θ-totient is modeled on the normalized Jordan totient quotient (8). Thus we need to introduce a weight factor n β . Lemma 1. Let β be an arbitrary real number. For x ≥ 1 we have Proof. Follows from parts (a), (b), and (d) of [1, Theorem 3.2].
Lemma 2. Let φ θ be a θ-totient and β be an arbitrary real number. Assume that θ satisfies Condition Θ1. We then have where S θ is given by the absolutely convergent product and C(θ, β) is a constant depending only on θ and β.
Proof. By the definition of θ-quotient, we have Thus, by Lemma 1, we have Hence, in particular, By combining the above, we obtain the assertion for the case β = −1.
For the case β = −1, we have to evaluate the main term. We have The last integral can be estimated as This completes the proof for the case β = −1.
As a special case we obtain the following result involving the Jordan totient quotient.
Proposition 1. Let e = (e 1 , . . . , e r ) ∈ Z r be a vector of integers and J e (n) be the associated Jordan totient quotient of weight w = i ie i . For any real number β we have where S e is given by (3) and C(e, β) is a constant depending only on e and β.
Proof. We can regard J e (n)n −w as a general totient φ θ (n) with components This gives i.e. the current θ satisfies Condition Θ1 with σ = 0, κ = |e 1 |. Note that and so the comparison of (9) and (3) yields S θ = S e . Under the above setting, we can rewrite the left-hand side of the assertion as n≤x J e (n)n β = n≤x n β+w J e (n) n w = n≤x n β+w φ θ (n) and the proposition follows by Lemma 2.
where S (−k) is given by (3) and C k is a constant depending on k.

Mean values of general totients by Balakrishnan-Pétermann
In this section we use the method of Balakrishnan and Pétermann [2] in order to prove Theorem 1. This method yields an asymptotic formula for the mean value of θ-totients, provided some condition stronger than Condition Θ1 is satisfied. It consists of Propositions 2 and 3 below. be a Dirichlet series that converges absolutely for σ > 1 − λ, with λ a positive real number. Define two arithmetic functions a n and v n by ∞ n=1 a n n s = ζ(s)ζ(s + 1) α f (s + 1), where σ > 1, α is an arbitrary real number and the branch of ζ(s + 1) α is taken by the one for which arg ζ(s + 1) equals zero on the positive real line. Then we have Remark. In [2], there are several places to use the zero-free region for the Riemann zeta function. Throughout this paper, we use a specific zero-free region where t 0 is some large constant. See (6.15.1) of [14]. This zero-free region enables us to take b = 1/6 in [2]. See Subsection 1.4, Lemma 3, and Lemma 5 of [2].

Lemma 3 (Balakrishnan and Pétermann [2, Lemma 3]). In the notation of Proposition 2 we have
with |V r | ≤ (cr) r for every r ≥ 1 and c ≥ 1 a constant possibly depending on v.
Now we prove Theorem 1. As already mentioned, we need to assume that θ satisfies a stronger condition than Condition Θ1. In this section, we use Conditions Θ2 and Θ3, and hence all implicit constants in this section will depend on the constants α, λ and the implicit constant appearing in Condition Θ2. Lemma 4. Let φ θ be a θ-totient with θ satisfying Condition Θ2. Consider the formal Dirichlet series where α is the same one as in Condition Θ2. Then f (s) converges absolutely for Re s > 1−λ.
If we consider the Dirichlet series given by then, using (10) for the coefficients of f (s), we obtain Using the Euler product expansion and the generalized binomial formula, we see that is a generalized binomial coefficient. Since the Euler product (12) is absolutely convergent for σ = Re s > 1 and Note that for every ε > 0. Substituting n = p and n = p ν into (11) and using Condition Θ2, we find respectively, b p ν ≪ |τ −α (p ν )| ≪ ε p νε for ν ≥ 2 and every ε > 0. As is bounded when both σ + λ > 1 and 2σ > 1, the result follows since λ < 1/2.
Proof. With the choice a n = φ θ (n), we are in the scope of Proposition 2 by Lemma 4, and on applying it and noting that v n = nθ n , the proof is completed.
We next estimate the error term in Proposition 2. For this purpose, we need Theorem 1 of Pétermann [10], which we state below 3 . Note that the parameter α in [10] corresponds to |α| − 1 in Proposition 2. In order to avoid possible confusion caused by this clash of notation, we replace α in [10] by α 1 .

Proposition 3 (Pétermann [10, Theorem 1]).
Let v n be a real-valued multiplicative function. Assume that there exist real numbers α 1 , β ≥ 0, and a sequence of real numbers {V r } ∞ r=0 , such that for every integer B > 0 and real number x ≥ 4, we have v p is ultimately monotonic with respect to p, v p ν is bounded as p ν runs over the prime powers.
where M β (x) is defined in Lemma 1, and Proof. By Lemma 5, it is sufficient to show that R(x) = O((log x) 2|α|/3 (log log x) 4|α|/3 ), which we do via Proposition 3. Hence, we need to check that Conditions (h1), (h2) and (h3) are all satisfied. Since θ n satisfies Condition Θ2, |θ n | also satisfies Condition Θ2, but with |α| instead of α. Thus, we can apply Lemma 4 with |θ n | instead of θ n . Then, as v n = nθ n , we can replace v n in Proposition 2 by |v n |.
We start with Condition (h1). We apply Lemma 3 and obtain where the V r are some constants satisfying |V r | ≤ (cr) r with some c ≥ 1. Let B > 0 be an integer that is kept fixed. Then it is easy to see that for x larger than some constant depending on B and α, are bounded above as ≪ 2 −r and so the sum is bounded by some constant, and we infer that This enables us to truncate the sum over r to obtain By partial summation, The main terms can be evaluated using integration by parts as with some constants C m depends on α and r. The error term can be estimated as By combining the above estimates, we arrive at where theṼ r are constants. By Condition Θ2, we have |α| ≥ 1. Hence, Condition (h1) of Proposition 3 is satisfied with α 1 = |α| − 1 ≥ 0.
As to Condition (h2), we start with the string of estimates By combining (13) and (14), we see that Condition (h2) is satisfied as well.
The remaining Condition (h3) follows immediately from our setting and Condition Θ3. Thus Conditions (h1), (h2) and (h3) are satisfied and we get the claimed upper bound for R(x), which on insertion in Lemma 5 yields the first assertion of the lemma. The second claim now follows by partial summation.

Applications
Definition. Let f (X) ∈ Z[X] be a polynomial and let deg f denote its degree with respect to X. For any complex number z such that f (z) = 0, we define as the normalized k th derivative of f at z.
In case f (X) ∈ Z ≥0 [X], z ≥ 1 is real, and f (z) = 0, it is easy to show that F (k) (z) ≤ 1. This observation leads to the following problem.
Problem. Let z be given. Let F be an infinite family of polynomials f with f (z) = 0. Study the average behavior and value distribution of F (k) (z) in the family F.
Here we consider the family F = {Φ n : n ≥ 2}, where Φ n denotes the n th cyclotomic polynomial. It can be defined by with ζ n any primitive n th root of unity. Note that Φ n (1) = 0 for n > 1 and that Φ n (−1) = 0 for n > 2. Theorem 3 shows that the k th normalized derivative of Φ n at 1, is constant on averaging over n.

5.1.
The k th derivative of Φ n at 1. In this section we first recall some known results on Φ (k) n . For a survey (and some new results) see Herrera-Poyatos and Moree [4]. The Bernoulli numbers B n can be recursively defined by with B 0 = 1. The coefficients c(k, j) of the polynomial c(k, j)X j are called the signed Stirling numbers of the first kind.
In particular, using Lemma 7 with k = 1, 2 for n > 1 we obtain Lemma 8. For n > 1 and k ≥ 1, we have where the summation is as in Theorem 3.
Proof. Since J h (n) ≤ n h and c(i, i) = 1, it follows from (16) that Hence, by raising this to the λ i -th power, By substituting this estimate into (15), the proof of the lemma is concluded by taking the product over 1 ≤ i ≤ k and noting that the error term is O k (n k i=1 iλ i −1 ) = O k (n k−1 ) for each choice of λ 1 , . . . , λ k contributing to the sum ( * ) . Proof of Theorem 3. By (6), we may assume k ≥ 2. By Lemma 8 and Corollary 1, where we used the summation ( * ) and the indices e(λ) defined in Theorem 3. Note that every index e(λ) appearing on the right-hand side has weight Trivially |e 1 (λ)| ≤ k and hence, by applying Theorem 1 and using k ≥ 2, S e(λ) .