World Library  
Flag as Inappropriate
Email this Article

Chebyshev function

Article Id: WHEBN0005793598
Reproduction Date:

Title: Chebyshev function  
Author: World Heritage Encyclopedia
Language: English
Subject: Prime number theorem, Chebyshev-smooth.svg, Chebyshev-big.svg, Chebyshev.svg, Arithmetic functions
Collection: Arithmetic Functions
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Chebyshev function

The Chebyshev function ψ(x), with x < 50
The function ψ(x) − x, for x < 10,000
The function ψ(x) − x, for x < 10 million

In mathematics, the Chebyshev function is either of two related functions. The first Chebyshev function ϑ(x) or θ(x) is given by

\vartheta(x)=\sum_{p\le x} \log p

with the sum extending over all prime numbers p that are less than or equal to x.

The second Chebyshev function ψ(x) is defined similarly, with the sum extending over all prime powers not exceeding x:

\psi(x) = \sum_{p^k\le x}\log p=\sum_{n \leq x} \Lambda(n) = \sum_{p\le x}\lfloor\log_p x\rfloor\log p,

where \Lambda is the von Mangoldt function. The Chebyshev functions, especially the second one ψ(x), are often used in proofs related to prime numbers, because it is typically simpler to work with them than with the prime-counting function, π(x) (See the exact formula, below.) Both Chebyshev functions are asymptotic to x, a statement equivalent to the prime number theorem.

Both functions are named in honour of Pafnuty Chebyshev.

Contents

  • Relationships 1
  • Asymptotics and bounds 2
  • The exact formula 3
  • Properties 4
  • Relation to primorials 5
  • Relation to the prime-counting function 6
  • The Riemann hypothesis 7
  • Smoothing function 8
  • Variational formulation 9
  • Notes 10
  • References 11
  • External links 12

Relationships

The second Chebyshev function can be seen to be related to the first by writing it as

\psi(x)=\sum_{p\le x} k \log p

where k is the unique integer such that pk ≤ x and x < pk+1. The values k of are given in  A206722. A more direct relationship is given by

\psi(x)=\sum_{n=1}^\infty \vartheta \left(x^{1/n}\right).

Note that this last sum has only a finite number of non-vanishing terms, as

\vartheta \left(x^{1/n}\right) = 0\text{ for }n>\log_2 x\ = \frac{\log x}{\log 2},.

The second Chebyshev function is the logarithm of the least common multiple of the integers from 1 to n.

\operatorname{lcm}(1,2,\dots, n)=e^{\psi(n)}.

Values of  \operatorname{lcm}(1,2,\dots, n)  for the integer variable n is given at  A003418.

Asymptotics and bounds

The following bounds are known for the Chebyshev functions: (in these formulas pk is the kth prime number p1 = 2, p2 = 3, etc.)

\vartheta(p_k)\ge k\left( \ln k+\ln\ln k-1+\frac{\ln\ln k-2.050735}{\ln k}\right) for k\ge10^{11},
\vartheta(p_k)\le k\left( \ln k+\ln\ln k-1+\frac{\ln\ln k-2}{\ln k}\right) for k ≥ 198,
|\vartheta(x)-x|\le0.006788\frac{x}{\ln x} for x ≥ 10,544,111,
|\psi(x)-x|\le0.006409\frac{x}{\ln x} for x ≥ exp(22),
0.9999\sqrt x<\psi(x)-\vartheta(x)<1.00007\sqrt x+1.78\sqrt[3]x for x\ge121.

Further, under the Riemann hypothesis,

|\vartheta(x)-x|=O(x^{1/2+\varepsilon})
|\psi(x)-x|=O(x^{1/2+\varepsilon})

for any \varepsilon>0.

Upper bounds exist for both \vartheta(x) and \psi(x) such that,[1]

\vartheta(x)<1.000028x
\psi(x)<1.03883x

for any x>0.

An explanation of the constant 1.03883 is given at  A206431.

The exact formula

In 1895, Hans Carl Friedrich von Mangoldt proved an explicit expression for \psi(x) as a sum over the nontrivial zeros of the Riemann zeta function:

