Second Chebyshev function: Difference between revisions
No edit summary |
No edit summary |
||
| 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 | ==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, \gint{x} \}</math>. | |||
Revision as of 20:20, 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 be a positive real number. The second Chebyshev function of , denoted , is defined as the following sum:
.
Here, is the von Mangoldt function.
This summation is taken over all the natural numbers less than or equal to ; however, a positive contribution comes only from prime powers, and the contribution of a prime power is .
Relation with other functions
- Prime-counting 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:
Failed to parse (unknown function "\gint"): {\displaystyle e^{\psi(x)} = \operatorname{lcm} \{ 1,2, \dots, \gint{x} \}} .