Convolution sums of some functions on divisors

From MaRDI portal
Publication:2478046



Abstract: One of the main goals in this paper is to establish convolution sums of functions for the divisor sums widetildesigmas(n)=sumd|n(−1)d−1ds and widehatsigmas(n)=sumd|n(−1)fracnd−1ds, for certain s, which were first defined by Glaisher. We first introduce three functions mathcalP(q), mathcalE(q), and mathcalQ(q) related to widetildesigma(n), widehatsigma(n), and widetildesigma3(n), respectively, and then we evaluate them in terms of two parameters x and z in Ramanujan's theory of elliptic functions. Using these formulas, we derive some identities from which we can deduce convolution sum identities. We discuss some formulae for determining rs(n) and deltas(n), s=4, 8, in terms of widetildesigma(n), widehatsigma(n), and widetildesigma3(n), where rs(n) denotes the number of representations of n as a sum of s squares and deltas(n) denotes the number of representations of n as a sum of s triangular numbers. Finally, we find some partition congruences by using the notion of colored partitions.


For \(s,n\in\mathbb{N}\), let \(\widetilde{\sigma}_s(n)=\sum_{d| n}(-1)^{d-1}d^s\) and \(\widehat{\sigma}_s(n)=\sum_{d| n}(-1)^{(n/d)-1}d^s\), with \(\widetilde{\sigma}_1(n)=\widetilde{\sigma}(n)\), \(\widehat{\sigma}_1(n)=\widehat{\sigma}(n)\) and \(\widetilde{\sigma}_s(n)=\widehat{\sigma}_s(n)=0\) if \(n\notin\mathbb{N}\). One of the goals of this paper is to establish convolution sums involving \(\widetilde{\sigma}_s\) and \(\widehat{\sigma}_s\) for certain \(s\); the author does this by defining three functions \(\mathcal{P}(q)\), \(\mathcal{E}(q)\) and \(\mathcal{Q}(q)\) related by \(\widetilde{\sigma}_s\) and \(\widehat{\sigma}_s\), and then considering differential equations that are satisfied by these functions. The author also derives some representations of the infinite series related by the functions \(\mathcal{P}(q)\), \(\mathcal{E}(q)\) and \(\mathcal{Q}(q)\), such as \(\sum_{n=1}^{\infty}(-1)^{n-1}n^m/\sinh(ny)\) for \(m=3,5,7\). Let \(r_s(n)\) and \(\delta_s(n)\) be the number of representations of \(n\) as a sum of \(s\) squares and \(s\) triangular numbers, respectively, the author shows that \(r_4(n)=16\,\widehat{\sigma}(n/2)+8\,\widehat{\sigma}(n)\), \(\delta_4(n)=\widetilde{\sigma}(2n+1)\), \(r_8(n)=16(-1)^{n-1}\widetilde{\sigma}_3(n)\), and \(8\delta_8(n)=\widetilde{\sigma}_3(n+1)-\widetilde{\sigma}_3(2(n+1))\). Finally, the author finds some partition congruences by using the notion of colored partition; more precisely, it is shown that for \(\mu(n)\) and \(\nu(n)\) defined by the relations \(\sum_{n=0}^{\infty}\mu(n)q^n=\prod_{n=1}^{\infty}(1-q^n)^8(1-q^{2n})^8\) and \(\sum_{n=0}^{\infty}\nu(n)q^n=\prod_{n=1}^{\infty}(1-q^{2n})^8(1+q^n)^8\), one has \(\mu(3n-1)\equiv 0\pmod{3}\) and \(\nu(n-1)\equiv\widetilde{\sigma}_3(n)\pmod{3}\). In many proofs, the author uses the procedure duplication in the theory of elliptic functions, which allows us to deduce a ``new formula from the ``old one.




Cited in
(25)








This page was built for publication: Convolution sums of some functions on divisors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2478046)