• Research
• Open Access

# Bernoulli numbers and certain convolution sums with divisor functions

https://doi.org/10.1186/1687-1847-2013-277

• Accepted: 23 August 2013
• Published:

## Abstract

In this paper, we investigate the convolution sums

$\sum _{\left(a+b+c\right)x=n}a,\phantom{\rule{2em}{0ex}}\sum _{ax+by=n}ab,\phantom{\rule{2em}{0ex}}\sum _{ax+by+cz=n}abc,\phantom{\rule{2em}{0ex}}\sum _{ax+by+cz+du=n}abcd,$

where $a,b,c,d,x,y,z,u,n\in \mathbb{N}$. Many new equalities and inequalities involving convolution sums, Bernoulli numbers and divisor functions have also been given.

MSC:11A05, 33E99.

## Keywords

• inequality of Diophantine equations
• Bernoulli numbers
• convolution sums

## 1 Introduction

Throughout this paper, , , and will denote the sets of positive integers, rational integers, and complex numbers, respectively. The Bernoulli polynomials ${B}_{k}\left(x\right)$, which are usually defined by the exponential generating function
$\frac{t{e}^{xt}}{{e}^{t}-1}=\sum _{k=0}^{\mathrm{\infty }}{B}_{k}\left(x\right)\frac{{t}^{k}}{k!},$
play an important role in different areas of mathematics, including number theory and the theory of finite differences. The Bernoulli polynomials satisfy the following well-known identity:
$\sum _{j=0}^{N}{j}^{k}=\frac{{B}_{k+1}\left(N+1\right)-{B}_{k+1}\left(0\right)}{k+1},\phantom{\rule{1em}{0ex}}k\ge 1.$
(1)

It is well known that ${B}_{k}={B}_{k}\left(0\right)$ are rational numbers. It can be shown that ${B}_{2k+1}=0$ for $k\ge 1$, and is alternatively positive and negative for even k. The ${B}_{k}$ are called Bernoulli numbers.

For $n,k\in \mathbb{N}$ with $s\in \mathbb{N}\cup \left\{0\right\}$, we define
The exact evaluation of the basic convolution sum
$\sum _{m=1}^{n-1}{\sigma }_{1}\left(m\right){\sigma }_{1}\left(n-m\right)$
first appeared in a letter from Besge to Liouville in 1862. Ramanujan’s work has been extended by many authors, e.g., see [1]. For example, the following identity
$\sum _{m=1}^{n-1}{\sigma }_{1}\left(m\right){\sigma }_{1}\left(n-m\right)=\frac{1}{12}\left(5{\sigma }_{3}\left(n\right)+\left(1-6n\right){\sigma }_{1}\left(n\right)\right)$
(2)
is due to the works of Huard et al. [2]. In [1], Ramanujan also found nine identities, including (2), of the form
$\sum _{m=0}^{n}{\sigma }_{r}\left(m\right){\sigma }_{s}\left(n-m\right)=A{\sigma }_{r+s+1}\left(n\right)+Bn{\sigma }_{r+s-1}\left(n\right),$
where A and B are certain rational numbers. We refer to [3] for a similar work. Lahiri [4] obtained the most general result by evaluating the sum
$\sum _{{m}_{1}+\cdots +{m}_{r}=n}{m}_{1}^{{a}_{1}}\cdots {m}_{r}^{{a}_{r}}{\sigma }_{{b}_{1}}\left({m}_{1}\right)\cdots {\sigma }_{{b}_{r}}\left({m}_{r}\right)\phantom{\rule{1em}{0ex}}\left(r\ge 3\right),$

where the sum is over all positive integers ${m}_{1},\dots ,{m}_{r}$ satisfying ${m}_{1}+\cdots +{m}_{r}=n$, ${a}_{i}\in \mathbb{N}\cup \left\{0\right\}$, and ${b}_{i}\in \mathbb{N}$.

The convolution identities have many beautiful applications in modern number theory, in particular in modular forms, since they appear in the coefficients of the Fourier expansions of classical Eisenstein series. For example, a very well-known work of Serre on p-adic modular forms (see [5]). For some of the history of the subject, and for a selection of these articles, we mention [4, 6] and [3], and especially [2] and [7]. We also refer to [8] and [9].

In this paper, we shall investigate the convolution sums
$\sum _{\left(a+b+c\right)x=n}a,\phantom{\rule{2em}{0ex}}\sum _{ax+by=n}ab,\phantom{\rule{2em}{0ex}}\sum _{ax+by+cz=n}abc,\phantom{\rule{2em}{0ex}}\sum _{ax+by+cz+du=n}abcd.$

In fact, we will prove the following results.

Theorem 1.1 Let n be a positive integer. Then we have
$\sum _{\left(a+b+c\right)x=n}a=\frac{1}{6}{\sigma }_{3}\left(n\right)-\frac{1}{2}{\sigma }_{2}\left(n\right)+\frac{1}{3}{\sigma }_{1}\left(n\right)>\frac{1}{6}{B}_{3}\left(n-1\right)$
(3)

with $n\ge 3$.

Remark 1.2 Let α be a fixed integer with $\alpha \ge 3$, and let
${Pyr}_{\alpha }\left(x\right)=\frac{1}{6}\left\{\left(x\right)\left(x+1\right)\left(\left(\alpha -2\right)x+5-\alpha \right)\right\}$
be the α th order pyramid number. In fact, in (3), if $n=p$ is a prime number, then we obtain
$\sum _{\left(a+b+c\right)x=p}a={Pyr}_{3}\left(p-2\right).$
(4)

This result is similar to [[10], (13)].

Theorem 1.3 Let M be an odd positive integer. Let $R,r\in \mathbb{N}\cup \left\{0\right\}$ with $R\ge r$. Then we have
${A}_{1}\left(R,r\right):=\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab={8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right)>\frac{{8}^{R-r-1}}{3}{\left({2}^{r+1}-1\right)}^{2}{B}_{3}\left(q+1\right)$
(5)

with $M=2q+1$.

