Skip to main content

Convolution identities for twisted Eisenstein series and twisted divisor functions

Abstract

We are motivated by Ramanujan’s recursion formula for sums of the product of two Eisenstein series (Berndt in Ramanujan’s Notebook, Part II, 1989, Entry 14, p.332) and its proof, and also by Besge-Liouville’s convolution identity for the ordinary divisor function σ k 1 (n) (Williams in Number Theory in the Spirit of Liouville, vol. 76, 2011, Theorem 12.3). The objective of this paper is to introduce and prove convolution identities for the twisted divisor functions σ k 1 (n) as well as for the twisted Eisenstein series S 2 k + 2 , χ 0 and S 2 k + 2 , χ 1 , S 2 k + 2 , S 2 k + 2 , χ 0 , and S 2 k + 2 , χ 1 . As applications based on our main results, we establish many interesting identities for pyramidal, triangular, Mersenne, and perfect numbers. Moreover, we show how our main results can be used to obtain arithmetical formulas for the number of representations of an integer n as the sums of s squares.

1 Introduction and statement of main results

Throughout this paper, let H={τC|Imτ>0} be the complex upper half-plane. Let S k denote the normalized Eisenstein series of weight k defined on by

S k := S k (τ)= B k 2 k + n = 1 σ k 1 (n) q n ,
(1)

where σ k 1 (n)= d | n d k 1 , q= e 2 π i τ , and B k is the k th Bernoulli number.

Let S k , S k , χ 0 , and S k , χ 1 be the twisted Eisenstein series defined by

S k : = S k ( τ ) = S k ( τ ) S k ( 2 τ ) = n = 1 ( σ k 1 ( n ) σ k 1 ( n 2 ) ) q n = n = 1 σ k 1 ( n ) q n .
(2)

For i=0,1, we define the twisted Eisenstein series by

S k , χ i (τ):= n = 1 χ i (n) σ k 1 (n), S k , χ i (τ):= n = 1 χ i (n) σ k 1 (n) q n ,
(3)

where σ k 1 (n) is the twisted divisor function given by

