arxiv: v1 [math.ca] 22 Apr 2018

Transcription

1 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE FETHI BOUZEFFOUR A, WISSEM JEDIDI B arxiv: v1 [math.ca] 22 Apr 2018 Abstract. In this paper we give an attempt to extend some arithmetic properties such as multiplicativity, convolution products to the setting of operators theory. We provide a significant examples which are of interest in number theory. We also give a representation of the Euler differential operator by means of the Euler totient arithmetic function and idempotent elements of some associative unital algebra. 1. Introduction In number theory, an arithmetical, or number-theoretic function is a function α : N C. Their various properties were investigated by several authors and they represent an important research topic up to now. An important property shared by many numbertheoretic functions is multiplicativity: an arithmetical function α is said to be multiplicative, if for all relatively prime positive integers n, m, we have α(nm) α(n)α(m). Examples of important arithmetical functions include: the Euler totient function, denoted ϕ, and defined as the number of positive integers less than and relatively prime to n. The Möbius function given by ( 1) ω(n) if n is a square-free integer µ(n) 0 otherwise, where ω(n) is the number of prime factors of n is also a multiplicative functions. Another important multiplicative function is the Ramanujan sum s, which is defined by [8] c n (j) : ε jk n, gcd(k,n)1 where ε n denotes a primitive n-th root of unity and gcd(k,n) to denote the greatest common divisor of the positive integers k and n. These sums fit naturally with other number-theoretic functions. For instance, one has (1.1) c n (1) µ(n), c n (n) ϕ(n), For a more elaborate account on the multiplicative functions, we refer the reader to the texts [1, 2] and the survey articles [6]. In this work we suggest to extend the rang of the number-theoretic function and consider functions f such that: -their domainarethe positive integers andwhose rangeisasubset of anunital associative algebra A over C; 2010 Mathematics Subject Classification. Primary 16U99; Secondary 11A05. Key words and phrases. Arithmetic functions, convolution products, idempotent. 1

2 2 FETHI BOUZEFFOUR A, WISSEM JEDIDI B - they satisfy the property (1.2) f(nm) f(n)f(m), when gcd(n,m) 1. Our first objective is to give a variety of significant examples, which are of interest in number theory. Notice that if A is an unital algebra then every number-theoretic function α : N C can be identified with the function n α(n)e (e is the unit of A). Recall that an element P A such that P 2 P is called idempotent. A set of idempotent elements P 1,...,P n is called orthogonal if, P i P j δ ij P i and n P i e. i1 Inthispaper, we consider aset oforthogonalidempotent P j (n), indexed by two integers n 1 and j 0, satisfying: - for every fixed integer n, the sequence j P j (n) is periodic with period n; - for every arithmetic progression j +n,...j +rn, we have P j (n) r P j+kn (nr). Under these conditions andfor every fixed j 0, the function n P j (n) is multiplicative. Another example considered in this note, consists to replace the root of unity in the Ramanujan sum s by an element s of A satisfying s n e. Then, the following sum (1.3) s k is a multiplicative function. gcd(k,n)1 2. Arithmetic properties of Idempotents 2.1. Multiplicative functions. Throughout, A will be an associative unital algebra over C. We recall the following definitions and basic facts Definition 2.1. A function f : N A is called multiplicative if f(nm) f(n)f(m), when gcd(n,m) 1. Lemma 2.1. If f : N A is multiplicative, then f(1) is idempotent. Proof. Taking n m 1, we have f(1) f(1.1) f(1)f(1). So, f(1) is idempotent. The following proposition is a characterization of multiplicative functions. Proposition 2.2. For an arithmetical function f : N A, the following are equivalent: 1. f is multiplicative, 2. for all n p α p α k k (the standard form factorization of n), we have f(n) f(p α 1 1 )...f(pα k k ).