Theorem 1.4 Let ${m}_{1}$ be an odd positive integer. Let ${r}_{1},{r}_{2}\in \mathbb{N}$ and ${r}_{3}\in \mathbb{N}\cup \left\{0\right\}$ with ${r}_{1}>{r}_{2}>{r}_{3}$. Then we have
${A}_{2}\left({r}_{1},{r}_{2},{r}_{3}\right):=\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz={2}^{{r}_{1}}{m}_{1}}}}}}abc={2}^{5{r}_{1}-2{r}_{2}-3{r}_{3}-8}\left({2}^{{r}_{2}+1}-1\right){\left({2}^{{r}_{3}+1}-1\right)}^{2}{\sigma }_{5}\left({m}_{1}\right).$
(6)
Theorem 1.5 Let ${m}_{1}$ be an odd positive integer. Let ${r}_{1},{r}_{2},{r}_{3}\in \mathbb{N}$ and ${r}_{4}\in \mathbb{N}\cup \left\{0\right\}$ with ${r}_{1}>{r}_{2}>{r}_{3}>{r}_{4}$. Then we have
$\begin{array}{rl}\underset{{m}_{4}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{4}}{m}_{4}}{\underset{ax+by={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by+cz={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz+du={2}^{{r}_{1}}{m}_{1}}}}}}}}abcd=& \frac{1}{17}\cdot {2}^{-2{r}_{2}-2{r}_{3}-3{r}_{4}-10}\left({2}^{{r}_{2}+1}-1\right)\left({2}^{{r}_{3}+1}-1\right){\left({2}^{{r}_{4}+1}-1\right)}^{2}\\ ×\left\{{2}^{7{r}_{1}}{\sigma }_{7}\left({m}_{1}\right)+15{\left(-1\right)}^{{r}_{1}-{r}_{2}}{2}^{4{r}_{2}+3{r}_{1}-1}b\left({m}_{1}\right)\right\}\end{array}$

when ${\sum }_{n=1}^{\mathrm{\infty }}b\left(n\right){q}^{n}=q{\prod }_{n=1}^{\mathrm{\infty }}{\left(1-{q}^{n}\right)}^{8}{\left(1-{q}^{2n}\right)}^{8}$.

Theorem 1.6 Let M be an odd positive integer. Let $r,R\in \mathbb{N}\cup \left\{0\right\}$. Then we have
$\begin{array}{r}\sum _{R\le r<{log}_{2}\left(\frac{{2}^{R}M}{m}\right)}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab\\ \phantom{\rule{1em}{0ex}}=\frac{1}{12}\left\{\left(3\cdot {2}^{2R+2}-{2}^{R+3}+1\right){\sigma }_{3}\left(M\right)-\left(3\cdot {2}^{R+1}M-1\right)\left({2}^{R+1}-1\right){\sigma }_{1}\left(M\right)\right\}.\end{array}$
Corollary 1.7 For $R>r$, we have the following lower bound of ${A}_{1}\left(R,r\right)$ and the upper bound of ${A}_{2}\left({r}_{1},{r}_{2},{r}_{3}\right)$,
${A}_{1}\left(R,r\right)>\frac{7}{8}{\sigma }_{3}\left({2}^{R-r-1}M\right)$
and
${A}_{2}\left({r}_{1},{r}_{2},{r}_{3}\right)<\frac{1}{18}{\sigma }_{5}\left({2}^{{r}_{1}-1}{m}_{1}\right).$

## 2 Bernoulli number derived from Diophantine equations ${\sum }_{\left(a+b+c\right)x=n}a$

Lemma 2.1 Let $n\in \mathbb{N}$. Let $f:\mathbb{Z}\to \mathbb{C}$ be an odd function. Then
$\underset{\left(a+b+c\right)x=n}{\sum _{\left(a,b,c,x\right)\in {\mathbb{N}}^{4}}}\left(f\left(a+b\right)+f\left(b-c\right)\right)=\sum _{e|n}\sum _{k=1}^{e-2}\left(e-k-1\right)f\left(e-k\right).$
Proof We can write the equality as
$\begin{array}{r}\sum _{\left(a+b+c\right)x=n}\left\{f\left(a+b\right)+f\left(b-c\right)\right\}\\ \phantom{\rule{1em}{0ex}}=\sum _{k\ge 1}f\left(k\right)\left\{\underset{a+b=k}{\sum _{\left(a+b+c\right)x=n}}1+\underset{b-c=k}{\sum _{\left(a+b+c\right)x=n}}1-\underset{b-c=-k}{\sum _{\left(a+b+c\right)x=n}}1\right\}\\ \phantom{\rule{1em}{0ex}}=\sum _{k\ge 1}f\left(k\right)\underset{a+b=k}{\sum _{\left(a+b+c\right)x=n}}1\\ \phantom{\rule{1em}{0ex}}=\sum _{e|n}\left\{\left(e-2\right)f\left(e-1\right)+\left(e-3\right)f\left(e-2\right)+\cdots +\left(e-\left(e-1\right)\right)f\left(2\right)\right\}\\ \phantom{\rule{1em}{0ex}}=\sum _{e|n}\sum _{k=1}^{e-2}\left(e-k-1\right)f\left(e-k\right).\end{array}$

This completes the proof of the lemma. □

Proof of Theorem 1.1 Let $f\left(x\right)=x$. Then Lemma 2.1 becomes
$\sum _{\left(a+b+c\right)x=n}\left\{a+2b-c\right\}=\frac{1}{3}{\sigma }_{3}\left(n\right)-{\sigma }_{2}\left(n\right)+\frac{2}{3}{\sigma }_{1}\left(n\right)$
(7)
and
$\sum _{\left(a+b+c\right)x=n}a=\frac{1}{6}{\sigma }_{3}\left(n\right)-\frac{1}{2}{\sigma }_{2}\left(n\right)+\frac{1}{3}{\sigma }_{1}\left(n\right).$
(8)
Using (1), we note that
$\sum _{j=0}^{p-2}{j}^{2}=\frac{1}{3}\left\{{B}_{3}\left(p-1\right)-{B}_{3}\right\}=\frac{{B}_{3}\left(p-1\right)}{3}$
since ${B}_{3}=0$. It is easily checked that
$\frac{p\left(p-1\right)\left(p-2\right)}{3}>\frac{\left(p-1\right)\left(p-2\right)\left(2p-3\right)}{6}.$
We can write that
$\sum _{\left(a+b+c\right)x=n}a>\frac{1}{6}{B}_{3}\left(n-1\right)$

with $n\ge 3$. This completes the proof of the theorem. □

We list the first ten values of ${\sum }_{\left(a+b+c\right)x=n}a$ in Table 1.
Remark 2.2 Let
$f\left(x\right):=\sum _{\left(a+b+c\right)t=x}a$
and
$g\left(x\right):=\frac{1}{6}x\left(x-1\right)\left(x-2\right)={Pyr}_{3}\left(x-2\right).$

If x is a prime integer, by (4) and (8), then $f\left(x\right)=g\left(x\right)$.

