Abstract:We investigate the density properties of generalized divisor functions $\displaystyle f_s(n)=\frac{\sum_{d|n}d^s}{n^s}$ and extend the analysis from the already-proven density of $s=1$ to $s\geq0$. We demonstrate that for every $s>0$, $f_s$ is locally dense, revealing the structure of $f_s$ as the union of infinitely many $trains$ -- specially organized collections of decreasing sequences -- which we define. We analyze Wolke's conjecture that $|f_1(n)-a|<\frac{1}{n^{1-\varepsilon}}$ has infinitely many solutions and prove it for points in the range of $f_s$. We establish that $f_s$ is dense for $0<s\leq1$ but loses density for $s>1$. As a result, in the latter case the graphs experience ruptures. We extend Wolke's discovery $\displaystyle |f_1(n)-a|<\frac{1}{n^{0.4-\varepsilon}}$ to all $0<s\leq1$. In the last section, we prove that the rational complement to the range of $f_s$ is dense for all $s>0$. Thus, the range of $f_1$ and its complement form a partition of rational numbers to two dense subsets. If we treat the divisor function as a uniformly distributed random variable, then its expectation turns out to be $\zeta(s+1)$. The theoretical findings are supported by computations. Ironically, perfect and multiperfect numbers do not exhibit any distinctive characteristics for divisor functions.

A generalization of the Titchmarsh divisor problem

Generalized divisor functions in arithmetic progressions: I

On divisor bounded multiplicative functions in short intervals

On the generalised Dirichlet divisor problem

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

On the divisor problem with congruence conditions

Higher order divisor functions over values of mixed powers

General divisor functions in arithmetic progressions to large moduli

On moments of the error term of the multivariable k-th divisor functions

Voronoi summation formula for the generalized divisor function $σ_{z}^{(k)}(n)$

Parity results concerning the generalized divisor function involving small prime factors of integers

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$

Karatsuba's divisor problem and related questions

The Function D(K)(N) At Consecutive Integers

A new generalization of Fermat's Last Theorem

On the Karatsuba divisor problem

On sums involving divisor function, Euler's totient function, and floor function

Divisor Functions: Train-like Structure and Density Properties

On a sum of the error term of the Dirichlet divisor function over primes