arxiv: v2 [math.nt] 3 May 2017

Transcription

1 Ramanujan expansions of arithmetic functions of several variables arxiv: v2 [math.nt] 3 May 2017 László Tóth Department of Mathematics, University of Pécs Ifjúság útja 6, 7624 Pécs, Hungary ltoth@gamma.ttk.pte.hu Abstract We generalize certain recent results of Ushiroya concerning Ramanujan expansions of arithmetic functions of two variables. We also show that several properties on expansions of arithmetic functions of one and several variables using classical and unitary Ramanujan sums, respectively, run parallel Mathematics Subject Classification: 11A25, 11N37 Key Words and Phrases: Ramanujan expansion of arithmetic functions, arithmetic function of several variables, multiplicative function, unitary divisor, unitary Ramanujan sum 1 Introduction Basic notations, used throughout the paper are included in Section 2. Further notations are explained by their first appearance. Refining results of Wintner [25], Delange [3] proved the following general theorem concerning Ramanujan expansions of arithmetic functions. Theorem 1.1. Let f : N Ñ C be an arithmetic function. Assume that n1 ωpnq pµ fqpnq 2 ă 8. (1) n Then for every n P N we have the absolutely convergent Ramanujan expansion fpnq a q c q pnq, (2) where the coefficients a q are given by q1 a q m1 pµ fqpmqq mq pq P Nq. 1

