arxiv: v1 [math.nt] 3 May 2017

Transcription

1 arxiv: v1 [math.nt] 3 May 2017 Expansions of arithmetic functions of several variables with respect to certain modified unitary Ramanujan sums 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 introduce new analogues of the Ramanujan sums, denoted by rc q pnq, associated to unitary divisors, and obtain results concerning the expansions of arithmetic functions of several variables with respect to the sums rc q pnq. We apply these results to certain functions associated with σ pnq and φ pnq, representing the unitary sigma function and unitary phi function, respectively Mathematics Subject Classification: 11A25, 11N37 Key Words and Phrases: Ramanujan expansion of arithmetic functions, arithmetic function of several variables, multiplicative function, unitary divisor, sum of unitary divisors, unitary Euler function, unitary Ramanujan sum 1 Introduction Basic notations, used throughout the paper, are included in Section 2.1. Further notations are explained in the text. Ramanujan s [7] classical identity can be generalized as σppn 1,...,n k qq pn 1,...,n k q σpnq n ζp2q 8 ζpk `1q q1 c q pnq q 2 pn P Nq (1) c q1 pn 1 q c qk pn k q rq 1,...,q k s k`1 pn 1,...,n k P Nq, (2) valid for any k P N. See the author [15, Eq. (28)]. For k 2 identity (2) was deduced by Ushiroya [18, Ex. 3.8]. By making use of the unitary Ramanujan sums c q pnq, we also have σppn 1,...,n k qq pn 1,...,n k q ζpk `1q φ k`1 prq 1,...,q k sq rq 1,...,q k s 2pk`1q c q 1 pn 1 q c q k pn k q pn 1,...,n k P Nq, (3) 1

2 for any k P N. See [15, Eq. (30)]. In fact, (2) and (3) are special cases of the following general result, which can be applied to several other special functions, as well. Theorem 1.1. ([15, Th. 4.3]) Let g : N Ñ C be an arithmetic function and let k P N. Assume that kωpnq pµ gqpnq 2 n k ă 8. Then for every n 1,...,n k P N, n1 gppn 1,...,n k qq gppn 1,...,n k qq are absolutely convergent, where a q1,...,q k c q1 pn 1 q c qk pn k q, a q 1,...,q k c q 1 pn 1 q c q k pn k q a q1,...,q k 1 Q k m1 pµ gqpmqq m k, with the notation Q rq 1,...,q k s. a q 1,...,q k 1 Q k 8 m1 pm,qq1 pµ gqpmqq m k, Recall that d is a unitary divisor of n if d n and pd,n{dq 1. Notation d n. Let σ pnq, defined as the sum of unitary divisors of n, be the unitary analogue of σpnq. Properties of the function σ pnq, compared to those of σpnq were investigated by several authors. See, e.g., Cohen [1], McCarthy [6], Sitaramachandrarao and Suryanarayana [10], Sitaramaiah and Subbarao [11], Trudgian [16]. For example, one has nďx σ pnq π2 x 2 12ζp3q `Opxplogxq5{3 q. In this paper we are looking for unitary analogues of formulas (1) and (2). Theorem 1.1 can be applied to the function gpnq σ pnq{n. However, in this case pµ gqppq 1{p, pµ gqpp ν q p1 pq{p ν for any prime p and any ν ě 2. Hence the coefficients of the corresponding expansion can not be expressed by simple special functions, and we consider the obtained identities unsatisfactory. Let pk,nq denote the greatest common unitary divisor of k and n. Note that d pk,nq holds true if and only if d k and d n. Bi-unitary analogues of the Ramanujan sums may be defined as follows: c q pnq expp2πikn{qq pq, n P Nq, 1ďkďq pk,qq 1 2

3 but the function q ÞÑ c q pnq is not multiplicative, and its properties are not parallel to the sums c q pnq and c q pnq. The function c q pqq φ pqq, called bi-unitary Euler function was investigated in our paper [13]. Therefore, we introduce in Section 2.3 new analogues of the Ramanujan sums, denoted by rc q pnq, also associated with unitary divisors, and show that σ ppn 1,...,n k q k q pn 1,...,n k q k ζpk `1q φ k`1 prq 1,...,q k sq rq 1,...,q k s 2pk`1q rc q 1 pn 1 q rc qk pn k q pn 1,...,n k P Nq, (4) where pn 1,...,n k q k denotes the greatest common unitary divisor of n 1,...,n k P N. Now formulas (2), (3) and (4) are of the same shape. In the case k 1, identity (4) gives σ pnq n ζp2q q1 φ 2 pqq q 4 rc q pnq pn P Nq, which may be compared to (1). We also deduce a general result for arbitrary arithmetic functions f of several variables (Theorem 3.1), which is the analogue of [15, Th. 4.1], concerning the Ramanujan sums c q pnq and their unitary analogues c q pnq. We point out that in the case k 1, Theorem 3.1 is the analogue of the result of Delange [2], concerning classical Ramanujan sums. As applications, we consider the functions fpn 1,...,n k q gppn 1,...,n k q k q, where g belongs to a large class of functions of one variable, including σ pnq{n and φ pnq{n, where φ is the unitary Euler function (Theorem 3.2). For background material on classical Ramanujan sums and Ramanujan expansions(ramanujan- Fourier series) of functions of one variable we refer to the book by Schwarz and Spilker [9] and to the survey papers by Lucht [5] and Ram Murty [8]. Section 2 includes some general properties on arithmetic functions of one and several variables defined by unitary divisors, needed in the present paper. 2 Premiminaries 2.1 Basic 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, is the function pnq n s (n P N,s P R), 1 id 0 is the constant 1 function, µ is the Möbius function, ωpnq stands for the number of distinct prime divisors of n, 3

4 σpnq is the sum of divisors of n, φ 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), ζ 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 ν ), pk,nq maxtd : d k,d nu, c q pnq ř 1ďkďq,pk,qq 1expp2πikn{qq are the unitary Ramanujan sums (q,n P N), pn 1,...,n k q k denotes the greatest common unitary divisor of n 1,...,n k P N, pn 1,n 2 q pn 1,n 2 q 2, σ s pnq ř d n ds (s P R), σ pnq σ 1 pnq is the sum of unitary divisors of n, τ pnq σ 0 pnq is the number of unitary divisors of n, which equals 2ωpnq. 2.2 Functions defined by unitary divisors The study of arithmetic functions defined by unitary divisors goes back to Vaidyanathaswamy [17] and Cohen [1]. The function σ pnq was already defined above. The analog of Euler s φ function is φ, defined by φ pnq tk P N : 1 ď k ď n, pk,nq 1u. The functions σ and φ are multiplicative and σ pp ν q p ν `1, φ 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. 2.3 Modified unitary Ramanujan sums For q,n P N we introduce the functions rc q pnq by the formula q, if q n, rc d pnq 0, if q n. It follows that rc q pnq is multiplicative in q, p ν 1, if p ν n, rc p νpnq 1, if p ν n, (5) (6) for any prime powers p ν (ν ě 1) and rc q pnq d pn,qq dµ pq{dq pq,n P Nq. 4

5 We will need the following result. Proposition 2.1. For any q,n P N, rc d pnq 2 ωpq{pn,qq q pn,qq, (7) rc d pnq ď 2 ωpqq n. (8) Proof. If q p ν (ν ě 1) is a prime power, then we have by (6), 1 `p ν 1 p ν, if p ν n, pnq c 1 pnq ` c p ν pnq 1 `1 2, otherwise. d p ν c d Now (7) follows at once by the multiplicativity in q of the involved functions, while (8) is its immediate consequence. For classical Ramanujan sums the inequality corresponding to (8) is crucial in the proof of the theorem of Delange [2], while the identity corresponding to (7) was pointed out by Grytczuk [3]. In the case of unitary Ramanujan sums the counterparts of (7) and (8) were proved by the author [15, Prop. 3.1]. Proposition 2.2. For any q,n P N, rc q pnq φ pqqµ pq{pn,qq q. (9) φ pq{pn,qq q Proof. Both sides of (9) are multiplicative in q. If q p ν (ν ě 1) is a prime power, then φ pp ν qµ pp ν {pn,p ν q q φ pp ν {pn,p ν q q φ pp ν qµ p1q φ p1q p ν 1, if p ν n, φ pp ν qµ pp ν q φ pp ν q 1, otherwise. c p ν pnq, by (6). For the Ramanujan sums c q pnq the identity similar to (9) is usually attributed to Hölder, but was proved earlier by Kluyver [4]. In the case of the unitary Ramanujan sums c q pnq the counterpart of (9) was deduced by Suryanarayana [12]. Basic properties (including those mentioned above) of the classical Ramanujan sums c q pnq, their unitary analogues c q pnq and the modified sums rc q pnq can be compared by the next table. 5

6 c qpnq dµpq{dq c q pnq dµ pq{dq rc qpnq d pn,qq d pn,qq d pn,qq dµ pq{dq c qpnq φpqqµpq{pn,qqq φpq{pn, qq $ & p ν p ν 1, if p ν n, c p ν pnq p ν 1, if p ν 1 n, % 0, if p ν 1 n c d pnq d q q, if q n, 0, if q n c d pnq 2 ωpq{pn,qqq pn,qq d q c q pnq φ pqqµ pq{pn,qq q φ pq{pn,qq q c p ν pnq p ν 1, if p ν n, 1, if p ν n c d pnq q, if q n, 0, if q n c d pnq 2 ωpq{pn,qq q pn,qq rc qpnq φ pqqµ pq{pn,qq q φ pq{pn,qq q rc p ν pnq rc d pnq p ν 1, if p ν n, 1, if p ν n q, if q n, 0, if q n rc d pnq 2 ωpq{pn,qq q pn,qq Table: Properties of c q pnq, c q pnq and rc q pnq 2.4 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 a unital commutative ring with pointwise addition and the unitary convolution defined by pf ˆgqpn 1,...,n k q fpd 1,...,d k qgpn 1 {d 1,...,n k {d k q, (10) 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 (10) is µ k, given by µ k pn 1,...,n k q µ pn 1 q µ pn k q p 1q ωpn 1q` `ωpn k q pn 1,...,n k P Nq. 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 unitary convolution (10) preserves the multiplicativity of functions. See our paper [14], which is a survey on (multiplicative) arithmetic functions of several variables. 6

7 3 Main results We first prove the following general result. Theorem 3.1. Let f : N k Ñ C be an arithmetic function (k P N). Assume that where n 1,...,n k 1 Then for every n 1,...,n k P N, fpn 1,...,n k q 2 ωpn 1q` `ωpn k q pµ k ˆfqpn 1,...,n k q n 1 n k ă 8. (11) m 1,...,m k 1 pm 1,q 1 q1,...,pm k,q k q1 the series (12) being absolutely convergent. rc q1 pn 1 q rc qk pn k q, (12) Proof. We have for any n 1,...,n k P N, by using property (5), 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 rc q1 pn 1 q rc qk pn k q pµ k ˆfqpm 1q 1,...,m k q k q m 1 q 1 m k q k, (13) q 1 d 1 rc q1 pn 1 q d 1,...,d k 1 q 1 d 1,...,q k d k q k d k rc qk pn k q pµ k ˆfqpd 1,...,d k q d 1 d k, leading to expansion (12) with the coefficients (13), 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: rc q1 pn 1 q rc qk pn k q ď m 1,...,m k 1 pm 1,q 1 q1,...,pm k,q k q1 t 1,...,t k 1 pµ k ˆfqpt 1,...,t k q t 1 t k pµ k ˆfqpm 1q 1,...,m k q k q m 1 q 1 m k q k rc q1 pn 1 q rc qk pn k q m 1 q 1 t 1 pm 1,q 1 q1 rc q1 pn 1 q m k q k t k pm k,q k q1 rc qk pn k q 7

8 ď n 1 n k 8 t 1,...,t k 1 by using inequality (8) and condition (11). 2 ωpt 1q` `ωpt k q pµ k ˆfqpt 1,...,t k q t 1 t k ă 8, Next we consider the case fpn 1,...,n k q gppn 1,...,n k q k q. The following result is the analogue of Theorem 1.1. Theorem 3.2. 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 q k q is absolutely convergent, where with the notation Q rq 1,...,q k s. 2 kωpnq pµ ˆgqpnq n k ă 8. 1 Q k m1 pm,qq1 rc q1 pn 1 q rc qk pn k q, Proof. We apply Theorem 3.1. Taking into account the identity gppn 1,...,n k q k q pµ ˆgqpdq d n 1,...,d n k pµ ˆgqpmQq m k, (14) we see that now pµ k ˆfqpn 1,...,n k q pµ ˆgqpnq, if n 1... n k n, 0, otherwise. Therefore the coefficients of the expansion 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 1q 1,...,m k q k q m 1 q 1 m k q k pµ ˆgqpnq n k, and we use 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. 8

9 Corollary 3.3. For every n 1,...,n k P N the following series are absolutely convergent: σ s ppn 1,...,n k q k q φ s`k pqqrc q1 pn 1 q rc qk pn k q pn 1,...,n k q s k ζps `kq Q 2ps`kq ps P R,s `k ą 1q, (15) τ ppn 1,...,n k q k q ζpkq Proof. Apply Theorem 3.2 to gpnq σ s pnq{ns. Here µ ˆg µ ˆ 1 ˆ pµ ˆ1q ˆ 1 1, hence pµ ˆgqpnq 1{n s (n P N). We deduce by (14) that which completes the proof. 1 Q s`k m1 pm,qq1 φ k pqqrc q1 pn 1 q rc qk pn k q Q 2k pk ě 2q. (16) 1 m s`k ζps `kqφ s`kpqq Q 2ps`kq, ś In the case s 1 identity (15) reduces to (4). Now let consider the function φ s pnq p ν n ppsν 1q, representing the unitary Jordan function of order s. Herer φ s µ ˆ, and φ 1 φ is the unitary Euler function, already mentioned in Section 2.2. Corollary 3.4. For every n 1,...,n k P N the following series are absolutely convergent: φ s ppn 1,...,n k q k q pn 1,...,n k q s k ζps `kq ź ˆ 1 2 p s`k ˆ (17) ppp ˆ φ ppn 1,...,n k q k q pn 1,...,n k q k µ pqqφ s`k pqqrc q1 pn 1 q rc qk pn k q Q ś 2ps`kq p Q p1 2{ps`k ps P R,s `k ą 1q, q ζpk`1q ź ˆ µ pqqφ k`1 pqqrc q1 pn 1 q rc qk pn k q p k`1 Q ppp 2pk`1q ś p Q p1 2{pk`1 q Proof. Apply Theorem 3.2 to gpnq φ s pnq{ns. Here µ ˆg µ ˆ µ ˆ pµ ˆ1q ˆ µ µ, that is, pµ ˆgqpnq µ pnq{n s (n P N). We deduce by (14) that leading to (17). 1 Q s`k m1 pm,qq1 µ pqq Q s`k ζps `kq ź ˆ 1 2 p s`k ppp µ pmqq m s`k µ pqq Q s`k ź p Q m1 pm,qq1 µ pmq m s`k ˆ 1 1 ˆ p s`k 1 2 p s`k 1, pk ě 1q. 9

10 For m P N, m ě 2 consider the function gpnq m ωpnq, which is the unitary analogue of the Piltz divisor function τ m pnq. Here m ωpnq ř d n pm 1qωpdq for any n P N. We obtain by similar arguments: Corollary 3.5. For every n 1,...,n k P N the following series is absolutely convergent: m ωppn 1,...,n k q k q ζpkq ź ˆ 1 ` m 2 p k ˆ (18) ppp ˆ φ k pqqpm 1q ωpqq rc q1 pn 1 q rc qk pn k q Q 2k ś p Q p1 ` pm 2q{pk q pm,k ě 2q, For m 2 identity (18) reduces to (16). It is possible to formulate the results of Theorem 3.1 in the case of multiplicative functions f of k variables, and Theorem 3.2 in the case of multiplicative functions g of one variable. Note that if g is multiplicative, then fpn 1,...,n k q gppn 1,...,n k q k q is multiplicative, viewed as a function of k variables. See also Delange [2] and the author [15]. Furthermore, it is possible to apply the above results to other special (multiplicative) functions. We do not go into more details. References [1] E. Cohen, Arithmetical functions associated with the unitary divisors of an integer, Math. Z. 74 (1960), [2] H. Delange, On Ramanujan expansions of certain arithmetical functions, Acta. Arith. 31 (1976), [3] A. Grytczuk, An identity involving Ramanujan s sum. Elem. Math. 36 (1981), [4] J. C. Kluyver, Some formulae concerning the integers less than n and prime to n, In: Proceedings of the Royal Netherlands Academy of Arts and Sciences (KNAW) vol. 9, pp , [5] L. G. Lucht, A survey of Ramanujan expansions, Int. J. Number Theory 6 (2010), [6] P. J. McCarthy, Introduction to Arithmetical Functions, Springer Verlag, New York - Berlin - Heidelberg - Tokyo, [7] S. Ramanujan, On certain trigonometric sums and their applications in the theory of numbers, Trans. Cambridge Philos. Soc. 22 (1918), ; Collected Papers [8] M. Ram Murty, Ramanujan series for arithmetic functions, Hardy-Ramanujan J. 36 (2013),

11 [9] 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, [10] R. Sitaramachandrarao and D. Suryanarayana, On ř nďx σ pnq and ř nďx ϕ pnq, Proc. Amer. Math. Soc. 41 (1973), [11] V. Sitaramaiah and M. V. Subbarao, Unitary analogues of some formulae of Ingham, Ars Combin. 84 (2007), [12] D. Suryanarayana, A property of the unitary analogue of Ramanujan s sum, Elem. Math. 25 (1970), 114. [13] L. Tóth, On the bi-unitary analogues of Euler s arithmetical function and the gcd-sum function, J. Integer Seq. 12 (2009), Article , 10 pp. [14] 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] [15] L. Tóth, Ramanujan expansions of arithmetic functions of several variables, Preprint, arxiv: [math.nt] [16] T. Trudgian, The sum of the unitary divisor function, Publ. Inst. Math. (Beograd) (N.S.) 97 (111) (2015), [17] R. Vaidyanathaswamy, The theory of multiplicative arithmetic functions, Trans. Amer. Math. Soc., 33 (1931), [18] N. Ushiroya, Ramanujan-Fourier series of certain arithmetic functions of two variables, Hardy-Ramanujan J. 39 (2016),