Mertens' theorems

Mertens' theorems

In number theory, Mertens' theorems are three 1874 results related to the density of prime numbers proved by Franz Mertens (JRAM 78 (1874), 46–62). It may also refer to his theorem in analysis.

In the following, let p\le n mean all primes not exceeding n.

Mertens' 1st theorem:

 \sum_{p \le n} \frac{\ln p}{p} - \ln n

does not exceed 2 in absolute value for every  n\ge 2.

Mertens' 2nd theorem:

\lim_{n\to\infty}\left(\sum_{p\le n}\frac1p -\ln\ln n-M\right) =0,

where M is the Meissel–Mertens constant. More precisely, Mertens proves (loc. cit.) that the expression under the limit does not in absolute value exceed

 \frac 4{\ln(n+1)} +\frac 2{n\ln n}

for every  n\ge 2.

Mertens' 3rd theorem:

\lim_{n\to\infty}\ln n\prod_{p\le n}\left(1-\frac1p\right)=e^{-\gamma},

where γ is the Euler–Mascheroni constant.

In a paper [1] on the growth rate of the sum-of-divisors function published in 1983, Guy Robin proved that in Mertens' 2nd theorem the difference

\sum_{p\le n}\frac1p -\ln\ln n-M

changes sign infinitely often, and that in Mertens' 3rd theorem the difference

\ln n\prod_{p\le n}\left(1-\frac1p\right)-e^{-\gamma}

changes sign infinitely often. Robin's results are analogous to Littlewood's famous theorem that the difference π(x) − li(x) changes sign infinitely often. No analog of the Skewes number (an upper bound on the first natural number x for which π(x) > li(x)) is known in the case of Mertens' 2nd and 3rd theorems.

In summability theory, Mertens' theorem states that if a real or complex infinite series

\sum_{n=1}^\infty a_n

converges to A and another

\sum_{n=1}^\infty b_n

converges absolutely to B then their Cauchy product converges to AB.

References

  1. ^ Robin, G. (1983). "Sur l’ordre maximum de la fonction somme des diviseurs". Séminaire Delange–Pisot–Poitou, Théorie des nombres (1981–1982). Progress in Mathematics 38: 233–244. 

Further reading

  • Yaglom and Yaglom Challenging mathematical problems with elementary solutions Vol 2, problems 171, 173, 174

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Mertens — may refer to: In places: Mertens, Texas, a US town People with the surname Mertens: Dries Mertens, Belgian footballer Franz Mertens, German mathematician Franz Carl Mertens, German botanist Jan Mertens, Dutch politician Jan Mertens the Younger,… …   Wikipedia

  • Mertens' theorem — For Mertens results on the distribution of prime numbers, see Mertens theorems. For Mertens result on convergence of Cauchy products of series, see Cauchy product. This disambiguation page lists articles associated with the same title. If an …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Théorème de Mertens — En théorie des nombres, trois théorèmes de Mertens, démontrés en 1874 par Franz Mertens[1], sont reliés à la densité des nombres premiers. Un autre théorème de Mertens, en analyse, porte sur le produit de Cauchy de deux séries. Dans ce qui suit,… …   Wikipédia en Français

  • Franz Mertens — (March 20, 1840 March 5, 1927) was a German mathematician. He was born in Środa in the Grand Duchy of Poznań, Kingdom of Prussia (now Środa Wielkopolska, Poland) and died in Vienna, Austria.The Mertens function is the sum function for the Möbius… …   Wikipedia

  • Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… …   Wikipedia

  • Cauchy product — In mathematics, the Cauchy product, named after Augustin Louis Cauchy, of two sequences , , is the discrete convolution of the two sequences, the sequence whose general term is given by In other words, it is the sequence whose associated formal… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …   Wikipedia

  • Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”