σ k 1 ( n ) = d | n , n d odd d k 1 , χ 1 ( n ) = { 1 , if  n  is odd , 0 , otherwise and χ 0 ( n ) = { 1 , if  n  is even , 0 , otherwise .

Consider the differential operator D= 1 2 π i d d τ =q d d q such that

D ( n = 1 a n q n ) = n = 1 n a n q n .

We are motivated by Ramanujan’s recursion formula for S 2 n + 2 [[1], Entry 14, p.332] and its proof, and also by Besge-Liouville’s convolution identity for the divisor function σ k 1 (n) [[2], Theorem 12.3]. Inspired by these identities, we prove new identities for the convolution sums of various divisor functions σ k 1 (n), σ k 1 (n) as well as recursion formulas for the twisted Eisenstein series S 2 k + 2 , S 2 k + 2 , χ 0 , and S 2 k + 2 , χ 1 . Several arithmetical applications based on our results are given.

The problem of convolution sums of the divisor function σ 1 (n) and the theory of Eisenstein series has recently attracted considerable interest with the emergence of quasimodular tools. For further details, we can refer to the works of Royer [3], Ramakrishnan and Sahu [4], and Alaca and Williams [5, 6], and the references therein. In connection with the classical Jacobi theta and Euler functions, other aspects of the function σ 1 (n) are explored by Adiga in [7] and by Simsek in [8]. In this paper, we prove the following results. First, we state the most important identities for the convolution sums of divisor functions as follows.

Theorem 1.1 Let kN and NN, where k,N2. We have the identities in Table 1.

Table 1 Identities of divisor functions

Our next results follow from the identities in Theorem 1.1. Thus, we obtain the following identities for the Eisenstein series.

Theorem 1.2 Let kN and nN, where k,n2. We have the identities in Table 2.

Table 2 Identities of divisor functions

Let p be a prime number, and let l be any positive integer. We introduce the twisted divisor function

We define

[ n m ] { p , l } := ( p l n 1 p n 1 ) ( p l m 1 p m 1 ) ( p l ( n m ) 1 p n m 1 ) ( n m ) .
(4)

In Section 3.2 , we establish the following less definitive result.

Theorem 1.3 Let k1 and N,l2.

s = 0 k 1 [ 2 k 2 s + 1 ] { 2 , l } m = 1 N 1 σ 2 k 2 s 1 ( 2 l m ; 2 l ) σ 2 s + 1 ( 2 l ( N m ) ; 2 l ) = 1 2 ( 1 2 l σ 2 k + 1 ( 2 l N ; 2 l ) 2 l N σ 2 k 1 ( 2 l N ; 2 l ) + i = 1 l 1 1 2 i + 1 σ 2 k + 1 ( 2 i N ; 2 i ) + N i = 1 l 1 2 i σ 2 k 1 ( 2 i N ; 2 i ) ) .

Finally, in the last Section 4, we show how to apply our main results to study some questions related to the famous problem

σ 1 (n)= σ 1 (n+1)

and its variants. Moreover, we consider similar questions on the arithmetic function σ 1 (n). Many remarks and results are established.

2 The p s th scalar multiplicative function

Let p be a prime number, and let i be a nonnegative integer. A function f:NC is called a p i th scalar function if f(px)= p i f(x) for all integers x.

Moreover, a p i th scalar function f(x) is called a p i th scalar multiplicative function if and only if f(xy)=f(x)f(y) for all positive integers x, y such that (x,y)=1.

Example 2.1

  1. 1.

    Let f(x)=x. Then f(x) is a p th scalar multiplicative function.

  2. 2.

    Let s be a nonnegative integer; we recall that

    and we define the function

    Then the function σ ¯ s (N;p):= r = 1 p 1 σ s , r (N;p) is a p 0 th scalar multiplicative function.

  3. 3.

    The function σ 1 , 1 (N;2) is a 20th scalar multiplicative function.

Theorem 2.2 The divisor function σ s (N;p) is a p s th scalar multiplicative function.

Proof Let rl= p m N and for some r,lN and prime p. Since l does not divide p, we can write r= p m d for some dN. Therefore, we have

(5)

We claim that σ s (MN;p)= σ s (M;p) σ s (N;p), where (M,N)=1. If pMN, then

σ s (MN;p)= σ s (MN)= σ s (M) σ s (N)= σ s (M;p) σ s (N;p).

Assume that p|M and pN and M= p l M . Hence, we have

σ s ( M N ; p ) = σ s ( p l M N ; p ) = p l σ s ( M N ; p ) = p l σ s ( M ; p ) σ s ( N ; p ) = σ s ( p l M ; p ) σ s ( N ; p ) .
(6)

Therefore σ s (MN;p)= σ s (M;p) σ s (N;p). Then we get the theorem. □

Proposition 2.3 Let NN. For nonnegative integers m and n, we have

k = 1 N 1 σ i ( p m k ; p m ) σ j ( p n ( N k ) ; p n ) = p i + j ( p i m 1 ) ( p j n 1 ) ( p i 1 ) ( p j 1 ) k = 1 N 1 σ i (k;p) σ j (Nk;p).

Proof

We can see that

k = 1 N 1 σ i ( p m k ; p m ) σ j ( p n ( N k ) ; p n ) = k = 1 N 1 { σ i ( p m k ) σ i ( k ) } { σ j ( p n ( N k ) ) σ j ( N k ) } .
(7)

Then, by Theorem 2.2, we have

σ i ( p m k ) σ i ( k ) = ( σ i ( p m k ) σ i ( p m 1 k ) ) + ( σ i ( p m 1 k ) σ i ( p m 2 k ) ) + ( σ i ( p m 2 k ) σ i ( p m 3 k ) ) + + ( σ i ( p 2 k ) σ i ( p k ) ) + ( σ i ( p k ) σ i ( k ) ) = σ i ( p m k ; p ) + σ i ( p m 1 k ; p ) + σ i ( p m 2 k ; p ) + + σ i ( p 2 k ; p ) + σ i ( p k ; p ) = ( p m i + p ( m 1 ) i + p ( m 2 ) i + + p 2 i + p i ) σ i ( k ; p ) = p i p m i 1 p i 1 σ i ( k ; p ) .
(8)

Thus, using (8), we can write (7) as

k = 1 N 1 σ i ( p m k ; p m ) σ j ( p n ( N k ) ; p n ) = k = 1 N 1 { p i p m i 1 p i 1 σ i ( k ; p ) } { p j p n j 1 p j 1 σ j ( N k ; p ) } .

 □

3 Convolution relations on twisted Eisenstein series and their applications

3.1 Convolution relations on the twisted Eisenstein series S 2 n + 2 (τ)

We quote the following lemma from [[2], Chap. 10, p.113].

Lemma 3.1 Let f:ZC be an even function. Let nN. Then

( a , b , x , y ) N 4 a x + b y = n x , y odd ( f ( a b ) f ( a + b ) ) = f ( 0 ) σ 1 ( n / 2 ) + d N d | n ( n d d ) f ( d ) d N d | n / 2 ( n d d ) f ( d ) .

Using the above lemma, we can prove our next result.

Theorem 3.2 Let n>1. Then

S 2 n + 2 (τ)=D ( S 2 n ( τ ) ) +2 s = 0 n 1 ( 2 n 2 s + 1 ) S 2 n 2 s (τ) S 2 s + 2 (τ).
(9)

Proof We take f(x)= x 2 k in Lemma 3.1. The left-hand side of Lemma 3.1 is

( a , x , b , y ) N 4 a x + b y = n x , y odd ( ( a b ) 2 k ( a + b ) 2 k ) = ( a , x , b , y ) N 4 a x + b y = n x , y odd ( r = 0 2 k ( 2 k r ) ( 1 ) r a 2 k r b r r = 0 2 k ( 2 k r ) a 2 k r b r ) = 2 ( a , x , b , y ) N 4 a x + b y = n x , y odd r = 0 r odd 2 k ( 2 k r ) a 2 k r b r = 2 s = 0 k 1 ( 2 k 2 s + 1 ) ( a , x , b , y ) N 4 a x + b y = n x , y odd a 2 k 2 s 1 b 2 s + 1 = 2 s = 0 k 1 ( 2 k 2 s + 1 ) m = 1 n 1 σ 2 k 2 s 1 ( m ) σ 2 s + 1 ( n m ) .

Therefore, we deduce that

s = 0 k 1 ( 2 k 2 s + 1 ) ( m = 1 N 1 σ 2 k 2 s 1 ( m ) σ 2 s + 1 ( N m ) ) = 1 2 { σ 2 k + 1 ( N ) N σ 2 k 1 ( N ) } .
(10)

From (10) and (2), we get the theorem. □

3.2 Proof of Theorem 1.3

From (4) and (10), we obtain

s = 0 k 1 [ 2 k 2 s + 1 ] { 2 , l } m = 1 N 1 σ 2 k 2 s 1 ( 2 l m ; 2 l ) σ 2 s + 1 ( 2 l ( N m ) ; 2 l ) = s = 0 k 1 2 2 k ( 2 2 l k 1 ) 2 2 k 1 s = 0 k 1 ( 2 k 2 s + 1 ) m = 1 N 1 σ 2 k 2 s 1 ( m ) σ 2 s + 1 ( N m ) = s = 0 k 1 2 2 k ( 2 2 l k 1 ) 2 2 k 1 1 2 { σ 2 k + 1 ( N ) N σ 2 k 1 ( N ) } = 1 2 [ { 2 2 k l + 2 2 k ( l 1 ) + + 2 2 ( 2 k ) + 2 2 k } σ 2 k + 1 ( N ) N { 2 2 k l + 2 2 k ( l 1 ) + + 2 2 ( 2 k ) + 2 2 k } σ 2 k 1 ( N ) ] .
(11)

Then, the first term on the right-hand side of (11) can be written as

{ 2 2 k l + 2 2 k ( l 1 ) + + 2 2 ( 2 k ) + 2 2 k } σ 2 k + 1 ( N ) = { ( 2 l ) 2 k + 1 2 l + ( 2 l 1 ) 2 k + 1 2 l 1 + + ( 2 2 ) 2 k + 1 2 2 + 2 2 k + 1 2 } σ 2 k + 1 ( N ) = 1 2 l σ 2 k + 1 ( 2 l N ) + 1 2 l 1 σ 2 k + 1 ( 2 l 1 N ) + + 1 2 2 σ 2 k + 1 ( 2 2 N ) + 1 2 σ 2 k + 1 ( 2 N ) = ( 1 2 l σ 2 k + 1 ( 2 l N ) 1 2 l σ 2 k + 1 ( 2 l 1 N ) ) + ( 1 2 l 1 σ 2 k + 1 ( 2 l 1 N ) 1 2 l 1 σ 2 k + 1 ( 2 l 2 N ) ) + + ( 1 2 2 σ 2 k + 1 ( 2 2 N ) 1 2 2 σ 2 k + 1 ( 2 N ) ) + ( 1 2 σ 2 k + 1 ( 2 N ) 1 2 σ 2 k + 1 ( N ) ) = 1 2 l ( σ 2 k + 1 ( 2 l N ) σ 2 k + 1 ( N ) ) + 1 2 l ( σ 2 k + 1 ( 2 l 1 N ) σ 2 k + 1 ( N ) ) + + 1 2 2 ( σ 2 k + 1 ( 2 N ) σ 2 k + 1 ( N ) ) = 1 2 l σ 2 k + 1 ( 2 l N ; 2 l ) + 1 2 l σ 2 k + 1 ( 2 l 1 N ; 2 l 1 ) + 1 2 l 1 σ 2 k + 1 ( 2 l 2 N ; 2 l 2 ) + + 1 2 2 σ 2 k + 1 ( 2 N ; 2 ) .

Similarly, the second term on the right-hand side of (11) is

N { 2 2 k l + 2 2 k ( l 1 ) + + 2 2 ( 2 k ) + 2 2 k } σ 2 k 1 ( N ) = N { 2 l σ 2 k 1 ( 2 l N ; 2 l ) 2 l 1 σ 2 k 1 ( 2 l 1 N ; 2 l 1 ) 2 σ 2 k 1 ( 2 N ; 2 ) } .

Therefore, the proof is completed.

3.3 Pyramidal numbers

Let α be a fixed integer with α3, and let

Pyr α (x)= 1 6 x(x+1) ( ( α 2 ) x + 5 α )

denote the α th order pyramid number [9]. These combinatorial numbers play an important role in number theory and discrete mathematics. Using (10) with k=1, we derive

m = 1 N 1 σ 1 (m) σ 1 (Nm)= 1 4 { σ 3 ( N ) N σ 1 ( N ) } .
(12)

Proposition 2.3 is a very efficient formula for the computation of the sum

k = 1 N 1 σ i ( p m k ; p m ) σ j ( p n ( N k ) ; p n ) .

For example, using Proposition 2.3 and (12), we get the interesting formulas in Table 3.

  1. 1.

    The pyramidal numbers P 5 , x are closely connected to the convolution sums

    m = 1 N 1 σ 1 (m) σ 1 (Nm).

    In fact, if N=2q+1 is a prime number, then from (12), we obtain

    1 2 m = 1 q σ 1 (m) σ 1 (2q+1m)= 1 2 q 2 (q+1).

    From Theorem 2.2, we deduce that

    m = 1 q σ ˆ 1 (m) σ ˆ 1 (2q+1m)= 1 2 m = 1 q σ 1 (m) σ 1 (2q+1m)= Pyr 5 (q),
    (13)

    where

    σ ˆ 1 (t)={ σ 1 ( t ) if  t  is odd , σ 1 ( t 2 ) otherwise .

    In Table 4, we list the first thirteen values of

    P 5 , x := 1 2 x 2 (x+1)and P 5 , x := m = 1 x σ ˆ 1 (m) σ ˆ 1 (2x+1m).

    According to Table 4 and Figure 1, we observe that if 2x+1 is prime, then P 5 , x coincides with P 5 , x .

    Figure 1
    figure 1

    P 5 , x and P 5 , x .

  2. 2.

    We consider the pyramidal numbers

    P 3 , x := Pyr 3 (x1)= 1 6 x(x1)(x+1)

    and the convolution sums

    P 3 , x := x 2 k σ 1 (k) σ 1 (2x+14k).

    From (21) (with N=2q+1 prime), we obtain

    P 3 , q = P 3 , q = Pyr 3 (q1).

    We list the first thirteen values of P 3 , x and P 3 , x in Table 5. According to Table 5 and Figure 2, we observe that if 2x+1 is prime, then P 3 , x coincides with P 3 , x . We note that

    E: y 2 = P 3 , x = 1 6 x(x1)(x+1)

    is an elliptic curve with P=(2,1)=(2, P 3 , 2 )E(Q) E tor (Q) and rankE(Q)1. From the Lutz-Nagell theorem [[10], p.240], P cannot be of finite order. For more details on the extended results of pyramidal numbers and rank of elliptic curves, one can refer to [9] .

    Figure 2
    figure 2

    P 3 , x and P 3 , x .

Table 3 Values of k = 1 N 1 σ 1 ( 2 m k; 2 m ) σ 1 ( 2 m (Nk); 2 m )
Table 4 Examples for P 5 , x and P 5 , x

3.4 Convolution on the twisted Eisenstein series S 2 k + 2 , χ i , i=0,1

We prove the following result.

Lemma 3.3 Let k1. Then

S 2 k + 2 , χ 0 ( τ ) = 4 s = 0 k 1 ( 2 k 2 s + 1 ) S 2 k 2 s , χ 1 ( τ ) S 2 s + 2 , χ 1 ( τ ) = 4 s = 0 k 1 ( 2 k 2 s + 1 ) S 2 k 2 s , χ 1 ( τ ) S 2 s + 2 , χ 1 ( τ )

and

D ( S 2 k , χ 0 ( τ ) ) =2 s = 0 k 1 ( 2 k 2 s + 1 ) ( S 2 k 2 s , χ 1 ( τ ) S 2 k 2 s , χ 0 ( τ ) ) S 2 s + 2 (τ).

Proof Let us put N=2L in (10). Then

s = 0 k 1 ( 2 k 2 s + 1 ) m = 1 2 L 1 σ 2 k 2 s 1 ( m ) σ 2 s + 1 ( 2 L m ) = s = 0 k 1 ( 2 k 2 s + 1 ) ( m = 1 L σ 2 k 2 s 1 ( 2 m 1 ) σ 2 s + 1 ( 2 L 2 m + 1 ) + m = 1 L 1 σ 2 k 2 s 1 ( 2 m ) σ 2 s + 1 ( 2 L 2 m ) ) = 1 2 { σ 2 k + 1 ( 2 L ) 2 L σ 2 k 1 ( 2 L ) } .
(14)

From Theorem 2.2 and (14), we derive

s = 0 k 1 ( 2 k 2 s + 1 ) ( m = 1 L σ 2 k 2 s 1 ( 2 m 1 ) σ 2 s + 1 ( 2 L 2 m + 1 ) ) = s = 0 k 1 ( 2 k 2 s + 1 ) ( m = 1 L σ 2 k 2 s 1 ( 2 m 1 ) σ 2 s + 1 ( 2 L 2 m + 1 ) ) = 1 2 { 2 2 k + 1 σ 2 k + 1 ( L ) 2 L 2 2 k 1 σ 2 k 1 ( L ) } 1 2 2 2 k { σ 2 k + 1 ( L ) L σ 2 k 1 ( L ) } = 1 4 σ 2 k + 1 ( 2 L ) .
(15)

From (14) and (15), we find that

s = 0 k 1 ( 2 k 2 s + 1 ) m = 1 2 L 1 ( 1 ) m + 1 σ 2 k 2 s 1 (m) σ 2 s + 1 (2Lm)= 1 2 ( 2 L σ 2 k 1 ( 2 L ) ) .
(16)

From (15) and (16), we deduce our lemma. □

We have the following theorem.

Theorem 3.4 Let L, M, k be positive integers. Let

U 2 k (M):= s = 0 k 1 ( 2 k 2 s + 1 ) m = 0 M σ 2 k 2 s 1 (2m1) σ 2 s + 1 ( 2 M ( 2 m 1 ) ) .
  1. (a)

    If (L,M)=1, then

    U 2 k (L) U 2 k (M)= 2 2 k 1 U 2 k (LM).
  2. (b)

    If L= 2 e 0 p 1 e 1 p r e r with odd distinct primes p i , then

    U 2 k (L)= 2 2 r 2 + ( 2 k + 1 ) ( e 0 e 1 e r ) U 2 k ( p 1 e 1 ) U 2 k ( p r e r ) .

Proof

  1. (a)

    Since (L,M)=1, we can choose 2|L and 2M. From the definition of U 2 k (M) and (15), we obtain

    U 2 k ( L ) U 2 k ( M ) = 1 4 σ 2 k + 1 ( 2 L ) 1 4 σ 2 k + 1 ( 2 M ) = 1 4 σ 2 k + 1 ( 2 L ) 1 4 2 2 k + 1 σ 2 k + 1 ( M ) = 2 2 k 1 ( 1 4 σ 2 k + 1 ( 2 L M ) ) = 2 2 k 1 U 2 k ( L M ) .
  2. (b)

    Since L= 2 e 0 p 1 e 1 p r e r with odd distinct primes p i , we have

    U 2 k ( L ) = 1 4 σ 2 k + 1 ( 2 e 0 p 1 e 1 p r e r ) = 1 4 2 ( 2 k + 1 ) e 0 σ 2 k + 1 ( p 1 e 1 p r e r ) = 1 4 2 ( 2 k + 1 ) e 0 σ 2 k + 1 ( p 1 e 1 ) σ 2 k + 1 ( p r e r ) = 1 4 2 ( 2 k + 1 ) e 0 2 ( 2 k + 1 ) e 1 σ 2 k + 1 ( 2 p 1 e 1 ) 2 ( 2 k + 1 ) e r σ 2 k + 1 ( 2 p r e r ) = 1 4 2 ( 2 k + 1 ) e 0 ( 2 k + 1 ) e 1 ( 2 k + 1 ) e r ( 1 4 σ 2 k + 1 ( 2 p 1 e 1 ) ) ( 1 4 σ 2 k + 1 ( 2 p r e r ) ) 4 r = 2 2 r 2 + ( 2 k + 1 ) ( e 0 e 1 e r ) U 2 k ( p 1 e 1 ) U 2 k ( p r e r ) .

 □

3.5 Triangular and twisted triangular numbers: results and remarks

  1. (1)

    Using the theory of elliptic theta functions, Glaisher [[11], p.300] considered Eq. (15).

  2. (2)

    Four special cases for (15) and (16) are of interest here (see Table 6).

  3. (3)

    In particular, if L is an odd prime, then

    1 2 m = 1 2 L 1 ( 1 ) m + 1 σ 1 (m) σ 1 (2Lm)= L ( L + 1 ) 2 = k = 1 L k= T L ,
    (17)

    where T L is a triangular number. We note that

    m = 1 L 1 ( 1 ) m + 1 σ 1 (m) σ 1 (2Lm)= σ 1 ( L ) 2 { L + ( 1 ) L σ 1 ( L ) }

    by using . If L is odd, then

    m = 1 L 1 ( 1 ) m σ 1 (m) σ 1 (2Lm)= σ 1 ( L ) 2 { σ 1 ( L ) L } .
  4. (4)

    In particular, if L=2q1 is an odd prime, then

    m = 1 L 1 ( 1 ) m σ 1 (m) σ 1 (2Lm)= L + 1 2 = k = 1 q k 0 =q.
    (18)

    We introduce the twisted triangular numbers T L and F L given by

    T L := 1 2 m = 1 2 L 1 ( 1 ) m + 1 σ 1 (m) σ 1 (2Lm), F L := m = 1 2 L 2 ( 1 ) m σ 1 (m) σ 1 (4L2m).

    The first sixteen values of

    T L , T L , F L := k = 1 L k 0 , F L

    are given in Table 7.

    We can see from Figure 3 and Table 7 that when 2x1 (resp. x) is prime, the numbers

    F x = m = 1 2 x 2 ( 1 ) m σ 1 (m) σ 1 (4x2m)

    (resp. T x := 1 2 m = 1 2 x 1 ( 1 ) m + 1 σ 1 (m) σ 1 (2xm)) and F x = k = 1 x k 0 (resp. T x = k = 1 x k) are the same.

  5. (5)

    A similar question regarding such convolution formulas has been addressed previously in [12]: Can one find r 1 , r 2 , s 1 , s 2 , m, α 1 , β 1 , β in satisfying

    k < β p / β 1 σ r 1 , s 1 ( α 1 k;m) σ r 2 , s 2 (βp β 1 k;m)= k = 1 p 1 2 k u

    for a fixed u and for a fixed odd prime p?

    Figure 3
    figure 3

    F L , F L , T L , and T L .

    We believe that such a problem is generally not easy to solve. Equations (17) and (18) are special cases for this question with u=0 and 1. A similar result is presented in [[12], (12)].

  6. (6)

    From Tables 6 and 7, we can easily obtain values of T L for any prime L.

  7. (7)

    In Table 8 we compare the properties of triangular numbers T L and twisted triangular numbers T L .

Remark 3.5 (An application)

Let us compute the quantity k = 1 N 1 σ 1 (k;4) σ 1 (Nk;4), that is,

k = 1 N 1 σ 1 ( k ; 4 ) σ 1 ( N k ; 4 ) = k = 1 N 1 { σ 1 ( k ) σ 1 ( k 4 ) } { σ 1 ( N k ) σ 1 ( N k 4 ) } = k = 1 N 1 σ 1 ( k ) σ 1 ( N k ) 2 k < N 4 σ 1 ( N 4 k ) σ 1 ( k ) + k < N 4 σ 1 ( k ) σ 1 ( N 4 k ) = 1 8 { 3 σ 3 ( N ; 4 ) σ 3 ( N 2 ) 3 N σ 1 ( N ; 4 ) } ,
(19)

where we refer to

k = 1 N 1 σ 1 (k) σ 1 (Nk)= 1 12 { 5 σ 3 ( N ) + ( 1 6 N ) σ 1 ( N ) }
(20)

in [[15], (3.10)] and

k < N 4 σ 1 ( k ) σ 1 ( N 4 k ) = 1 48 { σ 3 ( N ) + ( 2 3 N ) σ 1 ( N ) + 3 σ 3 ( N 2 ) + 16 σ 3 ( N 4 ) + ( 2 12 N ) σ 1 ( N 4 ) }
(21)

in [[15], Theorem 4]. Combining (19) and (12), we have Table 9.

From Theorem 1.3, for k=1, we deduce that

k = 1 N 1 σ 1 ( 4 k ; 4 ) σ 1 ( 4 ( N k ) ; 4 ) = 9 80 { σ 3 ( 4 N ; 4 ) + σ 3 ( 2 N ) 16 N σ 1 ( 4 N ; 4 ) + 8 N σ 1 ( 2 N ) } .
(22)

Moreover, from (19) and (22), we see that

k = 1 4 k 4 N 1 σ 1 ( k ) σ 1 ( 4 N k ) = k = 1 4 k 4 N 1 σ 1 ( k ; 4 ) σ 1 ( 4 N k ; 4 ) = k = 1 4 N 1 σ 1 ( k ; 4 ) σ 1 ( 4 N k ; 4 ) k = 1 N 1 σ 1 ( 4 k ; 4 ) σ 1 ( 4 N 4 k ; 4 ) = 1 80 { 21 σ 3 ( 4 N ) 19 σ 3 ( 2 N ) 2 σ 3 ( N ) + 24 N σ 1 ( 4 N ) 72 N σ 1 ( 2 N ) + 48 N σ 1 ( N ) } .
(23)

To refine the above formula, we use the following observation. Let p be a prime and k,NN. It is well known that

σ k (pN) ( p k + 1 ) σ k (N)+ p k σ k ( N p ) =0
(24)

from [[2],  p.26]. Now, if we set p=2 and use (23) and (24), we obtain

k = 1 4 k 4 N 1 σ 1 (k) σ 1 (4Nk)=17 σ 3 (N)= σ 3 (2N;4)+ σ 3 (2N).
(25)

Remark 3.6 (Representations of N as the sum of m triangular numbers) We set Δ={ T k |k=0,1,2,}. For mN and NN{0}, we let

t m (N)=card { ( x 1 , x 2 , , x m ) Δ × Δ × × Δ | N = x 1 + x 2 + + x m }

so that t m (N) counts the number of representations of N as the sum of m triangular numbers. For NN{0}, we have the classical result

t 8 (N)= σ 3 (N+1) σ 3 ( N + 1 2 ) = σ 3 (N+1);
(26)

see [[16], p.55].

From (26), (25), (20), Table 5, and [[17], p.401], we obtain Table 10.

Table 5 Examples for P 3 , x and P 3 , x
Table 6 Special cases of convolution sums
Table 7 Examples for T L , T L , F L , and F L
Table 8 Triangular and twisted triangular numbers
Table 9 Convolution sum when N is prime
Table 10 Convolution sums and triangular numbers

From Theorem 2.2, we derive

t 8 (2N1)= σ 3 (2N)=8 σ 3 (N)=8 t 8 (N1), t 8 ( 2 m 1 ) = 8 m ,

and using Theorem 2.2 we get

t 8 ( 2 m p 1 e 1 p r e r 1 ) = σ 3 ( 2 m p 1 e 1 p r e r ) = 8 m σ 3 ( p 1 e 1 ) σ 3 ( p r e r ) = 8 m t 8 ( p 1 e 1 1 ) t 8 ( p r e r 1 )

with p i odd distinct primes.

3.6 Representation of an integer N as the sum of s squares

The s squares problem is to count the number r s (N) of integer solutions ( x 1 ,, x s ) of the Diophantine equation

x 1 2 ++ x s 2 =N,
(27)

where changing the sign of the order of the x i s gives distinct solutions. Explicit formulas for r 2 (N) were given by Legendre in 1798 and Gauss in 1801. In 1770 Lagrange gave formula for r 4 (N). Using the theory of theta functions, Jacobi obtained explicit formulas for r s (N), where s=2,4,6,8. Glaisher used elliptic function methods rather than modular functions to obtain ( 16 N). A formula for r 24 (n) was proved by Ramanujan. For more details, see [18] and references therein. In this subsection, we give a new formulation for r 8 (4N) in terms of σ 3 and σ 3 , and from our main result, we deduce a congruence formula for this number. Following Jacobi, we consider the equation

ϑ 3 ( 0 , q ) s :=1+ N = 1 ( 1 ) N r s (N) q N ,
(28)

where ϑ 3 (0,q) is the z=0 case of the theta function ϑ 3 (z,q) in [19] given by

ϑ 3 (0,q)= j = q j 2 .

Jacobi [20] proved

ϑ 3 ( 0 , q ) 4 = 1 8 r = 1 ( 1 ) r 1 r q r 1 + q r = 1 + 8 N = 1 ( 1 ) N ( d | N , d > 0 4 d d ) q N .
(29)

From (29) and (23), we get a new formulation of r 8 (4N) in terms of σ 3 (N) and σ 3 (N). In fact,

r 8 ( 4 N ) = 16 ( σ 1 ( 4 N ) 4 σ 1 ( N ) ) + 64 k = 1 4 k 4 N 1 σ 1 ( k ) σ 1 ( 4 N k ) + 64 k = 1 N 1 { σ 1 ( 4 k ) 4 σ 1 ( k ) } { σ 1 ( 4 ( N k ) ) 4 σ 1 ( N k ) }

and then

r 8 (4N)=16 { 56 σ 3 ( N ) + 15 σ 3 ( N ) } ,
(30)

which gives the following theorem. Here,

k = 1 N 1 { σ 1 ( 4 k ) 4 σ 1 ( k ) } { σ 1 ( 4 ( N k ) ) 4 σ 1 ( N k ) } = k = 1 N 1 { 3 σ 1 ( k ) 6 σ ( k 2 ) } { 3 σ 1 ( N k ) 6 σ ( N k 2 ) } = 9 k = 1 N 1 σ 1 ( k ) σ 1 ( N k ) 36 k < N 2 σ 1 ( N 2 k ) σ 1 ( k ) + 36 k < N 2 σ 1 ( k ) σ 1 ( N 2 k ) = 3 4 ( σ 3 ( N ) + 4 σ 3 ( N 2 ) σ 1 ( N ) + 2 σ 1 ( N 2 ) ) ,

we refer to [[15], (3.10), (4.4)].

From the above computation, we have a beautiful arithmetical results, which we give now.

Theorem 3.7 Let NN. We have a formula

r 8 (4N)=16 { 56 σ 3 ( N ) + 15 σ 3 ( N ) }

and if is an odd integer, then

Proof By using (30) and , we get the theorem. □

Remark 3.8 Let M and N be odd integers with (M,N)=1. From Theorem 3.7, we derive that

r 8 ( 4 M N ) = 1 , 136 σ 3 ( M ) σ 3 ( N ) = 1 1 , 136 ( 1 , 136 σ 3 ( M ) ) ( 1 , 136 σ 3 ( N ) ) = 1 1 , 136 r 8 ( 4 M ) r 8 ( 4 N )
(31)

and

r 8 ( 4 p 1 e 1 p r e r ) = ( 1 1 , 136 ) r 1 r 8 ( 4 p 1 e 1 ) r 8 ( 4 p r e r ) .
(32)

Corollary 3.9 Let N= p 1 e 1 p r e r be a prime decomposition of the integer N, and if for all i=1,,r, then we have

4 The problem σ 1 (n)= σ 1 (n+1)

Sierpiński has asked if σ 1 (n)= σ 1 (n+1) infinitely often. Jud McCranie found 832 solutions of

σ 1 (n)= σ 1 (n+1)for n<4.25× 10 9 ;

see[[21], p.103]).

We consider the values of σ 1 (n)= σ 1 (n+1) and σ 1 (n)= σ 1 (n+1)= σ 1 (n+2).

4.1 Further results

First, we shall compare the above problem for σ 1 (n) and σ 1 (n).

The results of Table 11 were realized by combining several computers and by using Mathematica 8.0 software. It would be impossible for us to reproduce here all their details. It is clear, according to our numerical computations, that the study of the above problem with σ 1 is faster than that of the σ 1 one.

Table 11 σ 1 (n) and σ 1 (n)

In fact, using Mathematica 8.0, we were able to obtain all positive integers for all n<4.25× 10 9 in Table 11. Note that the results of σ 1 (n) in Table 11 are also presented in [[21], p.100, pp.103-104].

Theorem 4.1

  1. (a)

    If 2 n 1 is an odd prime number, then σ 1 ( 2 n 1)= σ 1 ( 2 n ).

  2. (b)

    If p and 2p+1 are odd prime numbers, then σ 1 (2p)= σ 1 (2p+1).

  3. (c)

    If 2 n 1 is an odd prime number, then we get σ 1 ( 2 n 2) σ 1 ( 2 n 1)= σ 1 ( 2 n ) with n>3 and σ 1 (6)= σ 1 (7)= σ 1 (8).

  4. (d)

    If n and n+2 are twin prime numbers, then σ 1 (n+2)= σ 1 (n)+2.

  5. (e)

    If n is a positive integer, then we get Table 12.

Table 12 Table 12

Proof Let p be an odd positive integer. Using σ 1 (p)=p+1 and σ 1 (2m)=2 σ 1 (m), we get (a), (b), (d), and (e). In (c), if 2 n 1 is an odd prime number with n>3, then n is an odd number. It is easy to verify that

σ 1 ( 2 n 2 ) =2 σ 1 ( 2 n 1 1 ) =2 σ 1 ( ( 2 n 1 2 1 ) ( 2 n 1 2 + 1 ) ) 2 n

and σ 1 ( 2 n 1)= σ 1 ( 2 n )= 2 n . It is clear that σ 1 (6)= σ 1 (7)= σ 1 (8). □

Corollary 4.2 Let p be an odd prime. If L= 2 n 1 is an odd prime or L=2p, and 2p+1 is prime, then

σ 1 ( 2 L + 1 ) = 1 2 { σ 1 ( 2 L 1 ) + 5 σ 1 ( L ) + m = 1 2 L 2 ( 1 ) m + 1 σ 1 ( m + 1 ) ( σ 1 ( 2 L + 1 m ) σ 1 ( 2 L m 1 ) ) } .

Proof From Table 5, we get

( L + 1 ) σ 1 ( L + 1 ) L σ 1 ( L ) = m = 1 2 L + 1 ( 1 ) m + 1 σ 1 ( m ) σ 1 ( 2 L + 2 m ) m = 1 2 L 1 ( 1 ) m + 1 σ 1 ( m ) σ 1 ( 2 L m ) = m = 1 2 L 1 ( 1 ) m + 1 σ 1 ( m ) { σ 1 ( 2 L + 2 m ) σ 1 ( 2 L m ) } σ 1 ( 2 L ) σ 1 ( 2 ) + σ 1 ( 2 L + 1 ) = σ 1 ( 1 ) { σ 1 ( 2 L + 1 ) σ 1 ( 2 L 1 ) } + m = 2 2 L 1 ( 1 ) m + 1 σ 1 ( m ) { σ 1 ( 2 L + 2 m ) σ 1 ( 2 L m ) } 4 σ 1 ( L ) + σ 1 ( 2 L + 1 ) .

From Theorem 4.1(a), (b), we know that σ 1 (L+1)= σ 1 (L) and σ 1 (2L+1)= σ 1 (2L+1); hence, the proof is completed. □

Lemma 4.3 Let I i :={nN| σ 1 (n)= σ 1 (n+i)} with iN. Then δ i , 2 m i : I i I 2 m i , δ i , 2 m i (n)= 2 m n, is an injective map. In particular, there exists an injective sequence of I 2 j ,

I 1 δ 1 , 2 I 2 δ 2 , 4 I 4 δ 4 , 8 I 8

satisfying δ 2 m , 2 m + 1 injective map.

Proof Let n I i . By the definition of I i , we deduce that σ 1 (n)= σ 1 (n+i). From Theorem 2.2, we get σ 1 ( 2 m n)= σ 1 ( 2 m n+ 2 m i) and 2 m n I 2 m i . And let n I i and l I i with nl, then 2 m n 2 m l and σ 1 ( 2 m n)= σ 1 ( 2 m n+i), σ 1 ( 2 m l)= σ 1 ( 2 m l+i). Therefore, δ i , 2 m i is an injective map. It is clear that δ 2 m , 2 m + 1 is an injective map. □

By Lemma 4.3, we deduce the corollary.

Corollary 4.4 Let m be a nonegative integer. If {n| σ 1 (n)= σ 1 (n+1)}>, then

{ n | σ 1 ( n ) = σ 1 ( n + 2 m ) } >.

4.2 Remarks and examples

We list the following interesting remarks and examples.

Remark 4.5

  1. 1.

    (Sophie Germain primes) Note that if there are an infinite number of Sophie Germain primes, then the problem σ 1 (n)= σ 1 (n+1) has an infinite number of solutions (in terms of prime numbers).

  2. 2.

    (Mersenne numbers) Assume that σ 1 (m)= σ 1 (m+1). Then, by Theorem 2.2, we have σ 1 ( 2 l m)= σ 1 ( 2 l m+ 2 l ). If the cardinal of the Mersenne primes or the cardinal of primes p, such that 2p+1 is also prime, is infinite, then by using Theorem 4.1(a), (b), the number of m satisfying σ 1 (m)= σ 1 (m+1) and σ 1 (m)= σ 1 (m+ 2 l ) is infinite.

  3. 3.

    (Perfect numbers) A positive integer n is called perfect if σ 1 (n)=2n. Euclid and Euler showed that all even perfect numbers are of the form

    2 p 1 ( 2 p 1 ) such that  2 p 1 is a Mersenne prime.

    In our case, we observe that σ 1 ( 2 p 1 ( 2 p 1))2 2 p 1 ( 2 p 1). If there exists an odd positive integer m satisfying σ 1 (m)=2m, then the number of n satisfying σ 1 (n)=2n is infinite, that is, σ 1 ( 2 l m)= 2 l σ 1 (m)=2( 2 l m).

4.3 Numerical computations for the truncated sets I i (N)

Let N be a positive integer and set I i (N)= I i {1,2,,N}. From Lemma 4.3 we see that the restricted map δ i , 2 m i (n)= 2 m n is still injective between I i (N) and I 2 m i ( 2 m N).

In this section, using Mathematica 8.0 we compute the sets I i (N) for N=100,000= 2 5 5 5 and i=2,4,8,16,32. We obtain the following lists.

  1. (a)

    I 2 (100,000) = { 6, 12, 14, 20, 33, 44, 62, 92, 116, 138, 164, 212, 254, 280, 308, 320, 332, 356, 452, 524, 572, 692, 716, 764, 932, 956, 1,004, 1,124, 1,172, 1,436, 1,496, 1,562, 1,676, 1,724, 1,772, 1,964, 2,002, 2,036, 2,132, 2,372, 2,564, 2,598, 2,612, 2,636, 2,732, 2,876, 2,913, 2,972, 3,044, 3,228, 3,236, 3,344, 3,408, 3,644, 3,812, 4,052, 4,076, 4,124, 4,187, 4,196, 4,292, 4,412, 4,728, 4,892, 4,916, 5,156, 5,170, 5,636, 5,756, 5,804, 5,924, 5,996, 6,044, 6,236, 6,332, 6,404, 6,764, 6,932, 7,169, 7,244, 7,424, 7,556, 7,604, 7,724, 7,892, 8,012, 8,050, 8,156, 8,234, 8,252, 8,276, 8,516, 8,564, 8,930, 9,092, 9,356, 9,359, 9,404, 9,572, 9,596, 9,836, 10,172, 10,196, 10,772, 10,796, 10,964, 11,012, 11,276, 11,612, 11,756, 11,852, 11,876, 12,092, 12,212, 12,565, 13,196, 13,316, 13,436, 13,556, 13,652, 13,796, 13,964, 14,156, 14,372, 14,492, 15,044, 15,085, 15,116, 15,212, 15,284, 15,404, 15,452, 15,644, 16,076, 16,120, 16,292, 16,376, 16,382, 16,844, 17,084, 17,396, 17,492, 17,564, 17,636, 17,924, 18,170, 18,932, 19,172, 19,484, 19,676, 19,772, 20,012, 20,156, 20,204, 20,324, 20,684, 20,924, 21,116, 21,212, 21,332, 21,461, 21,518, 21,596, 21,764, 22,004, 22,556, 22,844, 22,964, 23,396, 23,612, 24,212, 24,404, 24,452, 24,524, 24,692, 24,881, 25,019, 25,052, 25,076, 25,292, 25,316, 25,338, 25,796, 25,964, 26,084, 26,204, 26,252, 26,324, 26,609, 27,044, 27,596, 27,932, 28,172, 28,316, 28,412, 28,484, 28,604, 28,772, 28,844, 29,396, 29,696, 29,732, 30,164, 30,572, 30,596, 30,764, 31,292, 31,364, 31,532, 31,604, 32,276, 32,372, 32,444, 32,804, 32,972, 33,092, 33,590, 34,052, 34,652, 34,772, 34,964, 35,358, 35,804, 35,876, 36,116, 36,236, 36,884, 37,172, 37,484, 37,676, 37,892, 37,916, 38,156, 38,516, 38,756, 39,164, 40,244, 40,364, 40,458, 40,652, 41,012, 41,084, 41,252, 41,324, 42,116, 42,356, 42,452, 42,764, 42,836, 42,932, 43,124, 43,196, 43,532, 44,684, 45,078, 45,284, 45,476, 45,572, 45,884, 46,076, 46,196, 46,316, 46,796, 46,863, 47,132, 47,204, 47,252, 47,324, 47,636, 47,756, 47,792, 47,978, 48,044, 48,164, 48,404, 48,476, 48,812, 49,052, 49,225, 49,316, 50,612, 50,684, 51,164, 51,284, 51,596, 51,692, 51,835, 51,836, 52,004, 52,196, 52,916, 53,058, 53,252, 53,804, 53,852, 53,963, 54,212, 54,476, 54,596, 55,052, 55,532, 55,604, 55,652, 55,748, 56,036, 56,324, 56,612, 56,636, 56,996, 57,212, 57,284, 57,956, 58,056, 58,244, 58,484, 58,676, 58,796, 58,964, 59,132, 59,324, 59,516, 59,756, 59,987, 60,404, 60,644, 60,692, 60,932, 61,076, 61,604, 61,832, 62,276, 62,516, 63,092, 63,164, 63,212, 63,692, 64,004, 64,364, 65,012, 65,204, 65,684, 65,972, 66,212, 66,692, 67,244, 67,292, 67,532, 67,724, 68,636, 68,732, 69,164, 69,332, 69,404, 70,316, 70,676, 70,724, 71,756, 71,924, 72,164, 72,524, 72,596, 72,764, 72,836, 72,932, 73,364, 73,772, 73,844, 74,924, 75,092, 75,108, 75,212, 75,596, 76,652, 77,057, 77,204, 77,276, 77,492, 77,564, 77,732, 78,212, 78,236, 78,644, 78,836, 79,004, 79,292, 79,556, 79,652, 79,676, 79,964, 80,252, 80,996, 81,055, 81,476, 81,572, 81,644, 81,764, 82,772, 83,012, 83,036, 83,084, 83,156, 83,516, 83,684, 83,756, 83,852, 84,044, 84,356, 84,596, 84,716, 84,884, 85,364, 85,532, 85,676, 86,170, 86,444, 86,804, 86,852, 87,212, 87,572, 88,052, 88,316, 88,532, 89,036, 89,084, 89,372, 89,396, 89,636, 89,732, 89,876, 89,924, 90,164, 91,004, 91,412, 91,772, 92,396, 93,116, 93,284, 93,356, 93,836, 94,244, 94,412, 94,676, 95,012, 95,276, 95,636, 95,924, 96,812, 96,956, 97,124, 97,892, 98,036, 98,204, 98,444, 98,732, 98,996, 99,638, 99,884 }.

  2. (b)

    I 4 (100,000) = { 12, 24, 28, 40, 51, 66, 88, 115, 124, 184, 232, 276, 319, 328, 424, 508, 560, 616, 640, 664, 712, 904, 1,003, 1,048, 1,144, 1,384, 1,432, 1,528, 1,864, 1,912, 2,008, 2,248, 2,344, 2,585, 2,872, 2,992, 3,124, 3,352, 3,448, 3,544, 3,928, 4,004, 4,072, 4,183, 4,195, 4,264, 4,744, 5,128, 5,196, 5,224, 5,272, 5,464, 5,752, 5,826, 5,944, 5,959, 6,088, 6,456, 6,472, 6,688, 6,816, 7,288, 7,624, 8,104, 8,152, 8,248, 8,374, 8,392, 8,584, 8,824, 9,456, 9,784, 9,832, 10,312, 10,340, 11,272, 11,512, 11,608, 11,659, 11,848, 11,992, 12,088, 12,367, 12,472, 12,561, 12,664, 12,808, 13,528, 13,581, 13,864, 14,338, 14,488, 14,848, 15,112, 15,208, 15,365, 15,448, 15,784, 16,024, 16,100, 16,312, 16,468, 16,504, 16,552, 17,032, 17,128, 17,860, 18,184, 18,712, 18,718, 18,808, 19,144, 19,192, 19,672, 20,344, 20,392, 20,541, 21,544, 21,592, 21,928, 22,024, 22,552, 23,224, 23,512, 23,704, 23,752, 24,184, 24,424, 25,130, 26,392, 26,632, 26,872, 27,112, 27,304, 27,592, 27,928, 28,312, 28,744, 28,984, 29,393, 30,088, 30,170, 30,232, 30,424, 30,568, 30,808, 30,904, 31,288, 32,152, 32,240, 32,584, 32,665, 32,752, 32,764, 33,688, 34,168, 34,792, 34,984, 35,128, 35,272, 35,848, 36,340, 37,864, 38,344, 38,968, 39,352, 39,544, 39,913, 40,024, 40,312, 40,408, 40,648, 41,368, 41,848, 42,232, 42,423, 42,424, 42,664, 42,922, 43,036, 43,192, 43,528, 44,008, 45,112, 45,688, 45,928, 46,792, 47,224, 47,841, 48,424, 48,808, 48,904, 49,048, 49,384, 49,762, 50,038, 50,104, 50,152, 50,435, 50,584, 50,632, 50,676, 51,592, 51,928, 52,168, 52,408, 52,504, 52,648, 53,218, 54,088, 55,192, 55,864, 56,344, 56,632, 56,824, 56,968, 57,208, 57,544, 57,688, 58,792, 59,392, 59,464, 60,328, 61,144, 61,192, 61,528, 62,584, 62,728, 63,064, 63,208, 64,552, 64,744, 64,888, 65,608, 65,944, 66,184, 67,180, 68,104, 69,304, 69,544, 69,928, 70,716, 71,608, 71,752, 72,232, 72,472, 73,768, 74,344, 74,968, 75,352, 75,784, 75,832, 76,312, 77,032, 77,512, 78,328, 80,488, 80,728, 80,916, 81,304, 82,024, 82,168, 82,504, 82,648, 84,232, 84,712, 84,904, 85,528, 85,672, 85,864, 86,248, 86,392, 87,064, 88,303, 89,368, 90,156, 90,568, 90,952, 91,144, 91,768, 92,152, 92,392, 92,599, 92,632, 93,592, 93,726, 94,264, 94,408, 94,504, 94,648, 95,272, 95,512, 95,584, 95,956, 96,088, 96,328, 96,808, 96,952, 97,624, 98,104, 98,450, 98,632}.

  3. (c)

    I 8 (100,000) = { 15, 24, 48, 56, 69, 80, 87, 102, 132, 175, 176, 230, 248, 368, 464, 552, 638, 656, 689, 848, 1,016, 1,120, 1,127, 1,232, 1,280, 1,328, 1,349, 1,424, 1,808, 2,006, 2,096, 2,288, 2,768, 2,864, 3,056, 3,728, 3,824, 4,016, 4,496, 4,688, 5,170, 5,744, 5,984, 6,248, 6,704, 6,896, 7,088, 7,856, 8,008, 8,144, 8,366, 8,390, 8,528, 9,488, 10,256, 10,392, 10,448, 10,544, 10,928, 11,504, 11,652, 11,888, 11,918, 12,176, 12,912, 12,944, 13,376, 13,632, 14,576, 15,248, 16,208, 16,304, 16,496, 16,748, 16,784, 17,168, 17,648, 18,912, 19,511, 19,568, 19,664, 19,829, 20,624, 20,680, 22,544, 23,024, 23,216, 23,318, 23,696, 23,984, 24,176, 24,597, 24,734, 24,944, 25,122, 25,328, 25,616, 27,056, 27,162, 27,728, 28,676, 28,976, 29,696, 30,224, 30,416, 30,730, 30,896, 31,568, 32,048, 32,200, 32,624, 32,936, 33,008, 33,104, 34,064, 34,256, 35,720, 36,368, 37,391, 37,424, 37,436, 37,616, 37,901, 38,288, 38,384, 39,344, 40,688, 40,784, 41,082, 43,088, 43,184, 43,856, 44,048, 45,104, 45,925, 46,448, 47,024, 47,408, 47,487, 47,504, 48,368, 48,848, 50,260, 52,784, 53,264, 53,744, 54,224, 54,608, 55,184, 55,856, 56,624, 57,488, 57,968, 58,786, 59,125, 60,176, 60,340, 60,464, 60,848, 61,053, 61,136, 61,616, 61,808, 62,576, 64,304, 64,480, 65,168, 65,330, 65,504, 65,528, 67,376, 68,336, 69,584, 69,968, 70,256, 70,544, 71,696, 72,680, 75,728, 76,688, 77,936, 78,704, 79,088, 79,826, 80,048, 80,624, 80,816, 81,296, 81,989, 82,736, 83,696, 84,464, 84,846, 84,848, 85,328, 85,844, 86,072, 86,384, 87,056, 88,016, 90,224, 91,376, 91,856, 93,584, 94,448, 95,682, 96,848, 97,557, 97,616, 97,808, 98,096, 98,768, 99,524, 99,827}.

  4. (d)

    I 16 (100,000) = { 30, 48, 55, 96, 112, 138, 160, 174, 204, 205, 264, 350, 352, 355, 460, 496, 736, 928, 1,104, 1,276, 1,293, 1,312, 1,378, 1,696, 2,032, 2,240, 2,254, 2,464, 2,560, 2,656, 2,698, 2,848, 3,277, 3,616, 3,669, 4,012, 4,192, 4,576, 5,536, 5,728, 6,112, 7,456, 7,648, 8,032, 8,992, 9,376, 9,853, 10,340, 11,488, 11,968, 12,496, 12,549, 13,408, 13,792, 13,899, 14,176, 14,857, 15,712, 16,016, 16,288, 16,732, 16,780, 17,056, 18,976, 20,512, 20,784, 20,896, 21,088, 21,856, 23,008, 23,287, 23,304, 23,776, 23,836, 24,352, 25,824, 25,888, 26,077, 26,752, 27,264, 29,152, 30,496, 32,416, 32,608, 32,992, 33,496, 33,568, 34,336, 35,296, 36,669, 37,824, 39,022, 39,136, 39,187, 39,328, 39,658, 41,248, 41,360, 41,525, 45,088, 46,048, 46,432, 46,636, 47,392, 47,968, 48,352, 49,194, 49,468, 49,888, 50,244, 50,656, 51,232, 54,112, 54,324, 55,456, 56,743, 57,352, 57,952, 59,392, 60,448, 60,832, 61,460, 61,792, 63,136, 64,096, 64,400, 64,963, 65,248, 65,872, 66,016, 66,208, 68,128, 68,512, 71,440, 72,736, 73,321, 74,782, 74,848, 74,872, 75,232, 75,802, 76,576, 76,768, 78,688, 81,376, 81,568, 82,164, 85,839, 86,176, 86,368, 87,712, 88,096, 90,208, 90,637, 91,850, 92,896, 94,048, 94,816, 94,974, 95,008, 95,113, 96,193, 96,736, 97,696}.

  5. (e)

    I 32 (100,000) = { 60, 96, 110, 177, 192, 224, 276, 303, 320, 348, 408, 410, 528, 605, 700, 704, 710, 749, 920, 992, 1,045, 1,157, 1,472, 1,856, 2,208, 2,552, 2,567, 2,586, 2,624, 2,756, 3,392, 4,064, 4,480, 4,508, 4,533, 4,928, 5,120, 5,312, 5,396, 5,696, 6,554, 7,232, 7,338, 7,697, 8,024, 8,384, 9,152, 10,547, 11,072, 11,456, 12,224, 13,199, 14,912, 15,296, 16,064, 16,345, 17,984, 18,752, 19,706, 20,381, 20,680, 21,197, 21,797, 22,976, 23,936, 24,992, 25,075, 25,098, 26,816, 27,584, 27,798, 28,352, 29,321, 29,365, 29,714, 31,424, 32,032, 32,576, 32,849, 33,464, 33,560, 34,112, 37,929, 37,952, 41,024, 41,568, 41,792, 42,176, 43,712, 46,016, 46,574, 46,608, 47,552, 47,672, 48,704, 51,648, 51,776, 52,154, 53,504, 54,528, 58,304, 60,992, 61,705, 64,832, 65,216, 65,984, 66,992, 67,136, 68,672, 70,049, 70,592, 73,338, 75,648, 78,044, 78,272, 78,374, 78,656, 79,316, 82,496, 82,720, 83,050, 85,769, 89,033, 90,176, 92,096, 92,864, 93,272, 94,784, 95,936, 96,704, 98,388, 98,936, 99,776}.

We conclude this paper by the following remark.

Remark 4.6 According to the obtained numerical results, it is interesting to study lower and upper bounds for the cardinality of the sets I i (N). In the same manner we can also study the asymptotic behavior of this cardinality. This would allow us to know whether or not the full I i is infinite.

References

  1. Berndt BC: Ramanujan’s Notebook, Part II. Springer, Berlin; 1989.

    Book  Google Scholar 

  2. Williams KS London Mathematical Society Student Texts 76. In Number Theory in the Spirit of Liouville. Cambridge University Press, Cambridge; 2011.

    Google Scholar 

  3. Royer E: Evaluating convolution sums of the divisor function by quasimodular forms. Int. J. Number Theory 2007, 3(2):231–261. 10.1142/S1793042107000924

    Article  MathSciNet  Google Scholar 

  4. Ramakrishnan, B, Sahu, B: Evaluation of the convolution sums l + 15 m = n σ(l)σ(m) and 3 l + 5 m = n σ(l)σ(m) and an application. Int. J. Number Theory (2012, accepted)

  5. Alaca S, Williams KS:Evaluation of the convolution sums l + 6 m = n σ(l)σ(m) and 2 l + 3 m = n σ(l)σ(m). J. Number Theory 2007, 124(2):491–510. 10.1016/j.jnt.2006.10.004

    Article  MathSciNet  Google Scholar 

  6. Alaca A, Alaca S, Uygul F, Williams KS: Restricted Eisenstein series and certain convolution sums. J. Comb. Number Theory 2011, 3: 1–14.

    MathSciNet  Google Scholar 

  7. Adiga C, Ramaswamy HN: A note on certain divisibility problem. Int. J. Math. Anal. 2008, 2(24):1157–1161.

    MathSciNet  Google Scholar 

  8. Simsek Y: Elliptic analogue of the Hardy sums related to elliptic Bernoulli functions. Gen. Math. 2007, 15(2–3):3–23.

    MathSciNet  Google Scholar 

  9. Gyory K, Dujella A, Pinter A: On the power values of pyramidal numbers, I. Acta Arith. 2012, 155: 217–226. 10.4064/aa155-2-9

    Article  MathSciNet  Google Scholar 

  10. Silverman JH: The Arithmetic of Elliptic Curves. Springer, Berlin; 1986.

    Book  Google Scholar 

  11. Dickson LE II. In History of the Theory of Numbers. Chelsea, New York; 1952.

    Google Scholar 

  12. Kim A, Kim D, Li Y: Convolution sums arising from the divisor functions. J. Korean Math. Soc. 2013, 50(2):331–360. 10.4134/JKMS.2013.50.2.331

    Article  MathSciNet  Google Scholar 

  13. Garge AS, Shirali SA: Triangular numbers. Resonance 2012, 17(7):672–681. 10.1007/s12045-012-0074-z

    Article  Google Scholar 

  14. Hoggatt VE Jr., Bicknell M: Triangular numbers. Fibonacci Q. 1974, 12: 221–230.

    MathSciNet  Google Scholar 

  15. Huard JG, Ou ZM, Spearman BK, Williams KS: Elementary evaluation of certain convolution sums involving divisor functions. II. Number Theory for the Millennium 2002, 229–274.

    Google Scholar 

  16. Cheng N, Williams KS: Evaluation of some convolution sums involving the sum of divisors functions. Yokohama Math. J. 2005, 52: 39–57.

    MathSciNet  Google Scholar 

  17. Andrew GE, Berndt BC: Ramanujan’s Lost Notebook, Part I. Springer, Berlin; 2005.

    Google Scholar 

  18. Milne S: New infinite families of exact sums of squares formulas, Jacobi elliptic functions, and Ramanujan’s tau function. Proc. Natl. Acad. Sci. USA 1996, 93: 15004–15008. 10.1073/pnas.93.26.15004

    Article  MathSciNet  Google Scholar 

  19. Whittaker ET, Watson GN: A Course of Modern Analysis. 4th edition. Cambridge University Press, Cambridge; 1927:464–498.

    Google Scholar 

  20. Jacobi, CGJ: Fundamenta Nova Theoriae Functionum Ellipticarum, Sumptibus Fratrum Bornträger. Reprinted in C.G.J. Jacobi, Gesammelte Werke, vol. 1, pp. 49–239. Reimer, Berlin (1881–1891)

  21. Guy RK: Unsolved Problems in Number Theory. Springer, Berlin; 2004.

    Book  Google Scholar 

Download references

Acknowledgements

Dedicated to Professor Hari M Srivastava.

This research was supported by the National Institute for Mathematical Sciences (NIMS) grant funded by the Korea government (B21303) and the ‘Equipe Ananlyse et Probabilités’ of the Department of Mathematics at University of Evry.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Abdelmejid Bayad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Authors’ original submitted files for images

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Kim, D., Bayad, A. Convolution identities for twisted Eisenstein series and twisted divisor functions. Fixed Point Theory Appl 2013, 81 (2013). https://doi.org/10.1186/1687-1812-2013-81

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2013-81

Keywords