3 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 3 We naturally extend the convolution product such as Drichlet product, lcm product and unitary product (see, [1, 14, 12]) as follows: (2.1) (2.2) (2.3) where f, g : N A. (f g)(n) klnf(k)g(l) (Dirichlet product). (f g)(n) (f g)(n) lcm(k,l)n kln gcd(k,l)1 f(k)g(l) (lcm-product). f(k)g(l) (unitary product). The convolution products defined in (2.1), (2.2) and (2.3) are associative but not commutative in general. If, in addition, if for all integers n,m, and every prime numbers p and q, f(p n ) commutes with g(q m ), then we have f g g f, f g gf, f g g f. The following propositions are easy to prove. Proposition ) If f is an arithmetic function on A, then where f I I f f, f I If f, f I I f f, I(n) e if n 1 0 otherwise. 2) If f is an arithmetical function such that f(1) is invertible element in A, then f has a unique inverse with respect to the Dirichlet product. 3) If f is a multiplicative function on A and b A invertible element, then the function n bf(n)b 1 is multiplicative. 4) If f and g are multiplicative functions, then f g is also a multiplicative function. Proposition )If A is equipped with a norm. and f a multiplicative function on A, then n f(n) is a multiplicative function. 2)If A is the algebra of N N-matrix and f is multiplicative on C N, then function n det(f(n)) is multiplicative Idempotents. Definition 2.2. LetAbeanalgebrawithunitye. Wesaythatacollection P j (n)} j0,n1 is an arithmetic system of idempotent if the following conditions are satisfied: I) for all i, j 1, 2,..., we have P i (n)p j (n) δ ij P i (n), II) for all n, j 1, 2,..., we have P j+n (n) P j (n), III) for every arithmetic progression j +n,...,j +nr} we have r P j (n) P j+kn (nr). The integer n in P j (n) is called level of the idempotence.

4 4 FETHI BOUZEFFOUR A, WISSEM JEDIDI B Theorem 2.5. Let P j (n)} j0,n1 be an arithmetic system of idempotents of A. Then for arbitrary positive integers n, m k and l, we have Pj (lcm(n,m)) if gcd(n,m) l k (2.4) P k (n)p l (m) 0 otherwise. where j is the unique solution mod (lcm(n, m)) of the system of congruences j k mod (n) (2.5) j l mod (m). Here lcm(n,m) is the least common multiple of the integer n, m. Lemma 2.6. (The Chinese Remainder Theorem) The system of congruences x a mod (n) (2.6) x b mod (m). is solvable if, and only if gcd(n,m) a b, any two solutions of the system are incongruent mod lcm(n, m). Proof. From condition III) we can write P k (n)p l (m) m 1 s0 n 1 P k+sn (nm)p l+rm (nm). r0 If gcd(n,m) l k, then k +sn l+rm and P k (n)p l (m) 0. If gcd(n,m) l k, then by Chinese remainder theorem there exist unique integer j mod (lcm(n, m)) such that j k mod (n) (2.7) j l mod (m). Then from II) we get m 1 n 1 P k (n)p l (m) P j+sn (nm)p j+rm (nm). s0 r0 On the other hand, from I) we see that for 0 r n 1 and 0 s m 1 the term P j+rn (nm)p j+sm (nm) is different from zero, if and only if rn sm, which is equivalent to r r n and s r m, with 0 gcd(n,m) gcd(n,m) r gcd(n,m) 1. Then Therefore P k (n)p l (m) gcd(n,m) 1 r 0 P j+r lcm(n,m)(nm) P j (lcm(n,m)). Pj (lcm(n,m)) if gcd(n,m) l k P k (n)p l (m) 0 otherwise where j is the unique integer mod (lcm(n,m)) such that j l mod (n) (2.8) j k mod (m).

5 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 5 Corollary 2.7. The following hold 1. If n and m are relatively prime, we have 2. If n m, we have P j (n)p j (m) P j (nm). Pk (m) if k j mod (n) P j (n)p k (m) 0 otherwise. Proposition 2.8. Let α, β : N C two arithmetic functions and j 0,1..., we have (2.9) (2.10) (2.11) In particular, (2.12) where (2.13) M s (n) and ν 0 (n) 1. αp j βp j (αβ)p j, αp j βp j (α β)p j, ν 0 (αβ)p j (ν 0 αp j )(ν 0 βp j ). P j P j (n) M 2 (n)p j (n), P j P j (n) 2 ω(n) P j (n) 1 if n 1, r ( (as +1) s ak) s Proof. Let n be a positive integer, we have αp j βp j (n) To prove (2.10) αp j βp j (n) lcm(k,l)n lcm(k,l)n (αβ)(n)p j (n). kln,gcd(k,l)1 kln,gcd(k,l)1 (α β)(n)p j (n). if n r pa k k, α(k)β(l)p j (k)p j (l) α(k)β(l)p j (lcm(k,l)) α(k)β(l)p j (k)p j (l) α(k)β(l)p j (n) The equation (2.11) follows from the following identity [9] (2.14) (ν 0 α)(ν 0 α) ν 0 (αβ). 3. Ramanujan sum s The function α : N C is called even function ( mod d ) if α(n) α(gcd(n,d)) for all n, that is if the value α(n) depends only on the gcd(n,d). Hence if α is even( mod d ), then it is sufficient to know the values f(r), where r d. The Ramanujan sum s (3.1) c n (j) : ε jk n. gcd(k,n)1