The first nine values of $f\left(x\right)$ and $g\left(x\right)$ are given in Figure 1. In Figure 1, we plot the graphs for the values of the sums $f\left(x\right)$ and $g\left(x\right)$ in Remark 2.2 when $x=3,4,5,6,7,8,9,10,11$.

## 3 Two lemmas

Lemma 3.1 Let $n\in \mathbb{N}$ and $r,m\in \mathbb{N}\cup \left\{0\right\}$ with $r\ge m$. Let $f:\mathbb{Z}\to \mathbb{C}$ be a function. Then
$\underset{y=x+{2}^{m}}{\underset{ax+by={2}^{r}n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)=\sum _{j=1}^{{2}^{r-m}n-1}\sum _{l={2}^{m}}^{\left({2}^{r}-{2}^{r-m}\right)n+j-1}\sum _{k|{2}^{m}j}f\left(k\right){\delta }_{k,{2}^{r}n-l},$
where the Kronecker delta symbol is defined by
${\delta }_{i,j}=\left\{\begin{array}{cc}0,\hfill & i\ne j,\hfill \\ 1,\hfill & i=j.\hfill \end{array}$
Proof We note that
$\begin{array}{rl}\underset{y=x+{2}^{m}}{\underset{ax+by={2}^{r}n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)& =\sum _{k\ge 1}f\left(k\right)\underset{a+b=k}{\underset{y=x+{2}^{m}}{\sum _{ax+by={2}^{r}n}}}1\\ =\sum _{k\ge 1}f\left(k\right)\underset{a+b=k}{\sum _{ax+b\left(x+{2}^{m}\right)={2}^{r}n}}1=\sum _{k\ge 1}f\left(k\right)\underset{a+b=k}{\sum _{\left(a+b\right)x+{2}^{m}b={2}^{r}n}}1\end{array}$
(9)
and
$\begin{array}{r}\underset{a+b=k}{\sum _{\left(a+b\right)x+{2}^{m}b={2}^{r}n}}1\\ \phantom{\rule{1em}{0ex}}=\underset{a+1=k}{\sum _{\left(a+1\right)x={2}^{r}n-{2}^{m}}}1+\underset{a+2=k}{\sum _{\left(a+2\right)x={2}^{r}n-{2}^{m}\cdot 2}}1+\cdots +\underset{a+\left({2}^{r-m}n-1\right)=k}{\sum _{\left(a+{2}^{r-m}n-1\right)x={2}^{r}n-{2}^{m}\left({2}^{r-m}n-1\right)}}1\\ \phantom{\rule{1em}{0ex}}=\underset{k\ge 2}{\sum _{k|\left({2}^{r}n-{2}^{m}\right)}}1+\underset{k\ge 3}{\sum _{k|\left({2}^{r}n-{2}^{m}\cdot 2\right)}}1+\cdots +\underset{k\ge {2}^{r-m}n-1}{\sum _{k|{2}^{m}\cdot 2}}1+\underset{k\ge {2}^{r-m}n}{\sum _{k|{2}^{m}}}1\\ \phantom{\rule{1em}{0ex}}={F}_{k}\left({2}^{r}n-{2}^{m}\right)\left({\delta }_{k,2}+{\delta }_{k,3}+\cdots +{\delta }_{k,{2}^{r}n-{2}^{m}}\right)\\ \phantom{\rule{2em}{0ex}}+{F}_{k}\left({2}^{r}n-{2}^{m}\cdot 2\right)\left({\delta }_{k,3}+{\delta }_{k,4}+\cdots +{\delta }_{k,{2}^{r}n-{2}^{m}\cdot 2}\right)\\ \phantom{\rule{2em}{0ex}}+\cdots \\ \phantom{\rule{2em}{0ex}}+{F}_{k}\left({2}^{m}\cdot 2\right)\left({\delta }_{k,{2}^{r-m}n-1}+{\delta }_{k,{2}^{r-m}n}+\cdots +{\delta }_{k,{2}^{m}\cdot 2}\right)\\ \phantom{\rule{2em}{0ex}}+{F}_{k}\left({2}^{m}\right)\left({\delta }_{k,{2}^{r-m}n}+{\delta }_{k,{2}^{r-m}n+1}+\cdots +{\delta }_{k,{2}^{m}}\right)\\ \phantom{\rule{1em}{0ex}}=\sum _{j=1}^{{2}^{r-m}n-1}{F}_{k}\left({2}^{m}j\right)\left({\delta }_{k,{2}^{r}n-{2}^{m}}+{\delta }_{k,{2}^{r}n-\left({2}^{m}+1\right)}+\cdots +{\delta }_{k,{2}^{r}n-\left(\left({2}^{r}-{2}^{r-m}\right)n+j-1\right)}\right)\\ \phantom{\rule{1em}{0ex}}=\sum _{j=1}^{{2}^{r-m}n-1}{F}_{k}\left({2}^{m}j\right)\sum _{l={2}^{m}}^{\left({2}^{r}-{2}^{r-m}\right)n+j-1}{\delta }_{k,{2}^{r}n-l}.\end{array}$
Therefore, (9) becomes
$\begin{array}{rl}\underset{y=x+{2}^{m}}{\underset{ax+by={2}^{r}n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)& =\sum _{k\ge 1}f\left(k\right)\sum _{j=1}^{{2}^{r-m}n-1}{F}_{k}\left({2}^{m}j\right)\sum _{l={2}^{m}}^{\left({2}^{r}-{2}^{r-m}\right)n+j-1}{\delta }_{k,{2}^{r}n-l}\\ =\sum _{j=1}^{{2}^{r-m}n-1}\sum _{l={2}^{m}}^{\left({2}^{r}-{2}^{r-m}\right)n+j-1}\sum _{k|{2}^{m}j}f\left(k\right){\delta }_{k,{2}^{r}n-l}.\end{array}$

This completes the proof of the lemma. □

Example 3.2
1. (a)
Letting $m=r=0$ in Lemma 3.1,
$\underset{y=x+1}{\underset{ax+by=n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)=\sum _{j=1}^{n-1}\sum _{l=1}^{j-1}\sum _{k|j}f\left(k\right){\delta }_{k,n-l}.$

2. (b)
If $m=r=1$ in Lemma 3.1, then
$\underset{y=x+2}{\underset{ax+by=2n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)=\sum _{j=1}^{n-1}\sum _{l=2}^{n+j-1}\sum _{k|2j}f\left(k\right){\delta }_{k,2n-l}.$

Corollary 3.3 Let $n\in \mathbb{N}$ and $r,m\in \mathbb{N}\cup \left\{0\right\}$ with $r\ge m$. Let $f:\mathbb{Z}\to \mathbb{C}$ be a complex-valued function. Then
$\sum _{m=0}^{r}\underset{y=x+{2}^{m}}{\underset{ax+by={2}^{r}n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)=\sum _{m=0}^{r}\sum _{j=1}^{{2}^{r-m}n-1}\sum _{l={2}^{m}}^{\left({2}^{r}-{2}^{r-m}\right)n+j-1}\sum _{k|{2}^{m}j}f\left(k\right){\delta }_{k,{2}^{r}n-l}.$

Proof It is obvious by Lemma 3.1. □

Example 3.4 Let $f\left(x\right)={x}^{2}$. Then we have
$\underset{y=x+1}{\sum _{ax+by=n}}{\left(a+b\right)}^{2}=\sum _{j=2}^{n-1}\sum _{l=1}^{j-1}\sum _{k|j}{k}^{2}{\delta }_{k,n-l}.$
Lemma 3.5 Let n be an odd positive integer, and let $f:\mathbb{Z}\to \mathbb{C}$ be a complex-valued function. Then
$\underset{y=x+2}{\underset{ax+by=n}{\sum _{\left(a,b,x,y\right)\in {\mathbb{N}}^{4}}}}f\left(a+b\right)=\sum _{j=1}^{\frac{n-3}{2}}\sum _{l=1}^{j+\frac{n-1}{2}}\sum _{k|\left(2j+1\right)}f\left(k\right){\delta }_{k,n-l}.$

Proof It is similar to Lemma 3.1. □

## 4 A study of ${\sum }_{ax+by=n}ab$

Proof of Theorem 1.3 We observe that
$\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab=\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left(\sum _{a|{2}^{r}m}a\right)\left(\sum _{b|{2}^{r}\left({2}^{R-r}M-m\right)}b\right).$
(10)
Thus, for odd m, we have
$\sum _{a|{2}^{r}m}a={\sigma }_{1}\left({2}^{r}\right){\sigma }_{1}\left(m\right)=\left({2}^{r+1}-1\right){\sigma }_{1}\left(m\right).$
(11)
Similarly, since ${2}^{R-r}M-m$ is odd, we have
$\sum _{b|{2}^{r}\left({2}^{R-r}M-m\right)}b=\left({2}^{r+1}-1\right){\sigma }_{1}\left({2}^{R-r}M-m\right).$
(12)
From (11) and (12), we can write (10) as
$\begin{array}{rl}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab=& {\left({2}^{r+1}-1\right)}^{2}\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ =& {\left({2}^{r+1}-1\right)}^{2}\left\{\sum _{m<{2}^{R-r}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ -\underset{2|m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\right\}\\ =& {\left({2}^{r+1}-1\right)}^{2}\left\{\sum _{m<{2}^{R-r}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ -\sum _{m<{2}^{R-r-1}M}{\sigma }_{1}\left(2m\right){\sigma }_{1}\left({2}^{R-r}M-2m\right)\right\}.\end{array}$
(13)
Let us consider the second term of (13). Since ${\sigma }_{1}\left(2m\right)=3{\sigma }_{1}\left(m\right)-2{\sigma }_{1}\left(\frac{m}{2}\right)$, so we obtain
$\begin{array}{r}\sum _{m<{2}^{R-r-1}M}{\sigma }_{1}\left(2m\right){\sigma }_{1}\left({2}^{R-r}M-2m\right)\\ \phantom{\rule{1em}{0ex}}=\sum _{m<{2}^{R-r-1}M}\left\{3{\sigma }_{1}\left(m\right)-2{\sigma }_{1}\left(\frac{m}{2}\right)\right\}{\sigma }_{1}\left({2}^{R-r}M-2m\right)\\ \phantom{\rule{1em}{0ex}}=3\sum _{m<{2}^{R-r-1}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-2m\right)\\ \phantom{\rule{2em}{0ex}}-2\sum _{m<{2}^{R-r-2}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-4m\right).\end{array}$
(14)
Therefore, (13) becomes
$\begin{array}{rl}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab=& {\left({2}^{r+1}-1\right)}^{2}\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ =& {\left({2}^{r+1}-1\right)}^{2}\left\{\sum _{m<{2}^{R-r}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ -3\sum _{m<{2}^{R-r-1}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-2m\right)\\ +2\sum _{m<{2}^{R-r-2}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-4m\right)\right\}\\ =& {\left({2}^{r+1}-1\right)}^{2}\cdot {8}^{R-r-1}{\sigma }_{3}\left(M\right),\end{array}$
(15)
where we refer to (2),
$\begin{array}{rl}\sum _{m
in [[2], (4.4)] and
$\begin{array}{rl}\sum _{m
in [[2], Theorem 4]. Thus, we obtain
$\begin{array}{rl}{A}_{1}\left(R,r\right)& ={8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right)\\ >{8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}\left({\sigma }_{3}\left(M\right)-{\sigma }_{1}\left(M\right)\right)\\ >{8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}\left(\frac{q\left(q+1\right)\left(2q+1\right)}{6}\right)\\ \ge {8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}\left(\frac{{B}_{3}\left(q+1\right)-{B}_{3}}{3}\right)\end{array}$
(16)

with $M=2q+1$. This completes the proof of this theorem. □

Theorem 4.1 Let M be an odd positive integer. Let $R\in \mathbb{N}$ and $r\in \mathbb{N}\cup \left\{0\right\}$ with $R>r$. Then we have
1. (a)
$\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}ab={8}^{R-r-1}\left({2}^{r}-1\right)\left({2}^{r+1}-1\right){\sigma }_{3}\left(M\right),$

2. (b)
$\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab={8}^{R-r-1}{\left({2}^{r}-1\right)}^{2}{\sigma }_{3}\left(M\right),$

3. (c)
$\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab=\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab={2}^{3R-2r-3}\left({2}^{r}-1\right){\sigma }_{3}\left(M\right),$

4. (d)
$\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab={2}^{3R-r-3}{\sigma }_{3}\left(M\right).$

Proof
1. (a)
First, we note that
$\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)={8}^{R-r-1}{\sigma }_{3}\left(M\right),$
(17)

by (15). Therefore,
$\begin{array}{rl}\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}ab& =\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{2ax={2}^{r}m}{\sum _{2ax+by={2}^{R}M}}}ab\\ =\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r-1}m}{\sum _{2ax+by={2}^{R}M}}}ab\\ =\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left(\sum _{a|{2}^{r-1}m}a\right)\left(\sum _{b|{2}^{r}\left({2}^{R-r}M-m\right)}b\right)\\ =\left({2}^{r}-1\right)\left({2}^{r+1}-1\right)\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ ={8}^{R-r-1}\left({2}^{r}-1\right)\left({2}^{r+1}-1\right){\sigma }_{3}\left(M\right),\end{array}$
where we use (17) for the last line.
1. (b)
We observe that
$\begin{array}{rl}\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab& =\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{2ax={2}^{r}m}{\sum _{2ax+2by={2}^{R}M}}}ab=\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r-1}m}{\sum _{ax+by={2}^{R-1}M}}}ab\\ ={8}^{R-r-1}{\left({2}^{r}-1\right)}^{2}{\sigma }_{3}\left(M\right),\end{array}$

by replacing R with $R-1$ and r with $r-1$ in Theorem 1.3.
1. (c)
We can write
$\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab=\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}ab-\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab.$

So we use Theorem 4.1(a) and (b). We have that
$\begin{array}{rl}\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab& =\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+2by={2}^{R}M}}}}ab\\ =\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left(\underset{\frac{{2}^{r}m}{a}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\sum _{a|{2}^{r}m}}a\right)\left(\sum _{b|{2}^{r-1}\left({2}^{R-r}M-m\right)}b\right).\end{array}$
(18)
Then, since
$\underset{\frac{{2}^{r}m}{a}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\sum _{a|{2}^{r}m}}a=\sum _{a|m}{2}^{r}a={2}^{r}\sum _{a|m}a={2}^{r}{\sigma }_{1}\left(m\right),$
so (18) becomes
${2}^{r}\left({2}^{r}-1\right)\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right).$
Finally, we refer to (17).
1. (d)
Since
$\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab=\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab-\left\{\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab+\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab+\underset{y\phantom{\rule{0.25em}{0ex}}\mathrm{even}}{\underset{x\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}}}ab\right\},$

