arxiv: v1 [math.nt] 5 Sep 2016

Transcription

1 ELEMENTARY EVALUATION OF CONVOLUTION SUMS INVOLVING PRIMITIVE DIRICHLET CHARACTERS FOR A CLASS OF POSITIVE INTEGERS arxiv: v1 [math.nt] Sep 2016 EBÉNÉZER NTIENJEM ABSTRACT. We extend the results obtained by E. Ntienjem [23] to all positive integers. Let N be the subset of N consisting of 2 ν, where ν is in {0,1,2,3} and is a squarefree finite product of distinct odd primes. We discuss the evaluation of the convolution sum, σlσm, when αβ is in N \ N. The evaluation of convolution sums belonging αl+βm=n to this class is achieved by applying modular forms and primitive Dirichlet characters. In addition, we revisit the evaluation of the convolution sums for αβ = 9, 16, 18, 2, 36. If αβ 0 mod 4, we determine natural numbers a,b and use the evaluated convolution sums together with other known convolution sums to carry out the number of representations of n by the octonary quadratic forms ax1 2 +x2 2 +x2 3 +x2 4 +bx2 +x2 6 +x2 7 +x2 8. Similarly, if αβ 0 mod 3, we compute natural numbers c,d and make use of the evaluated convolution sums together with other known convolution sums to determine the number of representations of n by the octonary quadratic forms cx1 2 + x 1x 2 + x2 2 + x2 3 + x 3x 4 + x4 2 + d x 2 + x x 6 + x6 2 + x2 7 + x 7x 8 + x8 2. We illustrate our method with the explicit examples αβ = 3 2, αβ = 2 4 3, αβ = 2 2 and αβ = 2 6,. 1. INTRODUCTION In this work, we denote by N, Z, Q, R and C the sets of natural numbers, integers, rational numbers, real numbers and complex numbers, respectively. Let i, j, k, l, m, n N in the sequel. The sum of positive divisors of n to the power of k, σ k n, is defined by 1.1 σ k n = d k. 0<d n We let σn stand as a synonym for σ 1 n. For m / N we set σ k m = 0. Let α,β N be such that α β. We define the convolution sum, W α,β n, as follows: 1.2 W α,β n = σlσm. αl+βm=n We write W β n as a synonym for W 1,β n. If for all l,m N 2 it holds that αl +βm n, then we set W α,β n = 0 So far known convolution sums are displayed on Table 1. Level αβ Authors References 1 M. Besge, J. W. L. Glaisher, S. Ramanujan [7, 11, 27] 2010 Mathematics Subject Classification. 11A2, 11F11, 11F20, 11E20, 11E2, 11F27. Key words and phrases. Sums of Divisors; Dedekind eta function; Convolution Sums; Modular Forms; Dirichlet Characters; Eisenstein forms; Cusp Forms; Octonary quadratic Forms; Number of Representations. 1

2 2 EBÉNÉZER NTIENJEM 2, 3, 4 J. G. Huard & Z. M. Ou & B. K. Spearman & K. S. Williams [12], 7 M. Lemire & K. S. Williams, S. Cooper & P. C. Toh [9, 16] 6 Ş. Alaca & K. S. Williams [6] 8, 9 K. S. Williams [31, 30] 10, 11, 13, 14 E. Royer [28] 12, 16, 18, 24 A. Alaca & Ş. Alaca & K. S. Williams [1, 2, 3, 4] 1 B. Ramakrishnan & B. Sahu [26] 10, 20 S. Cooper & D. Ye [10] 23 H. H. Chan & S. Cooper [8] 2 E. X. W. Xia & X. L. Tian & O. X. M. Yao [33] 27, 32 Ş. Alaca & Y. Kesicioǧlu [] 36 D. Ye [34] 14, 26, 28, 30 E. Ntienjem [22] 22, 44, 2 E. Ntienjem [24] 33, 40, 6 αβ = 2 ν κ p j, where j 2 gcdα,β = 1, 0 ν 3, E. Ntienjem [23] κ N, p j > 2 distinct primes Table 1: Known convolution sums W α,β n of level αβ Let N = {2 ν ν {0,1,2,3} and is a squarefree finite product of distinct odd primes} be a subset of N. We evaluate the convolution sum, W α,β n, for the class of natural numbers αβ such that αβ N \ N. We use Dirichlet characters and modular forms to evaluate these convolution sums. We observe that the positive integers αβ = 9,16,18,2,27,32,36 from Table 1 belong to the class of integers for which the evaluation of the convolution sum is discussed in this paper. From these integers, the convolution sums for 27 and 32 are evaluated using the approach that we are generalizing in the sequel. We revisit the evaluation of the convolution sums for αβ = 9, 16, 18, 2, 36 using our method. We use the result from the above general case to obtain the evaluation of the convolution sum for αβ = 3 2, αβ = 2 4 3, αβ = 2 2 and αβ = 2 6. These convolution sums have not been evaluated as yet. As an application, convolution sums are used to determine explicit formulae for the number of representations of a positive integer n by the octonary quadratic forms 1.3 ax x x x bx 2 + x2 6 + x2 7 + x 2 8 and 1.4 cx x 1 x 2 + x x x 3 x 4 + x d x 2 + x x 6 + x x2 7 + x 7 x 8 + x 2 8,

3 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 3 respectively, where a, b, c, d N. So far known explicit formulae for the number of representations of n by the octonary form Equation 1.3 are displayed in Table 2. a, b Authors References 1,1,1,3, 1,9,2,3 E. Ntienjem [23] 1,2 K. S. Williams [31] 1,4 A. Alaca & Ş. Alaca & K. S. Williams [2] 1, S. Cooper & D. Ye [10] 1,6 B. Ramakrishnan & B. Sahu [26] 1,7 E. Ntienjem [22] 1,8 Ş. Alaca & Y. Kesicioǧlu [] 1,11,1,13 E. Ntienjem [24] 1,10,1,14, 2,,2,7, ab = 2 ν κ p j, where j 2 gcda,b = 1, 0 ν 1, E. Ntienjem [23] κ N, p j > 2 distinct primes Table 2: Known representations of n by the form Equation 1.3 Similarly, so far known explicit formulae for the number of representations of n by the octonary form Equation 1.4 are referenced in Table 3. c, d Authors References 1,1 G. A. Lomadze [18] 1,2 Ş. Alaca & K. S. Williams [6] 1,3 K. S. Williams [30] 1,4,1,6, 1,8,2,3 A. Alaca & Ş. Alaca & K. S. Williams [1, 2, 3] 1, B. Ramakrishnan & B. Sahu [26] 1,9 Ş. Alaca & Y. Kesicioǧlu [] 1,10, 2, E. Ntienjem [22] 1,12,3,4 D. Ye [34] 1,11, cd = 2 ν κ p j, where j 3 gcdc,d = 1, 0 ν 3, E. Ntienjem [23] κ N, p j > 3 distinct primes Table 3: Known representations of n by the form Equation 1.4 We also determine explicit formulae for the number of representations of a positive integer n by such octonary quadratic forms whenever αβ 0 mod 4 or αβ 0 mod 3.