6 6 FETHI BOUZEFFOUR A, WISSEM JEDIDI B If α is even ( mod d ), then it has a Ramanujan-Fourier expansion of the form α(n) r d (R α )(r)c r (n) (n N), where the (Ramanujan-)Fourier coefficients (R α )(r) are uniquely determined and given by (R α )(r) α( d)c δ δ( d). r δ d Definition 3.1. We say that a set P j (n) : n 1,j 0} is an arithmetic system of orthogonal idempotent, if 1. P j (n)} j,n1 is an arithmetic system of idempotent, 2. for every n (3.2) Consider the sum (3.3) C j (n) n 1 P j (n) e. j0 gcd(k,n)1 where S(n) n j1 εj n P j(n). For every divisor r of n, we denote by (3.4) T r,j (n) ε jk n S k (n), j 0, 1,..., gcd(k,n) n r Note that T n,j (n) is denoted simply by T j (n). Proposition 3.1. The following properties hold where ν k (n) n k. Proof. We have P k+j (n). C j (n) µ ν 1 P j (n), & T j (n) ν 0 µp j (n), µ ν 1 P j (n) d n µ(d) n d P j( n d ) From Theorem 2.1 in [1] we have (3.5) µ(r) d gcd(k,n) d n n n µ(d) n d ε jk n S k n ε jk n S k n ε jkd n Sn kd µ(d) d n d k d gcd(k,n) µ(d). 1 if gcd(k,n) 1, 0 if gcd(k,n) > 1.

7 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 7 Hence (3.6) C j (n) µ ν 1 P j (n). To prove 2) T j (n) gcd(k,n)1 n δ gcd(k,n) δ n δ n µ(δ) P j+k (n) n µ(δ)p j+k (n) δ P j+kδ (n) µ(δ)p j (δ) Corollary 3.2. C j (n) n N ( Pj (p α l ) 1 p P j(p αl 1 ), T j (n) p n p prime (e P j (p)). Proof. The functions C j (n) and T j are multiplicative. So it suffice to compute C j (p k ) and T j (p k ) where p is prime number. Form proposition 4.1, we have and C j (p k ) T j (p k ) Since C j is multiplicative we have k µ(p l )p k l P j (p k l ) l0 p k P j (p k ) p k 1 P j (p k l ) p k( P j (p k ) p 1 P j (p k 1 ) ), e Pj (p) if k 1, 0 otherwise. Similarly, C j (n) N N ( C j (p α l ) n Pj (p α l ) 1 p P j(p αl 1 ). T j (n) p n p prime (e P j (p))

8 8 FETHI BOUZEFFOUR A, WISSEM JEDIDI B Theorem 3.3. For fixed integers n and j, T r,j (n) : r n} is a set of τ(n) orthgonal idempotent: (3.7) T r,j (n) e and T r,j (n)t r,j(n) δ r,r T r,j (n) where τ(n) is the number of divisor of n. Lemma 3.4. The operators T j (n) and C j (n) are related by C j (n) c n (n/r)t r,j (n), T n,j (n) 1 c n (n/r)c j (r). n Proof. (3.8) (3.9) (3.10) c n (n/r)t r,j (n) c n (n/r) 1 n n c n (n/r) n ε lj n gcd(k,n) n r gcd(k,n) n r P k+j (n) c n (n/r)c r (l)sn l From formula Exercise 2.23 in [3], we have n if gcd(l,n) 1, (3.11) c n (n/r)c r (l) 0 if gcd(l,n) > 1. Hence (3.12) Similarly, (3.13) (3.14) (3.15) c n (n/r)t r,j (r) gcd(l,n)1 ε lj n Sl n C j(n). ε (k+j)l n Sn l c n (n/r)c j (r) c n (n/r) ε jk n Sn k gcd(k,n) n r n c n (n/r)c r (l j)p l (n) n c n (n/r)c r (l)p l+j (n) The result follows from formula (see, Exercise 2.23 [3]) n if gcd(k,n) 1, (3.16) c n ( n)c r r(k) 0 if gcd(k,n) > 1. Hence (3.17) c n (n/r)c j (r) n gcd(k,n)1 P k+j (n) nt n,j (n).

9 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 9 Theorem 3.5. Let α : N C be even function (mod n), then for all j 0, 1,...,, we have (3.18) α(n/r)c j (r) R(α)(r)T r,j (n). Proof. α(r)c j (r) c r (r/δ)t δ,j (r)α(n/r) δ r c r (r/δ) δ r α(n/r) gcd(k,r) r δ 1 k r r c r (k)p k+j (r) P k+j (r)α(n/r) The Ramanujan sum c r is periodic function with period equal to r, then from condition III) of the Definition 2.2, we can write r c r (k)p k+j (r) r n/r 1 l0 n c r (k)p k+j (n) δ n c r (n/δ) c r (k +lr)p k+lr+j (r) P k+j (n) δ n gcd(k,n) n δ 1 k k c r (n/δ)t δ,j (n). Hence α(r)c j (r) c r (n/δ)α(n/r)t δ,j (n) δ n R(α)(δ)T δ,j (n). δ n 4. Example We denote by H R the vector space of all analytic functions on the open ball B(0,R) in complex plane C. H R endowed with the topologyof compact convergence, it is a complete locally convex topological vector spaces. For n 2, 3,..., we denote by S(n) the diagonal operator acting on monomials e k (z) z k, (k 0, 1,...) as follows S(n)e k ε k n e k, ε n e 2iπ n.

