Divisor sum function
This article defines an arithmetic function or number-theoretic function: a function from the natural numbers to a ring (usually, the ring of integers, rational numbers, real numbers, or complex numbers).
View a complete list of arithmetic functions
- 1 Definition
- 2 Behavior
- 3 Summatory function and average value
- 4 Relation with other arithmetic functions
- 5 Relation with properties of numbers
- 6 Properties
- 7 Algebraic significance
- 8 External links
Let be a natural number. The divisor sum function of , denoted or , is defined in the following equivalent ways:
- is the Dirichlet product of the identity function on the natural numbers and the all-one function : the function sending every natural number to .
- We have .
Formula in terms of prime factorization
Suppose we have:
where the are distinct prime divisors of . Then:
Equivalently, the ratio is given by:
For any , . Equality is achieved if and only if is prime. Further, is the lowest, in relative terms, for primes. In particular, excluding the case , the fraction achieves a strict minimum-so-far at every prime, and nowhere else.
Thus, we have:
Gronwall's theorem asserts that:
Moreover, this approach is from the positive side, since for all .
Summatory function and average value
The summatory function of this function is termed the divisor sum summatory function, and is defined as:
It is equivalent to the following:
In other words, it is the sum, over all numbers less than or equal to , of the largest multiple of that number less than or equal to . Note that this summatory function is bounded from above by and from below by .
Given any positive real , consider the ratio:
This ratio is bounded from below by and from above by .
Relation with other arithmetic functions
- Divisor power sum function is the sum of the powers of all the positive divisors. The divisor sum function is the divisor power sum function . Also related is the divisor count function , which is also denoted or .
Other similarly defined functions
- Euler phi-function is defined as the number of integers less than or equal to that are relatively prime to .
- Dedekind psi-function is also closely related.
Relations expressed in terms of Dirichlet products
- : is the Dirichlet product of the identity function and the all ones function.
- : The Dirichlet product of and the Mobius function is the identity function. Note that this is the [[Mobius inversion formula applied to the previous statement; equivalently, it is obtained by multiplying both sides of the previous equation by .
- : The Dirichlet product of and the Euler phi-function equals the Dirichlet product of the identity function with itself, which in turn is the (pointwise) product of the identity function and the divisor count function.
- , with equality iff : The sum of all divisors is less than or equal to times the number of divisors. This follows from the obvious observation that every divisor of is less than or equal to .
- , with equality iff : This can be proved, for instance, using the formula for both functions in terms of the prime factorization. There are also combinatorial proofs.
Relation with properties of numbers
- Prime number: A natural number such that .
- Perfect number: A natural number such that .
- Quasiperfect number: A natural number such that .
- Abundant number: A natural number such that .
- Deficient number: A natural number such that .
- Superabundant number: A natural number that is a strict maximum-so-far for .
This arithmetic function is a multiplicative function: the product of this function for two natural numbers that are relatively prime is the value of the function at the product.
View a complete list of multiplicative functions
The divisor sum function is multiplicative: in other words, if and are relatively prime positive integers, then:
This can be proved in a number of ways. Apart from a direct proof, it also follows from the fact that the divisor sum function is a Dirichlet product of two multiplicative functions. For full proof, refer: Divisor sum function is multiplicative
NO: This arithmetic function is not a completely multiplicative function: in other words, the product of the values of the function at two natural numbers need not equal the value at the product.
The divisor sum function is not a completely multiplicative function. In other words, there exist natural numbers such that . In fact, if and are not relatively prime, is not the product of and .
Preservation of divisibility
NO: This arithmetic function is not a divisibility-preserving function: it does not preserve divisibility.
If divides , it is not necessary that divides .
The divisor sum function comes up in the following algebraic contexts:
- It is the sum of the sizes of all subgroups of a cyclic group of order : Thus, the ratio is the average size of a subgroup.