4 4 EBÉNÉZER NTIENJEM We then use the convolution sums, W α,β n, where αβ = 3 2,2 4 3,2 6, to give examples of explicit formulae for the number of representations of a positive integer n by the octonary quadratic forms Equation 1.3 and Equation 1.4. This paper is organized as follows. In Section 2 we discuss modular forms and briefly define η-functions and convolution sums. We assume that αβ has the above form and then discuss the evaluation of the convolution sum, W α,β n, in Section 3. In Section 4 and Section, we discuss a technique for computing all pairs of natural numbers a,b and c,d, and then determine explicit formulae for the number of representations of n by the octonary form Equation 1.3 and Equation 1.4 when αβ 0 mod 4 or αβ 0 mod 3. In Section 6, we evaluate the convolution sums W 1,4 n, W,9 n, W 1,48 n, W 3,16 n, W 1,0 n, W 2,2 n and W 1,64 n ; then in Section 8, we make use of these convolution sums and other known convolution sums to determine an explicit formula for the number of representations of a positive integer n by the octonary quadratic form Equation 1.3, where a,b stands for 1,12, 3,4, 1,16. Equation 1.4, where c,d stands for 1,1, 3,, 1,16. The evaluation of the convolution sums for αβ = 9, 16, 18, 2, 36 is revisited in Section 9. Outlook and concluding remarks are made in Section 10. Software for symbolic scientific computation is used to obtain the results of this paper. This software comprises the open source software packages GiNaC, Maxima, Reduce, SAGE and the commercial software package MAPLE. 2. ESSENTIALS TO THE UNDERSTANDING OF THE PROBLEM 2.1. Modular Forms. Let H = {z C Imz > 0}, be the upper half-plane and let Γ = G = SL 2 R = { a b c d a,b,c,d R and ad bc = 1} be the group of 2 2-matrices. Let N N. Then ΓN = { a b c d SL2 Z a b c d mod N } is a subgroup of G and is called a principal congruence subgroup of level N. A subgroup H of G is called a congruence subgroup of level N if it contains ΓN. For our purposes the following congruence subgroup is relevant: Γ 0 N = { a b c d SL2 Z c 0 mod N }. Let k,n N and let Γ Γ be a congruence subgroup of level N N. Let k Z,γ SL 2 Z and f : H Q {} C {}. We denote by f [γ] k the function whose value at z is cz + d k f γz, i.e., f [γ] kz = cz + d k f γz. The following definition is according to N. Koblitz [14, p. 108]. Definition 2.1. Let N N, k Z, f be a meromorphic function on H and Γ Γ a congruence subgroup of level N. a f is called a modular function of weight k for Γ if a1 for all γ Γ it holds that f [γ] k = f. a2 for any δ Γ it holds that f [δ] kz has the form n Z a n e 2πizn N finitely many n Z such that n < 0. b f is called a modular form of weight k for Γ if b1 f is a modular function of weight k for Γ, b2 f is holomorphic on H, b3 for all δ Γ and for all n Z such that n < 0 it holds that a n = 0. c f is called a cusp form of weight k for Γ if and a n 0 for