10 10 FETHI BOUZEFFOUR A, WISSEM JEDIDI B Its clearly that S(n) is a continuous map from H R into its self satisfying S n (n) i HR. The primitive idempotents P 1 (n),...p n (n) related to S(n) are given by (4.1) P j (n) 1 n n 1 l0 ε lj n S l (n). These obey at the following relations n (4.2) i HR P j (n), P i (n)p j (n) δ ij P j (n). j1 The set P j (n)} j,n1 is an arithmetic system of orthogonal idempotent on the algebra L(H R ) of all continuous linear maps of the space H R. To see this it suffice to prove for all positive integers n and m such that n divide m the following identity m/n P j (n) P j+kn (m). Indeed, from (4.1) and the following formula (4.3) we can write r ε lk r m/n P j+kr (m) 1 m 1 m 1 n r, if r l 0, otherwise, m/n d r P j (n). m ε lj ε l(j+kr) m S l (m) m/n m Sl (m) ε lj n Sl (n) ε lkr m The operators C 0 (n) and T 0 (n) acting on the basis e k } as follows (4.4) (4.5) C 0 (n)e m c n (m)e m, em if gcd(n,m) 1, T 0 (n)e m 0 otherwise. Indeed, from Proposition 3.1, we have T 0 (n)e m d n µ(d)p 0 (d)e m d gcd(n,m) µ(d)e m em if gcd(n,m) 1, 0 otherwise.

11 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 11 Now, if we compare the trace and the determinant of the matrix [T 0 (n)] N (resp. [C 0 (n)] N ) of the restriction of C 0 (n) (resp. T 0 (n)) to the subspace generated by e 1,...e N }, we get (4.6) (4.7) and (4.8) N c n (k) p nprime (1 p)[n p ] if nis squarefree, 0 if otherwise. gcd(k,n)1 N c n (k) [ N k n ] Nω(n) k ( p α l l [ N p α l] p α l 1 l [ l p n prime[ N p ] N p α l 1 l ] ) d n µ(r)[ N r ], dµ(n/d)[ N d ]. Let H 0 the subspace of all function f H R such that f(0) 0 and let α : N C. For f H 0, we put (4.9) P(α)f α(n)p 0 (n)f. n1 Proposition 4.1. Let α be an arithmetic function. Then P(α) defines a continuous diagonal map form H 0 into itself, if and only if limsup m (ν 0 α)(m) 1/m 1. Furthermore, (4.10) P(ǫ) i H0, P(αβ) P(α)P(β). where (4.11) ǫ(n) 1 if n 1 0 otherwise. Proof. The operator P(α) acts on monomials z m as follows (4.12) P(α)z m n1α(n) if m 0, (ν 0 α)(m)z m otherwise. Suppose P(α) defines a continuous linear map on H 0. It is well-known that Hence, f(z) a m z m H R m1 iff limsup a m 1/m R. m (ν 0 α)(m)a m z m H R limsup a m (ν 0 α)(m) 1/m R m1 This show that m lim sup (ν 0 α)(m) 1/m 1. m lim sup ν 0 α)(m) 1/m 1. m