\psi_0(x) = x - \sum_{\rho} \frac{x^{\rho}}{\rho} - \frac{\zeta'(0)}{\zeta(0)} - \frac{1}{2} \log (1-x^{-2}).

(The numerical value of ζ'(0)/ζ(0) is log(2π).) Here \rho runs over the nontrivial zeros of the zeta function, and ψ0 is the same as ψ, except that at its jump discontinuities (the prime powers) it takes the value halfway between the values to the left and the right:

\psi_0(x) = \frac12\left( \sum_{n \leq x} \Lambda(n)+\sum_{n < x} \Lambda(n)\right) =\begin{cases} \psi(x) - \frac{1}{2} \Lambda(x) & x = 2,3,4,5,7,8,9,11,13,16,\dots \\ \psi(x) & \mbox{otherwise.} \end{cases}

From the Taylor series for the logarithm, the last term in the explicit formula can be understood as a summation of x^{\omega}/{\omega} over the trivial zeros of the zeta function, \omega = -2, -4, -6, \ldots, i.e.

\sum_{k=1}^{\infty} \frac{x^{-2k}}{-2k} = \frac{1}{2} \log ( 1 - x^{-2} ).

Similarly, the first term, x = x1/1, corresponds to the simple pole of the zeta function at 1. Its being a pole rather than zero accounts for the opposite sign of the term.

Properties

A theorem due to Erhard Schmidt states that, for some explicit positive constant K, there are infinitely many natural numbers x such that

\psi(x)-x < -K\sqrt{x}

and infinitely many natural numbers x such that

\psi(x)-x > K\sqrt{x}.

In little-o notation, one may write the above as

\psi(x)-x \ne o\left(\sqrt{x}\right).

Hardy and Littlewood prove the stronger result, that

\psi(x)-x \ne o\left(\sqrt{x}\log\log\log x\right).

Relation to primorials

The first Chebyshev function is the logarithm of the primorial of x, denoted x#:

\vartheta(x)=\sum_{p\le x} \log p=\log \prod_{p\le x} p = \log (x\#).

This proves that the primorial x# is asymptotically equal to exp((1+o(1))x), where "o" is the little-o notation (see Big O notation) and together with the prime number theorem establishes the asymptotic behavior of pn#.

Relation to the prime-counting function

The Chebyshev function can be related to the prime-counting function as follows. Define

\Pi(x) = \sum_{n \leq x} \frac{\Lambda(n)}{\log n}.

Then

\Pi(x) = \sum_{n \leq x} \Lambda(n) \int_n^x \frac{dt}{t \log^2 t} + \frac{1}{\log x} \sum_{n \leq x} \Lambda(n) = \int_2^x \frac{\psi(t)\, dt}{t \log^2 t} + \frac{\psi(x)}{\log x}.

The transition from \Pi to the prime-counting function, \pi, is made through the equation

\Pi(x) = \pi(x) + \frac{1}{2} \pi(x^{1/2}) + \frac{1}{3} \pi(x^{1/3}) + \cdots.

Certainly \pi(x) \leq x, so for the sake of approximation, this last relation can be recast in the form

\pi(x) = \Pi(x) + O(\sqrt x).

The Riemann hypothesis

The Riemann hypothesis states that all nontrivial zeros of the zeta function have real part 1/2. In this case, |x^{\rho}|=\sqrt x, and it can be shown that

\sum_{\rho} \frac{x^{\rho}}{\rho} = O(\sqrt x \log^2 x).

By the above, this implies

\pi(x) = \operatorname{li}(x) + O(\sqrt x \log x).

Good evidence that RH could be true comes from the fact proposed by Alain Connes and others, that if we differentiate the von Mangoldt formula with respect to x make x = exp(u). Manipulating, we have the "Trace formula" for the exponential of the Hamiltonian operator satisfying

\zeta(1/2+i \hat H )|n \ge \zeta(1/2+iE_{n})=0, \,
\sum_n e^{iu E_{n}}=Z(u) = e^{u/2}-e^{-u/2} \frac{d\psi _0}{du}-\frac{e^{u/2}}{e^{3u}-e^u} = \operatorname{Tr}(e^{iu\hat H }),

where the "trigonometric sum" can be considered to be the trace of the operator (statistical mechanics) e^{iu \hat H} ,which is only true if \rho =1/2+iE(n).

Using the semiclassical approach the potential of H = T + V satisfies:

\frac{Z(u)u^{1/2}}{\sqrt \pi }\sim \int_{-\infty}^\infty e^{i (uV(x)+ \pi /4 )}\,dx

with Z(u) → 0 as u → ∞.

solution to this nonlinear integral equation can be obtained (among others) by V^{-1} (x) \approx \sqrt (4\pi) \frac{d^{1/2}N(x)}{dx^{1/2}} in order to obtain the inverse of the potential : \pi N(E) = Arg \xi (1/2+iE)

Smoothing function

The difference of the smoothed Chebyshev function and x2/2 for x < 106

The smoothing function is defined as

\psi_1(x)=\int_0^x \psi(t)\,dt.

It can be shown that

\psi_1(x) \sim \frac{x^2}{2}.

Variational formulation

The Chebyshev function evaluated at x = exp(t) minimizes the functional

J[f]=\int_{0}^{\infty}\frac{f(s)\zeta' (s+c)}{\zeta(s+c)(s+c)}\,ds-\int_{0}^{\infty}\!\!\!\int_{0}^{\infty} e^{-st}f(s)f(t)\,ds\,dt,

so

f(t)= \psi (e^t)e^{-ct},\,

for c > 0.

Notes

  1. ^ Rosser, J. Barkley; Schoenfeld, Lowell (1962). "Approximate formulas for some functions of prime numbers.". Illinois J. Math. 6: 64–94. 
  • ^ Pierre Dusart, "Estimates of some functions over primes without R.H.". arXiv:1002.0442
  • ^ Pierre Dusart, "Sharper bounds for ψ, θ, π, pk", Rapport de recherche n° 1998-06, Université de Limoges. An abbreviated version appeared as "The kth prime is greater than k(ln k + ln ln k − 1) for k ≥ 2", Mathematics of Computation, Vol. 68, No. 225 (1999), pp. 411–415.
  • ^ Erhard Schmidt, "Über die Anzahl der Primzahlen unter gegebener Grenze", Mathematische Annalen, 57 (1903), pp. 195–204.
  • ^ G .H. Hardy and J. E. Littlewood, "Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes", Acta Mathematica, 41 (1916) pp. 119–196.
  • ^ Davenport, Harold (2000). In Multiplicative Number Theory. Springer. p. 104. ISBN 0-387-95097-4. Google Book Search.

References

  •  

External links

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.