Divisor count function: Difference between revisions

From Number
(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>\tau(n) = \sum_{d|n} 1</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>\tau(n) = \prod_{i=1}^r (k_i + 1)</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>\tau(p) = 2 \ \forall \ p</math>.
<math>\sigma_0(p) = 2 \ \forall \ p</math>.


In particular:
In particular:


<math>\lim \inf_{n \to \infty} \tau(n) = 2</math>.
<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