12 12 FETHI BOUZEFFOUR A, WISSEM JEDIDI B The converse follows from the Closed Graph Theorem (see, [10] Theorem 2.15, p. 51]). To prove (4.10), we use equation (2.9) P(αβ) (αβ)(n)p 0 (n) n1 (αp 0 βp 0 )(n) n1 α(n)p 0 (n) β(n)p 0 (n) n1 P(α)P(β) Many examples of operators acting on the space H 0 such as the Euler operator, the integration operator, the shift operator and the backward shift operator given by (θf)(z) zf (z), (If)(z) z 0 n1 f(t)dt, (Uf) zf(z), (U f)(z) f(z) f(0), z can be represented by means of the map P(α) for suitable arithmetic function α. For α ϕ (where ϕ is the Euler s totient function), we have (4.13) On the other hand, we have P(ϕ)e m ν 0 (µ ν 1 )(m)e m ν 1 (m)e m me m. lim sup m ν 0 ϕ)(m) 1/m limsupm 1/m 1. m Then, P(ϕ) is a continuous map on H 0. From (4.13), the mapping P(ϕ) coincides with the Euler operator θ z d on the monomials, hence dz (4.14) P(ϕ) θ. Moreover, from Proposition 4.1 and the following identity [3] we get (J r called Jordan function) A similarly arguments show that J r ϕ... ϕ, }} r-times P(J r ) P(ϕ)...P(ϕ) θ r. P(µ) e 1 e 1, P(µ v 1 ) IU. 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] P. J. McCarthy, Introduction to Arithmetical Functions, Universitext, Springer, [4] N.I. Nagnibida, P.P. Nastasiev, Strongly cyclic elements of the diagonal operator and completeness of one system of analytic functions, Dokl. Akad. Nauk Ukraine SSR Ser. A (1983) 5 8. [5] M. B. Nathanson, Additive Number Theory. The Classical Bases, Graduate Texts in Mathematics 164, Springer, 1996.

13 ARITHMETICAL PROPERTIES AT THE LEVEL OF IDEMPOTENCE 13 [6] I. Niven, H. S. Zuckerman, H. L. Montgomery An Introduction to the Theory of Numbers, 5th edition, John Wiley & Sons, [7] Ø. Ore, Number Theory and Its History, Dover Publications, [8] 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). [9] D. H. Lehmer, On a theorem of von Sterneck, Bull. Amer. Math. Soc., 37 (1931), no. 10, [10] W. Rudin, Functional Analysis, McGraw Hill, [11] W. Schwarz, J. Spilker, Arithmetical Functions, London Mathematical Society Lecture Note Series, 184, Cambridge University Press, [12] R. Sivaramakrishnan, Classical Theory of Arithmetic Functions, in Monographs and Textbooks in Pure and Applied Mathematics, Vol. 126, Marcel Dekker, [13] L. Tóth, P. Haukkanen, The discrete Fourier transform of r-even functions, Acta Univ. Sapientiae, Mathematica 3, no. 1 (2011), [14] R. Vaidyanathaswamy, The theory of multiplicative arithmetic functions, Trans. Amer. Math. Soc. 33 (1931), a Department of mathematics, College of Sciences, King Saud University, P. O Box 2455 Riyadh 11451, Saudi Arabia. address: fbouzaffour@ksu.edu.sa, wissem jedidi@yahoo.fr b Department of Statistics & OR, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia and Université de Tunis El Manar, Faculté des Sciences de Tunis, LR11ES11 Laboratoire d Analyse Mathématiques et Applications, 2092, Tunis, Tunisia