arxiv: v2 [math.nt] 17 Jul 2012

Transcription

1 Sums of products of Ramanujan sums László Tóth arxiv: v2 [math.nt] 17 Jul 2012 Department of Mathematics, University of Pécs Ifjúság u. 6, H-7624 Pécs, Hungary and Institute of Mathematics, Department of Integrative Biology Universität für Bodenkultur, Gregor Mendel-Straße 33, A-1180 Wien, Austria Annali dell Universita di Ferrara, Volume 58, Number 1 (2012), Abstract The Ramanujansum c n (k) isdefined asthe sum ofk-th powersofthe primitive n-th roots of unity. We investigate arithmetic functions of r variables defined as certain sums of the products c m1 (g 1 (k)) c mr (g r (k)), where g 1,...,g r arepolynomials with integer coefficients. A modified orthogonality relation of the Ramanujan sums is also derived. Mathematics Subject Classification: 11A25, 11A07, 11N37 Key Words and Phrases: Ramanujan sum, arithmetic function of several variables, multiplicative function, simultaneous congruences, even function, Cauchy convolution, average order 1 Introduction Letc n (k)denote, asusual, theramanujansumdefinedasthesumofk-thpowersoftheprimitive n-th roots of unity (k Z, n N := 1,2,...}), i.e., c n (k) := n j=1 gcd(j,n)=1 exp(2πijk/n), (1) which can be expressed as 1 n c n (k) = n c n (k) = d gcd(k,n) dµ(n/d), (2) where µ is the Möbius function. It follows from (2) that all values of c n (k) are integers. The sums c n (k) enjoy the properties 1, n = 1, The author gratefully acknowledges support from the Austrian Science Fund (FWF) under the project Nr. P20847-N18. (3) 1

2 lcm(l,n) 1 c l (k)c n (k) = lcm(l, n) φ(n), l = n, where φ is Euler s totient function. Ramanujan [9] derived pointwise convergent series representations of arithmetic functions f: N C with respect to the sums (1), of the form f(k) = a f (n)c n (k) (k N) n=1 with certain coefficients a f (n), allowed by the orthogonality formula (4). See also the book of Schwarz and Spilker [10] and the recent survey paper of Lucht [4]. Ramanujan sums play also an important role in the proof of Vinogradov s theorem concerning the number of representations of an odd integer as the sum of three primes. See, e.g., Nathanson [6, Ch. 8]. Let m 1,...,m r N (r N) and m := lcm(m 1,...,m r ), throughout the paper. The function E(m 1,...,m r ) := 1 m (4) m c m1 (k) c mr (k) (5) has combinatorial and topological applications, and was investigated in the recent papers of Liskovets [3] and of the author [12]. Note that all values of E(m 1,...,m r ) are nonnegative integers. Furthermore, the function E is multiplicative as a function of several variables (see Section 2 for the definition of this concept). Remark that in the case of one and two variables (5) reduces to (3) and (4), respectively. Recall the following identity, which is due to Cohen [2, Cor. 7.2], n gcd(k,n)=1 c n (k a) = µ(n)c n (a) (n N,a Z). (6) These suggest to consider the following generalizations of (5) and (6). Let G = (g 1,...,g r ) be a system of polynomials with integer coefficients and let define E G (m 1,...,m r ) := 1 m R G (m 1,...,m r ) := m c m1 (g 1 (k)) c mr (g r (k)), (7) m c m1 (g 1 (k)) c mr (g r (k)), (8) where we can assume that m i > 1 (1 i r), since c 1 (k) = 1 for any k Z. If g 1 (x) =... = g r (x) = x, then (7) reduces to the function (5). In the one variable case, i.e., r = 1 and selecting the linear polynomial g 1 (x) = x a, (8) gives the sum in (6). Consider also the sum T a (m 1,...,m r ) := c m1 (k 1 ) c mr 1 (k r 1 )c mr (k k r 1 +l a), (9) k 1,...,k r 1,l (mod m) gcd(l,m)=1 2