we use Theorem 1.3 and Theorem 4.1(b) and (c).

□

Corollary 4.2 Let M be an odd positive integer. Let $R\in \mathbb{N}$ and $r\in \mathbb{N}\cup \left\{0\right\}$ with $R>r$. Then we have
$\begin{array}{rl}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax\ne {2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab=& \frac{1}{12}\left[\left\{\frac{5}{7}\left({8}^{R+1}-1\right)-3\cdot {2}^{3R-3r-1}{\left({2}^{r+1}-1\right)}^{2}\right\}{\sigma }_{3}\left(M\right)\\ -\left({2}^{R+1}-1\right)\left(3\cdot {2}^{R+1}M-1\right){\sigma }_{1}\left(M\right)\right].\end{array}$
Proof From (2), we deduce that
$\sum _{m=1}^{n-1}{\sigma }_{1}\left(m\right){\sigma }_{1}\left(n-m\right)=\sum _{ax+by=n}ab=\frac{1}{12}\left(5{\sigma }_{3}\left(n\right)+\left(1-6n\right){\sigma }_{1}\left(n\right)\right).$
(19)
So for $n={2}^{R}M$ with an odd M, we have
$\begin{array}{rl}\sum _{ax+by={2}^{R}M}ab& =\frac{1}{12}\left(5{\sigma }_{3}\left({2}^{R}M\right)+\left(1-6\cdot {2}^{R}M\right){\sigma }_{1}\left({2}^{R}M\right)\right)\\ =\frac{1}{12}\left(\frac{5}{7}\left({2}^{3\left(R+1\right)}-1\right){\sigma }_{3}\left(M\right)+\left(1-3\cdot {2}^{R+1}M\right)\left({2}^{R+1}-1\right){\sigma }_{1}\left(M\right)\right)\\ =\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab+\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax\ne {2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab.\end{array}$

Thus, we refer to Theorem 1.3. □

Corollary 4.3 Let M be an odd positive integer. Let $R\in \mathbb{N}$ and $r\in \mathbb{N}\cup \left\{0\right\}$ with $R>r$. Then we have
$\sum _{r=0}^{R-1}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab=\frac{1}{21}\left\{5\cdot {2}^{3R+1}-21\cdot {2}^{2R}+7\cdot {2}^{R+1}-3\right\}{\sigma }_{3}\left(M\right).$
Proof By Theorem 1.3, we have
$\begin{array}{rl}\sum _{r=0}^{R-1}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab& =\sum _{r=0}^{R-1}{8}^{R-r-1}{\left({2}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right)\\ ={8}^{R}{\sigma }_{3}\left(M\right)\sum _{r=0}^{R-1}\left({2}^{-r-1}+{2}^{-3r-3}-{2}^{-2r-1}\right).\end{array}$
(20)
Then the first term of (20) is
$\sum _{r=0}^{R-1}{2}^{-r-1}=1-{2}^{-R}.$
(21)
Similarly, the other terms of (20) are
$\sum _{r=0}^{R-1}{2}^{-3r-3}=\frac{1}{7}\left(1-{8}^{-R}\right)$
(22)
and
$\sum _{r=0}^{R-1}{2}^{-2r-1}=\frac{2}{3}\left(1-{2}^{-2R}\right).$
(23)

From (21), (22) and (23), we get the result. □

Proof of Theorem 1.4 The proof starts as follows:
$\begin{array}{r}\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz={2}^{{r}_{1}}{m}_{1}}}}}}abc\\ \phantom{\rule{1em}{0ex}}=\underset{2\nmid {m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}\left(\underset{2\nmid {m}_{3}}{\sum _{{m}_{3}<{2}^{{r}_{2}-{r}_{3}}{m}_{2}}}\sum _{a|{2}^{{r}_{3}}{m}_{3}}a\cdot \sum _{b|{2}^{{r}_{3}}\left({2}^{{r}_{2}-{r}_{3}}{m}_{2}-{m}_{3}\right)}b\right)\sum _{c|{2}^{{r}_{2}}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)}c\\ \phantom{\rule{1em}{0ex}}=\underset{2\nmid {m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}\left\{{8}^{{r}_{2}-{r}_{3}-1}{\left({2}^{{r}_{3}+1}-1\right)}^{2}{\sigma }_{3}\left({m}_{2}\right)\right\}\left({2}^{{r}_{2}+1}-1\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)\end{array}$
(24)
by Theorem 1.3. So Eq. (24) is equal to
$\begin{array}{r}{8}^{{r}_{2}-{r}_{3}-1}{\left({2}^{{r}_{3}+1}-1\right)}^{2}\left({2}^{{r}_{2}+1}-1\right)\underset{2\nmid {m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)\\ \phantom{\rule{1em}{0ex}}={8}^{{r}_{2}-{r}_{3}-1}{\left({2}^{{r}_{3}+1}-1\right)}^{2}\left({2}^{{r}_{2}+1}-1\right)\left\{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)\\ \phantom{\rule{2em}{0ex}}-\underset{2|{m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)\right\}.\end{array}$
(25)
Then the second term of (25) is
$\begin{array}{r}\underset{2|{m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right)\\ \phantom{\rule{1em}{0ex}}=\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}-1}{m}_{1}}{\sigma }_{3}\left(2{m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-2{m}_{2}\right)\\ \phantom{\rule{1em}{0ex}}=\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}-1}{m}_{1}}\left\{9{\sigma }_{3}\left({m}_{2}\right)-8{\sigma }_{3}\left(\frac{{m}_{2}}{2}\right)\right\}{\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-2{m}_{2}\right)\\ \phantom{\rule{1em}{0ex}}=9\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}-1}{m}_{1}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-2{m}_{2}\right)\\ \phantom{\rule{2em}{0ex}}-8\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}-2}{m}_{1}}{\sigma }_{3}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-4{m}_{2}\right).\end{array}$
So we refer to
$\sum _{m=1}^{n-1}{\sigma }_{1}\left(m\right){\sigma }_{3}\left(n-m\right)=\frac{1}{240}\left[21{\sigma }_{5}\left(n\right)+\left(10-30n\right){\sigma }_{3}\left(n\right)-{\sigma }_{1}\left(n\right)\right]$
in [[2], (3.12)],
$\sum _{m
in [[2], Theorem 6], and
$\begin{array}{rl}\sum _{m
with ${\sum }_{n=1}^{\mathrm{\infty }}a\left(n\right){q}^{n}=q{\prod }_{n=1}^{\mathrm{\infty }}{\left(1-{q}^{2n}\right)}^{12}$ in [[6], Theorem 4.2]. Therefore, (24) becomes
$\begin{array}{rl}\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz={2}^{{r}_{1}}{m}_{1}}}}}}abc& ={2}^{-2{r}_{2}-3{r}_{3}-8}\left({2}^{{r}_{2}+1}-1\right){\left({2}^{{r}_{3}+1}-1\right)}^{2}\left\{{32}^{{r}_{1}}{\sigma }_{5}\left({m}_{1}\right)+{32}^{{r}_{2}}a\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}\right)\right\}\\ ={2}^{5{r}_{1}-2{r}_{2}-3{r}_{3}-8}\left({2}^{{r}_{2}+1}-1\right){\left({2}^{{r}_{3}+1}-1\right)}^{2}{\sigma }_{5}\left({m}_{1}\right),\end{array}$

