On an Arithmetic Convolution Jitender Singh Department of Mathematics Guru Nanak Dev University Amritsar-143005, Punjab, INDIA [email protected] https://sites.google.com/site/sonumaths2/ Abstract The Cauchy-type product of two arithmetic functions f and g on nonnegative in- k k tegers is defined as (f • g)(k) := m=0 m f(m)g(k − m). We explore some algebraic properties of the aforementioned convolution, which is a fundamental-characteristic of P the identities involving the Bernoulli numbers, the Bernoulli polynomials, the power sums, the sums of products, etc. 1 Introduction An arithmetic function is a map f : N0 → C. Let ψ : N0 × N0 → N0 be a binary operation satisfying the following properties: (1) the binary operation ψ is associative and commutative (2) for each n ∈ N0, the set {(x, y) ∈ N0 × N0 | ψ(x, y)= n, n ≥ 0} is finite (3) either ψ(x, 0) = n implies x = n or ψ(x, 1) = n implies x = n. For a given ψ, as defined above, a ψ−convolution on the set S of all arithmetic functions is a binary operation ∗ : S×S→S, such that (f ∗ g)(k)= f(k )g(k ) for all ψ ψ ψ(k1,k2)=k 1 2 f,g ∈ S. P arXiv:1402.0065v3 [math.NT] 20 May 2014 The Cauchy product with ψ(k1,k2)= k1 +k2; the Dirichlet product with ψ(k1,k2) := k1k2 on N; the natural product with k1, if k1 = k2; ψ(k1,k2)= (0, otherwise. and the lcm product with ψ(k1,k2) = lcm(k1,k2) are some known ψ−convolutions. For the other convolutions, the reader may refer to Lehmer [1], Subbarao [2], McCarthy [3], and references cited therein. 1 The purpose of the present study is to explore some algebraic properties of the weighted Cauchy product on S defined as follows: k1 + k2 (f • g)(k) := f(k1)g(k2), (1) k1 ψ(kX1,k2)=k where ψ(k1,k2) = k1 + k2. With the usual addition, (f + g)(k) = f(k) + g(k), for all k ∈ N0 and f,g ∈ S, the triple (S, +, •) is a commutative ring with one. The convolution •, also known as binomial convolution, was used by Haukkanen [4] to discuss the roots of arithmetic functions. The convolution, however, has largely remained unnoticed. The term “binomial convolution” is also used to denote another convolution in the modern literature [5], so, in the sequel, we will call the aforementioned convolution •, the Cauchy-type product. Recently, Gould and Quaintance [6] have used the term binomial-transform for the Cauchy- type product. Consider the set A := {f ∈S | f(0) =6 0} with the Cauchy-type product as binary operation. Then the set A with the identity e defined by 1, if k = 0; e(k) := (0, otherwise. and, the inverse f −1 = g defined inductively by 1 1 k−1 k g(0) = ; g(k)= − f(m)g(k − m), (2) f(0) f(0) m m=1 X is an abelian group as A does under the well-known Cauchy product. It also follows from (2) that, f ∈ S is invertible if and only if f(0) =6 0. Therefore, A serves as the group of units in the ring S. Definition 1. Let I, ν ∈A be the arithmetic functions such that I(k) = 1 and ν(k)=(−1)k, for all k ∈ N0. Note that I • ν = e, which gives I−1 = ν. The following easy result shows that, in the Cauchy-type product, the arithmetic function ν plays a role analogous to that of the M¨obius function. k k Proposition 2. Let f ∈ A, and F (k) := m=0 m f(m), k ∈ N0. Then F ∈ A, and f(k)= k k F (m)(−1)k−m. m=0 m P Proof. ItP follows from the fact that F = f • I and I • ν = e. Rest of the paper is organized as follows. The identities concerning the Bernoulli numbers, the Bernoulli polynomials, and the power sums are discussed via the Cauchy-type product 2 in Section 2. In the same Section, some interesting properties of the arithmetic functions, which obey symmetric identities are also derived. It will become apparent that the identities are a consequence of the Cauchy-type product. Algebraic properties of the Cauchy-type product are obtained in Section 3. In Section 4, some identities involving both the Dirichlet product and the Cauchy-type product are discussed. 2 Motivation The Cauchy-type product is inherent in many identities involving binomial coefficients. For example, it appears in the following fundamental identity of the Bernoulli numbers k k B m = e(k) for all k ∈ N , (3) m k +1 − m 0 m=0 X where the kth Bernoulli number is denoted by Bk. The left side of (3) is the Cauchy-type 1 −1 product B• ξ1, where B(k) := Bk and ξ1(k) := k+1 . Thus (3) is equivalent to B = ξ1 . k k m A relatively simple identification is the binomial theorem, m=0 m x = (ǫx • I)(k), where ǫ := e and ǫ = I, so that ǫ (0) = 1 and ǫ (k) := xk for k > 0. It is easy to verify 0 1 x x P that ǫx ∈A, for each x ∈ C, where −1 1, if k = 0; ǫx (k)= k (4) ((−x) , if k > 0. text Further, the kth Bernoulli polynomial B (k) is defined by the generating function = x et − 1 ∞ tk B (k) , where x ∈ C and k ∈ N . We then have B(k) = B (k). Among many x k! 0 0 Xk=0 other properties of Bx and B, we are interested in the one, which is given by Bx(k) = k k m m=0 m x B(k − m) or Bx = B• ǫx. This identification leads to the identities, Bx+y = B• ǫ =(B• ǫ ) • ǫ = B • ǫ ; B = νB . Also, by inversion, B = B • ǫ−1, which gives P x+y x y x y 1−x x x x k k B(0) = B (0); B(k)= B (k − m)(−x)m, k ∈ N. x m x m=0 X If we take x = 0 and x = 1, in B1−x = νBx and B = Bx • ǫ−x respectively, we find that I • B = νB. The inverse of Bx with respect to the Cauchy-type product is given by −1 Bx = ξ1 • ǫ−x = ξ1(ξ−x+1,1 − ξ−x,1), (5) where xk+m k+m , if x =6 0; ξx,m(k) := (e(k), otherwise. 3 × and ξ0,m := e for each m ∈ C . By applying the transformation x → −x in (5), we get (1 + x)k+1 − xk+1 B−1(k)= ξ (k)(ξ (k) − ξ (k)) = . (6) −x 1 x+1,1 x,1 k +1 2k+1 − 1 It can be easily verified that ξ2(k)=2 . Therefore, now (5) implies 1 (k + 1)(k + 2) (1 − 2x)k+2 − 2k+1(1 − x)k+2 − 2k+1(−x)k+2 B−2(k)= −2 , (7) x (k + 1)(k + 2) and the process inductively leads to the following. Theorem 3. For any n ∈ N n k! n B−n(k)= (−1)n−j(j − nx)k+n. (8) x (k + n)! j j=0 X −n k −n d −n −n In addition, B1−x(k)=(−1) Bx (k) and dx Bx (k)= −nkBx (k − 1). By Theorem 3, one obtains a generalization of (3) as k n Bn(k − m) (−1)n−j (j − nx)m+n 1 n! x = e(k) , n ∈ N (9) (k − m)! (n − j)! (m + n)! j! m=0 j=0 X X which is precisely (3) for n = 1. It is interesting to note the following two identities obtainable from (9), for k =0, n ∈ N and x ∈ C n (−1)n−j (j − nx)n =1, (10) (n − j)! j! j=0 X n (−1)n−j (j − nx)n−α 1 =0, for all n ≥ α, x =6 , i =1,...,α, α ∈ N. (11) (n − j)! j! i j=0 X 2.1 Power sum identities The ring structure on S is helpful in computing many other identities. For example, from (6) one has n n n (n + 1)k+1 − 1 ξ • ǫ (k)= (ξ • ǫ )(k)= B−1(k)= , 1 x 1 x −x k +1 x=1 ! x=1 x=1 X X X which allows the classical Faulhaber formula for the power sum in the form below (see Singh [7]) n n k k (n + 1)k+1−m − 1 ǫ (k)= (ξ−1 • B−1)(k)= B(m) . (12) x 1 −x m k +1 − m x=1 x=1 m=0 X X X 4 n Now, if Sn(k) denotes the power sum x=1 ǫx(k), then (12) can be used to represent the Faulhaber power sum by S := B• ξ − e. We also have B − B = B• ǫ −B• ǫ = x x+1,1 P x+1 x x+1 x B• (ǫx+1 − ǫx) using which the power sum can be expressed as Sx(k)=(B•(ξx+1,1 −ξ1,1))(k)= ξ1(k)(B•(ǫx+1 −ǫ1))(k +1) = ξ1(k)(Bx+1 −B1)(k +1). (13) 2.2 Symmetric identities The Bernoulli numbers are also known to satisfy many symmetric identities. For given m, n ∈ N0, B satisfies the following identity attributed to Carlitz [8] n n m m (−1)n B(m + i)=(−1)m B(n + i). (14) i i i=0 i=0 X X More generally, if F := I • f, f ∈A, then (see Gould and Quaintance [6]) n n m m f(m + i)= (−1)m−iF (n + i) for all m, n ∈ N .