3 where a Z, representing another arithmetic function of r variables, which reduces to the sum of (6) for r = 1. In this paper we evaluate the functions E G, R G, T a, show that they are all multiplicative and investigate some special cases, including the function R(m 1,...,m r ) := m c m1 (k 1) c mr (k 1), (10) obtained from (8) by selecting g 1 (x) =... = g r (x) = x 1. In Section 6 we derive a modified orthogonality relation of the Ramanujan sums by evaluating the function T a. Similar results as those of the present paper, with gcd(g(k),m i ) instead of c mi (g(k)) (1 i r) in (7) and (8), generalizing Menon s identity, are presented in [13]. 2 Preliminaries We recall that an arithmetic function of r variables is a function f : N r C, denoted by f F r. The function f is called multiplicative if it is nonzero and f(m 1 n 1,...,m r n r ) = f(m 1,...,m r )f(n 1,...,n r ) holds for any m 1,...,m r,n 1,...,n r N such that gcd(m 1 m r,n 1 n r ) = 1. If f is multiplicative, then it is determined by the values f(p a 1,...,p ar ), where p is prime and a 1,...,a r N 0}. More exactly, f(1,...,1) = 1 and for any m 1,...,m r N, f(m 1,...,m r ) = p f(p ep(m 1),...,p ep(mr) ), where m i = p pep(mi) are the prime power factorizations of m i (1 i r), the products are over the primes p and all but a finite number of the exponents e p (m i ) are zero. If r = 1, i.e., in the case of functions of a single variable we reobtain the familiar notion of multiplicativity. For example, the functions (m 1,...,m r ) gcd(m 1,...,m r ) and (m 1,...,m r ) lcm(m 1,...,m r ) are multiplicative for every r N. The product and the quotient of (nonvanishing) multiplicative functions are multiplicative. Let h F 1 and f F r be multiplicative functions. Then the functions (m 1,...,m r ) h(m 1 ) h(m r ) and (m 1,...,m r ) h(f(m 1,...,m r )) are multiplicative. In particular, (m 1,...,m r ) h(gcd(m 1,...,m r )) and (m 1,...,m r ) h(lcm(m 1,...,m r )) are multiplicative. If f,g F r, then their convolution is defined by (f g)(m 1,...,m r ) := f(d 1,...,d r )g(m 1 /d 1,...,m r /d r ). (11) The convolution (11) preserves the multiplicativity of functions. For these and further properties of arithmetic functions of several variables we refer to [11, 15]. Let G = (g 1,...,g r ) be a system of polynomials with integer coefficients and consider the simultaneous congruences g 1 (x) 0 (mod m 1 ),...,g r (x) 0 (mod m r ). (12) 3

4 Let N G (m 1,...,m r ) denote the number of solutions x (mod lcm(m 1,...,m r )) of (12). Furthermore, let η G (m 1,...,m r ) denote the number of solutions x (mod lcm(m 1,...,m r )) of (12) such that gcd(x,m 1 ) = 1,..., gcd(x,m r ) = 1. Lemma 1. ([13, Lemma 1]) For every system G = (g 1,...,g r ) of polynomials with integer coefficients the functions (m 1,...,m r ) N G (m 1,...,m r ) and (m 1,...,m r ) η G (m 1,...,m r ) are multiplicative. We also need the following lemmas. Lemma 2. (see e.g., [8, Th. 10.4]) For every d 1,...,d r N and a 1,...,a r Z the simultaneous congruences x a 1 (mod d 1 ),...,x a r (mod d r ) admit a solution in x if and only if gcd(d i,d j ) a i a j (1 i,j r), and in this case there is a unique solution x (mod lcm(d 1,...,d r )). Lemma 3. ([1, Th. 5.32]) Let n,d,x N such that d n, 1 x d, gcd(x,d) = 1. Then #k N : 1 k n,k x (mod d),gcd(k,n) = 1} = φ(n)/φ(d). Lemma 4. (Brauer-Rademacher identity, cf. [5, Ch. 2]) For every n,k N, dµ(n/d) = µ(n)c n(k). (13) φ(d) φ(n) d n,gcd(d,k)=1 Finally we present some concepts and results concerning s-even functions, to be applied in Section 6 involving the function T a. Usually the term r-even function, or even function (mod r) is used in the literature, see [2, 5, 10, 11, 14], but we replace here r by s. A function f F 1 is said to be an s-even function if f(gcd(n,s)) = f(n) for all n N, where s N is fixed. Then f is s-periodic, i.e., f(n+s) = f(n) for every n N and this periodicity extends f to a function defined on Z. If f is s-even, then it has a (Ramanujan-)Fourier expansion of the form f(n) = d s α f (d)c d (n) (n N), where the (Ramanujan-)Fourier coefficients α f (d) are uniquely determined and given by α f (d) = 1 f(e)c s s/e (s/d). e s The Cauchy convolution of the s-even functions f and g is given by (f g)(n) := f(k)g(n k) (n N), (14) k (mod s) f g is again s-even and α f g (d) = sα f (d)α g (d) for every d s. Lemma 5. ([2, Th. 6]) If f is s-even, then for every a Z, s f(a k) = φ(s) d s gcd(k,s)=1 α f (d)µ(d) c d (a), (15) φ(d) For f(k) = c s (k) (k N), which is s-even, formula (15) reduces to (6), with n replaced by s. See also [5, Ch. 2]. 4

