Generating function for the divisor function

Question

Earlier today on MathWorld (see eq. 17) I ran across the following expression, which gives a generating function for the divisor function $\sigma_k(n)$: $$\sum_{n=1}^{\infty} \sigma_k (n) x^n = \sum_{n=1}^{\infty} \frac{n^k x^n}{1-x^n}. \tag{1}$$

(The divisor function $\sigma_k(n)$ is defined by $\sigma_k(n) = \sum_{d|n} d^k$.)

How would one go about proving Equation (1)?

(For reference, I ran across this while thinking about this question asked earlier today. The sum in that question is a special case of the sum on the right side of Equation (1) above.)

Eric Naslund · Accepted Answer · 2013-01-09T04:13:01.307

13

Switching the order of summation, we have that

$$\sum_{n=1}^{\infty}\sigma_{k}(n)x^{n}=\sum_{n=1}^{\infty}x^{n}\sum_{d|n}d^{k}=\sum_{d=1}^{\infty}d^{k}\sum_{n:\ d|n}^{\infty}x^{n}.$$ From here, applying the formula for the geometric series, we find that the above equals $$\sum_{d=1}^{\infty}d^{k}\sum_{n=1}^{\infty}x^{nd}=\sum_{d=1}^{\infty}d^{k}\frac{x^{d}}{1-x^{d}}.$$

Such a generating series is known as a Lambert Series. The same argument above proves that for a multiplicative function $f$ with $f=1*g$ where $*$ represents Dirichlet convolution, we have $$\sum_{n=1}^\infty f(n)x^n =\sum_{k=1}^\infty \frac{g(k)x^k}{1-x^k}.$$

edited Jan 09 '13 at 04:13

answered Jan 09 '13 at 04:07

Eric Naslund

72,099

3

I don't think $f$ and $g$ even have to be multiplicative for that identity to hold. – Greg Martin Jan 09 '13 at 06:12
Wait but isn't $\sum\limits_{n=1}^{\infty}x^{nd} = \frac{1}{1-x^d}$? – Tanner Strunk Nov 09 '16 at 14:19
$$\sum_{n=0}^\infty x^{nd} =\frac{1}{1-x^{d}} \implies \sum_{n=1}^\infty x^{nd} =\frac{x^d}{1-x^{d}} $$ – Mason Dec 08 '19 at 01:19

Generating function for the divisor function

1 Answers1

Linked