Divisor count function: Difference between revisions
(Created page with '{{arithmetic function}} ==Definition== Let <math>n</math> be a natural number. The '''divisor count function''' of <math>n</math>, denoted <math>d(n)</math> or <math>\tau(n...') |
No edit summary |
||
Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
Let <math>n</math> be a [[natural number]]. The '''divisor count function''' of <math>n</math>, denoted <math>d(n)</math> or <math>\tau(n)</math>, is defined as the number of positive divisors of <math>n</math>. In other words: | Let <math>n</math> be a [[natural number]]. The '''divisor count function''' of <math>n</math>, denoted <math>d(n)</math> <math>\sigma_0(n)</math>, or <math>\tau(n)</math>, is defined as the number of positive divisors of <math>n</math>. In other words: | ||
<math>\ | <math>\sigma_0(n) = \sum_{d|n} 1</math>. | ||
===Formula in terms of prime factorization=== | ===Formula in terms of prime factorization=== | ||
Line 15: | Line 15: | ||
Then: | Then: | ||
<math>\ | <math>\sigma_0(n) = \prod_{i=1}^r (k_i + 1)</math>. | ||
==Behavior== | ==Behavior== | ||
Line 23: | Line 23: | ||
The divisor count function of <math>n</math> takes its lowest value (other than <math>1</math>) at primes. | The divisor count function of <math>n</math> takes its lowest value (other than <math>1</math>) at primes. | ||
<math>\ | <math>\sigma_0(p) = 2 \ \forall \ p</math>. | ||
In particular: | In particular: | ||
<math>\lim \inf_{n \to \infty} \ | <math>\lim \inf_{n \to \infty} \sigma_0(n) = 2</math>. | ||
===Upper bound=== | ===Upper bound=== | ||
{{fillin}} | {{fillin}} | ||
==Relation with other arithmetic functions== | |||
===Family of divisor power sum functions=== | |||
For any real number (typically, integer) <math>k</math>, the [[divisor power sum function]] <math>\sigma_k</math> is the sum of <math>k^{th}</math> powers of all the positive divisors of <math>k</math>. The divisor count function is the special case <math>k = 0</math>. The case <math>k = 1</math> is the [[divisor sum function]], often just denoted <math>\sigma</math>, while the case <math>k = 2</math> is the [[divisor square sum function]]. | |||
===Relations expressed in terms of Dirichlet products=== | |||
* <math>\sigma_0 = U * U</math>: The divisor count function can be expressed as the [[Dirichlet product]] of the [[all ones function]] with itself. | |||
* <math>\sigma_0 * \mu = U</math>: This is obtained simply by applying the [[Mobius inversion formula]] to the previous statement. In other words, the [[Dirichlet product]] of the divisor count function and the [[Mobius function]] is the [[all ones function]]. | |||
* <math>\sigma_0 * \varphi = \sigma</math>: The Dirichlet product of the divisor count function and the [[Euler phi-function]] is the [[divisor sum function]]. |
Revision as of 02:55, 29 April 2009
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
Definition
Let be a natural number. The divisor count function of , denoted , or , is defined as the number of positive divisors of . In other words:
.
Formula in terms of prime factorization
Suppose we have:
.
Then:
.
Behavior
Lower bound
The divisor count function of takes its lowest value (other than ) at primes.
.
In particular:
.
Upper bound
Fill this in later
Relation with other arithmetic functions
Family of divisor power sum functions
For any real number (typically, integer) , the divisor power sum function is the sum of powers of all the positive divisors of . The divisor count function is the special case . The case is the divisor sum function, often just denoted , while the case is the divisor square sum function.
Relations expressed in terms of Dirichlet products
- : The divisor count function can be expressed as the Dirichlet product of the all ones function with itself.
- : This is obtained simply by applying the Mobius inversion formula to the previous statement. In other words, the Dirichlet product of the divisor count function and the Mobius function is the all ones function.
- : The Dirichlet product of the divisor count function and the Euler phi-function is the divisor sum function.