5 3 The function E G Here we consider the function E G defined by (7). Theorem 1. If G is an arbitrary system of polynomials with integer coefficients, then for any m 1,...,m r N, d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) E G (m 1,...,m r ) = N G (d 1,...,d r ). (16) lcm(d 1,...,d r ) Proof. Using formula (2) we obtain E G (m 1,...,m r ) = 1 m m d 1 gcd(g 1 (k),m 1 ) = 1 d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) m d 1 µ(m 1 /d 1 )... where the inner sum is (m/lcm(d 1,...,d r ))N G (d 1,...,d r ). d r gcd(g r(k),m r) d r µ(m r /d r ) 1 k m g 1 (k) 0 (mod d 1 ),...,g r(k) 0 (mod d r) Corollary 1. If G is any system of polynomials with integer coefficients, then the function (m 1,...,m r ) E G (m 1,...,m r ) is integer valued and multiplicative. Proof. By Theorem 1 and Lemma 1 the function E G is the convolution of multiplicative functions, hence it is multiplicative. It is integer valued since each term of the sum in (16) is an integer. Corollary 2. For every m 1,...,m r N and a = (a 1,...,a r ) Z r, 1, where E (a) (m 1,...,m r ) := 1 m m c m1 (k a 1 ) c mr (k a r ) d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) = N lcm(d 1,...,d r ) (a) (d 1,...,d r ), N (a) (d 1,...,d r ) = 1, if gcd(d i,d j ) a i a j (1 i,j r), Proof. Apply Theorem 1 in the case g 1 (x) = x a 1,...g r (x) = x a r, a = (a 1,...,a r ) Z r and Lemma 2. Corollary 3. For every m 1,m 2 N with m := lcm(m 1,m 2 ) and every a 1,a 2 Z, E (a1,a 2 )(m 1,m 2 ) := 1 m = d 1 m 1,d 2 m 2 gcd(d 1,d 2 ) a 1 a 2 m c m1 (k a 1 )c mr (k a 2 ) gcd(d 1,d 2 )µ(m 1 /d 1 )µ(m 2 /d 2 ). (17) 5