where we use the fact that ${r}_{1}>{r}_{2}$ and $a\left(2n\right)=0$ for $n\in \mathbb{N}$. This completes the proof this theorem. □

Proof of Theorem 1.5 From Theorem 1.4, we observe that
$\begin{array}{rl}\underset{{m}_{4}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{4}}{m}_{4}}{\underset{ax+by={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by+cz={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz+du={2}^{{r}_{1}}{m}_{1}}}}}}}}abcd=& {2}^{5{r}_{2}-2{r}_{3}-3{r}_{4}-8}\left({2}^{{r}_{2}+1}-1\right)\left({2}^{{r}_{3}+1}-1\right){\left({2}^{{r}_{4}+1}-1\right)}^{2}\\ ×\underset{2\nmid {m}_{2}}{\sum _{{m}_{2}<{2}^{{r}_{1}-{r}_{2}}{m}_{1}}}{\sigma }_{5}\left({m}_{2}\right){\sigma }_{1}\left({2}^{{r}_{1}-{r}_{2}}{m}_{1}-{m}_{2}\right).\end{array}$
Thus, we refer to
$\begin{array}{rl}\sum _{m<\frac{n}{2}}{\sigma }_{5}\left(m\right){\sigma }_{1}\left(n-2m\right)=& \frac{1}{2\text{,}142}{\sigma }_{7}\left(n\right)+\frac{2}{51}{\sigma }_{7}\left(\frac{n}{2}\right)+\frac{\left(1-2n\right)}{24}{\sigma }_{5}\left(\frac{n}{2}\right)\\ +\frac{1}{504}{\sigma }_{1}\left(n\right)-\frac{1}{408}b\left(n\right)\end{array}$
and
$\begin{array}{rl}\sum _{m<\frac{n}{4}}{\sigma }_{5}\left(m\right){\sigma }_{1}\left(n-4m\right)=& \frac{1}{137\text{,}088}{\sigma }_{7}\left(n\right)+\frac{1}{2\text{,}176}{\sigma }_{7}\left(\frac{n}{2}\right)+\frac{2}{51}{\sigma }_{7}\left(\frac{n}{4}\right)+\frac{\left(1-2n\right)}{24}{\sigma }_{5}\left(\frac{n}{4}\right)\\ +\frac{1}{504}{\sigma }_{1}\left(n\right)-\frac{13}{6\text{,}528}b\left(n\right)-\frac{19}{816}b\left(\frac{n}{2}\right)\end{array}$