2 Delange also pointed out how this result can be formulated for multiplicative functions f. By Wintner s theorem ([25, Part I], also see, e.g., Postnikov [11, Ch. 3], Schwarz and Spilker [14, Ch. II]), condition (1) ensures that the mean value 1 Mpfq lim xñ8 x fpnq exists and a 1 Mpfq. Recently, Ushiroya [23] proved the analog of Theorem 1.1 for arithmetic functions of two variables and as applications, derived Ramanujan expansions of certain special functions. For example, he deduced that for any fixed n 1,n 2 P N, nďx σppn 1,n 2 qq pn 1,n 2 q ζp3q q 1,q 2 1 c q1 pn 1 qc q2 pn 2 q rq 1,q 2 s 3, (3) τppn 1,n 2 qq ζp2q Here (3) corresponds to the classical identity σpnq n ζp2q 8 q1 q 1,q 2 1 c q1 pn 1 qc q2 pn 2 q rq 1,q 2 s 2. (4) c q pnq q 2 pn P Nq, (5) due to Ramanujan [12]. However, (4) has not a direct one dimensional analog. The identity of Ramanujan for the divisor function, namely, τpnq q1 logq q c qpnq pn P Nq can not be obtained by the same approach, since the mean value Mpτq does not exist. We remark that prior to Delange s paper, Cohen [2] pointed out how absolutely convergent expansions (2), including (5) can be deduced for some special classes of multiplicative functions of one variable. It is easy to see that the same arguments of the papers by Delange [3] and Ushiroya [23] lead to the extension of Theorem 1.1 for Ramanujan expansions of (multiplicative) arithmetic functions of k variables, for any k P N. But in order to obtain k dimensional versions of the identities (3) and (4), the method given in [23] to compute the coefficients is complicated. Recall that d is a unitary divisor (or block divisor) of n if d n and pd,n{dq 1. Various problems concerning functions associated to unitary divisors were discussed by several authors in the literature. Many properties of the functions σ pnq and τ pnq 2 ωpnq, representing the sum, respectively the number of unitary divisors of n are similar to σpnq and τpnq. Analogs of Ramanujan sums defined by unitary divisors, denoted by c q pnq and called unitary Ramanujan sums, are also known in the literature. However, we are not aware of any paper concerning expansions of functions with respect to the sums c q pnq. The only such paper we found is by 2

3 Subbarao [17], but it deals with a series over the other argument, namely n in c q pnq. See Section 3.2. In this paper we show that several properties on expansions of functions of one and several variables using classical and unitary Ramanujan sums, respectively, run parallel. We also present a simple approach to deduce Ramanujan expansions of both types for gppn 1,...,n k qq, where g : N Ñ C is a certain function. For example, we have the identities σppn 1,n 2 qq pn 1,n 2 q σpnq n ζp2q 8 ζp3q τppn 1,n 2 qq ζp2q q 1,q 2 1 q 1,q 2 1 q1 φ 2 pqqc q pnq q 4 pn P Nq, φ 3 prq 1,q 2 sqc q 1 pn 1 qc q 2 pn 2 q rq 1,q 2 s 6 pn 1,n 2 P Nq, (6) φ 2 prq 1,q 2 sqc q 1 pn 1 qc q 2 pn 2 q rq 1,q 2 s 4 pn 1,n 2 P Nq, (7) which can be compared to (5), (3) and (4), respectively. We point out that there are identities concerning the sums c q pnq, which do not have simple counterparts in the classical case. For example, τ 3 ppn 1,n 2 qq pζp2qq 2 q 1,q 2 1 τprq 1,q 2 sqpφ 2 prq 1,q 2 sqq 2 rq 1,q 2 s 6 c q 1 pn 1 qc q 2 pn 2 q pn 1,n 2 P Nq. (8) For general accounts on classical Ramanujan sums and Ramanujan expansions of functions of one variable we refer to the book by Schwarz and Spilker [14] and to the survey papers by Lucht [8] and Ram Murty [13]. See Sections 3.1 and 3.2 for properties and references on functions defined by unitary divisors and unitary Ramanujan sums. Section 3.3 includes the needed background on arithmetic functions of several variables. Our main results and their proofs are presented in Section 4. 2 Notations N t1,2,...u, N 0 t0,1,2,...u, P is the set of (positive) primes, the prime power factorization of n P N is n ś ppp pνppnq, the product being over the primes p, where all but a finite number of the exponents ν p pnq are zero, pn 1,...,n k q and rn 1,...,n k s denote the greatest common divisor and the least common multiple, respectively of n 1,...,n k P N, pf gqpnq ř d nfpdqgpn{dq is the Dirichlet convolution of the functions f,g : N Ñ C, ωpnq stands for the number of distinct prime divisors of n, µ is the Möbius function, σ s pnq ř d n ds (s P R), σpnq σ 1 pnq is the sum of divisors of n, τpnq σ 0 pnq is the number of divisors of n, 3

4 φ s is the Jordan function of order s given by φ s pnq n s ś p n p1 1{ps q (s P R), φ φ 1 is Euler s totient function, c q pnq ř 1ďkďq,pk,qq1expp2πikn{qq are the Ramanujan sums (q,n P N), τ k pnq is the Piltz divisor function, defined as the number of ways that n can be written as a product of k positive integers, λpnq p 1q Ωpnq is the Liouville function, where Ωpnq ř p ν ppnq, ζ is the Riemann zeta function, d n means that d is a unitary divisor of n, i.e., d n and pd,n{dq 1 (We remark that this is in concordance with the standard notation p ν n used for prime powers p ν.) 3 Preliminaries 3.1 Functions of one variable defined by unitary divisors The study of arithmetic functions defined by unitary divisors goes back to Vaidyanathaswamy [24] and Cohen [1]. The functions σ pnq and τ pnq were already mentioned in the Introduction. The analog of Euler s φ function is φ, defined by φ pnq #tk P N : 1 ď k ď n, pk,nq 1u, where pk,nq maxtd : d k,d nu. Note that d pk,nq holds if and only if d k and d n. The functions σ, τ, φ are all multiplicative and σ pp ν q p ν `1, τ pp ν q 2, φ pp ν q p ν 1 for any prime powers p ν (ν ě 1). The unitary convolution of the functions f and g is pf ˆgqpnq d nfpdqgpn{dq pn P Nq, it preserves the multiplicativity of functions, and the inverse of the constant 1 function under the unitary convolution is µ, where µ pnq p 1q ωpnq, also multiplicative. The set A of arithmetic functions forms a unital commutative ring with pointwise addition and the unitary convolution, having divisors of zero. See, e.g., Derbal [4], McCarthy [10], Sitaramachandrarao and Suryanarayana [15], Snellman [16] for properties and generalizations of functions associated to unitary divisors. 3.2 Unitary Ramanujan sums The unitary Ramanujan sums c q pnq were defined by Cohen [1] as follows: c q pnq 1ďkďq pk,qq 1 expp2πikn{qq pq, n P Nq. The identities c q pnq dµ pq{dq d pn,qq pq,n P Nq, 4

5 d q c d pnq # q, if q n, 0, otherwise can be compared to the corresponding ones concerning the Ramanujan sums c q pnq. It turns out that c q pnq is multiplicative in q for any fixed n P N, and # c p νpnq p ν 1, if p ν n, 1, otherwise, (9) (10) for any prime powers p ν (ν ě 1). Furthermore, c q pqq φ pqq, c q p1q µ pqq (q P N). If q is squarefree, then the divisors of q coincide with its unitary divisors. Therefore, c q pnq c q pnq for any squarefree q and any n P N. However, if q is not squarefree, then there is no direct relation between these two sums. Proposition 3.1. For any q,n P N, c d pnq 2ωpq{pn,qq q pn,qq, (11) d q c d pnq ď 2ωpqq n. (12) d q Proof. If q p ν (ν ě 1) is a prime power, then we have by (10), # 1 `p ν 1 p ν, if p ν n, pnq c 1 pnq ` c p ν pnq 1 `1 2, otherwise. d p ν c d Now (11) follows at once by the multiplicativity in q of the involved functions, while (12) is its immediate consequence. Remark 3.2. The corresponding properties for the classical Ramanujan sums are c d pnq 2 ωpq{pn,qqq pn,qq, (13) d q c d pnq ď 2 ωpqq n, (14) d q where inequality (14) is crucial in the proof of Theorem 1.1, and identity (13) was pointed out by Grytczuk [5]. Of course, some other properties differ notably. For example, the unitary sums c q pnq do not enjoy the orthogonality property of the classical Ramanujan sums, namely 1 n n c q1 pkqc q2 pkq k1 # φpqq, if q 1 q 2 q, 0, otherwise, 5

6 valid for any q 1,q 2,n P N with rq 1,q 2 s n. To see this, let p be a prime, let q 1 p, q 2 p 2 and n p 2. Then, according to (10), p 2 k1 c ppkqc p 2 pkq p 2 pp 1q 0. Let Λ be the unitary analog of the von Mangoldt function Λ, given by # νlogp, if k p ν, Λ pkq 0, otherwise. The paper of Subbarao [17] includes the formula n1 c q pnq n Λ pqq pq ě 2q, (15) with an incomplete proof, namely without showing that the series in (15) converges. Here (15) is the analog of Ramanujan s formula (also see Hölder [6]) n1 c q pnq n Λpqq pq ě 2q. For further properties and generalizations of unitary Ramanujan sums, see, e.g., Cohen [1], Johnson [7], McCarthy [10], Suryanarayana [18]. Note that a common generalization of the sums c q pnq and c q pnq, involving Narkiewicz type regular systems of divisors was investigated by McCarthy [9] and the author [19]. 3.3 Arithmetic functions of several variables For every fixed k P N the set A k of arithmetic functions f : N k Ñ C of k variables is an integral domain with pointwise addition and the Dirichlet convolution defined by pf gqpn 1,...,n k q fpd 1,...,d k qgpn 1 {d 1,...,n k {d k q, (16) d 1 n 1,...,d k n k the unity being the function δ k, where δ k pn 1,...,n k q # 1, if n 1... n k 1, 0, otherwise. The inverse of the constant 1 function under (16) is µ k, given by where µ is the (classical) Möbius function. µ k pn 1,...,n k q µpn 1 q µpn k q pn 1,...,n k P Nq, 6

7 A function f P A k is said to be multiplicative if it is not identically zero and fpm 1 n 1,...,m k n k q fpm 1,...,m k qfpn 1,...,n k q holds for any m 1,...,m k,n 1,...,n k P N such that pm 1 m k,n 1 n k q 1. If f is multiplicative, then it is determined by the values fpp ν 1,...,p ν kq, where p is prime and ν 1,...,ν k P N 0. More exactly, fp1,...,1q 1 and for any n 1,...,n k P N, fpn 1,...,n k q ź pppfpp νppn 1q,...,p νppn kq q. Similar to the one dimensional case, the Dirichlet convolution (16) preserves the multiplicativity of functions. The unitary convolution for the k variables case can be defined and investigated, as well, but we will not need it in what follows. See our paper [21], which is a survey on (multiplicative) arithmetic functions of several variables. 4 Main results We first prove the following general result: Theorem 4.1. Let f : N k Ñ C be an arithmetic function (k P N). Assume that and where n 1,...,n k 1 Then for every n 1,...,n k P N, fpn 1,...,n k q fpn 1,...,n k q a q1,...,q k 2 ωpn 1q` `ωpn k q pµ k fqpn 1,...,n k q n 1 n k ă 8. (17) m 1,...,m k 1 m 1,...,m k 1 pm 1,q 1 q1,...,pm k,q k q1 the series (18) and (19) being absolutely convergent. a q1,...,q k c q1 pn 1 q c qk pn k q, (18) c q 1 pn k q, (19) pµ k fqpm 1 q 1,...,m k q k q m 1 q 1 m k q k, pµ k fqpm 1 q 1,...,m k q k q m 1 q 1 m k q k, (20) We remark that according to the generalized Wintner theorem, under conditions of Theorem 4.1, the mean value 1 Mpfq lim fpn 1,...,n k q x 1,...,x k Ñ8 x 1 x k exists and a 1,...,1 a 1,...,1 Mpfq. See Ushiroya [22, Th. 1] and the author [21, Sect. 7.1]. 7 nďx

8 Proof. We consider the case of the unitary Ramanujan sums c q pnq. For any n 1,...,n k P N we have, by using property (9), fpn 1,...,n k q pµ k fqpd 1,...,d k q d 1 n 1,...,d k n k d 1,...,d k 1 pµ k fqpd 1,...,d k q d 1 d k c q 1 pn k q q 1 d 1 c q 1 pn 1 q d 1,...,d k 1 q 1 d 1,...,q k d k q k d k c q k pn k q pµ k fqpd 1,...,d k q d 1 d k, giving expansion (19) with the coefficients (20), by denoting d 1 m 1 q 1,...,d k m k q k. The rearranging of the terms is justified by the absolute convergence of the multiple series, shown hereinafter: c q 1 pn 1 q c q k pn k q ď m 1,...,m k 1 pm 1,q 1 q1,...,pm k,q k q1 t 1,...,t k 1 ď n 1 n k pµ k fqpt 1,...,t k q t 1 t k t 1,...,t k 1 pµ k fqpm 1 q 1,...,m k q k q m 1 q 1 m k q k c q 1 pn 1 q c q k pn k q m 1 q 1 t 1 pm 1,q 1 q1 c q 1 pn 1 q m k q k t k pm k,q k q1 2 ωpt 1q` `ωpt k q pµ k fqpt 1,...,t k q t 1 t k ă 8, c q k pn k q by using inequality (12) and condition (17). For the Ramanujan sums c q pnq the proof is along the same lines, by using inequality (14). In the case k 2 the proof of (18) was given by Ushiroya [23]. and to For multiplicative functions f, condition (17) is equivalent to n 1,...,n k 1 ppp ν 1,...,ν k 0 ν 1`...`ν k ě1 We deduce the following result: pµ k fqpn 1,...,n k q n 1 n k ă 8 (21) pµ k fqpp ν 1,...,p ν kq p ν 1` `ν k ă 8. (22) 8

9 Corollary 4.2. Let f : N k Ñ C be a multiplicative function (k P N). Assume that condition (21) or (22) holds. Then for every n 1,...,n k P N one has the absolutely convergent expansions (18), (19), and the coefficients can be written as a q1,...,q k ź ppp ν 1 ěν ppq 1 q,...,ν k ěν ppq k q pµ k fqpp ν 1,...,p ν kq p ν 1` `ν k, ź ppp 1 pµ k fqppν1,...,pνkq p ν 1,...,ν ν, 1` `ν k k where ř1 means that for fixed p and j, ν j takes all values ν j ě 0 if ν p pq j q 0 and takes only the value ν j 0 if ν p pq j q ě 1. Proof. This is a direct consequence of Theorem 4.1 and the definition of multiplicative functions. In the cases k 1 and k 2, with the sums c q pnq see [3, Eq. (7)] and [23, Th. 2.4], respectively. Next we consider the case fpn 1,...,n k q gppn 1,...,n k qq. Theorem 4.3. Let g : N Ñ C be an arithmetic function and let k P N. Assume that Then for every n 1,...,n k P N, n1 gppn 1,...,n k qq gppn 1,...,n k qq are absolutely convergent, where kωpnq pµ gqpnq 2 n k ă 8. (23) a q1,...,q k c q1 pn 1 q c qk pn k q, (24) c q 1 pn k q (25) a q1,...,q k 1 Q k 8 m1 pµ gqpmqq m k, with the notation Q rq 1,...,q k s. 1 Q k 8 Proof. We apply Theorem 4.1. The identity gppn 1,...,n k qq m1 pm,qq1 pµ gqpmqq m k, d n 1,...,d n k pµ gqpdq 9

10 shows that now pµ k fqpn 1,...,n k q # pµ gqpnq, if n 1... n k n, 0, otherwise. In the unitary case the coefficients are n1 m 1 q 1...m k q k n pm 1,q 1 q1,...,pm k,q k q1 n1 q 1 n,...,q k n pµ k fqpm 1 q 1,...,m k q k q m 1 q 1 m k q k pµ gqpnq n k, and take into account that q 1 n,...,q k n holds if and only if rq 1,...,q k s Q n, that is, n mq with pm,qq 1. In the classical case, namely for the coefficients a q1,...,q k, the proof is analog. and to If the function g is multiplicative, then condition (23) is equivalent to n1 pppν1 pµ gqpnq n k ă 8 (26) pµ gqpp ν q p kν ă 8, (27) and Theorem 4.3 can be rewritten according to Corollary 4.2. We continue, instead, with the following result, having direct applications to special functions. Corollary 4.4. Let g : N Ñ C be a multiplicative function and let k P N. Assume that condition (26) or (27) holds. If µ g is completely multiplicative, then (24) holds for every n 1,...,n k P N with a q1,...,q k pµ gqpqq Q k m1 pµ gqpmq m k. Identity (25) holds for every n 1,...,n k P N (and any multiplicative g) with pµ gqpqq Q k m1 pm,qq1 pµ gqpmq m k. Proof. This is immediate by Theorem 4.3. By making use of condition pm,qq 1, it follows for the coefficients that pµ gqpmqq pµ gqpmqpµ gqpqq for any multiplicative function g. 10

11 Corollary 4.5. For every n 1,...,n k P N the following series are absolutely convergent: σ s ppn 1,...,n k qq pn 1,...,n k q s ζps `kq c q1 pn 1 q c qk pn k q Q s`k ps P R,s `k ą 1q, σppn 1,...,n k qq pn 1,...,n k q ζpk `1q τppn 1,...,n k qq ζpkq c q1 pn 1 q c qk pn k q Q k`1 pk ě 1q (28) c q1 pn 1 q c qk pn k q Q k pk ě 2q. (29) Proof. Apply Corollary 4.4 for gpnq σ s pnq{n s, where the function pµ gqpnq 1{n s is completely multiplicative. In the case k 2 the identities of Corollary 4.5 were given in [23, Ex. 3.8, 3.9]. For k 2, (28) and (29) reduce to (3) and (4), respectively. Corollary 4.6. For every n 1,...,n k P N the following series are absolutely convergent: σ s ppn 1,...,n k qq pn 1,...,n k q s ζps `kq φ s`k pqqc q 1 pn k q Q 2ps`kq ps P R,s `k ą 1q, σppn 1,...,n k qq pn 1,...,n k q ζpk `1q τppn 1,...,n k qq ζpkq m1 pm,qq1 φ k`1 pqqc q 1 pn k q Q 2pk`1q pk ě 1q (30) φ k pqqc q 1 pn k q Q 2k pk ě 2q. (31) Proof. Apply the second part of Corollary 4.4 for gpnq σ s pnq{n s. Since pµ gqpnq 1{n s, we deduce that 1 1 Q s`k m s`k ζps `kqφ s`kpqq Q 2ps`kq. If k 2, then identities (30) and (31) recover (6) and (7), respectively. Corollary 4.4 can be applied for several other special functions g. Further examples are g β s (s P R) and g r, where β s pnq ř d n ds λpn{dq and rpnq denotes the number of solutions px,yq P Z 2 of the equation x 2 `y 2 n. We present the result for the second one. For g β s, in the case k s 1 and classical Ramanujan sums, cf. Cohen [2, Eq. (12)] and the author [20, Eq. (16)]. 11

12 Corollary 4.7. For every n 1,...,n k P N the following series are absolutely convergent: where rppn 1,...,n k qq 4Lpχ,kq rppn 1,...,n k qq 4Lpχ,kq Lpχ,kq n0 Q odd Q odd p 1q pq 1q{2 c q1 pn 1 q c qk pn k q Q k pk ě 1q, (32) p 1q pq 1q{2 F pqq Q k c q 1 pn k q pk ě 1q, p 1q n p2n `1q k ź p 1qpp 1q{2 1 p k ppp pą2 χ χ 4 being the nonprincipal character (mod 4) and F pqq ź 1 k p 1q pp 1q{2 {p. p Q 1, Proof. Use that rpnq 4 ř d nχpdq, thus µ r{4 χ, completely multiplicative. Here (32) is well known for k 1, and was obtained in [23, Ex. 3.13] in the case k 2. If g is multiplicative such that µ g is not completely multiplicative, then Corollary 4.4 can be applied for the sums c q pnq, but not for c q pnq, in general. Corollary 4.8. For every n 1,...,n k P N the following series are absolutely convergent: φ s ppn 1,...,n k qq pn 1,...,n k q s φppn 1,...,n k qq pn 1,...,n k q 1 ζps `kq 1 ζpk `1q µpqqc q 1 pn k q φ s`k pqq µpqqc q 1 pn k q φ k`1 pqq ps P R,s `k ą 1q, (33) pk ě 1q. (34) Proof. Similar to the proof of Corollary 4.6, selecting gpnq φ s pnq{n s, where pµ gqpnq µpnq{n s. However, observe that if Q is not squarefree, then µpqq 0 and all terms of the sums in (33) and (34) are zero. Now if Q is squarefree, then q j is squarefree and c q j pn j q c qj pn j q for any j and any n j. Thus we deduce the next identities: Corollary 4.9. For every n 1,...,n k P N the following series are absolutely convergent: φ s ppn 1,...,n k qq 1 µpqqc q1 pn 1 q c qk pn k q pn 1,...,n k q s ps P R,s `k ą 1q, (35) ζps `kq φ s`k pqq φppn 1,...,n k qq pn 1,...,n k q 1 ζpk `1q which are formally the same identities as (33) and (34). 12 µpqqc q1 pn 1 q c qk pn k q φ k`1 pqq pk ě 1q, (36)

13 Note that the special identities (35) and (36) can also bederived by thefirstpart of Corollary 4.4, without considering the unitary sums c q pnq. See Ushiroya [23, Ex. 3.10, 3.11] for the case k 2, using different arguments. Similar formulas can be deduced for the generalized Dedekind function ψ s pnq n s ś p n p1 ` 1{p s q (s P R), where ψpnq ψ 1 pnq ś p np1 `1{pq is the Dedekind function. See Cohen [2, Eq. (13)] in the case k s 1. Finally, consider the Piltz divisor function τ m. The following formula, concerning the sums c q pnq, deduced along the same lines with the previous ones, has no simple counterpart in the classical case. Corollary For any n 1,...,n k P N, τ m ppn 1,...,n k qq pζpkqq m 1 8 τ m 1 pqqpφ k pqqq m 1 Q km c q 1 pn k q pm ě 2,k ě 2q. If m 2, then (37) reduces to formula (31), while for m 3 and k 2 it gives (8). References [1] E. Cohen, Arithmetical functions associated with the unitary divisors of an integer, Math. Z. 74 (1960), [2] E. Cohen, Fourier expansions of arithmetical functions, Bull. Amer. Math. Soc. 67 (1961), [3] H. Delange, On Ramanujan expansions of certain arithmetical functions, Acta. Arith. 31 (1976), [4] A. Derbal, La somme des diviseurs unitaires d un entier dans les progressions arithmétiques pnq), C. R. Math. Acad. Sci. Paris 342 (2006), (σ k,l [5] A. Grytczuk, An identity involving Ramanujan s sum. Elem. Math. 36 (1981), [6] O. Hölder, Zur Theorie der Kreisteilungsgleichung K m pxq 0, Prace Mat.-Fiz. 43 (1936), [7] K. R. Johnson, Unitary analogs of generalized Ramanujan sums, Pacific J. Math. 103 (1982), [8] L. G. Lucht, A survey of Ramanujan expansions, Int. J. Number Theory 6 (2010), [9] P. J. McCarthy, Regular arithmetical convolutions, Portugal. Math. 27 (1968), [10] P. J. McCarthy, Introduction to Arithmetical Functions, Springer Verlag, New York - Berlin - Heidelberg - Tokyo, (37) 13

14 [11] A. G. Postnikov, Introduction to Analytic Number Theory, Translations of Mathematical Monographs, 68, Amer. Math. Society (Providence, RI, 1988). [12] S. Ramanujan, On certain trigonometric sums and their applications in the theory of numbers, Trans. Cambridge Philos. Soc. 22 (1918), [13] M. Ram Murty, Ramanujan series for arithmetic functions, Hardy-Ramanujan J. 36 (2013), [14] W. Schwarz, J. Spilker, Arithmetical functions, An introduction to elementary and analytic properties of arithmetic functions and to some of their almost-periodic properties, London Mathematical Society Lecture Note Series, 184. Cambridge University Press, Cambridge, [15] R. Sitaramachandrarao and D. Suryanarayana, On ř nďx σ pnq and ř nďx ϕ pnq, Proc. Amer. Math. Soc. 41 (1973), [16] J. Snellman, The ring of arithmetical functions with unitary convolution: divisorial and topological properties, Arch. Math. (Brno), 40 (2004), [17] M. V. Subbarao, A note on the arithmetic functions Cpn,rq and C pn,rq, Nieuw Arch. Wisk. (3) 14 (1966) [18] D. Suryanarayana, A property of the unitary analogue of Ramanujan s sum, Elem. Math. 25 (1970), 114. [19] L. Tóth, Remarks on generalized Ramanujan sums and even functions, Acta Math. Acad. Paedagog. Nyházi. (N.S.) 20 (2004), [20] L. Tóth, A survey of the alternating sum-of-divisors function, Acta Univ. Sapientiae, Math., 5 (2013), [21] L. Tóth, Multiplicative arithmetic functions of several variables: a survey, in Mathematics Without Boundaries, Surveys in Pure Mathematics. Th. M. Rassias, P. Pardalos (Eds.), Springer, New York, 2014, arxiv: [math.nt] [22] N. Ushiroya, Mean-value theorems for multiplicative arithmetic functions of several variables, Integers, 12 (2012), [23] N. Ushiroya, Ramanujan-Fourier series of certain arithmetic functions of two variables, Hardy-Ramanujan J. 39 (2016), arxiv: [math.nt] [24] R. Vaidyanathaswamy, The theory of multiplicative arithmetic functions, Trans. Amer. Math. Soc., 33 (1931), [25] A. Wintner, Eratosthenian Averages, Waverly Press, Baltimore,