Turán sieve

From formulasearchengine
Revision as of 19:19, 3 April 2013 by Deltahedron (talk | contribs) (→‎References: expand bibliodata)
Jump to navigation Jump to search

In number theory, an average order of an arithmetic function is some simpler or better-understood function which takes the same values "on average".

Let f be an arithmetic function. We say that an average order of f is g if

as x tends to infinity.

It is conventional to choose an approximating function g that is continuous and monotone. But even thus an average order is of course not unique.

Examples

  • An average order of d(n), the number of divisors of n, is log(n);
  • An average order of σ(n), the sum of divisors of n, is nπ2 / 6;
  • An average order of φ(n), Euler's totient function of n, is 6n / π2;
  • An average order of r(n), the number of ways of expressing n as a sum of two squares, is π;
  • An average order of ω(n), the number of distinct prime factors of n, is log log n;
  • An average order of Ω(n), the number of prime factors of n, is log log n;
  • The prime number theorem is equivalent to the statement that the von Mangoldt function Λ(n) has average order 1;
  • An average order of μ(n), the Möbius function, is zero; this is again equivalent to the prime number theorem.

Better average order

This notion is best discussed through an example. From

( is the Euler-Mascheroni constant) and

we have the asymptotic relation

which suggests that the function is a better choice of average order for than simply .


See also

References

Template:Numtheory-stub