arxiv: v1 [math.nt] 26 Apr 2016

Transcription

1 Ramanuan-Fourier series of certain arithmetic functions of two variables Noboru Ushiroya arxiv: v [math.nt] 26 Apr 206 Abstract. We study Ramanuan-Fourier series of certain arithmetic functions of two variables. We generalize Delange s theorem to the case of arithmetic functions of two variables and give sufficient conditions for pointwise convergence of Ramanuan-Fourier series of arithmetic functions of two variables. We also give several examples which are not obtained by trivial generalizations of results on Ramanuan-Fourier series of functions of one variable. Keywords. Ramanuan-Fourier series, two variables, arithmetic functions, multiplicative functions. 200 Mathematics Subect Classification. A25, N37. Introduction Let c q (n denote the Ramanuan sums defined in [4] as c q (n q a (a,q exp(2πian/q, where q and n are positive integers and (a,q is the greatest common divisor of a and q. Ramanuan proved that c q (n can be rewritten as c q (n µ(q/dd, d (q,n where µ is the Möbius function. Hardy [2] proved that, for fixed n, c q (n is a multiplicative function. In other words, c q q 2 (n c q (nc q2 (n holds for any q,q 2 N satisfying (q,q 2. Let f : N C be an arithmetic function. Ramanuan [4] investigated its Ramanuan-Fourier series which is an infinite series of the form f(n a q c q (n, (. q where a q are called the Ramanuan-Fourier coefficients of f, and he obtained the following results. σ s (n n s ζ(s+ ϕ(n n ζ(2 τ(n r(n π q q q q c q (n, (.2 qs+ µ(q ϕ 2 (q c q(n, (.3 logq q c q(n, (.4 ( q 2q c 2q (n, (.5

2 2 2. Some Results where σ s (n d n ds with s > 0, ζ(s is the Riemann zeta function, ϕ(n is Euler s totient function, ϕ s (n n s p n ( /ps, τ(n is the number of divisors of n and r(n is the number of representations of n as the sum of two squares. Let denotes the Dirichlet convolution, that is, (f g(n d nf(dg(n/d for arithmetic functions f,g, and let ω(n be the number of distinct prime divisors of n. We say that f : N C is a multiplicative function if f satisfies f(mn f(mf(n for any m,n N satisfying (m,n. Delange [] proved the following theorem. Theorem.. ([] Let f(n be an arithmetic function satisfying n Then its Ramanuan-Fourier series is pointwise convergent and holds where 2 ω(n (f µ(n <. (.6 n f(n a q m a q c q (n q (f µ(qm. qm Moreover, if f is a multiplicative function, then a q can be rewritten as a q p P ( eν p(q where P is the set of prime numbers and ν p (q (f µ(p e p e, (.7 α if p α n 0 if p n. Delange noted that, if f is a multiplicative function, then the condition (.6 is equivalent to the condition: p P e f(pe f(p e /p e < since (f µ(p e f(p e f(p e for e. Under this condition, we can directly calculate Ramanuan-Fourier coefficients a q for certain arithmetic functions by using (.7. For example, if we set f(n ϕ(n/n, then we can easily calculate the righthand side of (.7 and obtain a q (ζ(2 µ(q/ϕ 2 (q which coincide with the Ramanuan-Fourier coefficients of (.3. Many results concerning Ramanuan-Fourier series of arithmetic functions of one variable are obtained by many mathematicians hitherto, however, as for Ramanuan-Fourier series of arithmetic functions of two variables, to my knowledge, few results are known. We would like to extend Delange s theorem to the case of functions of two variables and obtain several examples which are extensions of (.2 ( Some Results Let f, g : N N C be arithmeric functions of two variables. The Dirichlet convolution of f and g is defined as follows. (f g(n,n 2 f(m,m 2 g(n /m,n 2 /m 2. m n, m 2 n 2 We use the same notation µ for the function µ(n,n 2 µ(n µ(n 2,

3 N. Ushiroya, Ramanuan-Fourier series of certain arithmetic functions of two variables 3 whichis theinverse of theconstant functionunderthedirichlet convolution, that is, (µ (n,n 2 δ(n,n 2 holds where δ(n,n 2 or 0 according to whether n n 2 or not. We investigate Ramanuan-Fourier series of arithmetical functions of two variables along Delange s article ([]. We first establish the following theorem which is an extension of Theorem. to the case of arithmetic functions of two variables. Theorem 2.. Let f(n,n 2 be an arithmetic function of two variables satisfying n,n 2 Then its Ramanuan-Fourier series is pointwise convergent and f(n,n 2 2 ω(n 2 ω(n 2 (f µ(n,n 2 n n 2 <. (2.8 q,q 2 a q,q 2 c q (n c q2 (n 2 (2.9 holds where a q,q 2 m,m 2 (f µ(m q,m 2 q 2 m q m 2 q 2. (2.0 For the proof of the above theorem, we need the following lemma. Lemma 2.2. ([] For every positive integer k, c q (n n2 ω(k. q k Proof of Theorem 2.. We proceed as in []. We first note that (2.8 implies the absolute convergence oftheright-handsideof(2.0. Next weshowthattheseries q,q 2 a q,q 2 c q (n c q2 (n 2 isabsolutely convergent. It is easy to see that where q,q 2 W k,k 2 a q,q 2 c q (n c q2 (n 2 m q k m 2 q 2 k 2 (f µ(q m,q 2 m 2 By (2.8 and Lemma 2.2 we have k,k 2 q,q 2 m,m 2 k,k 2 W k,k 2, (f µ(q m,q 2 m 2 c q (n c q2 (n 2 q m q 2 m 2 c q (n c q2 (n 2 (f µ(k,k 2 c q (n c q2 (n 2. q m q 2 m 2 k k 2 W k,k 2 k,k 2 q k q 2 k 2 (f µ(k,k 2 n n 2 2 ω(k 2 ω(k2 n n 2 <. k k 2 Hence the series q,q 2 a q,q 2 c q (n c q2 (n 2 is absolutely convergent. We have q,q 2 m,m 2 (f µ(q m,q 2 m 2 q m q 2 m 2 c q (n c q2 (n 2 k,k 2 w k,k 2,

4 4 2. Some Results where w k,k 2 m q k m 2 q 2 k 2 (f µ(q m,q 2 m 2 q m q 2 m 2 c q (n c q2 (n 2 (f µ(k,k 2 k k 2 c q (n c q2 (n 2. q k q 2 k 2 Using the well known formula: q k c q(n ε k (n where ε k (n k if k n 0 if k n ([6], we have k,k 2 w k,k 2 k,k 2 k n k 2 n 2 (f µ(k,k 2 k k 2 ε k (n ε k2 (n 2 (f µ(k,k 2 k k 2 k k 2 (f µ (n,n 2 (f δ(n,n 2 f(n,n 2. Therefore (2.9 holds. This completes the proof of Theorem 2.. We say that f : N N C is a multiplicative function of two variables if f satisfies f(m n,m 2 n 2 f(m,m 2 f(n,n 2 for any m,m 2,n,n 2 N satisfying (m m 2, n n 2. It is well known that if f and g are multiplicative functions of two variables, then f g also becomes a multiplicative function of two variables. For an arithmetical function f of two variable, the mean value M(f is defined by M(f lim x,y xy n x, n 2 y if this limit exists. Ushiroya [7] proved the following theorem. f(n,n 2 Theorem 2.3. ([7] Let f be a multiplicative function of two variables satisfying p P e,e 2 0 e +e 2 (f µ(p e p e +e 2 <. Then the mean value M(f exists and M(f m,m 2 (f µ(m,m 2 m m 2 p P ( e,e 2 0 (f µ(p e p e +e 2. (2. We would like to investigate Ramanuan-Fourier series in the case when f is a multiplicative function of two variables. The following theorem is an extension of Theorem. to the case of a multiplicative function of two variables. Theorem 2.4. Let f be a multiplicative function of two variables satisfying p P e,e 2 0 e +e 2 Then its Ramanuan-Fourier series is pointwise convergent and f(n,n 2 (f µ(p e p e +e 2 <. (2.2 q,q 2 a q,q 2 c q (n c q2 (n 2 (2.3

5 N. Ushiroya, Ramanuan-Fourier series of certain arithmetic functions of two variables 5 holds where a q,q 2 m,m 2 (f µ(m q,m 2 q 2 m q m 2 q 2 (2.4 Moreover, if M(f 0 and q,q 2 } >, where q,q 2 } denotes the least common multiple of q and q 2, then a q,q 2 can be rewritten as follows. a q,q 2 p P M(f ( e ν p(q e 2 ν p(q 2 p q,q 2 } ( (f µ(p e p e +e 2 e ν p(q e 2 ν p(q 2 (f µ(p e ( p e +e 2 / Remark 2.5. By (2. and (2.4, we have a, M(f. e 0e 2 0 (f µ(p e } p e +e 2, (2.5 Proof. First we note that, if f(n,n 2 is a multiplicative function of two variables, then f(n,n 2 p P f(pνp(n,p νp(n 2 holds. Let f satisfy (2.2. Since (n,n 2 2 ω(n 2 ω(n 2 (f µ(n,n 2 /n n 2 is a multiplicative function of two variables, we have n x, n 2 y p P k,l 0 ( exp 2 ω(n 2 ω(n 2 (f µ(n,n 2 n n 2 (f µ(p k,p l p k+l p P e, e 2 0 e +e 2 p P (+ k,l 0p P e, e 2 0 e +e 2 (f µ(p e p e < +e 2 2 ω(pk 2 ω(pl (f µ(pk,p l p k+l (f µ(p e p e +e 2 where we have used the well-known inequality +x exp(x for x 0. Since f satisfies (2.8, we see by Theorem 2. that the Ramanuan-Fourier series of f is pointwise convergent and (2.3 holds. Next we prove (2.5 under the condition M(f 0 and q,q 2 } >. For i,2, let q i pe i (e i 0 and m i r i pd i (d i 0 be the prime factor decompositions of q i and m i respectively where p s are prime numbers satisfying p q,q 2 } and r i s are positive integers coprime to q q 2. Then we have a q,q 2 m,m 2 (f µ(m q,m 2 q 2 m q m 2 q 2 Since f µ is multiplicative, we have a q,q 2 d i 0 r i, (r i, q q 2 d i 0 d i 0 r i, (r i, q q 2 (f µ(r pd +e, r 2 pd 2+e 2 r r 2 pd +e +d 2 +e 2 (f µ( pd +e, pd 2+e 2 (f µ(r,r 2 pd +e +d 2 +e 2 r r 2 ( (f µ( pd +e, pd 2+e 2 ( p q,q 2 } ( pd +e +d 2 +e 2 e ν p(q e 2 ν p(q 2 r i, (r i, q q 2 (f µ(p e p e +e 2 p q q 2 ( (f µ(r,r 2 r r 2 e 0e 2 0 (f µ(p e p e +e 2..

6 6 3. Examples Since the condition M(f 0 implies e,e 2 0 a q,q 2 p q,q 2 } M(f ( e ν p(q e 2 ν p(q 2 p q,q 2 } ( p q,q 2 } (f µ(p e p e +e 2 (f µ(p e p e +e 2 ( e 0e 2 0 e ν p(q e 2 ν p(q 2 This completes the proof of Theorem Examples p P 0 for every p P by (2., we have ( e 0e 2 0 (f µ(p e p e +e 2 (f µ(p e p e / +e 2 ( (f µ(p e p e +e 2 e 0e 2 0 In this section, we give several examples. We begin with the following example. (f µ(p e } p e. +e 2 Example 3.. Let f(n,n 2 ϕ(n n 2 /n n 2. Then its Ramanuan-Fourier series is pointwise convergent and ϕ(n n 2 µ(q µ(q 2 M(f n n 2 ϕ((q,q 2 ϕ(q q 2 c q (n c q2 (n 2 q,q 2 holds where M(f p P ( 2/p2 +/p 3 and ϕ(n p n (p2 +p. Proof. First we show that f satisfies (2.2. If we set g(n ϕ(n/n p n ( /p, then g(pe /p for e. From this we have for e,e,e 2 (f µ(p e, f(p e, f(p e, g(p e g(p e /p if e 0 if e 2, (f µ(p e f(p e f(p e f(p e +f(p e g(p e +e 2 2g(p e +e 2 +g(p e +e 2 2 /p if (e,e 2 (, 0 if e,e 2 and e +e 2 3. From the above and (2. we can calculate the mean value M(f as follows. M(f p P p P ( + (f µ(p e,+(f µ(,p e p e + e ( 2 p 2 + p 3. e,e 2 (f µ(p e p e +e 2 Since M(f 0, we have by (2.5 a p, M(f ( p 2 + p 3 / ( 2 p 2 + p 3 M(f p 2 +p, a p k, 0 if k 2, ( a p,p M(f p 3 / ( 2 p 2 + p 3 a p k,pl 0 if k,l and k+l 3. M(f (p (p 2 +p,

7 N. Ushiroya, Ramanuan-Fourier series of certain arithmetic functions of two variables 7 Hence µ(q µ(q 2 a q,q 2 M(f ϕ((q,q 2 ϕ(q q 2 (3.6 holds if (q,q 2 (p k,p l where k,l 0. Since the function (q,q 2 a q,q 2 /M(f is multiplicative, (3.6 holds for every q,q 2 N. This completes the proof of Example 3.. The formula (.3 says that, if we set f(n ϕ(n/n, then f(n M(f q (µ(q/ϕ 2(qc q (n holds since M(f 6/π 2 in this case. However, Example 3. shows that the function f(n,n 2 ϕ(n n 2 /n n 2 does not have a similar expression of Ramanuan-Fourier series to that of (.3. We want to find an arithmetic function f which satisfies f(n,n 2 M(f µ(q q 2 q,q 2 ϕ 2 (q q 2 c q (n c q2 (n 2. In the following example, we give a function which satisfies the above relation. Example 3.2. Let f(n,n 2 be the multiplicative function defined by f(p k,p l p/(p 2 + if k or l 0 and k+l 2p/(p 2 + if k,l. (3.7 Then its Ramanuan-Fourier series is pointwise convergent and f(n,n 2 M(f q,q 2 µ(q q 2 ϕ 2 (q q 2 c q (n c q2 (n 2 holds where M(f p P ( 2 p 2 +. Proof. By (3.7 it follows that (f µ(p k,p l p/(p 2 + if (k,l (,0 or (0, 0 otherwise. (3.8 From the above it is obvious that f satisfies (2.2. Hence its Ramanuan-Fourier series is pointwise convergent by Theorem 2.4. Using (2. and (3.8 we have M(f p P ( + (f µ(p,+(f µ(,p ( 2 p p 2 +. p P As for the Ramanuan-Fourier coefficients of f, we have by (2.5 and (3.8 M(f( p a p k, a,p k 2 + /( 2 µ(p M(f M(f p 2 + p 2 ϕ 2 (p if k 0 M(f µ(pk ϕ 2 if k 2, (p k Hence a p k,p l 0 M(f µ(pk p l ϕ 2 (p k p l if k,l. a q,q 2 M(f µ(q q 2 ϕ 2 (q q 2 (3.9 holds if (q,q 2 (p k,p l where k,l 0. Since the function (q,q 2 a q,q 2 /M(f is multiplicative, (3.9 holds for every q,q 2 N. This completes the proof of Example 3.2. Next we consider the case in which f(n,n 2 is defined by f(n,n 2 g((n,n 2 where g : N C is a multiplicative function. Before describing Ramanuan-Fourier series of this case, we would like to cite the following theorem.

8 8 3. Examples Theorem 3.3. ([7] Let f(n,n 2 g((n,n 2 where g is a multiplicative function satisfying Then the mean value M(f exists and p P e M(f p P g(p e g(p e p 2e <. (3.20 ( + e g(p e g(p e p 2e. (3.2 Remark 3.4. We note that, if f(n,n 2 g((n,n 2, then it is easy to see that (f µ(p k,p l g(p k g(p k if k l 0 otherwise. (3.22 Hence (3.20 clearly implies (2.2. NowwecanshowthefollowingtheoremconcerningRamanuan-Fourierseriesinthecasef(n,n 2 g((n,n 2. Let k l denote max(k,l. Theorem 3.5. Let f(n,n 2 g((n,n 2 where g is a multiplicative function satisfying p P e Then its Ramanuan-Fourier series is pointwise convergent and holds where a, M(f and f(n,n 2 g(p e g(p e p 2e <. (3.23 q,q 2 a q,q 2 c q (n c q2 (n 2 a q,q 2 M(f p q,q 2 } ( eν p(q ν p(q 2 g(p e g(p e ( p 2e / + e g(p e g(p e p 2e } (3.24 for q,q 2 such that q,q 2 } >. Proof. Remark 3.4 says that (3.23 implies (2.2. It is easy to see that (3.24 holds by (2.5 and (3.22. This completes the proof of Theorem 3.5. The following example is an extension of (.2 to the case f(n,n 2 g((n,n 2. Example 3.6. Let f(n,n 2 σ s ((n,n 2 /(n,n 2 s where s >. Then its Ramanuan-Fourier series is pointwise convergent and σ s ((n,n 2 (n,n 2 s ζ(s+2 q,q 2 c q (n c q2 (n 2 q,q 2 } s+2.

9 N. Ushiroya, Ramanuan-Fourier series of certain arithmetic functions of two variables 9 Proof. If we set g(n σ s (n/n s, then we see that g(p e p es p (e+s p s p s ( p es ps for e 0 and g(p e g(p e ( p s p es p (e s p s p s p es p es for e. Therefore (3.20 holds and we have by (3.2 M(f p P ( + e For k and l satisfying k +l we also have by (3.24 a p k,p l M(f ek l + e M(f g(p e g(p e p 2e g(p e g(p e p 2e p (2+s(k l p 2+s p 2+s p (s+2e ζ(s+2. M(f ek l p (2+se p (2+se + e M(f p (2+s(k l M(f p k,p l } 2+s. Therefore a q,q 2 M(f/p k,p l } 2+s holds if (q,q 2 (p k,p l. Since the function (q,q 2 a q,q 2 /M(f is multiplicative, we obtain the desired result. If we set s 0 in Example 3.6, then we obtain the following example. Example 3.7. Let f(n,n 2 τ((n,n 2 where τ(n is the number of divisors of n. Then its Ramanuan-Fourier series is pointwise convergent and c q (n c q2 (n 2 τ((n,n 2 ζ(2 q,q 2 } 2. q,q 2 The following example is an extension of (.3 to the case f(n,n 2 g((n,n 2. Example 3.8. Let f(n,n 2 ϕ((n,n 2 /(n,n 2. Then its Ramanuan-Fourier series is pointwise convergent and ϕ((n,n 2 µ(q,q 2 } (n,n 2 ζ(3 ϕ 3 (q,q 2 } c q (n c q2 (n 2. q,q 2 Proof. If we set g(n ϕ(n/n, then g(p e /p for e. Hence (3.20 holds and we have by (3.2 M(f ( g(p e g(p e + p 2e ( + ( /p p 2 ( p 3 ζ(3. p P e p P p P We also have by (3.24 and a p k,p l M(f ek l + e g(p e g(p e p 2e g(p e g(p e p 2e 0 if k l 2 a p, a,p a p,p M(f /p3 /p 3 M(f p 3 ( /p 3. Thereforea q,q 2 M(fµ(q,q 2 }/ϕ 3 (q,q 2 }holdsif(q,q 2 (p k,p l. Sincethefunction(q,q 2 a q,q 2 /M(f is multiplicative, we obtain the desired result.

10 0 3. Examples The proof of the following example is similar to that of the previous example. Example 3.9. Let f(n,n 2 ϕ s ((n,n 2 /(n,n 2 s where s >. Then its Ramanuan-Fourier series is pointwise convergent and ϕ s ((n,n 2 (n,n 2 s ζ(s+2 q,q 2 µ(q,q 2 } ϕ s+2 (q,q 2 } c q (n c q2 (n 2. If we set s 0 in Example 3.9, then we obtain the following example. Example 3.0. Let f(n,n 2 δ((n,n 2 if (n,n 2 0 if (n,n 2 >. Then its Ramanuan-Fourier series is pointwise convergent and δ((n,n 2 ζ(2 q,q 2 µ(q,q 2 } ϕ 2 (q,q 2 } c q (n c q2 (n 2. The following example is an extension of (.5 to the case f(n,n 2 g((n,n 2. Example 3.. Let f(n,n 2 4 r((n,n 2 where r(n #(A,B Z Z;A 2 +B 2 n}. Then its Ramanuan-Fourier series is pointwise convergent and where χ(n 4 r((n,n 2 M(f 0 if n is even ( n 2 if n is odd q,q 2 χ(q,q 2 } q,q 2 } 2 c q (n c q2 (n 2, and M(f p>2, p P χ(p/p 2. Proof. Let g(n 4 r(n and e N. Then g(2e and e+ if p (mod 4 g(p e 0 if p 3 (mod 4 and e is odd if p 3 (mod 4 and e is even. From this we have g(2 e g(2 e 0 and if p (mod 4 g(p e g(p e if p 3 (mod 4 and e is odd if p 3 (mod 4 and e is even. Hence (3.20 clearly holds. Furthermore, we have for k 0 if p 2 g(p e g(p e ek if p (mod 4 p p 2e 2e p 2k /p 2 ( e ek if p 3 (mod 4 and k is odd ek p 2e p 2k +/p 2 if p 3 (mod 4 and k is even. ek p ( mod 4 ( e p 2e p 2k +/p 2 Using (3.2 and(3.25 we can calculate the mean value M(f as follows. ( ( M(f + p 2 ( /p 2 p 2 (+/p 2 p ( mod 4 /p 2 p 3( mod 4 p 3( mod 4 +/p 2 p>2, p P χ(p/p 2. (3.25

11 N. Ushiroya, Ramanuan-Fourier series of certain arithmetic functions of two variables Let k,l be non-negative integers satisfying k+l. Using (3.24 and (3.25 we obtain a 2 k,2 l 0, a p k,p l M(f p 2(k l /p 2 + p 2 a p k,p l M(f ( k l p 2(k l +/p 2 p 2 + M(f p 2(k l if p (mod 4, M(f ( k l p 2(k l if p 3 (mod 4. Therefore a q,q 2 M(fχ(q,q 2 }/q,q 2 } 2 holds if (q,q 2 (p k,p l where p P. Since the function (q,q 2 a q,q 2 /M(f is multiplicative, we obtain the desired result. This completes the proof of Example 3.. References [] H. Delange, On Ramanuan expansions of certain arithmetical functions, Acta. Arithmetica, 3(976, [2] G.H. Hardy, Note on Ramanuan s trigonometrical function c q(n, and certain series of arithmetical functions, Proc. Cambridge Phil. Soc., 20(92, [3] M. Ram Murty, Ramanuan series for arithmetical functions, Hardy-Ramanuan Journal, 36(203, [4] S. Ramanuan, On certain trigonometrical sums and their applications in the theory of numbers, Transactions of the Cambridge Phil. Society, 22(98, [5] W. Schwarz and J. Spilker, Arithmetical Functions, Cambridge Univ. Press, 994. [6] R. Sivaramakrishnan, Classical Theory of Arithmetic Functions, Marcel Dekker, 989. [7] N. Ushiroya, On a mean value of a multiplicative function of two variables, Probability and Number Theory - Kanazawa 2005, Adv. Studies in Pure Math., 49, (eds. S. Akiyama, K. Matsumoto, L. Murata H. Sugita, ( [8] N. Ushiroya, Mean-value theorems for multiplicative arithmetic functions of several variables, Integers, 2 (202, Noboru Ushiroya National Institute of Technology, Wakayama College, 77 Noshima Nada Gobo Wakayama, Japan ushiroya@wakayama-nct.ac.p