in [[6], Theorem 5.2]. Also, to obtain the formula, we use the fact that $b\left(n\right)=-8b\left(\frac{n}{2}\right)$ in [[11], Remark 4.3]. □

Proof of Theorem 1.6 If ${2}^{r}m<{2}^{R}M$, then $r<{log}_{2}\left(\frac{{2}^{R}M}{m}\right)$. We note that
$\sum _{ax+by={2}^{R}M}ab=\sum _{r=0}^{R-1}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab+\sum _{R\le r<{log}_{2}\left(\frac{{2}^{R}M}{m}\right)}\left(\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}ab\right).$

Thus, by (19) and Corollary 4.3, we get our result. □

Theorem 4.4 Let M be an odd positive integer. Let $R\in \mathbb{N}$ and $r\in \mathbb{N}\cup \left\{0\right\}$ with $R>r$. We have
1. (a)
$\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a}ab={8}^{R-r-1}\left({2}^{r+1}-3\right)\left({2}^{r+1}-1\right){\sigma }_{3}\left(M\right),$

2. (b)
$\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a+b}ab={8}^{R-r-1}{\left({2}^{r+1}-3\right)}^{2}{\sigma }_{3}\left(M\right).$

Proof
1. (a)
The proof is similar to Theorem 1.3. Let us consider that
$\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a}ab=\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left(\sum _{a|{2}^{r}m}{\left(-1\right)}^{a}a\right)\left(\sum _{b|{2}^{r}\left({2}^{R-r}M-m\right)}b\right).$
(26)

