32
$\begingroup$

Let $$S(x,n) = \sum_{d|n} x^d, \quad n \in \Bbb N. $$

Do these sums appear in the literature? What are they called if they do and what is known about them?


To clarify, note that this sum is not the same as the generalized divisor function $$ \sigma_x(n) = \sum_{d|n}d^x.$$ The function $f(n) = n^x$ is an arithmetic function for any constant $x$ (in the sense that $f(pq) = f(p)f(q)$ for primes $p,q$), so the method of Möbius inversion may be applied to study $\sigma_x(n)$. In constrast, $f(n) = x^n$ is not arithmetic when $x\neq 1$ or $0$, which suggests the functions $S(x,n)$ may require the use of other less-common techniques to understand their behavior.

$\endgroup$
4
  • 1
    $\begingroup$ possibly related en.wikipedia.org/wiki/Divisor_function#See_also $\endgroup$
    – pancini
    Sep 28, 2015 at 6:55
  • 7
    $\begingroup$ They're called the generalized divisor functions. Not sure what you expect of an answer to contain; could you ask some specific questions? $\endgroup$ Mar 18, 2016 at 9:15
  • 2
    $\begingroup$ Honestly, it's been quite a while since u asked the question and I am not sure exactly why I was interested in them(the bounty is not by me). I believe I needed some bounds on these functions... $\endgroup$
    – Asvin
    Mar 18, 2016 at 9:19
  • 2
    $\begingroup$ I don't think the question is too broad as it stands: an ideal answer would be a precise reference with some explanation of it and would in no way be vague. In fact, as I mentioned above, I do not know the original context in which I was interested in it. I would rather not edit it to add context - I don't even know the context anymore. Looking at the number of upvotes, it seems that quite a few people are interested in it as it stands anyway. $\endgroup$
    – Asvin
    Aug 1, 2017 at 16:15

1 Answer 1

2
$\begingroup$

This is not a complete answer, but here are some examples of specializations of $S(x,n)$ which do appear in the literature:

  1. $S(1,n) = \sigma_0(n)$, the number of divisors function.

  2. $S(-1,n) = \#(\text{even divisors}) - \#(\text{odd divisors})$. This function sends $n = 2^v m$, where $m$ is odd, to $$ S(-1,2^vm) = (-1+v)\sigma_0(m).$$

  3. $S(\frac12,2^k) = \sum_{i=0}^k (\frac12)^{2^i}$, in the limit $k\to \infty$, is known as Kempner's number which is known to be transcendental (Kempner, 1916). I learned of this via this stackexchange question.

Question: Is it clear what happens for $S(\zeta_k,n)$, where $\zeta_k$ is a primitive $k$-th root of unity? I couldn't find a nice closed form.

Note that even though $f(n) = (-1)^n$ is not an arithmetic function, the sum over divisors $S(-1,n)$ is ''very close'' to being arithmetic: the formula given above shows that $-S(-1,n)$ is (weakly) arithmetic . I'm guessing there might be some similar sense in which $S(\zeta_k, n)$ is close to being arithmetic, but it's probably too much to hope for that the same holds for $S(x,n)$ in general (as a function of $n$).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .