在解析數論中,梅滕斯定理指的是三個弗朗茨·梅滕斯在1874年證明的定理,這些定理與質數密度相關。[1]
以下假定
指的是所有不超過
的質數。
證明梅滕斯第二定理的主要步驟如下:
![{\displaystyle O(n)+n\log n=\log n!=\sum _{p^{k}\leq n}\lfloor n/p^{k}\rfloor \log p=\sum _{p^{k}\leq n}\left({\frac {n}{p^{k}}}+O(1)\right)\log p=n\sum _{p^{k}\leq n}{\frac {\log p}{p^{k}}}\ +O(n)}](//wikimedia.org/api/rest_v1/media/math/render/svg/4cf07b8321536e7291d285ef6fa18aaa4775b791)
其中最後的等式要求
,而這可由
得出。
因此我們證明了下式:
![{\displaystyle \sum _{p^{k}\leq n}{\frac {\log p}{p^{k}}}=\log n+O(1)}](//wikimedia.org/api/rest_v1/media/math/render/svg/bc5e5dbf1f2528ffab8b858c56d6294fa8a31880)
由於在
時,質數的次方的倒數和收斂之故,這表示說
![{\displaystyle \sum _{p\leq n}{\frac {\log p}{p}}=\log n+O(1)}](//wikimedia.org/api/rest_v1/media/math/render/svg/700842332dce3e3522406f534fbe3aee9b7a8c08)
故由分部求和法可推得下式:
![{\displaystyle \sum _{p\leq n}{\frac {1}{p}}=\log \log n+M+O(1/\log n)}](//wikimedia.org/api/rest_v1/media/math/render/svg/c68199139546b3a28ce46881de60a7c9a7d8965d)
在一篇於1983年出版的關於除數函數增長率的文章中,[2]Guy Robin證明了以下在梅滕斯第二定理中出現的差會變號無限多次:
![{\displaystyle \sum _{p\leq n}{\frac {1}{p}}-\log \log n-M}](//wikimedia.org/api/rest_v1/media/math/render/svg/180ddc106cb04579a5082eb60ebbbd1575acdb55)
此外,以下在梅滕斯第三定理中出現的差也會變號無限多次:
![{\displaystyle \log n\prod _{p\leq n}\left(1-{\frac {1}{p}}\right)-e^{-\gamma }}](//wikimedia.org/api/rest_v1/media/math/render/svg/5f84119f907cce0beed80614eb8b618149f4f313)
Robin的結果類似於李特爾伍德證明的「
這個差會變號無限多次」的這定理。唯對於梅滕斯第二及第三定理而言,目前尚沒有類似於斯奎斯數這樣,最小的導致變號的自然數的上界。
梅滕斯在他的《兩個令人好奇的勒讓德公式》(two curious formula of Legendre)這篇論文中論及了這個非病態的公式[1],在這篇文章中出現的第一個公式是梅滕斯第二定理的原型;而同篇文章中出現的第二個公式是梅滕斯第三定理的原型,詳情可見該篇文的前面數行。他回憶說這公式出現在勒讓德的《數論》(Théorie des nombres)的第三版(出版於1830年,而實際上該公式出現於1808年出版的第二版中),且更加詳細的版本為切比雪夫在1851年所證明。[3]應當注意的是,歐拉在1737年就已知該公式的非病態行為。
梅滕斯禮貌性地描述說他的證明是更加精準且確實的。實際上在他之前的任何證明,在現代標準下都是不可接受的:歐拉的計算牽涉到無限(以及無限的雙曲對數和無限的對數的對數);勒讓德的論證是啟發性的;而切比雪夫證明,盡管邏輯上完美,但用到了直到1896年之前都尚未得證、並在後來被稱為質數定理的勒讓德─高斯猜想。
梅滕斯的證明並未用到在1874時尚未得證的任何猜想,且只用到基本的實分析,而這證明出現在質數定理得證的22年之前;而與之相對地,質數定理仰賴對做為複數域上的函數的黎曼ζ函數的行為的詳細分析。
由此來看,梅滕斯的證明在這方面是印象深刻的,事實上,以當今慣用的大O符號表記,其論述如下:
![{\displaystyle \sum _{p\leq x}{\frac {1}{p}}=\log \log x+M+O(1/\log x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/67527e3ee5f5ed346b3576ea8010c55c1ff839aa)
而若使用最簡單、不帶誤差項估計的質數定理,可證明下式成立:[4]
![{\displaystyle \sum _{p\leq x}{\frac {1}{p}}=\log \log x+M+o(1/\log x).}](//wikimedia.org/api/rest_v1/media/math/render/svg/280b29ab1e61f70e4276fb8b95470a86d420dac5)
在1909年,愛德蒙·蘭道(Edmund Landau)用他當時可得的最好的質數定理的版本,證明了下式成立:[5]
![{\displaystyle \sum _{p\leq x}{\frac {1}{p}}=\log \log x+M+O(e^{-(\log x)^{1/14}})}](//wikimedia.org/api/rest_v1/media/math/render/svg/759fe9fd9bea6803503c29019e74603442929acf)
特別地,對任何固定數
而言,這誤差項小於
對已知的最強版本使用簡單的分部求和技巧,可將之改進為:
- 對於一些
而言,有![{\displaystyle \sum _{p\leq x}{\frac {1}{p}}=\log \log x+M+O(e^{-c(\log x)^{3/5}(\log \log x)^{-1/5}})}](//wikimedia.org/api/rest_v1/media/math/render/svg/4e2bfe14883f524159b369553ff94f22b7713209)
類似地,使用分部求和法可證明說質數定理蘊含了
。
梅滕斯第三定理如下:
![{\displaystyle \lim _{n\to \infty }\log n\prod _{p\leq n}\left(1-{\frac {1}{p}}\right)=e^{-\gamma }\approx 0.561459483566885,}](//wikimedia.org/api/rest_v1/media/math/render/svg/bea84ff0ae3bbaa7a67fbe6ae8383431c035ddc8)
其中
是歐拉-馬斯刻若尼常數。(A001620)
Robin, G. Sur l’ordre maximum de la fonction somme des diviseurs. Séminaire Delange–Pisot–Poitou, Théorie des nombres (1981–1982). Progress in Mathematics. 1983, 38: 233–244.
P.L. Tchebychev. Sur la fonction qui détermine la totalité des nombres premiers. Mémoires présentés à l'Académie Impériale des Sciences de St-Pétersbourg par divers savants, VI 1851, 141–157
I.3 of: G. Tenenbaum. Introduction to analytic and probabilistic number theory. Translated from the second French edition (1995) by C. B. Thomas. Cambridge Studies in Advanced Mathematics, 46. Cambridge University Press, Cambridge,1995.
Edmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen, Teubner, Leipzig 1909, Repr. Chelsea New York 1953, § 55, p. 197-203.
- Akiva Moiseevich Yaglom及Isaak Moiseevich Yaglom所著的《以初等技巧解決挑戰性數學問題》(Challenging mathematical problems with elementary solutions)第二版中的問題第171、173跟174。