6 Furthermore, if a 1 a 2 = 1, then ( 1) ω(m), if m 1 = m 2 = m is squarefree, E (a1,a 2 )(m 1,m 2 ) = (18) ω(m) denoting the number of distinct prime factors of m. Proof. Formula (17) follows from Corollary 2 applied for r = 2. Assume that a 1 a 2 = 1. Then (17) gives E (a1,a 2 )(m 1,m 2 ) = µ(m 1 /d 1 )µ(m 2 /d 2 ), d 1 m 1,d 2 m 2 gcd(d 1,d 2 )=1 and we deduce that for any prime p and any u,v N 0}, 1, if u = v = 0, E (a1,a 2 )(p u,p v ) = 1, if u = v = 1, Since the function (m 1,m 2 ) E (a1,a 2 )(m 1,m 2 ) is multiplicative, this leads to (18). For the function E given by (5) we deduce from Corollary 2 the next formula by selecting a 1 =... = a r = 0. Corollary 4. ([12, Prop. 3]) For every m 1,...,m r N, d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) E(m 1,...m r ) =. lcm(d 1,...,d r ) For other special choices of the polynomials g 1,...,g r similar results can be derived if the values N G (d 1,...,d r ) are known. We give the following simple example. Corollary 5. For every n N write n = 2 j m with j N 0} and m odd. Then c j 0, if j 0,2,3} and m is squarefree, 1 n n c n (k 2 1) = (19) where c 0 = c 2 = 1, c 3 = 2. Proof. Apply formula (16) in the case r = 1, g 1 (x) = x 2 1. For the number N(p a ) of solutions of the congruence x 2 1 (mod p a ) it is known (see eg., [7, Ch. 3]), that N(p a ) = 2 (p odd prime, a N), N(2) = 1, N(4) = 2, N(2 l ) = 4 (l 3). Now, (19) is obtained by using the multiplicativity of the involved functions. 4 The function R G Consider now the integer valued function R G defined by (8). 6

7 Theorem 2. If G is an arbitrary system of polynomials with integer coefficients, then for any m 1,...,m r N, d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) R G (m 1,...,m r ) = φ(m) η G (d 1,...,d r ). (20) φ(lcm(d 1,...,d r )) Proof. As in the proof of Theorem 1, we write R G (m 1,...,m r ) = = m d 1 gcd(g 1 (k),m 1 ) d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) d 1 µ(m 1 /d 1 )... d r gcd(g r(k),m r) 1 k m,, g 1 (k) 0 (mod d 1 ),...,g r(k) 0 (mod d r) where the inner sum is (φ(m)/φ(lcm(d 1,...,d r )))η G (d 1,...,d r ) by Lemma 3. d r µ(m r /d r ) Corollary 6. If G is any system of polynomials with integer coefficients, then the function (m 1,...,m r ) R G (m 1,...,m r ) is multiplicative. In particular, in the one variable case (with r = 1, g 1 = g, η G = η g and m 1 = m) the function of a single variable is multiplicative. R g (m) := m c m (g(k)) = φ(m) d m 1, dµ(m/d) η g (d), (21) φ(d) Proof. By Theorem 2 and Lemma 1 the function R G is the convolution of multiplicative functions, hence it is multiplicative. Corollary 7. Assume that g 1 =... = g r = g and m 1,...,m r N are pairwise relatively prime. Then R G (m 1,...,m r ) = R g (m) Proof. Foranyd 1 m 1,...,d r m r wehaveη G (lcm(d 1,...,d r )) = η g (d 1 d r ) = η g (d 1 ) η g (d r ) and we obtain from (20) that R G (m 1,...,m r ) = φ(m 1 ) d 1 µ(m 1 /d 1 ) η g (d 1 ) φ(m r ) d r µ(m r /d r ) η g (d r ) φ(d 1 ) φ(d r ) d 1 m 1 d r m r by the multiplicativity of the function (21). = R g (m 1 ) R g (m r ) = R g (m), Corollary 8. For every m 1,...,m r N and every a = (a 1,...,a r ) Z r, R (a) (m 1,...,m r ) := m c m1 (k a 1 ) c mr (k a r ) 7

