Second Chebyshev function: Difference between revisions

From Number
No edit summary
 
(One intermediate revision by the same user not shown)
Line 11: Line 11:
This summation is taken over all the natural numbers less than or equal to <math>x</math>; however, a positive contribution comes only from prime powers, and the contribution of a prime power <math>p^k</math> is <math>\log p</math>.
This summation is taken over all the natural numbers less than or equal to <math>x</math>; however, a positive contribution comes only from prime powers, and the contribution of a prime power <math>p^k</math> is <math>\log p</math>.


==Relation with other counting functions==
==Relation with other functions==


* [[Prime-counting function]]
* [[Prime-counting function]]
* [[First Chebyshev function]]
* [[First Chebyshev function]]: This simply adds the logarithms of all the primes up to the point.
 
===Exponential===
 
The exponential of the second Chebyshev function gives the [[lcm of all numbers so far]]. In other words:
 
<math>e^{\psi(x)} = \operatorname{lcm} \{ 1,2, \dots, [x] \}</math>
 
where <math>[x]</math> denotes the [[greatest integer function]] of <math>x</math>, i.e., the largest integer less than or equal to <math>x</math>.

Latest revision as of 20:21, 30 April 2009

This article is about a function defined on positive reals (and in particular, natural numbers) obtained as the summatory function of an arithmetic function, namely von Mangoldt function.
View other such summations

Definition

Let x be a positive real number. The second Chebyshev function of x, denoted ψ(x), is defined as the following sum:

ψ(x)=nxΛ(n).

Here, Λ is the von Mangoldt function.

This summation is taken over all the natural numbers less than or equal to x; however, a positive contribution comes only from prime powers, and the contribution of a prime power pk is logp.

Relation with other functions

Exponential

The exponential of the second Chebyshev function gives the lcm of all numbers so far. In other words:

eψ(x)=lcm{1,2,,[x]}

where [x] denotes the greatest integer function of x, i.e., the largest integer less than or equal to x.