Then
$\begin{array}{rl}\sum _{a|{2}^{r}m}{\left(-1\right)}^{a}a& =-\sum _{a|m}a+\sum _{a|m}2a+\sum _{a|m}{2}^{2}a+\cdots +\sum _{a|m}{2}^{r}a\\ =\left(-1+2+{2}^{2}+\cdots +{2}^{r}\right)\sum _{a|m}a\\ =\left({2}^{r+1}-3\right){\sigma }_{1}\left(m\right).\end{array}$
Thus, (26) becomes
$\begin{array}{rl}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a}ab& =\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left({2}^{r+1}-3\right){\sigma }_{1}\left(m\right)\cdot \left({2}^{r+1}-1\right){\sigma }_{1}\left({2}^{R-r}M-m\right)\\ =\left({2}^{r+1}-3\right)\left({2}^{r+1}-1\right)\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({2}^{R-r}M-m\right).\end{array}$
Then by (17), we get our result.
1. (b)
We sketch the proof as follows:
$\begin{array}{rl}\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a+b}ab& =\underset{m\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{r}m}{\sum _{ax+by={2}^{R}M}}}{\left(-1\right)}^{a}a\cdot {\left(-1\right)}^{b}b\\ =\underset{2\nmid m}{\sum _{m<{2}^{R-r}M}}\left(\sum _{a|{2}^{r}m}{\left(-1\right)}^{a}a\right)\left(\sum _{b|{2}^{r}\left({2}^{R-r}M-m\right)}{\left(-1\right)}^{b}b\right).\end{array}$

□

Proof of Corollary 1.7 Firstly, from (5), we note that
${A}_{1}\left(R,r\right)=\frac{1}{8}\left({8}^{R-r}\right){\left({2}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right).$
If $r\ge 0$, then
$\begin{array}{rl}{A}_{1}\left(R,r\right)& \ge \frac{1}{8}\left({8}^{R-r}\right){\sigma }_{3}\left(M\right)\\ >\frac{7}{8}\left(\frac{{8}^{R-r}-1}{8-1}\right){\sigma }_{3}\left(M\right).\end{array}$
It is easily checked that ${\sigma }_{3}\left({2}^{R-r-1}\right)=\frac{{8}^{R-r}-1}{8-1}$. So we obtain
${A}_{1}\left(R,r\right)>\frac{1}{8}{\sigma }_{3}\left({2}^{R-r-1}M\right)$
with $\left(2,M\right)=1$. Secondly, by (6), we deduce that
${A}_{2}\left({r}_{1},{r}_{2},{r}_{3}\right)={2}^{5{r}_{1}-8}\left(\frac{{2}^{{r}_{2}+1}-1}{{4}^{{r}_{2}}}\right)\left(\frac{1}{{2}^{{r}_{3}}}\right){\left(\frac{{2}^{{r}_{3}+1}-1}{{2}^{{r}_{3}}}\right)}^{2}{\sigma }_{5}\left({m}_{1}\right).$
$2t-{t}^{2}=-{\left(t-1\right)}^{2}+1$ and $0<2t-{t}^{2}\le \frac{3}{4}$ with $0. Put $t={\left(\frac{1}{2}\right)}^{{r}_{2}}$ then
$0<\frac{{2}^{{r}_{2}+1}-1}{{4}^{{r}_{2}}}\le \frac{3}{4}.$
(27)
Thirdly, we consider $f\left(t\right)=t{\left(2-t\right)}^{2}$ with $0. Then, we easily check that $0 so
$0<\frac{{2}^{{r}_{3}+1}-1}{{8}^{{r}_{3}}}\le \frac{16}{27}.$
(28)
Consider
$\frac{{2}^{5{r}_{1}}}{32}-\frac{{2}^{5{r}_{1}}-1}{32-1}=\frac{1-{\left(32\right)}^{{r}_{1}-1}}{31}<0$
(29)
with ${r}_{1}>1$. From (29), we deduce that
${2}^{5{r}_{1}-5}<{\sigma }_{5}\left({2}^{{r}_{1}-1}\right)$
and
${2}^{5{r}_{1}-8}<\frac{1}{8}{\sigma }_{5}\left({2}^{{r}_{1}-1}\right).$
(30)

From (27), (28) and (30), we compute that ${A}_{2}\left({r}_{1},{r}_{2},{r}_{3}\right)<\frac{1}{18}{\sigma }_{5}\left({2}^{{r}_{1}-1}{m}_{1}\right)$. □

## 5 A study of ${\sum }_{ax+by+cz+du=n}abcd$

Corollary 5.1 Let ${m}_{1}$ be an odd positive integer. Let ${r}_{1},{r}_{2},{r}_{3}\in \mathbb{N}$ and ${r}_{4}\in \mathbb{N}\cup \left\{0\right\}$ with ${r}_{1}>{r}_{2}>{r}_{3}>{r}_{4}$. If , then we have
Proof From Theorem 1.5, we have
$\begin{array}{rl}\underset{{m}_{4}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{3}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{{m}_{2}\phantom{\rule{0.25em}{0ex}}\mathrm{odd}}{\underset{ax={2}^{{r}_{4}}{m}_{4}}{\underset{ax+by={2}^{{r}_{3}}{m}_{3}}{\underset{ax+by+cz={2}^{{r}_{2}}{m}_{2}}{\sum _{ax+by+cz+du={2}^{{r}_{1}}{m}_{1}}}}}}}}abcd=& \frac{1}{17}\cdot {2}^{-2{r}_{2}-2{r}_{3}-3{r}_{4}-10}\left({2}^{{r}_{2}+1}-1\right)\left({2}^{{r}_{3}+1}-1\right){\left({2}^{{r}_{4}+1}-1\right)}^{2}\\ ×\left\{{2}^{7{r}_{1}}{\sigma }_{7}\left({m}_{1}\right)+15{\left(-1\right)}^{{r}_{1}-{r}_{2}}{2}^{4{r}_{2}+3{r}_{1}-1}b\left({m}_{1}\right)\right\}.\end{array}$
(31)
Since by the assumption, therefore, . So from (31), we have
(32)