8 where d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) = φ(m) η φ(lcm(d 1,...,d r )) (a) (d 1,...,d r ), 1, if gcd(d i,a i ) = 1 (1 i r), η (a) (d 1,...,d r ) := and gcd(d i,d j ) a i a j (1 i,j r), (22) Proof. This is the special case g 1 (x) = x a 1,...,g r (x) = x a r of Theorem 2. We use Lemma 2 again, with the observation that if x is a solution of the simultaneous congruences x a 1 (mod d 1 ),..., x a r (mod d r ), then gcd(x,d 1 ) = gcd(a 1,d 1 ),..., gcd(x,d r ) = gcd(a r,d r ). Hence we obtain for the values of η (a) (d 1,...,d r ) formula (22). Corollary 9. If m 1,...,m r N are pairwise relatively prime, then R (a) (m 1,...,m r ) = µ(m)c m1 (a 1 ) c mr (a r ). (23) Proof. If m 1,...,m r are pairwise relatively prime and d 1 m 1,...,d r m r, then gcd(d i,d j ) = 1 for any i j and we obtain from Corollary 8, R a (m 1,...,m r ) = φ(m 1 ) d 1 m 1 gcd(d 1,a 1 )=1 d 1 µ(m 1 /d 1 ) φ(d 1 ) φ(m r ) d r m r gcd(d r,a r)=1 = µ(m 1 )c m1 (a 1 ) µ(m r )c mr (a 1 ) = µ(m)c m1 (a 1 ) c mr (a r ), by the Brauer-Rademacher identity (13). d r µ(m r /d r ) φ(d r ) Here (23) is an extension of Cohen s formula (6) for several variables. Note that in the case a 1 =... = a r = a the right hand side of (23) is µ(m)c m (a). Corollary 10. If m 1,m 2 N with m = lcm(m 1,m 2 ) and a 1,a 2 Z, then R (a1,a 2 )(m 1,m 2 ) := = φ(m) m d 1 m 1,d 2 m 2 gcd(d 1,a 1 )=1,gcd(d 2,a 2 )=1 gcd(d 1,d 2 ) a 1 a 2 c m1 (k a 1 )c m2 (k a 2 ) d 1 µ(m 1 /d 1 )d 2 µ(m 2 /d 2 ). (24) φ(lcm(d 1,d 2 )) Furthermore, if gcd(a 1,m 1 ) = gcd(a 2,m 2 ) = 1 and a 1 a 2 = 1, then ( 1) ω(gcd(m 1,m 2 )) ψ(gcd(m 1,m 2 )), if m 1 and m 2 are squarefree, R (a1,a 2 )(m 1,m 2 ) = where ψ(n) = n p n (1+1/p) is the Dedekind function. (25) 8

9 Proof. Apply Corollary 8 in the case r = 2. Assuming that gcd(a 1,m 1 ) = gcd(a 2,m 2 ) = 1 and a 1 a 2 = 1 we deduce from (24) that for any prime powers p u, p v (u,v N 0}), 1, if u = v = 0 or u = 1, v = 0 or u = 0, v = 1, R (a1,a 2 )(p u,p v ) = (p+1), if u = v = 1, leading to (25) by using the multiplicativity of the function (m 1,m 2 ) R (a1,a 2 )(m 1,m 2 ). We remark that other special systems G can be considered too. As a further example, we give the following one (r = 1, g 1 (x) = x 2 1). Its proof is similar to that of Corollary 5. Corollary 11. For every n N write n = 2 j m with j N 0} and m odd. Then n c n (k 2 d j ψ(m), if j 0,1,2,3} and m is squarefree, 1) = gcd(k,n)=1 where d 0 = d 1 = 1, d 2 = 4, d 3 = The function R In this section we investigate the multiplicative function R defined by (10). Corollary 12. The function R can be represented for arbitrary m 1,...,m r N as d 1 µ(m 1 /d 1 ) d r µ(m r /d r ) R(m 1,...,m r ) = φ(m). (26) φ(lcm(d 1,...,d r )) Proof. Apply Corollary 8 by choosing a 1 =... = a r = 1. The values of R are determined by the next result, which is the analog of [3, Lemma 2]. Theorem 3. Let p e 1,...,p er be any powers of a prime p (e 1,...,e r N). Assume, without loss of generality, that e := e 1 = e 2 =... = e s > e s+1 e s+2... e r 1 (r s 1). Then R(p e 1 p v+e (p 1) r s+1 h,...,p er s (p), e > 1 ) = (p 1) r +( 1) r (p 2), e = 1, where the integer v is defined by v = r j=1 e j r e+1 and is a polynomial of degree s 2 (for s > 1). h s (x) = (x 1)s 1 +( 1) s x Proof. We do not use (26), but the definition (10) and obtain with the notation k = 1+dp e 1, R(p e 1,...,p er ) = c p e 1(dp e 1 ) c p er(dp e 1 ), 0 d p 1 gcd(1+dp e 1,p e )=1 9

