DOCSLIB.ORG

A63 INTEGERS 21 (2021) NEWTON SEQUENCES and DIRICHLET CONVOLUTION Klaudiusz Wójcik Faculty of Mathematics, Jagiellonian Univer

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A63 INTEGERS 21 (2021) NEWTON SEQUENCES and DIRICHLET CONVOLUTION Klaudiusz Wójcik Faculty of Mathematics, Jagiellonian Univer #A63 INTEGERS 21 (2021) NEWTON SEQUENCES AND DIRICHLET CONVOLUTION Klaudiusz W´ojcik Faculty of Mathematics, Jagiellonian University, Krak´ow,Poland [email protected] Received: 12/4/20, Revised: 4/20/21, Accepted: 5/29/21, Published: 6/3/21 Abstract An integer sequence a : N −! Z is called a Newton sequence generated by the sequence of integers c : N −! Z, if the following Newton identities hold a(n) = c(1) a(n − 1) + ::: + c(n − 1) a(1) + n c(n): We show that a is a Newton sequence if and only if X f(d) a(n=d) ≡ 0 (mod n); n ≥ 1; djn for every function f : N −! Z satisfying the two conditions X f(d) ≡ 0 (mod n); f(1) = ±1: djn In particular, f may be the M¨obiusfunction, the Euler totient function or the Jordan totient function. 1. Introduction We recall some basic facts concerning Dirichlet involution (see [2]). Let A(C) be the set of all complex-valued arithmetical functions, i.e., the set of functions defined on N with values in C. By A(Z) ⊂ A(C) we denote the set of all integer-valued sequences. The Dirichlet convolution of functions f; g 2 A(C) is the function f ∗ g 2 A(C) defined by X X (f ∗ g)(n) = f(d)g(n=d) = f(d1)g(d2); n ≥ 1: djn d1d2=n For any non-empty subsets A; B of A(C) we put A ∗ B := fa ∗ b : a 2 A; b 2 Bg: We distinguish the following integer-valued sequences: INTEGERS: 21 (2021) 2 () the multiplicative identity with respect to Dirichlet convolution: ( 1 1; if n = 1 (n) = = n 0; if n > 1; (µ) the M¨obiusfunction µ: 8 1; if n = 1 <> µ(n) = (−1)r; if n is a product of r different primes :>0; otherwise: k (Ik) Ik(n) = n for k ≥ 0, (Sf ) the divisor sum over f 2 A(Z): X Sf (n) := f ∗ I0(n) = f(d); n ≥ 1; djn (') the Euler totient function ': X '(n) = µ ∗ I1(n) = 1; 1≤k≤n (k;n)=1 (Jk) the Jordan totient function Jk: X Jk(n) = µ ∗ Ik(n) = 1: 1≤a1;:::;ak≤n (a1;:::;ak;n)=1 The set of arithmetical functions A(C) is a commutative ring under pointwise ad- dition and Dirichlet convolution. The invertible elements of this ring are the arith- metical functions f with f(1) 6= 0. The following well-known facts will be useful later ([2]): (1) Sµ = µ ∗ I0 = , (2) the M¨obiusinversion formula: Sf = f ∗ I0 if and only if f = µ ∗ Sf , (3) S' = I1, (4) SJk = Ik. Definition 1. Let a 2 A(Z) be a sequence of integers. We say that a ≡ 0, if a(n) ≡ 0 (mod n); for all n ≥ 1. INTEGERS: 21 (2021) 3 We put ∗ A (Z) := a 2 A(Z): a(1) = ±1 ; A0(Z) := a 2 A(Z): a ≡ 0 ; ∗ ∗ A0(Z) :=A (Z) \A0(Z); ∗ M(Z) := f 2 A(Z): Sf 2 A0(Z) : ∗ Example 2. It follows that Ik 2 A0(Z) and µ, '; Jk 2 M(Z). Corollary 3. (1) Every a 2 A∗(Z) admits an inverse a−1 2 A(Z), (2) A0(Z) ∗ A0(Z) ⊂ A0(Z), ∗ ∗ ∗ (3) A0(Z) ∗ A0(Z) ⊂ A0(Z), ∗ (4) (A0(Z); ∗) is the commutative group, ∗ (5) M(Z) = µ ∗ g : g 2 A0(Z) . Proof. The conditions (1) and (5) are obvious. If a; b 2 A0(Z), then X a ∗ b(n) = a(d)b(n=d) ≡ 0 (mod n); djn −1 ∗ hence (2) follows. We claim that a ≡ 0 for a 2 A0(Z). We use the induction on n. It is trivial for n = 1. For n > 1, by [[2], Theorem 2.8] and the inductive step, we get that X a−1(n) = ± a(d)a−1(n=d) ≡ 0 (mod n): djn d>1 Definition 4 (Newton sequence). A sequence of integers a 2 A(Z) is called a Newton sequence generated by the sequence of integers c 2 A(Z), if the following Newton identities hold: for all n 2 N a(n) = c(1) a(n − 1) + ::: + c(n − 1) a(1) + n c(n): Denote by AN (Z) the set of Newton sequences, i.e., AN (Z) = fa : a is a Newton sequence generated by a sequence of integers cg: INTEGERS: 21 (2021) 4 Example 5 (Sequence of traces). For a square integer matrix A 2 Ml(Z) we define a sequence of traces tr [A] 2 A(Z) by n (tr [A])n := tr A ; n ≥ 1: It follows by the classical Newton's identities that a Newton sequence a 2 A(Z) is generated by a finite sequence c = (c(1); : : : ; c(l)) 2 A(Z) (i.e., c(n) = 0 for n > l) if and only if a is the sequence of traces tr [A], where A is the companion matrix of the monic polynomial w(x) = xl − c(1)xl−1 − ::: − c(l − 1)x − c(l) 2 Z[x], i.e., 2 0 0 ::: 0 c(l) 3 6 1 0 ::: 0 c(l − 1) 7 6 7 6 0 1 ::: 0 c(l − 2) 7 A := A[c(1); : : : ; c(l)] := 6 7 2 Ml(Z): 6 . .. 7 4 . 0 . 0 . 5 0 ::: 0 1 c(1) Since w(X) = det (XIl − A) 2 Z[X], the eigenvalues of A are the roots of w. Definition 6 (Dold-Fermat sequence [6]). A sequence a 2 A(Z) is called a Dold- Fermat sequence, if µ ∗ a 2 A0(Z), i.e., X µ(d) a(n=d) ≡ 0 (mod n); n ≥ 1: djn In combinatorics and number theory, Dold-Fermat sequences have also been called pre-realizable sequences, relatively realizable sequences, Gauss sequences and generalized Fermat sequences ([1, 3, 7, 8, 9, 10, 11, 13, 14]). We prove the following theorem. Theorem 7. For a 2 A(Z) the following conditions are equivalent: (1) a is a Newton sequence, (2) a is a Dold-Fermat sequence, (3) f ∗ a 2 A0(Z), i.e., X f(d) a(n=d) ≡ 0 (mod n); n ≥ 1; djn for every f 2 M(Z). The equivalence of the conditions (1) and (2) was proved in [8]. On the other hand, it was observed in [1] that in the definition of the Dold-Fermat sequence the M¨obiusfunction can be replaced by the Euler totient function '. In the last section, we define the unitary analog of the Newton sequences. In particular, we show that a unitary Newton sequence is periodic if and only if it is bounded. We also prove that a p-periodic unitary sequence with prime period has to be constant. INTEGERS: 21 (2021) 5 2. Newton Sequences Lemma 8. Let a 2 A(Z) and f 2 M(Z). The following conditions are equivalent: (1) µ ∗ a 2 A0(Z), (2) f ∗ a 2 A0(Z). Proof. We first show that (1) implies (2). We have f ∗ a = ∗ f ∗ a = µ ∗ I0 ∗ f ∗ a = (µ ∗ a) ∗ Sf 2 A0(Z); by Corollary 3. Assume that (2) holds. We have (µ ∗ a) ∗ Sf = f ∗ a 2 A0(Z): ∗ −1 Since Sf belongs to A0(Z), Sf does and by Corollary 3, one has −1 µ ∗ a = Sf ∗ (f ∗ a) 2 A0(Z): Remark 9. Observe that in the proof of implication (1) =) (2) we need only that Sf 2 A0(Z) and f does not have to be invertible. In particular, one can take f of the form f = µ ∗ g for some g 2 A0(Z). As a consequence, one has the following result. Theorem 10. Assume that a 2 A(Z). The following conditions are equivalent: (1) a 2 AN (Z), (2) µ ∗ a 2 A0(Z), (3) f ∗ a 2 A0(Z) for every f 2 M(Z). Proof. The equivalence of the conditions (1) and (2) was proved in [8]. Lemma 11. Let f 2 M(Z). Then −1 F : A0(Z) 3 b 7−! f ∗ b 2 AN (Z) is a bijective map. −1 −1 Proof. If b 2 A0(Z) then f ∗ f ∗ b = b 2 A0(Z), hence f ∗ b 2 AN (Z) by Theorem 10, so F is well-defined. Since F is obviously injective, it is sufficient to show its surjectivity. If a 2 AN (Z) then f ∗ a 2 A0(Z), hence f ∗ a = b for some −1 b 2 A0(Z), so a = f ∗ b. INTEGERS: 21 (2021) 6 Corollary 12. The following maps are bijective: −1 (a) A0(Z) 3 b 7−! µ ∗ b = Sb 2 AN (Z), −1 (b) A0(Z) 3 b 7−! ' ∗ b = Sµ·I1 ∗ b 2 AN (Z). Example 13 (Newton sequences). The following well-known sequences can be interpreted as Newton sequences: P (1) σ1(n) = SI1 (n) = djn d; P k (2) σk(n) = SIk (n) = djn d ; P (3) Sµ·I1 ∗ (n!) = djn dµ(d)(n=d)!; P k P nk (4) Sµ·I1 ∗ Ik(n) = djn dµ(d)(n=d) = djn µ(d) dk−1 : Lemma 14. If a 2 AN (Z) and b 2 A0(Z), then a ∗ b 2 AN (Z). Proof. Since b; µ ∗ a 2 A0(Z), we have µ ∗ (a ∗ b) = b ∗ (µ ∗ a) 2 A0(Z); so a ∗ b 2 AN (Z). Example 15 (Newton sequences). The following sequences are Newton sequences: P k (1) a ∗ Ik(n) = djn d a(n=d); P (2) b(n) = djn a(n=d) d!: Corollary 16.
Load more