5 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II c1 f is a modular form of weight k for Γ, c2 for all δ Γ it holds that a 0 = 0. Let us denote by M k Γ the set of modular forms of weight k for Γ, by S k Γ the set of cusp forms of weight k for Γ and by E k Γ the set of Eisenstein forms. The sets M k Γ, S k Γ and E k Γ are vector spaces over C. Therefore, M k Γ 0 N is the space of modular forms of weight k for Γ 0 N, S k Γ 0 N is the space of cusp forms of weight k for Γ 0 N, and E k Γ 0 N is the space of Eisenstein forms. Consequently, W. A. Stein [29, p. 81] has shown that M k Γ 0 N = E k Γ 0 N S k Γ 0 N. We asume in this paper that 4 k is even and that χ and ψ are primitive Dirichlet characters with conductors L and R, respectively. W. A. Stein [29, p. 86] has noted that 2.1 E k,χ,ψ q = C 0 + ψdχ n q d dk 1 n, d n where { 0 if L > 1 C 0 = B k,χ 2k if L = 1 and B k,χ are the generalized Bernoulli numbers. Theorems.8 and.9 in Section.3 of W. A. Stein [29, p. 86] are then applicable η-quotients. On the upper half-plane H, the Dedekind η-function, ηz, is defined by ηz = e 2πiz 24 1 e 2πinz. Let us set q = e 2πiz. Then it follows that ηz = q q n = q 1 24 Fq, where Fq = 1 q n. We will use eta function, eta quotient and eta product interchangeably as synonyms. M. Newman [20, 21] applied the Dedekind η-function to systematically construct modular forms for Γ 0 N. Newman then etablishes conditions i-iv in the following theorem. G. Ligozat [17] determined the order of vanishing of an η-function at all cusps of Γ 0 N, which is condition v or v in the following theorem. L. J. P. Kilford [13, p. 99] and G. Köhler [1, p. 37] have formulated the following theorem; it will be used to exhaustively determine η-quotients, f z, which belong to M k Γ 0 N, and especially those η-quotients which are in S k Γ 0 N. Theorem 2.2 M. Newman and G. Ligozat. Let N N, DN be the set of all positive divisors of N, δ DN and r δ Z. Let furthermore f z = η r δδz be an η-quotient. If the following five conditions are satisfied i δr δ 0 mod 24, ii iii δ DN δ DN δ DN δ r δ is a square in Q, iv 0 < N δ DN δ r δ 0 mod 24, δ DN gcdδ,d v for each d DN it holds that 2 δ r δ 0, δ DN then f z M k Γ 0 N, where k = 1 2 r δ. δ DN δ DN r δ 0 mod 4, Moreover, the η-quotient f z is an element of S k Γ 0 N if v is replaced by gcdδ,d v for each d DN it holds that 2 δ r δ > 0.

6 6 EBÉNÉZER NTIENJEM 2.3. Convolution Sums W α,β n. Given α,β N such that α β, let the convolution sum be defined by Equation 1.2. E. Ntienjem [22, 23] has shown and A. Alaca et al. [1] has remarked that one can simply assume that gcdα, β = 1. Let q C be such that q < 1. Let furthermore χ and ψ be primitive Dirichlet characters with conductors L and R, respectively. We assume that χ = ψ and that χ is a Kronecker symbol in the following. Then the following Eisenstein series hold Lq = E 2 q = 1 24 Mq = E 4 q = M χ q = E 4,χ q = C 0 + σnq n, σ 3 nq n, χσ 3 nq n. Note that Mq is a special case of Equation 2.1 or Equation 2.4. We state two relevant results for the sequel of this work. Lemma 2.3. Let α,β N. Then Proof. See E. Ntienjem [23]. αlq α βlq β 2 M 4 Γ 0 αβ. Theorem 2.4. Let α,β,n N be such that N = αβ,α < β, and α and β are relatively prime. Then 2. αlq α βlq β 2 = α β α 2 σ 3 n α + 240β2 σ 3 n β + 48αβ 6nσ n α + 48βα 6nσ n β 112αβW α,βn q n. Proof. See E. Ntienjem [23]. 3. EVALUATING W α,β n, WHERE αβ N \ N We carry out an explicit formula for the convolution sum W α,β n Bases of E 4 Γ 0 αβ and S 4 Γ 0 αβ. Let Dαβ denote the set of all positive divisors of αβ. A. Pizer [2] has discussed the existence of a basis of the space of cusp forms of weight k 2 for Γ 0 αβ when αβ is not a perfect square. We apply the dimension formulae in T. Miyake s book [19, Thrm 2..2, p. 60] or W. A. Stein s book [29, Prop. 6.1, p. 91] to conclude that for the space of Eisenstein forms 3.1 dime 4 Γ 0 αβ = ϕgcdd, αβ d = m E, d αβ where m E N and ϕ is the Euler s totient function. for the space of cusp forms dims 4 Γ 0 αβ = m S, where m S N.

7 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 7 We use Theorem 2.2 i v to exhaustively determine as many elements of the space S 4 Γ 0 αβ as possible. From these elements of the space S 4 Γ 0 αβ we select relevant ones for the purpose of the determination of a basis of this space. Let C denote the set of Dirichlet characters χ = m n as assumed in Equation 2.4, where m,n Z and m n is the Kronecker symbol. Let furthermore Dχ Dαβ denote the subset of Dαβ associated with the character χ. Theorem 3.1. a The set B E = {Mq t t Dαβ} {M χ q t t Dχ} is a basis of E 4 Γ 0 αβ. b Let 1 i m S be positive integers, δ Dαβ and ri,δ i,δ be a table of the powers of ηδz. Let furthermore B αβ,i q = η ri,δ δz be selected elements of δ αβ S 4 Γ 0 αβ. Then the set B S = {B αβ,i q 1 i m S } is a basis of S 4 Γ 0 αβ. c The set B M = B E B S constitutes a basis of M 4 Γ 0 αβ. Remark 3.2. r1 Each eta quotient B αβ,i q is expressible in the form b αβ,i nq n, where for each n 1 the coefficient b αβ,i n is an integer. r2 When we divide the sum that results from Theorem 2.2 v, when d = N, by 24, then we obtain the smallest positive degree of q in B αβ,i q. Proof. a W. A. Stein [29, Thrms.8 and.9, p. 86] has shown that for each t positive divisor of αβ it holds that Mq t is in M 4 Γ 0 t. Since M 4 Γ 0 t is a vector space, it also holds for each Kronecker symbol χ C and s Dχ that M χ q s is in M 4 Γ 0 s. Since the dimension of E 4 Γ 0 αβ is finite, it suffices to show that B E is linearly independent. Suppose that for each χ C,s Dχ we have zχ s C and that for each t αβ we have x t C. Then t αβ x t Mq t + χ C zχ s M χ q s s Dχ χ C = 0. We recall that χ is a Kronecker symbol; therefore, for all 0 a Z it holds that a0 = 0. Then we equate the coefficients of q n for n Dαβ {s s Dχ} χ C to obtain the homogeneous system of linear equations in m E unknowns: σ 3 t u x u + u αβ χ C v Dχ χσ 3 t v Zχ v = 0, t Dαβ. The determinant of the matrix of this homogeneous system of linear equations is not zero. Hence, the unique solution is x t = zχ s = 0 for all t Dαβ and for all χ C,s Dχ. So, the set B E is linearly independent and hence is a basis of E 4 Γ 0 αβ. b We show that each B αβ,i q, where 1 i m S, is in the space S 4 Γ 0 αβ. This is obviously the case since B αβ,i q,1 i m S, are obtained using an exhaustive search which applies items i v in Theorem 2.2. Since the dimension of S 4 Γ 0 αβ is finite, it suffices to show that the set B S is linearly independent. Suppose that x i C and m S x i B αβ,i q = 0. Then m S x i B αβ,i q = i=1 m S i=1 i=1 x i b αβ,i nq n = 0 which gives the homogeneous system

8 8 EBÉNÉZER NTIENJEM of m S linear equations in m S unknowns: 3.2 m S i=1 b αβ,i nx i = 0, 1 n m S. Two cases arise: The smallest degree of B αβ,i q is i for each 1 i m S : Then the square matrix which corresponds to this homogeneous system of m S linear equations is triangular with 1 s on the diagonal. Hence, the determinant of that matrix is 1 and so the unique solution is x i = 0 for all 1 i m S. The smallest degree of B αβ,i q is i for 1 i < m S : Let n be the largest positive integer such that 1 i n < m S. Let B S = {B αβ,iq 1 i n } and B S = {B αβ,iq n < i m S }. Then B S = B S B S and we may consider B S as an ordered set. By the case above, the set B S is linearly independent. Hence, the linear independence of the set B S depends on that of the set B S. Let A = b αβ,i n be the m S m S matrix in Equation 3.2. If deta 0, then x i = 0 for all 1 i m S and we are done. Suppose that deta = 0. Then for some n < k m S there exists B αβ,k q which is causing the system of equations to be inconsistent. We substitute B αβ,k q with, say B αβ,k q, which does not occur in B S and compute of the determinant of the new matrix A. Since there are finitely many B αβ,k q with n < k m S that may cause the system of linear equations to be inconsistent and finitely many elements of S 4 Γ 0 αβ \ B S, the procedure will terminate with a consistent system of linear equations. Since A. Pizer [2] has proved the existence of a basis for the space of cusps, we will find a basis of S 4 Γ 0 αβ. Therefore, the set {B αβ,i q 1 i m S } is linearly independent and hence is a basis of S 4 Γ 0 αβ. c Since M 4 Γ 0 αβ = E 4 Γ 0 αβ S 4 Γ 0 αβ, the result follows from a and b. Note that if C = /0, that means that the Dirichlet character is trivially one, then Theorem 3.1 proved by E. Ntienjem [23] is obtained as an immediate corollary Evaluating the convolution sum W α,β n. We recall the assumption that χ 1 since the case χ = 1 has been discussed by E. Ntienjem [23]. Lemma 3.3. Let α,β N be such that gcdα,β = 1. Let furthermore B M = B E B S be a basis of MΓ 0 αβ. Then there exist X δ,zχ s,y j C,1 j m S,χ C,s Dχ and δ αβ such that 3.3 αlq α βlq β 2 = X δ + + δ αβ χ C s Dχ 240 σ 3 n δ X δ + δ αβ C 0 Zχ s χ C s Dχ σ 3 n s χzχ s + m S j=1 b j ny j q n.

9 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 9 Proof. That αlq α βlq β 2 M 4 Γ 0 αβ follows from Lemma 2.3. Hence, by Theorem 3.1 c, there exist X δ,zχ s,y j C,1 j m S,χ C,s Dχ and δ αβ, such that αlq α βlq β 2 = X δ Mq δ + δ αβ χ C + m S j=1 Y j B j q = X δ + δ αβ χ C s Dχ + s Dχ Zχ s M χ q s C 0 Zχ s + χ C s Dχ χσ 3 n s Zχ s σ 3 n δ X δ δ αβ m S j=1 We equate the right hand side of Equation 3.3 with that of Equation 2. to obtain 240 X δ σ 3 n δ + δ αβ = χ C χσ 3 n s Zχ s + s Dχ m S j=1 Y j b j n q n 240α 2 σ 3 n α + 240β2 σ 3 n β + 48αβ 6nσ n α b j ny j q n. + 48βα 6nσ n β 112αβW α,βn q n. We then take the coefficients of q n such that n is in Dαβ and 1 n m S, but as many as the unknown, X 1,...,X αβ, Zχ s for all χ C,s Dχ, and Y 1,...,Y ms, to obtain a system of m E +m S linear equations whose unique solution determines the values of the unknowns. Hence, we obtain the result. For the following theorem, let for the sake of simplicity X δ,zχ s and Y j stand for their values obtained in the previous theorem. Theorem 3.4. Let n be a positive integer. Then W α,β n = 24αβ σ 3 n δ X δ δ αβ δ α,β 1 112αβ χ C s Dχ + 24αβ α2 X α σ 3 n α + 24αβ β2 X β σ 3 n β m S j=1 Zχ s σ 3 n s 1 112αβ b jny j β nσ n α α nσ n β. Proof. We equate the right hand side of Equation 3.3 with that of Equation 2. to yield 112αβW α,β n = 240 σ 3 n δ X δ δ αβ χ C m S j=1 s Dχ Zχ s σ 3 n s b j ny j + 240α 2 σ 3 n α + 240β2 σ 3 n β + 48αβ 6nσ n α + 48βα 6nσ n β. We then solve for W α,β n to obtain the stated result.

10 10 EBÉNÉZER NTIENJEM Remark 3.. a As observed by E. Ntienjem [23], the following part of Theorem 3.4 depends only on n, α and β but not on the basis of the modular space M 4 Γ 0 αβ: β nσ n α α nσ n β. b If C = /0, that means that the Dirichlet character is trivially one, then Theorem 3.2 proved by E. Ntienjem [23] is obtained as an immediate corollary of Theorem 3.4. c For all χ C and for all s Dχ the value of Zχ s appears to be zero in all explicit examples evaluated as yet. Will the value of Zχ s always vanish for all αβ belonging to this class? We now have the prerequisite to determine a formula for the number of representations of a positive integer n by the Octonary quadratic form. 4. NUMBER OF REPRESENTATIONS OF A POSITIVE INTEGER n BY THE OCTONARY QUADRATIC FORM EQUATION 1.3 In this section, we only consider those αβ N \ N such that αβ 0 mod 4. That means, for a given κ N, we restrict the form of αβ to 4.1 αβ = 2 e 1 κ j>1 p e j j, where e 1 2 and e j 2 for at least one 2 j κ Determining a,b N 2. This approach is similar to the one given by E. Ntienjem [23]. Let Λ = 2 e 1 2 κ p e j j, the set P = { p 1 = 2 e1 2 } { p e j j 1 < j κ}, and PP be the j>1 power set of P. Then for each Q PP we define µq = q. We set µ/0 = 1 if q Q Q = {/0}. Let now Ω 4 = {µq 1,µQ 2 there exist Q 1,Q 2 PP such that Observe that Ω 4 /0 since 1,Λ Ω 4. gcdµq 1,µQ 2 = 1 and µq 1 µq 2 = Λ}. Proposition 4.1. Suppose that αβ has the above form and suppose that Ω 4 is defined as above. Then for all n N the set Ω 4 contains all pairs a,b N 2 such that N a,b n can be obtained by applying W α,β n. Proof. Similar to the proof given by E. Ntienjem [23] Number of Representations of a positive Integer. As an immediate application of Theorem 3.4 the number of representations of a positive integer n by the octonary quadratic form ax1 2 + x2 2 + x2 3 + x2 4 + bx2 + x2 6 + x2 7 + x2 8 is determined. Let n N and the number of representations of n by the quaternary quadratic form x1 2 + x2 2 + x2 3 + x2 4 be denoted by r 4n. That means, r 4 n = card{x 1,x 2,x 3,x 4 Z 4 m = x x x x 2 4}. We set r 4 0 = 1. K. S. Williams [32] has shown that for all n N 4.2 r 4 n = 8σn 32σ n 4.

11 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 11 Now, let the number of representations of n by the octonary quadratic form be N a,b n. That means, ax x x x bx 2 + x2 6 + x2 7 + x 2 8 N a,b n = card{x 1,x 2,x 3,x 4,x,x 6,x 7,x 8 Z 8 n = ax x 2 2 We then derive the following result: Theorem 4.2. Let n N and a,b Ω 4. Then + x x bx 2 + x2 6 + x2 7 + x 2 8}. N a,b n = 8σ n a 32σ n 4a + 8σn b 32σ n 4b + 64W a,bn W a,b n W a,b n +W a,4b n. Proof. It holds that N a,b n = r 4 lr 4 m = r 4 n a r 40 + r 4 0r 4 n b + r 4 lr 4 m al+bm=n al+bm=n We use Equation 4.2 to derive N a,b n = 8σ n a 32σ n 4a + 8σn b 32σ n 4b We observe that + 8σl 32σ l 4 8σm 32σm 4. al+bm=n 8σl 32σ l 4 8σm 32σm 4 = 64σlσm 26σ l 4 σm We assume in the sequel of this proof that the evaluation of W a,b n = al+bm=n 26σlσ m σ l 4 σm 4. σlσm, W 4a,b n and W a,4b n are known. We map l to 4l and m to 4m to derive and W 4a,b n = W a,4b n = al+bm=n al+bm=n σ l 4 σm = σlσm 4al+bm=n σlσ m 4 = al+4bm=n respectively. We simultaneously map l to 4l and m to 4m to infer al+bm=n σlσm, σ l 4 σm 4 = σlσm = W a,b n 4. al+bm= n 4

12 12 EBÉNÉZER NTIENJEM We put these evaluations together to obtain the stated result for N a,b n.. NUMBER OF REPRESENTATIONS OF A POSITIVE INTEGER n BY THE OCTONARY QUADRATIC FORM EQUATION 1.4 We now consider those αβ N\N for which αβ 0 mod 3. That means, for a given κ N, we consider the restricted form of αβ.1 αβ = 2 e1 3 e 2 κ j>2 p e j j, where p j and at least for one 2 j κ we have e j Determining c,d N 2. This method is similar to the one given by E. Ntienjem [23]. The construction is almost the same as the one given in Subsection 4.1. Let = 2 e 1 3 e 2 1 κ p e j j, the set P = {p 1 = 2 e 1, p 2 = 3 e2 1 } { p e j j 2 j κ}, and j>2 PP be the power set of P. Then for each Q PP we define µq = q. We set q Q µ/0 = 1 if Q = {/0}. Let now Ω 3 be defined as in Subsection 4.1 with instead of Λ, i.e., Ω 3 = {µq 1,µQ 2 there exist Q 1,Q 2 PP such that Note that Ω 3 /0 since 1, Ω 3. gcdµq 1,µQ 2 = 1 and µq 1 µq 2 = }. Proposition.1. Suppose that αβ has the above form and Suppose that Ω 3 be defined as above. Then for all n N the set Ω 3 contains all pairs c,d N 2 such that R c,d n can be obtained by applying W α,β n. Proof. Simlar to the proof of Proposition Number of Representations of a positive Integer. The number of representations of a positive integer n by the octonary quadratic form cx1 2 + x 1x 2 + x2 2 + x2 3 + x 3x 4 + x4 2 + d x 2 + x x 6 + x6 2 + x2 7 + x 7x 8 + x8 2 is determined as an immediate application of Theorem 3.4. Let n N and let s 4 n denote the number of representations of n by the quaternary quadratic form x1 2 + x 1x 2 + x2 2 + x2 3 + x 3x 4 + x4 2, that is s 4 n = card{x 1,x 2,x 3,x 4 Z 4 n = x x 1 x 2 + x x x 3 x 4 + x 2 4}. We set s 4 0 = 1. J. G. Huard et al. [12] and G. A. Lomadze [18] have proved that for all n N.2 s 4 n = 12σn 36σ n 3. Now, let the number of representations of n by the octonary quadratic form cx x 1 x 2 + x x x 3 x 4 + x d x 2 + x x 6 + x x2 7 + x 7 x 8 + x 2 8 by R c,d n. That is, R c,d n = card{x 1,x 2,x 3,x 4,x,x 6,x 7,x 8 Z 8 n = cx x 1 x 2 + x 2 2 We infer the following result. + x x 3 x 4 + x d x 2 + x x 6 + x x2 7 + x 7 x 8 + x 2 8}.

13 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 13 Theorem.2. Let n N and c,d Ω 3. Then R c,d n = 12σ n c 36σ n 3c + 12σ n d 36σ n 3d + 144W c,dn W c,d n W c,d n +W c,3d n. Proof. It is obvious that R c,d n = cl+dm=n s 4 ls 4 m = s 4 n c s 40 + s 4 0s 4 n d + cl+dm=n s 4 ls 4 m. We make use of Equation.2 to deduce R c,d n = 12σ n c 36σ n 3c + 12σ n d 36σ n 3d We observe that + 12σl 36σ l 3 12σm 36σm 3. cl+dm=n 12σl 36σ l 3 12σm 36σm 3 = 144σlσm 432σ l 3 σm We assume that the evaluation of W c,d n = cl+dm=n 432σlσ m σ l 3 σm 3. σlσm, W 3c,d n and W c,3d n are known. We apply the transformations m to 3m and l to 3l to infer σlσ m 3 = σlσm = W c,3d n cl+dm=n cl+3d m=n and σmσ l 3 = σlσm = W 3c,d n, cl+dm=n 3cl+dm=n respectively. We simultaneously map l to 3l and m to 3m deduce cl+dm=n σ m 3 σ l 3 = σlσm = W c,d n 3. cl+dm= n 3 We put these evaluations together to obtain the stated result for R c,d n. 6. EVALUATION OF THE CONVOLUTION SUMS W α,β n WHEN αβ = 4,48,0,64 In this Section, we give explicit formulae for the convolution sums W 1,4 n, W,9 n, W 1,48 n, W 3,16 n, W 1,0 n, W 2,2 n and W 1,64 n. The two convolution sums W 1,0 n and W 2,2 n are worth mentioning due to the fact that the set of divisors of 0 which are associated with the Dirichlet character for the formation of a basis of the space of Eisensten forms is the whole set of divisors of 0.

14 14 EBÉNÉZER NTIENJEM 6.1. Bases for E 4 Γ 0 αβ and S 4 Γ 0 αβ when αβ = 4,48,0,64. The dimension formulae for the space of cusp forms as given in T. Miyake s book [19, Thrm 2..2, p. 60] or W. A. Stein s book [29, Prop. 6.1, p. 91] and Equation 3.1 are applied to compute dime 4 Γ 0 4 = 8, dims 4 Γ 0 4 = 14, dime 4 Γ 0 48 = dime 4 Γ 0 0 = dime 4 Γ 0 64 = 12 dims 4 Γ 0 0 = 17, dims 4 Γ 0 48 = dims 4 Γ 0 64 = 18. We use Theorem 2.2 to determine η-quotients which are elements of S 4 Γ 0 4, S 4 Γ 0 48, S 4 Γ 0 0 and S 4 Γ 0 64, respectively. Let D4, D48, D0 and D64 denote the sets of positive divisors of 4, 48, 0 and 64, respectively. We observe that M 4 Γ 0 M 4 Γ 0 1 M 4 Γ 0 4 M 4 Γ 0 9 M 4 Γ 0 4 M 4 Γ 0 6 M 4 Γ 0 12 M 4 Γ 0 24 M 4 Γ 0 48 M 4 Γ 0 8 M 4 Γ 0 24 M 4 Γ 0 48 M 4 Γ 0 8 M 4 Γ 0 16 M 4 Γ 0 48 M 4 Γ 0 M 4 Γ 0 2 M 4 Γ 0 0 M 4 Γ 0 M 4 Γ 0 10 M 4 Γ 0 0 M 4 Γ 0 8 M 4 Γ 0 16 M 4 Γ 0 32 M 4 Γ A graphical illustration of the inclusion relation represented by Equation 6.1, Equation 6.2, Equation 6.6 and Equation 6.7 are given in Figure 1; and that represented by Equation 6.3, Equation 6.4, and Equation 6. in Figure 2. Corollary 6.1. a The sets B E,4 = {Mq t t 4} {M 4 n qs s = 1,3} B E,48 = {Mq t t D48} {M 3 n qs s = 1,2} B E,0 = {Mq t t 0} {M 3 n qs s D0} and B E,64 = {Mq t t D64} {M 3 n qs s = 1,2,4,8,16} constitute bases of E 4 Γ 0 4, E 4 Γ 0 48, E 4 Γ 0 0 and E 4 Γ 0 64, respectively. b Let 1 i 14, 1 j 17, 1 k,l 18 be positive integers. Let δ 1 D4 and ri,δ 1 i,δ1 be the Table 4 of the powers of ηδ 1 z. Let δ 3 D48 and rk,δ 3 k,δ3 be the Table of the powers of ηδ 3 z. Let δ 2 D0 and r j,δ 2 j,δ2 be the Table 6 of the powers of ηδ 2 z. Let δ 4 D64 and rl,δ 4 l,δ4 be the Table 7 of the powers of ηδ 4 z. Let furthermore B 4,i q = η ri,δ1 δ 1 z, δ 1 4 B 0, j q = η r j,δ2 δ 2 z, δ 2 0 B 48,k q = η rk,δ3 δ 3 z, δ 3 48 B 64,l q = η rl,δ4 δ 4 z δ 4 64

15 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 1 be selected elements of S 4 Γ 0 4, S 4 Γ 0 48, S 4 Γ 0 0 and S 4 Γ 0 64, respectively. The sets B S,4 = {B 4,i q 1 i 14}, B S,48 = {B 48,k q 1 k 18}, B S,0 = {B 0, j q 1 j 17}, B S,64 = {B 64,l q 1 l 18} are bases of S 4 Γ 0 4, S 4 Γ 0 48, S 4 Γ 0 0 and S 4 Γ 0 64, respectively. c The sets B M,4 = B E,4 B S,4, B M,48 = B E,48 B S,48, B M,0 = B E,0 B S,0, B M,64 = B E,64 B S,64 constitute bases of M 4 Γ 0 4, M 4 Γ 0 48, M 4 Γ 0 0 and M 4 Γ 0 64, respectively. By Remark 3.2 r1, each B αβ,i q is expressible in the form b αβ,i nq n. Proof. We only give the proof for B M,4 = B E,4 B S,4 since the other cases are done similarly. In the case of B E,48, B E,0, B E,64 an applicable primitive Dirichlet character is 3 1 if n 2 mod 3, 6.9 = 0 if gcd3,n 1, n 1 if n 1 mod a Suppose that x δ,z 1,z 3 C with δ 4. Let We observe that x δ Mq δ + z 1 M 4 n q + z 3 M 4 n q3 = 0. δ 4 4 n 1 if n 3 mod 4, = 0 if gcd4,n 1, 1 if n 1 mod 4. and recall that for all 0 a Z it holds that a 0 = 0. Since the conductor of the Dirichlet character 4 n is 4, we infer from Equation 2.1 that C0 = 0. We then deduce x δ σ 3 n 4 4 i=1 δ x δ + σ 3 nz 1 + σ 3 n n n 3 z 3 q n = 0. δ 4 δ 4 Then we equate the coefficients of q n for n D4 plus for example n = 2,7 to obtain a system of 8 linear equations whose unique solution is x δ = z 1 = z 3 = 0 with δ D4. So, the set B E is linearly independent. Hence, the set B E is a basis of E 4 Γ 0 4. b Suppose that x i C with 1 i 14. Let 14 x i B 4,i q = 0. Then 14 i=1x i b 4,i nq n = i=1 14 b 4,i nx i q n = 0. i=1

16 16 EBÉNÉZER NTIENJEM So, we equate the coefficients of q n for 1 n 14 to obtain a system of 14 linear equations whose unique solution is x i = 0 for all 1 i 14. It follows that the set B S is linearly independent. Hence, the set B S is a basis of S 4 Γ 0 4. c Since M 4 Γ 0 4 = E 4 Γ 0 4 S 4 Γ 0 4, the result follows from a and b Evaluation of W α,β n for αβ = 4,48,0,64. We evaluate the convolution sums W α,β n for α,β = 1,4,,9, 1,48,3,16,1,0, 1,64. Corollary 6.2. It holds that 6.11 Lq 9Lq 9 2 = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 4,1n b 4,2n b 4,3n b 4,4n b 4,n b 4,6n b 4,7n b 4,9n b 4,10 n b 4,11 n b 4,8 n b 4,12n b 4,13n q n Lq 4Lq 4 2 = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 4,1n b 4,2n b 4,3n b 4,4n b 4,n b 4,6n b 4,7n b 4,8 n b 4,9n b 4,10 n b 4,11 n b 4,12n b 4,13n q n.

17 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II Lq 48Lq 48 2 = σ 3 n σ 3 n b 48,3 n σ 3n σ 3 n σ 3 n 3 6 σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 48,1n b 48,2 n 6 b 48,4 n b 48, n b 48,6 n 6 6 b 48,7 n b 48,11 n b 48,1 n b 48,8 n b 48,12 n b 48,9 n b 48,10 n 6 b 48,13 n b 48,16 n b 48,17 n b 48,18n b 48,14 n q n, Lq 3 16Lq 16 2 = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 48,1n b 48, n b 48,9 n b 48,2n b 48,6n b 48,10 n b 48,13 n b 48,3 n b 48,4n b 48,7 n b 48,8 n 188 b 48,11 n b 48,12 n 188 b 48,14 n b 48,1 n 6 b 48,16 n b 48,17 n b 48,18n q n, 6.1 2Lq 2 2Lq 2 2 = σ 3n σ 3 n σ 3 n 660σ 3 n σ 3 n σ 3 n b 0,1n b 0,2n 1620b 0,3 n 4230b 0,4 n b 0, n b 0,6 n + 810b 0,7 n 1300b 0,8 n b 0,9 n b 0,10n 400b 0,11 n 36000b 0,12 n 2110b 0,13 n b 0,14 n 1000b 0,1 n b 0,16 n b 0,17 n q n.

18 18 EBÉNÉZER NTIENJEM 6.16 Lq 0Lq 0 2 = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 0,1n b 0,2 n 7020b 0,3 n 2020b 0,4 n b 0, n b 0,6 n 220b 0,7 n 12370b 0,8 n b 0,9 n b 0,10 n b 0,11 n b 0,12 n b 0,13 n 88200b 0,14 n b 0,1 n 6300b 0,16 n b 0,17 n q n Lq 64Lq 64 2 = σ 3 n 18σ 3 n σ 3 n σ 3 n 8 112σ 3 n σ 3 n σ 3 n b 64,1 n + 760b 64,2 n b 64,3 n b 64,4 n b 64, n b 64,6 n b 64,7 n b 64,8 n b 64,9 n b 64,10 n b 64,11 n b 64,12 n b 64,13 n b 64,14 n b 64,1 n b 64,16 n b 64,17 n b 64,18 n q n, 13 Proof. It follows immediately from Lemma 3.3 when one sets α = and β = 9. However, we briefly show the proof for Lq 9Lq 9 2 as an example. One obtains Lq 9Lq 9 2 = x δ Mq δ + z 1 M 4 n q + z 3 M 4 δ = δ j=1 x δ + i=1 240σ 3 n δ x δ + δ 4 b 4, j ny j q n. 4 n n q j=1 σ 3 nz 1 + y j B 4, j q 4 σ 3 n n 3 z 3 since the conductor of the Dirichlet character 4 n is 4, and hence from Equation 2.1 we have C 0 = 0. Now when we equate the right hand side of Equation 6.18 with that of Equation 2., and when we take the coefficients of q n for which 1 n 1 and n = 17,19,21,23,2,27,4 for example, we obtain a system of linear equations with a unique solution. Hence, we obtain the stated result. Now we state and prove our main result of this subsection.

19 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 19 Corollary 6.3. Let n be a positive integer. Then 6.19 W,9 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσn b 4,1n b 4,2n b 4,3n b 4,4n b 4,n b 4,6n b 4,7n b 4,8n b 4,9n b 4,10n b 4,11n b 4,12n b 4,13n W 1,4 n = σ 3n σ 3 n σ 3 n 2 71 σ 3 n σ 3 n σ 3 n nσn nσn b 4,1n b 4,2n b 4,3n b 4,4n b 4,n b 4,6n b 4,7n b 4,8n b 4,9n b 4,10n b 4,11n b 4,12n b 4,13n. W 1,48 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 48,1n b 48,2n b 48,3n b 48,4n b 48,n b 48,6n b 48,7n b 48,8n b 48,9n 7 6 b 48,10n b 48,11n b 48,12n b 48,13n b 48,14n b 48,1n b 48,16n 6 39 b 48,17n b 48,18n,

20 20 EBÉNÉZER NTIENJEM 6.22 W 3,16 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 48,1n b 48,2n b 48,3n b 48,4n b 48,n b 48,6n b 48,7n b 48,8n b 48,9n b 48,10n b 48,11n b 48,12n b 48,13n b 48,14n b 48,1n b 48,16n b 48,17n b 48,18n, 6.23 W 2,2 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 0,1n b 0,2n b 0,3n b 0,4n b 0,n b 0,6n b 0,7n b 0,8n b 0,9n b 0,10n + 64 b 0,11n + 8 b 0,12n b 0,13n 1 32 b 0,14n b 0,1n b 0,16n b 0,17n 6.24 W 1,0 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 0,1n b 0,2n b 0,3n b 0,4n b 0,n b 0,6n b 0,7n b 0,8n b 0,9n b 0,10n b 0,11n b 0,12n b 0,13n b 0,14n b 0,1n b 0,16n 1 2 b 0,17n.

21 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 21 W 1,64 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 64,1n b 64,2n b 64,3n b 64,4n b 64,n b 64,6n b 64,7n 1 64 b 64,8n b 64,9 n 3b 64,10 n 9 2 b 64,11n 7 8 b 64,12n + 3b 64,13 n b 64,14n b 64,1 n b 64,16n b 64,17n 3 2 b 64,18n. Proof. It follows immediately from Theorem 3.4 when we set α,β = 1,16, 1,2,,9, 1,4, 2,2, 1,0, 1, NUMBER OF REPRESENTATIONS OF A POSITIVE INTEGER n BY THE OCTONARY QUADRATIC FORM EQUATION 1.3 We apply the convolution sums W 1,48 n, W 3,16 n, W 1,64 n and other known evaluated convolution sums to determine explicit formulae for the number of representations of a positive integer n by the octonary quadratic form Equation 1.3. Since 64 = 2 6 and 48 = it follows from Equation 4.1 that Ω 4 = {1,16} {3,4,1,12}. The following result is then deduced. Corollary 7.1. Let n N and a,b = 1,12,1,16,3,4. Then N 1,12 n =8σn 32σ n 4 + 8σ n 12 32σ n W 1,12n W 1,12 n W ,3 n 4 +W 1,48n. N 1,16 n =8σn 32σ n 4 + 8σ n 16 32σ n W 1,16n W 1,16 n W ,4 n 4 +W 1,64n. N 3,4 n =8σ n 3 32σ n σn 4 32σ n W 3,4n W 3,4 n W ,3 n 4 +W 3,16n. Proof. These identities follow immediately from Theorem 4.2. We can make use of the results obtained by A. Alaca et al. [1] and J. G. Huard et al. [12, Thrm 3, p. 20], and Equation 6.22 and Equation 6.21 to simplify for example N 1,12 n and N 3,4 n. 8. NUMBER OF REPRESENTATIONS OF A POSITIVE INTEGER n BY THE OCTONARY QUADRATIC FORM EQUATION 1.4 We make use of the convolution sums W,9 n, W 1,4 n, W 3,16 n, W 1,48 n and other well-known convolution sums to determine explicit formulae for the number of representations of a positive integer n by the octonary quadratic form Equation 1.4.

22 22 EBÉNÉZER NTIENJEM Since 4 = 3 2 and 48 = it follows from Equation.1 that Ω 3 = {3,,1,1} {1,16}. We revisit the evaluation of the convolution sums for αβ =,1 using modular forms. The result for αβ = was obtained by M. Lemire and K. S. Williams [16], and S. Cooper and P. C. Toh [9]; that for αβ = 1 was achieved by B. Ramakrishnan and B. Sahu [26] when using a basis which contains one cusp form of weight 2. We note that αβ =,1 belong to the class of positive integers αβ discussed by E. Ntienjem [23]. Therefore, it suffices to determine a basis of the space of cusp forms for Γ 0 αβ and apply [23, Thrm 3.4]. Because of Equation 6.1, B 4,2 q, B 4,3 q and in addition B 4,1 q = η4 zη 4 z = b 4,1 nqn, n 1 B 4,4 q = η3 zη3zη 7 1z η 3 z = b 4,4 nqn, n 1 are basis elements of S 4 Γ 0 1. We note that B 4,1 q is the basis element of S 4Γ 0. Theorem 8.1. Let n be a positive integer. Then W 1, n = 312 σ 3n σ 3 n nσn nσn b 4,1 n, W 3, n = σ 3n σ 3 n σ 3 n σ 3 n n 20 σn n 12 σn b 4,1 n 1 30 b 4,2n 1 26 b 4,3n 1 b 4,4 n W 1,1 n = σ 3n σ 3 n σ 3 n σ 3 n n 60 σn n 4 σ n b 4,1 n 2 1 b 4,2n 14 6 b 4,3n + 1 b 4,4 n. We make use of these results to deduce the following. Corollary 8.2. Let n N and c,d = 1,1,3,,1,16. Then R 1,1 n =12σn 36σ n σ n 1 36σ n W 1,1n W 1,1 n W , n 3 +W 1,4n. R 3, n =12σ n 3 36σn σn 36σ n W 3,n W 3, n W , n 3 +W,9n.

23 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 23 R 1,16 n =12σn 36σ n σ n 16 36σ n W 1,16n W 1,16 n W ,16 n +W 1,48 n. Proof. It follows immediately from Theorem.2. We can make use of Theorem 8.1, Equation 6.19 and Equation 6.20 to simplify R 1,1 n and R 3, n for example. 9. REVISITED EVALUATION OF THE CONVOLUTION SUMS FOR αβ = 9,16,18,2,36 We revisit the evaluation of the convolution sums for W 1,9 n, W 1,16 n, W 1,18 n, W 2,9 n, W 1,2 n, W 1,36 n and W 4,9 n obtained by K. S. Williams [30], A. Alaca et al. [4, 2], E. X. W. Xia et al. [33] and D. Ye [34], respectively. These convolution sums have been evaluated using a different technique. Due to Equation 6.2, using B 4,1 q as basis element of S 4 Γ 0 9 and applying the same primitive Dirichlet character as for E 4 Γ 0 4, one easily replicates the result for the convolution sum W 1,9 n obtained by K. S. Williams [30]. Observe that dime 4 Γ 0 16 = 6, dims 4 Γ 0 16 = 3, dime 4 Γ 0 2 = 6, dims 4 Γ 0 2 =. These convolution sums are improved using our method since we apply the right number of basis elements of the space of cusp forms corresponding to level 16, 18 and 2. In case of the evaluation of W 1,16 n, we will use B 64,3 q = η6 4zη 4 16z = η 2 8z b 64,3 nqn instead of n 1 B 64,3 q given in Table 7; the primitive Dirichlet character Equation 6.9 is applicable. For the evaluation of W 1,2 n we will use B 0,2 q = η3 zη 4 zη2z = b 0,2 nqn instead of B 0,2 q given in Table 6; we apply the primitive Dirichlet character Equation 6.9. n 1 Since M 4 Γ 0 6 M 4 Γ 0 12 M 4 Γ 0 36 M 4 Γ 0 9 M 4 Γ 0 18 M 4 Γ 0 36 it suffices to consider the basis of S 4 Γ 0 36, whose table of the exponent of the η- quotients is given in Table 8. Note that dime 4 Γ 0 18 = 8, dims 4 Γ 0 18 =, dime 4 Γ 0 36 = 12, dims 4 Γ 0 36 = 12. The primitive Dirichlet character Equation 6.10 is applicable in case of E 4 Γ 0 18 and E 4 Γ Corollary 9.1. It holds that 9.3 Lq 9Lq 9 2 = σ 3 n 384σ 3 n σ 3 n b 4,1 n q n.

24 24 EBÉNÉZER NTIENJEM 9.4 Lq 16Lq 16 2 = σ 3 n 72σ 3 n 2 288σ 3 n 4 112σ 3 n σ 3 n b 64,1n + 864b 64,2 n b 64,3 n q n. 9. Lq 18Lq 18 2 = σ 3 n σ 3 n σ 3n 384 σ 3 n σ 3 n 3 σ 3 n b 36,1n b 36,3 n b 36,4 b 36,2n 2992 n b 36, n q n, 9.6 2Lq 9Lq 9 2 = σ 3 n σ 3n σ 3 n σ 3 n 3 σ 3 n σ 3 n b 36,1n 96 b 36,2n + 32 b 36,3n b 36,4 n + b 36, n q n, 9.7 Lq 2Lq 2 2 = σ 3n σ 3 n σ 3 n b 0,1n + 760b 0,2 n b 0,3n b 0,4 n b 0, n 13 q n. 9.8 Lq 36Lq 36 2 = σ 3n 1008 σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n b 36,1n b 36,2 n b 36,3 n b 36,4 n b 36, n b 36,6 n b 36,7 n b 36,8 n 12960b 36,9 n b 36,10 n + 184b 36,11 n + 292b 36,12 n q n.

25 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II Lq 9Lq 9 2 = σ 3 n σ 3 n σ 3 n b 36, n σ 3n 1008 σ 3 n σ 3 n 3 σ 3 n σ 3 n σ 3 n 18 b 36,1n b 36,2 n b 36,3 n b 36,4 n b 36,6n b 36,7 n b 36,8 n 12960b 36,9 n b 36,10 n + 184b 36,11 n + 292b 36,12 n q n. Proof. Similar to that of Theorem 6.2. Corollary 9.2. Let n be a positive integer. Then 9.10 W 1,9 n = σ 3n σ 3 n σ 3 n b 4,1n 9.11 W 1,16 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 64,1n 3 64 b 64,3n 1 8 b 64,3 n 9.12 W 1,18 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 36,1n b 36,2n b 36,3n b 36,4 n + 4 b 36,n 9.13 W 2,9 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσn b 36,1n b 36,2n b 36,3n b 36,4 n 7 4 b 36,n 9.14 W 1,2 n = σ 3n σ 3 n σ 3 n nσn nσ n b 0,1n 1 b 0,2 n 3 b 0,3n b 0,4 n b 0,n

26 26 EBÉNÉZER NTIENJEM W 1,36 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσ n b 36,1n b 36,2n b 36,3n b 36,4n b 36,n b 36,6n b 36,7n b 36,8n + 16 b 36,9n 9 13 b 36,10n 1 8 b 36,11n 1 16 b 36,12n W 4,9 n = σ 3n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n σ 3 n nσn nσn b 36,1n b 36,2n b 36,3n b 36,4n b 36,n b 36,6n b 36,7n b 36,8n + 16 b 36,9n 9 13 b 36,10n 1 8 b 36,11n 1 16 b 36,12n Proof. Similar to that of Theorem CONCLUDING REMARK The set of natural number N can be expressed as the disjoint union of the sets N and N \ N. When assuming that a basis of the space of cusp forms is determined, E. Ntienjem [23] has evaluated convolution sums for natural numbers which belong to N. In this paper we have evaluated convolution sums for natural numbers which are in N \ N making the same assumption. When we put altogether, we can say that for all natural numbers α and β, the convolution sums for αβ are evaluated. The determination of a basis of the space of cusp forms is tedious, especially when αβ is large and has a large number of divisors. An effective and efficient approach to build a basis of the space of cusp forms of weight 4 for Γ 0 αβ is a work in progress. REFERENCES [1] A. Alaca, Ş. Alaca, and K. S. Williams. Evaluation of the convolution sums σlσm and l+12m=n σlσm. Adv Theor Appl Math, 11:27 48, l+4m=n [2] A. Alaca, Ş. Alaca, and K. S. Williams. Evaluation of the convolution sums σlσm and l+18m=n σlσm. Int Math Forum, 22:4 68, l+9m=n [3] A. Alaca, Ş. Alaca, and K. S. Williams. Evaluation of the convolution sums σlσm and l+24m=n σlσm. Math J Okayama Univ, 49:93 111, l+8m=n [4] A. Alaca, Ş. Alaca, and K. S. Williams. The convolution sum σmσn 16m. Canad Math Bull, m< 16 n 11:3 14, [] Ş. Alaca and Y. Kesicioǧlu. Evaluation of the convolution sums σlσm and σlσm. Int l+27m=n l+32m=n J Number Theory, 121:1 13, 2016.

27 ELEMENTARY EVALUATION OF CONVOLUTION SUMS FOR A CLASS OF POSITIVE INTEGERS, II 27 [6] Ş. Alaca and K. S. Williams. Evaluation of the convolution sums σlσm and σlσm. J l+6m=n 2l+3m=n Number Theory, 1242:490 10, [7] M. Besge. Extrait d une lettre de M Besge à M Liouville. J Math Pure Appl, 7:26, 188. [8] H. H. Chan and S. Cooper. Powers of theta functions. Pac J Math, 23:1 14, [9] S. Cooper and P. C. Toh. Quintic and septic Eisenstein series. Ramanujan J, 19: , [10] S. Cooper and D. Ye. Evaluation of the convolution sums σlσm, σlσm and l+20m=n 4l+m=n σlσm. Int J Number Theory, 106: , l+m=n [11] J. W. L. Glaisher. On the square of the series in which the coefficients are the sums of the divisors of the exponents. Messenger Math, 14:16 163, [12] J. G. Huard, Z. M. Ou, B. K. Spearman, and K. S. Williams. Elementary evaluation of certain convolution sums involving divisor functions. Number Theory Millenium, 7: , A K Peters, Natick, MA. [13] L. J. P. Kilford. Modular forms: A classical and computational introduction. Imperial College Press, London, [14] N. Koblitz. Introduction to Elliptic Curves and Modular Forms, volume 97 of Graduate Texts in Mathematics. Springer Verlag, New York, 2 edition, [1] G. Köhler. Eta Products and Theta Series Identities, volume 3733 of Springer Monographs in Mathematics. Springer Verlag, Berlin Heidelberg, [16] M. Lemire and K. S. Williams. Evaluation of two convolution sums involving the sum of divisors function. Bull Aust Math Soc, 73:107 11, [17] G. Ligozat. Courbes modulaires de genre 1. Bull Soc Math France, 43: 80, 197. [18] G. A. Lomadze. Representation of numbers by sums of the quadratic forms x1 2 + x 1x 2 + x2 2. Acta Arith, 41:9 36, [19] T. Miyake. Modular Forms. Springer monographs in Mathematics. Springer Verlag, New York, [20] M. Newman. Construction and application of a class of modular functions. Proc Lond Math Soc, 73:334 30, 197. [21] M. Newman. Construction and application of a class of modular functions II. Proc Lond Math Soc, 93: , 199. [22] E. Ntienjem. Evaluation of the convolution sums σlσm, where α, β is in αl+βm=n {1,14,2,7,1,26,2,13,1,28,4,7,1,30,2,1,3,10,,6}. Master s thesis, School of Mathematics and Statistics, Carleton University, 201. [23] E. Ntienjem. Elementary Evaluation of Convolution Sums involving the Sum of Divisors Function for a Class of positive Integers. ArXiv e-prints, July [24] E. Ntienjem. Evaluation of the Convolution Sums σlσm, where αβ = 44, 2. ArXiv e-prints, 0 αl+βm=n June [2] A. Pizer. The representability of modular forms by theta series. J Math Soc Japan, 284: , [26] B. Ramakrishnan and B. Sahu. Evaluation of the convolution sums σlσm and σlσm. l+1m=n 3l+m=n Int J Number Theory, 93: , [27] S. Ramanujan. On certain arithmetical functions. T Cambridge Phil Soc, 22:19 184, [28] E. Royer. Evaluating convolution sums of divisor function by quasimodular forms. Int J Number Theory, 32: , [29] W. A. Stein. Modular Forms, A Computational Approach, volume 79. American Mathematical Society, Graduate Studies in Mathematics, [30] K. S. Williams. The convolution sum σmσn 9m. Int J Number Theory, 12:193 20, 200. m< n 9 [31] K. S. Williams. The convolution sum m< n 8 σmσn 8m. Pac J Math, 228: , [32] K. S. Williams. Number Theory in the Spirit of Liouville, volume 76 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, [33] E. X. W. Xia, X. L. Tian, and O. X. M. Yao. Evaluation of the convolution sum σlσm. Int J Number Theory, 106: , [34] D. Ye. Evaluation of the convolution sums l+36m=n 111: , 201. σlσm and l+2m=n σlσm. Int J Number Theory, 4l+9m=n