10 where all the other terms are zero, cf. proof of [3, Lemma 2]. If e > 1, then the condition gcd(1+dp e 1,p e ) = 1 is valid for every d 0,1,...,p 1} and obtain R(p e 1,...,p er ) = c p e 1(dp e 1 ) c p er(dp e 1 ) = p e E(p e 1,...,p er ), 0 d p 1 and use the corresponding formula for E(p e 1,...,p er ). For e = 1 one has r = s and R(p,...,p) = c p (d) c p (d) = 0 d p 2 1 d p 2 = (p 2)( 1) r +(p 1) r. ( 1) r +(p 1) r Corollary 13. All values of the function R are nonnegative. Furthermore, R(p e 1,...,p er ) = 0 if and only if e > 1 with s = 1 or s odd and p = 2. Corollary 14. For every prime p and every e 1 e 2 1, 0, e 1 > e 2 1, R(p e 1,p e 2 ) = p 2e 1 (p 1), e 1 = e 2 = e > 1, p 2 p 1, e 1 = e 2 = 1. Proof. This the case r = 2 of Theorem 3. In the case m 1 =... = m r = m let g r (m) = 1 m R(m,...,m) = 1 m m (c m (k 1)) r. (27) Thefollowingresultistheanalogof[12, Prop.11]concerningthefunctionf r (m) = 1 m E(m,...,m). Theorem 4. Let r 2. The average order of the function g r (m) is α r m r 1, where α r := (1+ x r(p) p r p r+1 + p(p 1)h ) r(p) x r (p) p r+2, p x r (p) = (p 1) r +( 1) r (p 2) and h r (p) is defined in Theorem 2. More exactly, for any 0 < ε < 1, m x g r (m) = α r r xr +O(x r 1+ε ). (28) Proof. Similar to the proof of [12, Prop. 11]. The function g r is multiplicative and by Theorem 3 and (27), for every prime p, g r (p) = x r(p) p, g r(p e ) = p (e 1)(r 1) (p 1)h r (p) (e 2). 10

11 where Therefore, m=1 a r (p) = x r(p) p g r (m) m s = ζ(s r+1) p p r 1, ( 1+ a r(p) p s + b ) r(p) p 2s b r (p) = p r 1 (p 1)h r (p) p r 2 x r (p). for s C, Res > r, the infinite product being absolutely convergent for Res > r 1. Consequently, g r = F r id r 1 in terms of the Dirichlet convolution, where F r is multiplicative and for any prime p, F r (p) = a r (p), F r (p 2 ) = b r (p), F r (p k ) = 0 (k 3). The asymptotic formula (28) follows by usual estimates. 6 The function T a For the function T a defined by (9) we prove the following results. The first one is a modified orthogonality relation of the Ramanujan sums. Theorem 5. For any m 1,...,m r N and any a Z, m r 1 µ(m)c m (a), m 1 =... = m r = m, T a (m 1,...,m r ) = (29) Proof. We have T a (m 1,...,m r ) = = l (mod m) gcd(l,m)=1 = j,l (mod m) k 1,...,k r 1,k r (mod m) j+l a (mod m) k k r 1 +k r j (mod m) gcd(l,m)=1 j,l (mod m) j+l a (mod m) gcd(l,m)=1 ( cm1 (.) c mr 1 (.) c mr (.) ) (j) ( cm1 (.) c mr 1 (.) c mr (.) ) (a l) = c m1 (k 1 ) c mr 1 (k r 1 )c mr (k r ) l (mod m) gcd(l,m)=1 K(a l), where K = c m1 (.) c mr 1 (.) c mr (.) is the Cauchy convolution defined by (14). The functions k c mi (k) are m i -even, hence also m-even, with m := lcm(m 1,...,m r ) (1 i r). Their Fourier coefficients are α cmi (d) = 1 for d = m i and 0 for d m i (d m). We obtain that the function K is m-even and its Fourier coefficients are m r 1, if d = m 1 =...m r = m, α K (d) = Now applying Lemma 5 for the function K we deduce that T a (m 1,...,m r ) = φ(m) d m α K (d)µ(d) c d (a) = φ(d) m r 1 µ(m)c m (a), m 1 =... = m r = m, 11

