Difference between revisions of "Chebyshev theta function"

Revision as of 15:17, 29 March 2009

Chebyshev's theta function, denoted $\vartheta$ or sometimes $\theta$ , is a function of use in analytic number theory. It is defined thus, for real $x$ : $\vartheta(x) = \sum_{p \le x} \log x ,$ where the sum ranges over all primes less than $x$ .

Estimates of the function

The function $\vartheta(x)$ is asymptotically equivalent to $\pi(x)$ (the prime counting function) and $x$ . This result is the Prime Number Theorem, and all known proofs are rather involved.

However, we can obtain a simpler bound on $\vartheta(x)$ .

Theorem (Chebyshev). If $x \ge 0$ , then $\vartheta(x) \le 2x$ .

Proof. We induct on $\lfloor x \rfloor$ . For our base cases, we note that for $0 \le x < 2$ , we have $\vartheta(x) = 0 \le x$ .

Now suppose that $x \ge 2$ . Let $n = \lfloor x \rfloor$ . Then $2^x \ge 2^n \ge \binom{n}{\lfloor n/2 \rfloor} \ge \prod_{\lfloor n/2 \rfloor < p \le n} p ,$ so $x \ge x \log 2 \ge \sum_{\lfloor n/2 \rfloor < p \le n} \log p = \vartheta{x} - \vartheta{\lfloor n/2 \rfloor} \ge \vartheta{x} - 2\lfloor n/2 \rfloor \ge \vartheta{x} - x ,$ by inductive hypothesis. Therefore $2x \ge \vartheta(x),$ as desired. $\blacksquare$

@@ Line 1: / Line 1: @@
 '''Chebyshev's theta function''', denoted <math>\vartheta</math> or sometimes
 <math>\theta</math>, is a function of use in [[analytic number theory]].
-It is defined, thus, for real <math>x</math>:
+It is defined thus, for real <math>x</math>:
 <cmath> \vartheta(x) = \sum_{p \le x} \log x , </cmath>
 where the sum ranges over all [[prime number | primes]] less than

Page

Toolbox

Search

Difference between revisions of "Chebyshev theta function"

Revision as of 15:17, 29 March 2009

Estimates of the function

See also