Recommended publications
  • Arxiv:Math/0201082V1
    2000]11A25, 13J05 THE RING OF ARITHMETICAL FUNCTIONS WITH UNITARY CONVOLUTION: DIVISORIAL AND TOPOLOGICAL PROPERTIES. JAN SNELLMAN Abstract. We study (A, +, ⊕), the ring of arithmetical functions with unitary convolution, giving an isomorphism between (A, +, ⊕) and a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell- Everett[4] between the ring (A, +, ·) of arithmetical functions with Dirichlet convolution and the power series ring C[[x1,x2,x3,... ]] on countably many variables. We topologize it with respect to a natural norm, and shove that all ideals are quasi-finite. Some elementary results on factorization into atoms are obtained. We prove the existence of an abundance of non-associate regular non-units. 1. Introduction The ring of arithmetical functions with Dirichlet convolution, which we’ll denote by (A, +, ·), is the set of all functions N+ → C, where N+ denotes the positive integers. It is given the structure of a commutative C-algebra by component-wise addition and multiplication by scalars, and by the Dirichlet convolution f · g(k)= f(r)g(k/r). (1) Xr|k Then, the multiplicative unit is the function e1 with e1(1) = 1 and e1(k) = 0 for k> 1, and the additive unit is the zero function 0. Cashwell-Everett [4] showed that (A, +, ·) is a UFD using the isomorphism (A, +, ·) ≃ C[[x1, x2, x3,... ]], (2) where each xi corresponds to the function which is 1 on the i’th prime number, and 0 otherwise. Schwab and Silberberg [9] topologised (A, +, ·) by means of the norm 1 arXiv:math/0201082v1 [math.AC] 10 Jan 2002 |f| = (3) min { k f(k) 6=0 } They noted that this norm is an ultra-metric, and that ((A, +, ·), |·|) is a valued ring, i.e.
    [Show full text]
  • The Mobius Function and Mobius Inversion
    Ursinus College Digital Commons @ Ursinus College Transforming Instruction in Undergraduate Number Theory Mathematics via Primary Historical Sources (TRIUMPHS) Winter 2020 The Mobius Function and Mobius Inversion Carl Lienert Follow this and additional works at: https://digitalcommons.ursinus.edu/triumphs_number Part of the Curriculum and Instruction Commons, Educational Methods Commons, Higher Education Commons, Number Theory Commons, and the Science and Mathematics Education Commons Click here to let us know how access to this document benefits ou.y Recommended Citation Lienert, Carl, "The Mobius Function and Mobius Inversion" (2020). Number Theory. 12. https://digitalcommons.ursinus.edu/triumphs_number/12 This Course Materials is brought to you for free and open access by the Transforming Instruction in Undergraduate Mathematics via Primary Historical Sources (TRIUMPHS) at Digital Commons @ Ursinus College. It has been accepted for inclusion in Number Theory by an authorized administrator of Digital Commons @ Ursinus College. For more information, please contact [email protected]. The Möbius Function and Möbius Inversion Carl Lienert∗ January 16, 2021 August Ferdinand Möbius (1790–1868) is perhaps most well known for the one-sided Möbius strip and, in geometry and complex analysis, for the Möbius transformation. In number theory, Möbius’ name can be seen in the important technique of Möbius inversion, which utilizes the important Möbius function. In this PSP we’ll study the problem that led Möbius to consider and analyze the Möbius function. Then, we’ll see how other mathematicians, Dedekind, Laguerre, Mertens, and Bell, used the Möbius function to solve a different inversion problem.1 Finally, we’ll use Möbius inversion to solve a problem concerning Euler’s totient function.
    [Show full text]
  • Lagrange Inversion Theorem for Dirichlet Series Arxiv:1911.11133V1
    Lagrange Inversion Theorem for Dirichlet series Alexey Kuznetsov ∗ November 26, 2019 Abstract We prove an analogue of the Lagrange Inversion Theorem for Dirichlet series. The proof is based on studying properties of Dirichlet convolution polynomials, which are analogues of convolution polynomials introduced by Knuth in [4]. Keywords: Dirichlet series, Lagrange Inversion Theorem, convolution polynomials 2010 Mathematics Subject Classification : Primary 30B50, Secondary 11M41 1 Introduction 0 The Lagrange Inversion Theorem states that if φ(z) is analytic near z = z0 with φ (z0) 6= 0 then the function η(w), defined as the solution to φ(η(w)) = w, is analytic near w0 = φ(z0) and is represented there by the power series X bn η(w) = z + (w − w )n; (1) 0 n! 0 n≥0 where the coefficients are given by n−1 n d z − z0 bn = lim n−1 : (2) z!z0 dz φ(z) − φ(z0) 0 This result can be stated in the following simpler form. We assume that φ(z0) = z0 = 0 and φ (0) = 1. We define A(z) = z=φ(z) and check that A is analytic near z = 0 and is represented there by the power series arXiv:1911.11133v1 [math.NT] 25 Nov 2019 X n A(z) = 1 + anz : (3) n≥1 Let us define B(z) implicitly via A(zB(z)) = B(z): (4) Then the function η(z) = zB(z) solves equation η(z)=A(η(z)) = z, which is equivalent to φ(η(z)) = z. Applying Lagrange Inversion Theorem in the form (2) we obtain X an(n + 1) B(z) = zn; (5) n + 1 n≥0 ∗Dept.
    [Show full text]
  • On the Fourier Transform of the Greatest Common Divisor
    On the Fourier transform of the greatest common divisor Peter H. van der Kamp Department of Mathematics and Statistics La Trobe University Victoria 3086, Australia January 17, 2012 Abstract The discrete Fourier transform of the greatest common divisor m X ka id[b a](m) = gcd(k; m)αm ; k=1 with αm a primitive m-th root of unity, is a multiplicative function that generalises both the gcd-sum function and Euler's totient function. On the one hand it is the Dirichlet convolution of the identity with Ramanujan's sum, id[b a] = id ∗ c•(a), and on the other hand it can be written as a generalised convolution product, id[b a] = id ∗a φ. We show that id[b a](m) counts the number of elements in the set of ordered pairs (i; j) such that i·j ≡ a mod m. Furthermore we generalise a dozen known identities for the totient function, to identities which involve the discrete Fourier transform of the greatest common divisor, including its partial sums, and its Lambert series. 1 Introduction In [15] discrete Fourier transforms of functions of the greatest common divisor arXiv:1201.3139v1 [math.NT] 16 Jan 2012 were studied, i.e. m X ka bh[a](m) = h(gcd(k; m))αm ; k=1 where αm is a primitive m-th root of unity. The main result in that paper is 1 the identity bh[a] = h ∗ c•(a), where ∗ denoted Dirichlet convolution, i.e. X m bh[a](m) = h( )cd(a); (1) d djm 1Similar results in the context of r-even function were obtained earlier, see [10] for details.
    [Show full text]
  • ANALYTIC NUMBER THEORY (Spring 2019)
    ANALYTIC NUMBER THEORY (Spring 2019) Eero Saksman Chapter 1 Arithmetic functions 1.1 Basic properties of arithmetic functions We denote by P := f2; 3; 5; 7; 11;:::g the prime numbers. Any function f : N ! C is called and arithmetic function1. Some examples: ( 1 if n = 1; I(n) := 0 if n > 1: u(n) := 1; n ≥ 1: X τ(n) = 1 (divisor function). djn φ(n) := #fk 2 f1; : : : ; ng j (k; n))1g (Euler's φ -function). X σ(n) = (divisor sum). djn !(n) := #fp 2 P : pjng ` ` X Y αk Ω(n) := αk if n = pk : k=1 k=1 Q` αk Above n = k=1 pk was the prime decomposition of n, and we employed the notation X X f(n) := f(n): djn d2f1;:::;ng djn Definition 1.1. If f and g are arithmetic functions, their multiplicative (i.e. Dirichlet) convolution is the arithmetic function f ∗ g, where X f ∗ g(n) := f(d)g(n=d): djn 1In this course N := f1; 2; 3;:::g 1 Theorem 1.2. (i) f ∗ g = g ∗ f, (ii) f ∗ I = I ∗ f = f, (iii) f ∗ (g + h) = f ∗ g + f ∗ h, (iv) f ∗ (g ∗ h) = (f ∗ g) ∗ h. Proof. (i) follows from the symmetric representation X f ∗ g(n) = f(k)f(`) k`=n (note that we assume automatically that above k; l are positive integers). In a similar vain, (iv) follows by iterating this to write X (f ∗ g) ∗ h(n) = f(k1)g(k2)h(k3): k1k2k3=n Other claims are easy. Theorem 1.3.
    [Show full text]
  • Number Theory, Lecture 3
    Number Theory, Lecture 3 Number Theory, Lecture 3 Jan Snellman Arithmetical functions, Dirichlet convolution, Multiplicative functions, Arithmetical functions M¨obiusinversion Definition Some common arithmetical functions Dirichlet 1 Convolution Jan Snellman Matrix interpretation Order, Norms, 1 Infinite sums Matematiska Institutionen Multiplicative Link¨opingsUniversitet function Definition Euler φ M¨obius inversion Multiplicativity is preserved by multiplication Matrix verification Divisor functions Euler φ again µ itself Link¨oping,spring 2019 Lecture notes availabe at course homepage http://courses.mai.liu.se/GU/TATA54/ Number Summary Theory, Lecture 3 Jan Snellman Arithmetical functions Definition Some common Definition arithmetical functions 1 Arithmetical functions Dirichlet Euler φ Convolution Definition Matrix 3 M¨obiusinversion interpretation Some common arithmetical Order, Norms, Multiplicativity is preserved by Infinite sums functions Multiplicative multiplication function Dirichlet Convolution Definition Matrix verification Euler φ Matrix interpretation Divisor functions M¨obius Order, Norms, Infinite sums inversion Euler φ again Multiplicativity is preserved by multiplication 2 Multiplicative function µ itself Matrix verification Divisor functions Euler φ again µ itself Number Summary Theory, Lecture 3 Jan Snellman Arithmetical functions Definition Some common Definition arithmetical functions 1 Arithmetical functions Dirichlet Euler φ Convolution Definition Matrix 3 M¨obiusinversion interpretation Some common arithmetical Order, Norms,
    [Show full text]
  • Mobius Inversion and Dirichlet Convolution
    Mobius¨ inversion revisited 1 Arithmetic functions and Dirichlet series >0 Suppose f : N ! C is an arithmetic function. In that case, we may form X f(n) L(f; s) := ; ns n>0 we will usually ignore convergence issues and refer to this as a formal Dirichlet series. If f and g are arithmetic functions, then we may define the arithmetic function f + g by the formula f + g(n) = f(n) + g(n). In that case, observe that the formula: L(f + g; s) = L(f; s) + L(g; s) holds. While we can multiply arithmetic functions as well via (fg)(n) = f(n)g(n), the result is not as closely connected with L-functions. Instead, consider the product of L-functions: 1 1 X f(n) X g(n) L(f; s) · L(g; s) = ( )( ): ns ns n=1 n=1 If we multiply out and group terms, f(2) f(3) g(2) g(3) (f(1) + + + ··· )(g(1) + + + ··· ) 2s 3s 2s 3s f(1)g(2) + f(2)g(1) f(1)g(3) + g(1)f(3) f(1)g(4) + f(2)g(2) + g(1)f(4) =(f(1)g(1) + + + + ··· ) 2s 3s 4s Extrapolating from this, the coefficients of L(f; s) · L(g; s) take the form: X f(a)g(b): ab=n This defines a new rule for composing arithmetic functions. Definition 1.1. If f and g are two arithmetic functions, then their Dirichlet convolution is the arith- metic function defined by X n X (f ∗ g)(n) = f(d)g( ) = f(a)g(b): d djn ab=n 1 2 1.1 The ring of arithmetic functions under convolution Example 1.2.
    [Show full text]
  • 18.785 Number Theory Fall 2019 Problem Set #8 Due: 11/13/2019
    18.785 Number Theory Fall 2019 Problem Set #8 Due: 11/13/2019 Description These problems are related to the material covered in Lectures 16{18. Your solutions are to be written up in latex (you can use the latex source for the problem set as a template) and submitted as a pdf-file with a filename of the form SurnamePset8.pdf via e-mail to [email protected] by noon on the date due. Collaboration is permitted/en- couraged, but you must identify your collaborators, and any references you consulted. If there are none, write \Sources consulted: none" at the top of your problem set. The first person to spot each non-trivial typo/error in any of the problem sets or lecture notes will receive 1{5 points of extra credit. Note: Problem 1 uses complex analysis beyond the quick review given in the notes. Instructions: First do the warm up problems, then pick two of problems 1{5 to solve and write up your answers in latex. Finally, complete the survey problem 6. Problem 0. These are warm up problems that do not need to be turned in. (a) In class we gave an elementary proof that #(x) = O(x). Give a similarly elementary proof that x = O(#(x)) (both bounds were proved by Chebyshev before the PNT). (b) Prove the M¨obiusinversion formula, which states that if f and g are functions P P Z≥1 ! C that satisfy g(n) = djn f(d) then f(n) = djn µ(d)g(n=d), where µ(n) := (−1)#fpjng if n is squarefree and µ(n) = 0 otherwise.
    [Show full text]
  • A Note on a Broken Dirichlet Convolution
    Notes on Number Theory and Discrete Mathematics ISSN 1310–5132 Vol. 20, 2014, No. 2, 65–73 A note on a broken Dirichlet convolution Emil Daniel Schwab1 and Barnabas´ Bede2 1 Department of Mathematical Sciences, The University of Texas at El Paso El Paso, TX 79968, USA e-mail: [email protected] 2 Department of Mathematics, DigiPen Institute of Technology Redmond, WA 98052, USA e-mail: [email protected] Abstract: The paper deals with a broken Dirichlet convolution ⊗ which is based on using the odd divisors of integers. In addition to presenting characterizations of ⊗-multiplicative functions we also show an analogue of Menon’s identity: X 1 (a − 1; n) = φ (n)[τ(n) − τ (n)]; ⊗ 2 2 a (mod n) (a;n)⊗=1 where (a; n)⊗ denotes the greatest common odd divisor of a and n, φ⊗(n) is the number of inte- gers a (mod n) such that (a; n)⊗ = 1, τ(n) is the number of divisors of n, and τ2(n) is the number of even divisors of n. Keywords: Dirichlet convolution, Mobius¨ function, multiplicative arithmetical functions, Menon’s identity AMS Classification: 11A25. 1 Introduction An arithmetical function is a complex-valued function whose domain is the set of positive integers Z+. The Dirichlet convolution f ∗ g of two arithmetical function f and g is defined by X n (f ∗ g)(n) = f(d)g ; d djn where the summation is over all the divisors d of n (the term ”divisor” always means ”positive divisor”). The identity element relative to the Dirichlet convolution is the function δ: 65 ( 1 if n = 1 δ(n) = 0 otherwise An arithmetical function f has a convolution inverse if and only if f(1) 6= 0.
    [Show full text]
  • Möbius Inversion from the Point of View of Arithmetical Semigroup Flows
    Biblioteca de la Revista Matematica´ Iberoamericana Proceedings of the \Segundas Jornadas de Teor´ıa de Numeros"´ (Madrid, 2007), 63{81 M¨obiusinversion from the point of view of arithmetical semigroup flows Manuel Benito, Luis M. Navas and Juan Luis Varona Abstract Most, if not all, of the formulas and techniques which in number theory fall under the rubric of “M¨obiusinversion" are instances of a single general formula involving the action or flow of an arithmetical semigroup on a suitable space and a convolution-like operator on functions. The aim in this exposition is to briefly present the general formula in its abstract context and then illustrate the above claim using an extensive series of examples which give a flavor for the subject. For simplicity and to emphasize the unifying character of this point of view, these examples are mostly for the traditional number theoretical semigroup N and the spaces R or C. 1. Introduction The “M¨obiusInversion Formula" in elementary number theory most often refers to the formula X X n (1.1) fb(n) = f(d) () f(n) = µ(d)fb ; d djn djn where f is an arithmetical function, that is, a function on N with values typically in Z, R or C; the sum ranges over the positive divisors d of a given 2000 Mathematics Subject Classification: Primary 11A25. Keywords: M¨obiusfunction, M¨obius transform, Dirichlet convolution, inversion formula, arithmetical semigroup, flow. 64 M. Benito, L. M. Navas and J. L. Varona n 2 N, and µ is of course the M¨obiusfunction, given by 8 µ(1) = 1; <> (1.2) µ(n) = 0 if n has a squared factor, > k : µ(p1p2 ··· pk) = (−1) when p1; p2; : : : ; pk are distint primes.
    [Show full text]
  • Multiplicative Arithmetic Functions of Several Variables: a Survey
    Multiplicative Arithmetic Functions of Several Variables: A Survey L´aszl´oT´oth in vol. Mathematics Without Boundaries Surveys in Pure Mathematics T. M. Rassias, P. M. Pardalos (eds.), Springer, 2014, pp. 483–514 Abstract We survey general properties of multiplicative arithmetic functions of several variables and related convolutions, including the Dirichlet convolution and the unitary convolution. We introduce and investigate a new convolution, called gcd convolution. We define and study the convolutes of arithmetic functions of several variables, according to the different types of convolutions. We discuss the multiple Dirichlet series and Bell series and present certain arithmetic and asymptotic results of some special multiplicative functions arising from problems in number theory, group theory and combinatorics. We give a new proof to obtain the asymptotic density of the set of ordered r-tuples of positive integers with pairwise relatively prime components and consider a similar question related to unitary divisors. 2010 Mathematics Subject Classification: 11A05, 11A25, 11N37 Key Words and Phrases: arithmetic function of several variables, multiplicative function, greatest common divisor, least common multiple, relatively prime integers, unitary divisor, arithmetic convolution, Dirichlet series, mean value, asymptotic density, asymptotic formula Contents 1 Introduction 2 2 Notations 2 arXiv:1310.7053v2 [math.NT] 19 Nov 2014 3 Multiplicative functions of several variables 3 3.1 Multiplicative functions . 3 3.2 Firmly multiplicative functions . 4 3.3 Completely multiplicative functions . 4 3.4 Examples ...................................... 5 4 Convolutions of arithmetic functions of several variables 7 4.1 Dirichlet convolution . 7 4.2 Unitaryconvolution ................................ 8 4.3 Gcdconvolution .................................. 9 4.4 Lcmconvolution .................................. 9 4.5 Binomial convolution .
    [Show full text]
  • A Primer on Zeta Functions and Decomposition Spaces
    A Primer on Zeta Functions and Decomposition Spaces Andrew Kobin November 30, 2020 Abstract Many examples of zeta functions in number theory and combinatorics are special cases of a construction in homotopy theory known as a decomposition space. This article aims to introduce number theorists to the relevant concepts in homotopy theory and lays some foundations for future applications of decomposition spaces in the theory of zeta functions. 1 Introduction This expository article is aimed at introducing number theorists to the theory of decom- position spaces in homotopy theory. Briefly, a decomposition space is a certain simplicial space that admits an abstract notion of an incidence algebra and, in particular, an abstract zeta function. To motivate the connections to number theory, we show that most classical notions of zeta functions in number theory and algebraic geometry are special cases of the construction using decomposition spaces. These examples suggest a wider application of decomposition spaces in number theory and algebraic geometry, which we intend to explore in future work. Some of the ideas for this article came from a reading course on 2-Segal spaces organized by Julie Bergner at the University of Virginia in spring 2020, which resulted in the survey [ABD+], as well as another reading course over the summer, co-organized by Bergner and the arXiv:2011.13903v1 [math.NT] 27 Nov 2020 author. The author would like to thank the participants of these courses, and in particular Julie Bergner, Matt Feller and Bogdan Krstic, for helpful discussions on these and related topics. The present work also owes much to a similar article by Joachim Kock [Koc], which describes Riemann’s zeta function from the perspective taken here.
    [Show full text]