12 If r = 1, then (29) reduces to Cohen s identity (6) given in the Introduction. Corollary 15. For every a Z the function (m 1,...,m r ) T a (m 1,...,m r ) is multiplicative. Proof. Using the definition of the multiplicativity, let m 1,...,m r,n 1,...,n r N and assume that gcd(m 1 n 1,...,m r n r ) = 1. Let m := lcm(m 1,...,m r ), n := lcm(n 1,...,n r ). Then lcm(m 1 n 1,...,m r n r ) = mn, where gcd(m,n) = 1 and by (29) obtain that (mn) r 1 µ(mn)c mn (a), m 1 n 1 =... = m r n r, T a (m 1 n 1,...,m r n r ) = 0, otherwise = m r 1 µ(m)c m (a)n r 1 µ(n)c n (a), m 1 =... = m r,n 1 =... = n r, 0, otherwise = T a (m 1,...,m r )T a (n 1,...,n r ). In the case r = 2 the following orthogonality relation holds. Corollary 16. For any m 1,m 2 N and any a Z, 1 m k,l (mod m) gcd(l,m)=1 7 Acknowledgement c m1 (k)c m2 (k +l a) = µ(m)c m (a), m 1 = m 2 = m, The author thanks the anonymous referee for a very careful reading of the manuscript and for many helpful suggestions on the presentation of this paper. The author thanks also Professor V. A. Liskovets for useful remarks. References [1] T. M. Apostol, Introduction to Analytic Number Theory, Springer, [2] E. Cohen, Representations of even functions (mod r), II. Cauchy products, Duke Math. J. 26 (1959), [3] V. A. Liskovets, A multivariate arithmetic function of combinatorial and topological significance, Integers 10 (2010), #A12, [4] L. G. Lucht, A survey of Ramanujan expansions, Int. J. Number Theory 6 (2010), [5] P. J. McCarthy, Introduction to Arithmetical Functions, Universitext, Springer, [6] M. B. Nathanson, Additive Number Theory. The Classical Bases, Graduate Texts in Mathematics 164, Springer,

13 [7] I. Niven, H. S. Zuckerman, H. L. Montgomery An Introduction to the Theory of Numbers, 5th edition, John Wiley & Sons, [8] Ø. Ore, Number Theory and Its History, Dover Publications, [9] S. Ramanujan, On certain trigonometrical sums and their applications in the theory of numbers, Trans. Cambridge Philos. Soc. 22 (1918), (Collected Papers, Cambridge 1927, No. 21). [10] W. Schwarz, J. Spilker, Arithmetical Functions, London Mathematical Society Lecture Note Series, 184, Cambridge University Press, [11] R. Sivaramakrishnan, Classical Theory of Arithmetic Functions, in Monographs and Textbooks in Pure and Applied Mathematics, Vol. 126, Marcel Dekker, [12] L. Tóth, Some remarks on a paper of V. A. Liskovets, Integers 11 (2011), #A51, 14 pp. [13] L. Tóth, Menon s identity and arithmetical sums representing functions of several variables, Rend. Semin. Mat. Univ. Politec. Torino 69 (2011), [14] L. Tóth, P. Haukkanen, The discrete Fourier transform of r-even functions, Acta Univ. Sapientiae, Mathematica 3, no. 1 (2011), [15] R. Vaidyanathaswamy, The theory of multiplicative arithmetic functions, Trans. Amer. Math. Soc. 33 (1931),