By multiplying (32) by ${2}^{2{r}_{2}+2{r}_{3}+3{r}_{4}+11}$, we obtain the proof. □

Remark 5.2 This is a similar result to that in [[12], Theorem 5.3].

## 6 Another convolution sums

Theorem 6.1 Let $M\in \mathbb{N}$ with $3\nmid M$. Let $R\in \mathbb{N}$ and $r\in \mathbb{N}\cup \left\{0\right\}$ with $R\ge r$. Then we have
${A}_{1}^{\ast }\left(R,r\right):=\underset{3\nmid m}{\underset{ax={3}^{r}m}{\sum _{ax+by={3}^{R}M}}}ab=\frac{1}{2}\cdot {3}^{3R-3r-2}{\left({3}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right)$
(33)
and if $R>r$, then
${A}_{1}^{\ast }\left(R,r\right)>\frac{52}{9}\cdot {\sigma }_{3}\left({3}^{R-r-1}M\right).$
Proof It is similar to Theorem 1.3. So we obtain that
$\begin{array}{rl}\underset{3\nmid m}{\underset{ax={3}^{r}m}{\sum _{ax+by={3}^{R}M}}}ab=& \frac{1}{4}{\left({3}^{r+1}-1\right)}^{2}\underset{3\nmid m}{\sum _{m<{3}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({3}^{R-r}M-m\right)\\ =& \frac{1}{4}{\left({3}^{r+1}-1\right)}^{2}\left\{\sum _{m<{3}^{R-r}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({3}^{R-r}M-m\right)\\ -\underset{3|m}{\sum _{m<{3}^{R-r}M}}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({3}^{R-r}M-m\right)\right\}\\ =& \frac{1}{4}{\left({3}^{r+1}-1\right)}^{2}\left\{\sum _{m<{3}^{R-r}M}{\sigma }_{1}\left(m\right){\sigma }_{1}\left({3}^{R-r}M-m\right)\\ -\sum _{m<{3}^{R-r-1}M}{\sigma }_{1}\left(3m\right){\sigma }_{1}\left({3}^{R-r}M-3m\right)\right\}.\end{array}$
Then we refer to
$\sum _{m<\frac{n}{3}}{\sigma }_{1}\left(3m\right){\sigma }_{1}\left(n-3m\right)=\frac{1}{36}\left\{7{\sigma }_{3}\left(n\right)+\left(3-18n\right){\sigma }_{1}\left(n\right)+8{\sigma }_{3}\left(\frac{n}{3}\right)\right\},$
if in [[2], Theorem 7]. Therefore, we get (33). By (33), we note that
$\begin{array}{rl}{A}_{1}^{\ast }\left(R,r\right)& =\frac{1}{2}{3}^{3R-3r-2}{\left({3}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right)\\ =\frac{1}{2}\cdot \frac{1}{9}{3}^{3\left(R-r\right)}{\left({3}^{r+1}-1\right)}^{2}{\sigma }_{3}\left(M\right).\end{array}$
(34)
It is well known that
${\left({3}^{r+1}-1\right)}^{2}\ge 4$
(35)
with $r\ge 0$. Combine (34) and (35),
$\begin{array}{rl}{A}_{1}^{\ast }\left(R,r\right)& >\frac{2}{9}\cdot {3}^{3\left(R-r\right)}{\sigma }_{3}\left(M\right)\\ >\frac{2}{9}\cdot 26\cdot \frac{\left({3}^{3\left(R-r\right)}-1\right)}{27-1}{\sigma }_{3}\left(M\right)\\ =\frac{52}{9}\cdot {\sigma }_{3}\left({3}^{R-r-1}M\right)\end{array}$

with $\left(3,M\right)=1$. This completes the proof of this theorem. □

## Appendix

The first twelve values of $b\left(n\right)$ for $n\in \mathbb{N}$ are given in Table 2.

## Declarations

### Acknowledgements

The first author was supported by the National Institute for Mathematical Sciences (NIMS) grant funded by the Korean government (B21303).

## Authors’ Affiliations

(1)
National Institute for Mathematical Sciences, Doryong-dong, Yuseong-gu, Daejeon, 305-811, South Korea
(2)
Department of Mathematics, Institute of Pure and Applied Mathematics, Chonbuk National University, Chonbuk, Chonju, 561-756, South Korea
(3)
Department of Elementary Mathematics Education, Necatibey Faculty of Education, Balikesir University, Balikesir, 10100, Turkey

## References

1. Ramanujan S: On certain arithmetical functions. Trans. Camb. Philos. Soc. 1916, 22: 159–184.Google Scholar
2. 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
3. Melfi G: On some modular identities. In Number Theory. de Gruyter, Berlin; 1998:371–382.Google Scholar
4. Lahiri DB:On Ramanujan’s function $\tau \left(n\right)$ and the divisor function $\sigma \left(n\right)$. I. Bull. Calcutta Math. Soc. 1946, 38: 193–206.
5. Serre JP: Formes modulaires et fonctions zeta p -adiques. Lecture Notes in Math. 350. In Modular Functions of One Variable, vol. III. Springer, Berlin; 1973:191–268. Proc. International Summer School
6. Cheng N, Williams KS: Evaluation of some convolution sums involving the sum of divisors functions. Yokohama Math. J. 2005, 52: 39–57.
7. Williams KS London Mathematical Society Student Texts 76. In Number Theory in the Spirit of Liouville. Cambridge University Press, Cambridge; 2011.Google Scholar
8. Cho B, Kim D, Park H: Evaluation of a certain combinatorial convolution sum in higher level cases. J. Math. Anal. Appl. 2013, 406(1):203–210. 10.1016/j.jmaa.2013.04.052
9. Royer E: Evaluating convolution sums of the divisor function by quasimodular forms. Int. J. Number Theory 2007, 3(2):231–261. 10.1142/S1793042107000924
10. Kim D, Bayad A: Convolution identities for twisted Eisenstein series and twisted divisor functions. Fixed Point Theory Appl. 2013., 2013: Article ID 81Google Scholar
11. Kim A, Kim D, Ikikardes NY: Congruent arithmetic sums of divisor functions. Honam Math. Soc. 2013, 35(3):351–372. 10.5831/HMJ.2013.35.3.351
12. Kim D, Kim A, Sankaranarayanan A: Bernoulli numbers, convolution sums and congruences of coefficients for certain generating functions. J. Inequal. Appl. 2013., 2013: Article ID 225Google Scholar