अभाज्य संख्या प्रमेय: Difference between revisions

Revision as of 14:00, 11 July 2023

This article utilizes technical mathematical notation for logarithms. All instances of log(x) without a subscript base should be interpreted as a natural logarithm, commonly notated as ln(x) or log_e(x).

गणित में, अभाज्य संख्या प्रमेय (PNT) सकारात्मक पूर्णांकों के बीच अभाज्य संख्याओं के विषम विश्लेषण वितरण का वर्णन करता है। यह सहज ज्ञान युक्त विचार को औपचारिक रूप देता है कि प्राइम कम सामान्य हो जाते हैं क्योंकि वे उस दर को सटीक रूप से मापते हैं जिस पर यह घटित होता है। जैक्स हैडमार्ड द्वारा प्रमेय को स्वतंत्र रूप से सिद्ध किया गया था^[1] और चार्ल्स जीन डे ला वाली पुसिन^[2] 1896 में बर्नहार्ड रीमैन (विशेष रूप से, रीमैन जीटा फ़ंक्शन) द्वारा पेश किए गए विचारों का उपयोग करते हुए।

इस तरह का पहला वितरण पाया गया है $π(N) ~ .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}N/log(N)$ , कहाँ $π (N)$ प्राइम-काउंटिंग फंक्शन है (एन से कम या उसके बराबर प्राइम्स की संख्या) और $log(N)$ का प्राकृतिक लघुगणक है $N$ . इसका मतलब है कि काफी बड़े के लिए $N$ संभावना है कि यादृच्छिक पूर्णांक से अधिक नहीं है $N$ प्राइम के बहुत करीब है $1 / log(N)$ . नतीजतन, अधिकतम के साथ यादृच्छिक पूर्णांक $2 n$ अंक (पर्याप्त बड़े के लिए $n$ ) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग आधा है $n$ अंक। उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग अभाज्य है ( $log(10 1000) \approx 2302.6$ ), जबकि अधिकतम 2000 अंकों के सकारात्मक पूर्णांकों में से, 4600 में लगभग अभाज्य है ( $log(10 2000) \approx 4605.2$ ). दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर $N$ पूर्णांक मोटे तौर पर है $log(N)$ .^[3]

कथन

प्राइम-काउंटिंग फ़ंक्शन का अनुपात दिखाने वाला ग्राफ़

π (x)

इसके दो अनुमानों के लिए,

x / log x

और

Li(x)

. जैसा

x

बढ़ता है (ध्यान दें

x

अक्ष लॉगरिदमिक है), दोनों अनुपात 1 की ओर जाते हैं। अनुपात के लिए

x / log x

ऊपर से बहुत धीरे-धीरे परिवर्तित होता है, जबकि अनुपात के लिए

Li(x)

नीचे से अधिक तेज़ी से एकाग्र होता है।

लॉग-लॉग प्लॉट की पूर्ण त्रुटि दिखा रहा है

x / log x

और

Li(x)

, प्राइम-काउंटिंग फंक्शन के दो सन्निकटन

π (x)

. अनुपात के विपरीत, के बीच का अंतर

π (x)

और

x / log x

के रूप में बिना किसी सीमा के बढ़ता है

x

बढ़ती है। वहीं दूसरी ओर,

Li(x) - π (x)

स्विच अनंत बार हस्ताक्षर करते हैं।

होने देना $π (x)$ प्राइम-काउंटिंग फंक्शन बनें, जो प्राइम्स की संख्या से कम या उसके बराबर हो $x$ , किसी भी वास्तविक संख्या के लिए $x$ . उदाहरण के लिए, $π (10) = 4$ क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके बराबर हैं। अभाज्य संख्या प्रमेय तब बताता है कि $x / log x$ का अच्छा अनुमान है $π (x)$ (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो कार्यों के भागफल के कार्य की सीमा $π (x)$ और $x / log x$ जैसा $x$ बिना किसी सीमा के बढ़ता है 1:

\lim _{x\to \infty }{\frac {\;\pi (x)\;}{\;\left[{\frac {x}{\log(x)}}\right]\;}}=1,

अभाज्य संख्याओं के वितरण के उपगामी नियम के रूप में जाना जाता है। स्पर्शोन्मुख संकेतन का उपयोग करके इस परिणाम को इस रूप में पुनर्स्थापित किया जा सकता है

\pi (x)\sim {\frac {x}{\log x}}.

यह संकेतन (और प्रमेय) दो कार्यों के अंतर की सीमा के बारे में कुछ नहीं कहता है $x$ बिना सीमा के बढ़ता है। इसके बजाय, प्रमेय कहता है कि $x / log x$ अनुमानित $π (x)$ इस अर्थ में कि इस सन्निकटन की सापेक्ष त्रुटि 0 तक पहुँचती है $x$ बिना सीमा के बढ़ता है।

अभाज्य संख्या प्रमेय इस कथन के समतुल्य है कि $n$ वें अभाज्य संख्या $p n$ संतुष्ट

p_{n}\sim n\log(n),

स्पर्शोन्मुख संकेतन का अर्थ है, फिर से, कि इस सन्निकटन की सापेक्ष त्रुटि 0 के रूप में पहुंचती है $n$ बिना सीमा के बढ़ता है। उदाहरण के लिए, द 2×10¹⁷वें अभाज्य संख्या है 8512677386048191063,^[4] और (2×10¹⁷)लकड़ी का लट्ठा(2×10¹⁷) तक चक्कर लगाता है 7967418752291744388, लगभग 6.4% की सापेक्ष त्रुटि।

दूसरी ओर, निम्नलिखित स्पर्शोन्मुख संबंध तार्किक रूप से समतुल्य हैं:^[5]

{\begin{aligned}\lim _{x\rightarrow \infty }{\frac {\pi (x)\log x}{x}}&=1,\\\lim _{x\rightarrow \infty }{\frac {\pi (x)\log \pi (x)}{x}}&=1.\end{aligned}}

जैसा कि रेखांकित किया गया #प्रूफ स्केच, अभाज्य संख्या प्रमेय भी किसके समतुल्य है

\lim _{x\to \infty }{\frac {\vartheta (x)}{x}}=\lim _{x\to \infty }{\frac {\psi (x)}{x}}=1,

कहाँ $ϑ$ और $ψ$ क्रमशः चेबीशेव समारोह हैं, और

\lim _{x\to \infty }{\frac {M(x)}{x}}=0,

^[6]

कहाँ $M(x)=\sum _{n\leq x}\mu (n)$ मेर्टेंस कार्य करता है है।

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

एंटोन फेलकेल और यूरी वेगा द्वारा तालिकाओं के आधार पर, एड्रियन मैरी लीजेंड्रे ने 1797 या 1798 में अनुमान लगाया कि $π (a)$ समारोह द्वारा अनुमानित है $a / (A log a + B)$ , कहाँ $A$ और $B$ अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर लीजेंड्रे स्थिरांक बनाया, जिसके साथ $A = 1$ और $B = -1.08366$ . कार्ल फ्रेडरिक गॉस ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया, 1849 में अपने स्वयं के स्मरण के अनुसार।^[7] 1838 में पीटर गुस्ताव लेज्यून डिरिचलेट अपने स्वयं के सन्निकटन कार्य, लॉगरिदमिक इंटीग्रल के साथ आए $li(x)$ (श्रृंखला के थोड़े अलग रूप के तहत, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं $π (x)$ और $x / log(x)$ ऊपर कहा गया है, हालांकि यह पता चला है कि डिरिक्लेट का सन्निकटन काफी बेहतर है यदि कोई भागफल के बजाय अंतरों पर विचार करता है।

1848 और 1850 के दो पत्रों में, रूसी गणितज्ञ Pafnuty Chebyshev ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया। जीटा फ़ंक्शन के उपयोग के लिए उनका काम उल्लेखनीय है $ζ (s)$ , तर्क के वास्तविक मूल्यों के लिए $s$ , जैसा कि 1737 की शुरुआत में लियोनहार्ड यूलर के कार्यों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख कानून के थोड़े कमजोर रूप को साबित करने में सफल रहे, अर्थात्, यदि सीमा के रूप में $x$ की अनंतता में जाता है $π (x) / (x / log(x))$ बिल्कुल मौजूद है, तो यह अनिवार्य रूप से के बराबर है।^[8] वह बिना शर्त यह साबित करने में सक्षम था कि यह अनुपात 1 के करीब दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप से बड़ा $x$ .^[9] हालांकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को साबित नहीं करता है, लेकिन उसका अनुमान है $π (x)$ बर्ट्रेंड के अभिधारणा को साबित करने के लिए पर्याप्त मजबूत थे कि उनके बीच अभाज्य संख्या मौजूद है $n$ और $2 n$ किसी भी पूर्णांक के लिए $n \geq 2$ .

अभाज्य संख्याओं के वितरण से संबंधित महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार पेश किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण जटिल चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फ़ंक्शन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक कार्य के अध्ययन के लिए जटिल विश्लेषण के तरीकों को लागू करने का विचार है $π (x)$ उत्पत्ति। रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख कानून के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए^[1]और चार्ल्स जीन डे ला वाली पुसिन^[2]और उसी वर्ष (1896) में दिखाई दिया। दोनों सबूतों ने जटिल विश्लेषण से तरीकों का इस्तेमाल किया, सबूत के मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा कार्य करता है $ζ (s)$ चर के सभी जटिल मानों के लिए शून्य नहीं है $s$ जिसका रूप है $s = 1 + it$ साथ $t > 0$ .^[10] 20वीं शताब्दी के दौरान, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें एटले सेलबर्ग के प्राथमिक प्रमाण भी शामिल हैं^[11]और पॉल एर्डोसCite error: Closing </ref> missing for <ref> tag न्यूमैन का सबूत यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, हालांकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को जटिल विश्लेषण से उपयोग करता है।

सबूत स्केच

यहाँ टेरेंस ताओ के व्याख्यान में उल्लिखित प्रमाण का रेखाचित्र है।^[12] पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, लेकिन बेहतर व्यवहार वाले, प्राइम-काउंटिंग फ़ंक्शन के रूप में सुधारने से शुरू होता है। यह विचार है कि प्राइम्स (या संबंधित सेट जैसे कि प्राइम पॉवर्स का सेट) को वेट के साथ गिनना है ताकि फंक्शन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे आम सामान्यीकृत गिनती समारोह चेबीशेव फ़ंक्शन है $ψ (x)$ , द्वारा परिभाषित

\psi (x)=\!\!\!\!\sum _{\stackrel {p^{k}\leq x,}{p{\text{ is prime}}}}\!\!\!\!\log p\;.

इसे कभी-कभी लिखा जाता है

\psi (x)=\sum _{n\leq x}\Lambda (n)\;,

कहाँ $Λ (n)$ मैंगोल्ड्ट फ़ंक्शन द्वारा है, अर्थात्

\Lambda (n)={\begin{cases}\log p&{\text{ if }}n=p^{k}{\text{ for some prime }}p{\text{ and integer }}k\geq 1,\\0&{\text{otherwise.}}\end{cases}}

अब यह जाँचना अपेक्षाकृत आसान हो गया है कि PNT उस दावे के समतुल्य है

\lim _{x\to \infty }{\frac {\psi (x)}{x}}=1\;.

दरअसल, यह आसान अनुमानों से चलता है

\psi (x)=\sum _{\stackrel {p\leq x}{p{\text{ is prime}}}}\log p\left\lfloor {\frac {\log x}{\log p}}\right\rfloor \leq \sum _{\stackrel {p\leq x}{p{\text{ is prime}}}}\log x=\pi (x)\log x

और (बिग ओ नोटेशन का उपयोग करके | big $O$ नोटेशन) किसी के लिए $ε > 0$ ,

\psi (x)\geq \!\!\!\!\sum _{\stackrel {x^{1-\varepsilon }\leq p\leq x}{p{\text{ is prime}}}}\!\!\!\!\log p\geq \!\!\!\!\sum _{\stackrel {x^{1-\varepsilon }\leq p\leq x}{p{\text{ is prime}}}}\!\!\!\!(1-\varepsilon )\log x=(1-\varepsilon )\left(\pi (x)+O\left(x^{1-\varepsilon }\right)\right)\log x\;.

अगला कदम इसके लिए उपयोगी प्रतिनिधित्व खोजना है $ψ (x)$ . होने देना $ζ (s)$ रिमेंन जीटा समारोह हो। यह दिखाया जा सकता है $ζ (s)$ वॉन मैंगोल्ड फ़ंक्शन से संबंधित है $Λ (n)$ , और इसलिए करने के लिए $ψ (x)$ , संबंध के माध्यम से

-{\frac {\zeta '(s)}{\zeta (s)}}=\sum _{n=1}^{\infty }\Lambda (n)\,n^{-s}\;.

मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फ़ंक्शन के संबंधित गुणों का नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए $x$ समीकरण

\psi (x)=x\;-\;\log(2\pi )\;-\sum \limits _{\rho :\,\zeta (\rho )=0}{\frac {x^{\rho }}{\rho }}

धारण करता है, जहां जीटा फ़ंक्शन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फ़ंक्शन) में से है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द $x$ (के सही स्पर्शोन्मुख क्रम होने का दावा किया $ψ (x)$ ) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द।

प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन शामिल है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:

\sum _{n=1}^{\infty }{\frac {1}{2n\,x^{2n}}}=-{\frac {1}{2}}\log \left(1-{\frac {1}{x^{2}}}\right),

जो बड़े पैमाने पर गायब हो जाता है $x$ . गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर $0 \leq Re(s) \leq 1$ , संभावित रूप से मुख्य शब्द के तुलनीय स्पर्शोन्मुख क्रम का हो सकता है $x$ अगर $Re(ρ) = 1$ , इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।

गैर-लुप्त होने पर $Re(s) = 1$

ऐसा करने के लिए, हम इसे मान लेते हैं $ζ (s)$ अर्ध-विमान में मेरोमॉर्फिक फ़ंक्शन है $Re(s) > 0$ , और वहाँ साधारण ध्रुव को छोड़कर वहाँ विश्लेषणात्मक है $s = 1$ , और यह कि उत्पाद सूत्र है

\zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}

के लिए $Re(s) > 1$ . यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह दर्शाता है $ζ (s)$ इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और

\log \zeta (s)=-\sum _{p}\log \left(1-p^{-s}\right)=\sum _{p,n}{\frac {p^{-ns}}{n}}\;.

लिखना $s = x + iy$ ; तब

{\big |}\zeta (x+iy){\big |}=\exp \left(\sum _{n,p}{\frac {\cos ny\log p}{np^{nx}}}\right)\;.

अब पहचान का निरीक्षण करें

3+4\cos \phi +\cos 2\phi =2(1+\cos \phi )^{2}\geq 0\;,

ताकि

\left|\zeta (x)^{3}\zeta (x+iy)^{4}\zeta (x+2iy)\right|=\exp \left(\sum _{n,p}{\frac {3+4\cos(ny\log p)+\cos(2ny\log p)}{np^{nx}}}\right)\geq 1

सभी के लिए $x > 1$ . मान लीजिए कि अब $ζ (1 + iy) = 0$ . निश्चित रूप से $y$ शून्य नहीं है, क्योंकि $ζ (s)$ पर साधारण पोल है $s = 1$ . लगता है कि $x > 1$ और जाने $x$ ऊपर से 1 की ओर रुख करें। तब से $\zeta (s)$ पर साधारण पोल है $s = 1$ और $ζ (x + 2 iy)$ विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है, विरोधाभास।

अंत में, हम यह निष्कर्ष निकाल सकते हैं कि PNT अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग $ψ (x)$ पूरी तरह अभिसरण नहीं करता है लेकिन केवल सशर्त और प्रमुख मूल्य अर्थ में। इस समस्या से निपटने के कई तरीके हैं लेकिन उनमें से कई के लिए नाजुक जटिल-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब^[13] विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए और तरीका है, हालांकि यह प्रमेय अपने आप में साबित करने के लिए काफी कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी ताकत की आवश्यकता नहीं है, और कोई विशेष मामले से बच सकता है जिसे साबित करना बहुत आसान है।

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

डी. जे. न्यूमैन अभाज्य संख्या प्रमेय (पीएनटी) का त्वरित प्रमाण देते हैं। जटिल विश्लेषण पर भरोसा करने के आधार पर प्रमाण गैर-प्राथमिक है, लेकिन विषय में पहले पाठ्यक्रम से केवल प्राथमिक तकनीकों का उपयोग करता है: कॉची का अभिन्न सूत्र, कॉची का अभिन्न प्रमेय और जटिल अभिन्न का अनुमान। यहाँ इस प्रमाण का संक्षिप्त विवरण दिया गया है। देखना ^[14]पूरी जानकारी के लिए।

फ़ंक्शन के बजाय प्रूफ़ पिछले सेक्शन की तरह ही प्रिलिमिनरीज़ का उपयोग करता है ${\textstyle \psi }$ , चेबिशेव समारोह ${\textstyle \quad \vartheta (x)=\sum _{p\leq x}\log p}$ प्रयोग किया जाता है, जो कि श्रृंखला से कुछ पदों को हटाकर प्राप्त किया जाता है ${\textstyle \psi }$ . यह दिखाना आसान है कि PNT इसके बराबर है $\lim _{x\to \infty }\vartheta (x)/x=1$ . इसी तरह के बजाय $-{\frac {\zeta '(s)}{\zeta (s)}}$ कार्यक्रम $\Phi (s)=\sum _{p\leq x}\log p\,\,p^{-s}$ का प्रयोग किया जाता है, जो कि श्रेणी में कुछ पदों को हटाकर प्राप्त किया जाता है $-{\frac {\zeta '(s)}{\zeta (s)}}$ . कार्य $\Phi (s)$ और $-\zeta '(s)/\zeta (s)$ फ़ंक्शन होलोमोर्फिक द्वारा भिन्न होता है $\Re s=1$ . चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था, $\zeta (s)$ रेखा पर कोई शून्य नहीं है $\Re s=1$ , $\Phi (s)-{\frac {1}{s-1}}$ पर कोई विलक्षणता नहीं है $\Re s=1$ .

न्यूमैन के प्रमाण में आवश्यक जानकारी का और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है $\vartheta (x)/x$ घिरा है। यह चेबीशेव के कारण सरल और आसान विधि का उपयोग करके सिद्ध होता है।

भागों द्वारा एकीकरण दिखाता है कि कैसे $\vartheta (x)$ और $\Phi (s)$ आपस में संबंधित हैं। के लिए $\Re s>1$ ,

\Phi (s)=\int _{1}^{\infty }x^{-s}d\vartheta (x)=s\int _{1}^{\infty }\vartheta (x)x^{-s-1}\,dx=s\int _{0}^{\infty }\vartheta (e^{t})e^{-st}\,dt.

न्यूमैन की विधि अभिन्न दिखा कर पीएनटी को सिद्ध करती है

I=\int _{0}^{\infty }\left({\frac {\vartheta (e^{t})}{e^{t}}}-1\right)\,dt.

अभिसरण करता है, और इसलिए इंटीग्रैंड शून्य हो जाता है $t\to \infty$ , जो पीएनटी है। सामान्य तौर पर, अनुचित इंटीग्रल के अभिसरण का मतलब यह नहीं है कि इंटीग्रैंड अनंत पर शून्य हो जाता है, क्योंकि यह दोलन कर सकता है, लेकिन चूंकि $\vartheta$ बढ़ रहा है, इस मामले में दिखाना आसान है।

का अभिसरण दिखाने के लिए $I$ , के लिए $\Re z>0$ होने देना

g_{T}(z)=\int _{0}^{T}f(t)e^{-zt}\,dt

और

g(z)=\int _{0}^{\infty }f(t)e^{-zt}\,dt

कहाँ

f(t)={\frac {\vartheta (e^{t})}{e^{t}}}-1

तब

\lim _{T\to \infty }g_{T}(z)=g(z)={\frac {\Phi (s)}{s}}-{\frac {1}{s-1}}\quad \quad {\text{where}}\quad z=s-1

जो लाइन पर होलोमोर्फिक फ़ंक्शन के बराबर है $\Re z=0$ .

अभिन्न का अभिसरण $I$ , और इस प्रकार PNT, यह दिखा कर सिद्ध होता है $\lim _{T\to \infty }g_{T}(0)=g(0)$ . इसमें सीमाओं के क्रम में परिवर्तन शामिल है क्योंकि इसे लिखा जा सकता है ${\textstyle \lim _{T\to \infty }\lim _{z\to 0}g_{T}(z)=\lim _{z\to 0}\lim _{T\to \infty }g_{T}(z)}$ और इसलिए एबेलियन और टाउबेरियन प्रमेय|टाउबेरियन प्रमेय के रूप में वर्गीकृत किया गया है।

के अंतर $g(0)-g_{T}(0)$ कॉची के अभिन्न सूत्र का उपयोग करके व्यक्त किया जाता है और फिर के लिए छोटा दिखाया जाता है $T$ इंटीग्रैंड का अनुमान लगाकर बड़ा। हल करना $R>0$ और $\delta >0$ ऐसा है कि $g(z)$ उस क्षेत्र में होलोमोर्फिक है जहां $|z|\leq R{\text{ and }}\Re z\geq -\delta$ , और जाने $C$ इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है

g(0)-g_{T}(0)={\frac {1}{2\pi i}}\int _{C}\left(g(z)-g_{T}(z)\right){\frac {dz}{z}}={\frac {1}{2\pi i}}\int _{C}\left(g(z)-g_{T}(z)\right)F(z){\frac {dz}{z}}

कहाँ $F(z)=e^{zT}\left(1+{\frac {z^{2}}{R^{2}}}\right)$ न्यूमैन द्वारा पेश किया गया कारक है, जो तब से अभिन्न को नहीं बदलता है $F$ संपूर्ण कार्य है और $F(0)=1$ .

अभिन्न का अनुमान लगाने के लिए, समोच्च को तोड़ें $C$ दो भागों में, $C=C_{+}+C_{-}$ कहाँ $C_{+}=C\cap \left\{z\,\vert \,\Re z>0\right\}$ और $C_{-}\cap \left\{\Re z\leq 0\right\}$ . तब $g(0)-g_{T}(0)=\int _{C_{+}}\int _{T}^{\infty }H(t,z)dtdz-\int _{C_{-}}\int _{0}^{T}H(t,z)dtdz+\int _{C_{-}}g(z)F(z){\frac {dz}{2\pi iz}}$ कहाँ $H(t,z)=f(t)e^{-tz}F(z)/2\pi i$ . तब से $\vartheta (x)/x$ , और इसलिए $f(t)$ , बँधा हुआ है, चलो $B$ के निरपेक्ष मान के लिए ऊपरी सीमा हो $f(t)$ . यह अनुमान के साथ बंधा हुआ है $|F|\leq 2\exp(T\Re z)|\Re z|/R$ के लिए $|z|=R$ देता है कि निरपेक्ष मान में पहला समाकल है $\leq B/R$ . इंटीग्रैंड ओवर $C_{-}$ दूसरे इंटीग्रल में संपूर्ण कार्य है, इसलिए कॉची के इंटीग्रल प्रमेय द्वारा, समोच्च $C_{-}$ त्रिज्या के अर्धवृत्त में संशोधित किया जा सकता है $R$ इंटीग्रल को बदले बिना बाएं आधे विमान में, और पहले इंटीग्रल के लिए वही तर्क दूसरे इंटीग्रल का निरपेक्ष मान देता है $\leq B/R$ . अंत में, दे रहा हूँ $T\to \infty$ , तीसरा अभिन्न शून्य हो जाता है $e^{zT}$ और इसलिए $F$ समोच्च पर शून्य हो जाता है। दो अनुमानों और सीमा को मिलाकर प्राप्त करें

\limsup _{T\to \infty }|g(0)-g_{T}(0)|\leq {\frac {2B}{R}}.

यह किसी के लिए भी है $R$ इसलिए $\lim _{T\to \infty }g_{T}(0)=g(0)$ , और पीएनटी इस प्रकार है।

== लॉगरिदमिक इंटीग्रल == के संदर्भ में प्राइम-काउंटिंग फंक्शन उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट मेंSur l'usage des séries infinies dans la théorie des nombres, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के बजाय श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के तहत) कि इससे भी बेहतर सन्निकटन $π (x)$ लघुगणक समाकल फलन फलन द्वारा दिया जाता है $Li(x)$ , द्वारा परिभाषित

\operatorname {Li} (x)=\int _{2}^{x}{\frac {dt}{\log t}}=\operatorname {li} (x)-\operatorname {li} (2).

वास्तव में, यह अभिन्न इस धारणा का दृढ़ता से सुझाव देता है कि प्राइम्स का घनत्व चारों ओर है $t$ होना चाहिए $1 / log t$ . यह फ़ंक्शन स्पर्शोन्मुख विस्तार द्वारा लघुगणक से संबंधित है

\operatorname {Li} (x)\sim {\frac {x}{\log x}}\sum _{k=0}^{\infty }{\frac {k!}{(\log x)^{k}}}={\frac {x}{\log x}}+{\frac {x}{(\log x)^{2}}}+{\frac {2x}{(\log x)^{3}}}+\cdots

अतः अभाज्य संख्या प्रमेय को इस प्रकार भी लिखा जा सकता है $π (x) ~ Li(x)$ . दरअसल, दूसरे पेपर में^[15] 1899 में डे ला वल्ली पौसिन ने यह साबित कर दिया

\pi (x)=\operatorname {Li} (x)+O\left(xe^{-a{\sqrt {\log x}}}\right)\quad {\text{as }}x\to \infty

कुछ सकारात्मक स्थिरांक के लिए $a$ , कहाँ $O (...)$ बिग ओ नोटेशन है|बड़ा $O$ अंकन। इसमें सुधार किया गया है

\pi (x)=\operatorname {li} (x)+O\left(x\exp \left(-{\frac {A(\log x)^{\frac {3}{5}}}{(\log \log x)^{\frac {1}{5}}}}\right)\right)

कहाँ

A=0.2098

.^[16]

2016 में, Trudgian के बीच के अंतर के लिए स्पष्ट ऊपरी सीमा साबित हुई $\pi (x)$ और $\operatorname {li} (x)$ :

{\big |}\pi (x)-\operatorname {li} (x){\big |}\leq 0.2795{\frac {x}{(\log x)^{3/4}}}\exp \left(-{\sqrt {\frac {\log x}{6.455}}}\right)

के लिए $x\geq 229$ .^[17] रीमैन ज़ेटा फ़ंक्शन और के बीच संबंध $π (x)$ यह कारण है कि रीमैन परिकल्पना का संख्या सिद्धांत में काफी महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में शामिल त्रुटि का बेहतर अनुमान लगाएगा। अधिक विशेष रूप से, हेल्ज वॉन कोच ने 1901 में दिखाया^[18] यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है

\pi (x)=\operatorname {Li} (x)+O\left({\sqrt {x}}\log x\right)

(यह अंतिम अनुमान वास्तव में रीमैन परिकल्पना के समतुल्य है)। बड़े में शामिल निरंतर $O$ 1976 में लोवेल स्कोनफेल्ड द्वारा अंकन का अनुमान लगाया गया था:^[19] रीमैन परिकल्पना मानते हुए,

{\big |}\pi (x)-\operatorname {li} (x){\big |}<{\frac {{\sqrt {x}}\log x}{8\pi }}

सभी के लिए $x \geq 2657$ . उन्होंने चेबिशेव फलन | $ψ$ :

{\big |}\psi (x)-x{\big |}<{\frac {{\sqrt {x}}(\log x)^{2}}{8\pi }}

सभी के लिए $x \geq 73.2$ . इस बाद की सीमा को शक्ति कानून (जब पूर्णांकों पर यादृच्छिक कार्य के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और 1/  $f$  गुलाबी शोर और ट्वीडी वितरण के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन स्केल अपरिवर्तनीय डिस्ट्रीब्यूशन के परिवार का प्रतिनिधित्व करते हैं जो केंद्रीय सीमा प्रमेय के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में कार्य करते हैं।^[20])

लॉगरिदमिक इंटीग्रल फ़ंक्शन $li(x)$ से बड़ा है $π (x)$ के छोटे मूल्यों के लिए $x$ . ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ शक्ति है, की गिनती है {{mvar|pⁿ}एक प्राइम का $p$ के रूप में गिना जाता है 1/  $n$   प्रधान का। इससे पता चलता है $li(x)$ से बड़ा होना चाहिए $π (x)$ द्वारा मोटे तौर पर $\ {\tfrac {1}{2}}\operatorname {li} ({\sqrt {x}})\ ,$ और विशेष रूप से हमेशा इससे बड़ा होना चाहिए $π (x)$ . हालाँकि, 1914 में, जॉन एडेंसर लिटलवुड|जे. ई। लिटलवुड ने साबित कर दिया $\ \pi (x)-\operatorname {li} (x)\$ परिवर्तन संकेत असीम रूप से अक्सर।^[21] का पहला मान $x$ कहाँ $π (x)$ से अधिक है $li(x)$ शायद आसपास है $x ~ 10 316$ ; अधिक विवरण के लिए Skewes' number पर लेख देखें। (दूसरी ओर, ऑफसेट लॉगरिदमिक इंटीग्रल $Li(x)$ की तुलना में छोटा है $π (x)$ पहले से ही के लिए $x = 2$ ; वास्तव में, $Li(2) = 0$ , जबकि $π (2) = 1$ .)

प्राथमिक प्रमाण

बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना था कि गणित में प्रमाण विधियों का पदानुक्रम मौजूद है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ (पूर्णांक, वास्तविक संख्या, सम्मिश्र संख्या) प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) जटिल विश्लेषण की आवश्यकता के आधार पर गहन प्रमेय है।^[22] वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ हद तक हिल गया था, हालांकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को जटिल चर विधियों के बराबर गहराई माना जाता था।

मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक तरीकों से, स्पर्शोन्मुख सूत्र की स्थापना की

\vartheta (x)\log(x)+\sum \limits _{p\leq x}{\log(p)}\ \vartheta \left({\frac {x}{p}}\right)=2x\log(x)+O(x)

कहाँ

\vartheta (x)=\sum \limits _{p\leq x}{\log(p)}

प्राइम्स के लिए $p$ .^[11] उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस^[23]दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे।^[22]^[24] इन सबूतों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक तरीके अधिक शक्तिशाली थे, जैसा कि मामला माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग प्राथमिकता विवाद शामिल है, डोरियन गोल्डफेल्ड द्वारा लेख देखें।^[22]

एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में प्राथमिक प्रमाण की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। हालांकि यह जटिल विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की संभावित परिभाषा वह है जिसे पहले क्रम के पियानो अंकगणित में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, लेकिन प्रथम-क्रम अंकगणितीय नहीं। प्रथम-क्रम विधियाँ, लेकिन ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने साबित किया कि उनके प्रमाण को पीए के बहुत ही कमजोर टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् $I Δ 0 + exp$ .^[25] हालांकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं।

कंप्यूटर सत्यापन

2005 में, एवीगाड एट अल। PNT के Erdos-Selberg प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए मैं इसाबेल के प्रमेय को सिद्ध करूंगा को नियोजित किया।^[26] यह PNT का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने विश्लेषणात्मक के बजाय एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक कार्य की धारणाओं को लागू कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।^[26]^: 19 2009 में, जॉन हैरिसन (गणितज्ञ) ने एचओएल लाइट को जटिल विश्लेषण का उपयोग करते हुए प्रमाण को औपचारिक रूप देने के लिए नियोजित किया।^[27] कॉची अभिन्न सूत्र समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक शामिल 'प्राथमिक' एर्दोस-सेलबर्ग के बजाय प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था। तर्क ।

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

होने देना $π d, a (x)$ अंकगणितीय प्रगति में प्राइम्स की संख्या को निरूपित करें $a, a + d, a + 2 d, a + 3 d, ...$ जो इससे कम हैं $x$ . डिरिचलेट और लिजेंड्रे ने अनुमान लगाया, और डे ला वल्ली पुसिन ने साबित किया कि अगर $a$ और $d$ Coprime हैं, तो

\pi _{d,a}(x)\sim {\frac {\operatorname {Li} (x)}{\varphi (d)}}\ ,

कहाँ $φ$ यूलर का कुल कार्य है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं $[a]$ मॉड्यूलर अंकगणित $d$ साथ $gcd(a, d) = 1$ . यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक मजबूत है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है।^[28] सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए अच्छा अनुमान देता है।

बेनेट एट अल। ^[29] निम्नलिखित अनुमान को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं $A$ और $B$ (प्रमेय 1.3): होने देना $d$ $\geq 3$ पूर्णांक बनें और दें $a$ पूर्णांक बनें जो कोप्राइम है $d$ . फिर सकारात्मक स्थिरांक हैं $A$ और $B$ ऐसा है कि

\left|\pi _{d,a}(x)-{\frac {\ \operatorname {Li} (x)\ }{\ \varphi (d)\ }}\right|<{\frac {A\ x}{\ (\log x)^{2}\ }}\quad {\text{ for all }}\quad x\geq B\ ,

कहाँ

A={\frac {1}{\ 840\ }}\quad {\text{ if }}\quad 3\leq d\leq 10^{4}\quad {\text{ and }}\quad A={\frac {1}{\ 160\ }}\quad {\text{ if }}\quad d>10^{4}~,

और

B=8\cdot 10^{9}\quad {\text{ if }}\quad 3\leq d\leq 10^{5}\quad {\text{ and }}\quad B=\exp(\ 0.03\ {\sqrt {d\ }}\ (\log {d})^{3}\ )\quad {\text{ if }}\quad d>10^{5}\ .

अभाज्य संख्या जाति

समारोह का प्लॉट

\ \pi (x;4,3)-\pi (x;4,1)\

n ≤ 30000 के लिए

हालांकि हमारे पास विशेष रूप से है

\pi _{4,1}(x)\sim \pi _{4,3}(x)\ ,

अनुभवजन्य रूप से 3 के सर्वांगसम अभाज्य संख्याएँ अधिक हैं और इस अभाज्य संख्या की दौड़ में लगभग हमेशा आगे रहती हैं; पहला उत्क्रमण पर होता है $x = 26861$ .^[30]^: 1–2 हालाँकि लिटिलवुड ने 1914 में दिखाया^[30]^: 2 कि फलन के लिए अपरिमित रूप से अनेक चिह्न परिवर्तन हैं

\pi _{4,1}(x)-\pi _{4,3}(x)~,

इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो $π 4,3 (x)$ अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या हमेशा ऐसा ही होता है $π (x; a, c)$ और $π (x; b, c)$ स्थान बदलें जब $a$ और $b$ कोप्राइम हैं $c$ .^[31] एंड्रयू ग्रानविले और मार्टिन संपूर्ण विवरण और सर्वेक्षण देते हैं।^[30]

== प्राइम-काउंटिंग फंक्शन == पर गैर-असिम्प्टोटिक सीमाएँ अभाज्य संख्या प्रमेय उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी परिणाम देता है $π (x)$ सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए $ε > 0$ , वहाँ है $S$ ऐसा कि सभी के लिए $x > S$ ,

(1-\varepsilon ){\frac {x}{\log x}}\;<\;\pi (x)\;<\;(1+\varepsilon ){\frac {x}{\log x}}\;.

हालांकि, बेहतर सीमा है $π (x)$ जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का

{\frac {x}{\log x}}\left(1+{\frac {1}{\log x}}\right)\;<\;\pi (x)\;<\;{\frac {x}{\log x}}\left(1+{\frac {1}{\log x}}+{\frac {2.51}{(\log x)^{2}}}\right)\;.

पहली असमानता सभी के लिए है $x \geq 599$ और दूसरा के लिए $x \geq 355991$ .^[32] के लिए कमजोर लेकिन कभी-कभी उपयोगी बाउंड $x \geq 55$ है^[33]

{\frac {x}{\log x+2}}\;<\;\pi (x)\;<\;{\frac {x}{\log x-4}}\;.

पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के मजबूत संस्करण हैं जो बड़े के लिए मान्य हैं $x$ . बाद में 2010 में, दुसार्ट ने साबित किया:^[34]

{\begin{aligned}{\frac {x}{\log x-1}}\;&<\;\pi (x)&&{\text{  for }}x\geq 5393\;,{\text{   and }}\\\pi (x)\;&<\;{\frac {x}{\log x-1.1}}&&{\text{  for }}x\geq 60184\;.\end{aligned}}

डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए $ε > 0$ , वहाँ है $S$ ऐसा कि सभी के लिए $x > S$ ,

{\frac {x}{\log x-(1-\varepsilon )}}\;<\;\pi (x)\;<\;{\frac {x}{\log x-(1+\varepsilon )}}\;.

के लिए अनुमान $n$ वें अभाज्य संख्या

अभाज्य संख्या प्रमेय के परिणाम के रूप में, के लिए स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है $n$ वें अभाज्य संख्या, द्वारा निरूपित $p n$ :

p_{n}\sim n\log n.

एक बेहतर सन्निकटन है^[35]

{\frac {p_{n}}{n}}=\log n+\log \log n-1+{\frac {\log \log n-2}{\log n}}-{\frac {(\log \log n)^{2}-6\log \log n+11}{2(\log n)^{2}}}+o\left({\frac {1}{(\log n)^{2}}}\right).

फिर से विचार कर रहा हूँ 2×10¹⁷वें अभाज्य संख्या 8512677386048191063, यह अनुमान देता है 8512681315554715386; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।

रोसेर की प्रमेय कहती है कि

p_{n}>n\log n.

इसे निम्नलिखित बाउंड युग्म द्वारा सुधारा जा सकता है:^[33]

^[36]

\log n+\log \log n-1<{\frac {p_{n}}{n}}<\log n+\log \log n\quad {\text{for }}n\geq 6.

की तालिका $π (x)$ , $x / log x$ , और $li(x)$

तालिका के सटीक मानों की तुलना करती है $π (x)$ दो अनुमानों के लिए $x / log x$ और $li(x)$ . अंतिम स्तंभ, $x / π (x)$ , नीचे औसत प्रमुख अंतर है $x$ .

$x$	$π (x)$	$π (x) - x / log x$	$π (x) / x / log x$	$li(x) - π (x)$	$x / π (x)$
10	4	−0.3	0.921	2.2	2.500
10²	25	3.3	1.151	5.1	4.000
10³	168	23.0	1.161	10.0	5.952
10⁴	1229	143.0	1.132	17.0	8.137
10⁵	9592	906.0	1.104	38.0	10.425
10⁶	78498	6116.0	1.084	130.0	12.740
10⁷	664579	44158.0	1.071	339.0	15.047
10⁸	5761455	332774.0	1.061	754.0	17.357
10⁹	50847534	2592592.0	1.054	1701.0	19.667
10¹⁰	455052511	20758029.0	1.048	3104.0	21.975
10¹¹	4118054813	169923159.0	1.043	11588.0	24.283
10¹²	37607912018	1416705193.0	1.039	38263.0	26.590
10¹³	346065536839	11992858452.0	1.034	108971.0	28.896
10¹⁴	3204941750802	102838308636.0	1.033	314890.0	31.202
10¹⁵	29844570422669	891604962452.0	1.031	1052619.0	33.507
10¹⁶	279238341033925	7804289844393.0	1.029	3214632.0	35.812
10¹⁷	2623557157654233	68883734693281.0	1.027	7956589.0	38.116
10¹⁸	24739954287740860	612483070893536.0	1.025	21949555.0	40.420
10¹⁹	234057667276344607	5481624169369960.0	1.024	99877775.0	42.725
10²⁰	2220819602560918840	49347193044659701.0	1.023	222744644.0	45.028
10²¹	21127269486018731928	446579871578168707.0	1.022	597394254.0	47.332
10²²	201467286689315906290	4060704006019620994.0	1.021	1932355208.0	49.636
10²³	1925320391606803968923	37083513766578631309.0	1.020	7250186216.0	51.939
10²⁴	18435599767349200867866	339996354713708049069.0	1.019	17146907278.0	54.243
10²⁵	176846309399143769411680	3128516637843038351228.0	1.018	55160980939.0	56.546
OEIS	A006880	A057835		A057752

के लिए मूल्य $π (10 24)$ मूल रूप से रीमैन परिकल्पना मानते हुए गणना की गई थी;^[37] तब से इसे बिना शर्त सत्यापित किया गया है।^[38]

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

अभाज्य संख्या प्रमेय का एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह शास्त्रीय अभाज्य संख्या प्रमेय के मामले के समान ही है।

इसे ठीक-ठीक बताने के लिए, आइए $F = GF(q)$ के साथ परिमित क्षेत्र हो $q$ तत्व, कुछ निश्चित के लिए $q$ , और जाने $N n$ मोनिक बहुपद अलघुकरणीय बहुपदों की संख्या अधिक हो $F$ जिसकी बहुपद की डिग्री के बराबर है $n$ . यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें से चुना गया है $F$ , जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस सेटिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है

N_{n}\sim {\frac {q^{n}}{n}}.

अगर हम प्रतिस्थापन करते हैं $x = q n$ , तो दाहिना हाथ न्यायपूर्ण है

{\frac {x}{\log _{q}x}},

जो समानता को स्पष्ट करता है। चूंकि ठीक हैं $q n$ डिग्री के मोनिक बहुपद $n$ (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का मोनिक बहुपद $n$ बेतरतीब ढंग से चुना जाता है, तो इसके अलघुकरणीय होने की प्रायिकता लगभग होती है $1 / n$ .

कोई भी रीमैन परिकल्पना का एनालॉग भी साबित कर सकता है, जिसका नाम है

N_{n}={\frac {q^{n}}{n}}+O\left({\frac {q^{\frac {n}{2}}}{n}}\right).

शास्त्रीय मामले की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें छोटा, साहचर्य तर्क शामिल है,^[39] संक्षेप में इस प्रकार है: डिग्री के हर तत्व $n$ का विस्तार $F$ कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात है $d$ विभाजित $n$ ; इन जड़ों को दो अलग-अलग तरीकों से गिनने से यह स्थापित होता है

q^{n}=\sum _{d\mid n}dN_{d},

जहां योग सभी विभाजक पर है $d$ का $n$ . मोबियस उलटा तो उपज देता है

N_{n}={\frac {1}{n}}\sum _{d\mid n}\mu \left({\frac {n}{d}}\right)q^{d},

कहाँ $μ (k)$ मोबियस फ़ंक्शन है। (यह सूत्र गॉस को ज्ञात था।) मुख्य शब्द के लिए होता है $d = n$ , और शेष शर्तों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा उचित विभाजक $n$ से बड़ा नहीं हो सकता $n / 2$ .

यह भी देखें

सार विश्लेषणात्मक संख्या सिद्धांत प्रमेय के सामान्यीकरण के बारे में जानकारी के लिए।
बीजगणितीय संख्या क्षेत्रों में प्रमुख आदर्शों के सामान्यीकरण के लिए लन्दौ प्रधान आदर्श प्रमेय।
रीमैन परिकल्पना

उद्धरण

↑ ^1.0 ^1.1 Hadamard, Jacques (1896), "Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.", Bulletin de la Société Mathématique de France, Société Mathématique de France, 24: 199–220, archived from the original on 2012-07-17
↑ ^2.0 ^2.1 de la Vallée Poussin, Charles-Jean (1896), "Recherches analytiques sur la théorie des nombres premiers.", Annales de la Société scientifique de Bruxelles, Imprimeur de l'Académie Royale de Belgique, 20 B, 21 B: 183–256, 281–352, 363–397, 351–368
↑ Hoffman, Paul (1998). The Man Who Loved Only Numbers. New York: Hyperion Books. p. 227. ISBN 978-0-7868-8406-3. MR 1666054.
↑ "Prime Curios!: 8512677386048191063". Prime Curios!. University of Tennessee at Martin. 2011-10-09.
↑ M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 80–82. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.
↑ M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 92–94. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.
↑ Gauss, C. F. (1863), Werke, vol. 2 (1st ed.), Göttingen: Teubner, pp. 444–447.
↑ Costa Pereira, N. (August–September 1985). "A Short Proof of Chebyshev's Theorem". American Mathematical Monthly. 92 (7): 494–495. doi:10.2307/2322510. JSTOR 2322510.
↑ Nair, M. (February 1982). "On Chebyshev-Type Inequalities for Primes". American Mathematical Monthly. 89 (2): 126–129. doi:10.2307/2320934. JSTOR 2320934.
↑ Ingham, A. E. (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 2–5. ISBN 978-0-521-39789-6.
↑ ^11.0 ^11.1 Selberg, Atle (1949), "An Elementary Proof of the Prime-Number Theorem", Annals of Mathematics, 50 (2): 305–313, doi:10.2307/1969455, JSTOR 1969455, MR 0029410, S2CID 124153092
↑ Tao, Terence (10 December 2014). "254A, Notes 2: Complex-analytic multiplicative number theory". Terence Tao's blog.
↑ Edwards, Harold M. (2001). Riemann's zeta function. Courier Dover Publications. ISBN 978-0-486-41740-0.
↑ Cite error: Invalid <ref> tag; no text was provided for refs named :0
↑ {{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url=https://books.google.com/books?id=_O0GAAAAYAAJ}
↑ Kevin Ford (2002). "Vinogradov's Integral and Bounds for the Riemann Zeta Function" (PDF). Proc. London Math. Soc. 85 (3): 565–633. arXiv:1910.08209. doi:10.1112/S0024611502013655. S2CID 121144007.
↑ Tim Trudgian (February 2016). "Updating the error term in the prime number theorem". Ramanujan Journal. 39 (2): 225–234. arXiv:1401.2689. doi:10.1007/s11139-014-9656-6. S2CID 11013503.
↑ von Koch, Helge (1901). "Sur la distribution des nombres premiers" [On the distribution of prime numbers]. Acta Mathematica (in français). 24 (1): 159–182. doi:10.1007/BF02403071. MR 1554926. S2CID 119914826.
↑ Schoenfeld, Lowell (1976). "Sharper Bounds for the Chebyshev Functions $ϑ (x)$ and $ψ (x)$ . II". Mathematics of Computation. 30 (134): 337–360. doi:10.2307/2005976. JSTOR 2005976. MR 0457374.
↑ Jørgensen, Bent; Martínez, José Raúl; Tsao, Min (1994). "Asymptotic behaviour of the variance function". Scandinavian Journal of Statistics. 21 (3): 223–243. JSTOR 4616314. MR 1292637.
↑ Littlewood, J.E. (1914). "Sur la distribution des nombres premiers". Comptes Rendus. 158: 1869–1872. JFM 45.0305.01.
↑ ^22.0 ^22.1 ^22.2 Goldfeld, Dorian (2004). "The elementary proof of the prime number theorem: an historical perspective" (PDF). In Chudnovsky, David; Chudnovsky, Gregory; Nathanson, Melvyn (eds.). Number theory (New York, 2003). New York: Springer-Verlag. pp. 179–192. doi:10.1007/978-1-4419-9060-0_10. ISBN 978-0-387-40655-8. MR 2044518.
↑ Cite error: Invalid <ref> tag; no text was provided for refs named Erdős1949
↑ Baas, Nils A.; Skau, Christian F. (2008). "The lord of the numbers, Atle Selberg. On his life and mathematics" (PDF). Bull. Amer. Math. Soc. 45 (4): 617–649. doi:10.1090/S0273-0979-08-01223-8. MR 2434348.
↑ Cornaros, Charalambos; Dimitracopoulos, Costas (1994). "The prime number theorem and fragments of PA" (PDF). Archive for Mathematical Logic. 33 (4): 265–281. doi:10.1007/BF01270626. MR 1294272. S2CID 29171246. Archived from the original (PDF) on 2011-07-21.
↑ ^26.0 ^26.1 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul (2008). "A formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1): 2. arXiv:cs/0509025. doi:10.1145/1297658.1297660. MR 2371488. S2CID 7720253.
↑ Harrison, John (2009). "Formalizing an analytic proof of the Prime Number Theorem". Journal of Automated Reasoning. 43 (3): 243–261. CiteSeerX 10.1.1.646.9725. doi:10.1007/s10817-009-9145-6. MR 2544285. S2CID 8032103.
↑ Soprounov, Ivan (1998). "A short proof of the Prime Number Theorem for arithmetic progressions" (PDF). Ohio: Cleveland State University.
↑ Bennett, Michael A.; Martin, Greg; O'Bryant, Kevin; Rechnitzer, Andrew (2018). "Explicit bounds for primes in arithmetic progressions". Illinois J. Math. 62 (1–4): 427–532. arXiv:1802.00085. doi:10.1215/ijm/1552442669. S2CID 119647640.
↑ ^30.0 ^30.1 ^30.2 Granville, Andrew; Martin, Greg (2006). "Prime number races" (PDF). American Mathematical Monthly. 113 (1): 1–33. doi:10.2307/27641834. JSTOR 27641834. MR 2202918.
↑ Guy, Richard K. (2004). Unsolved Problems in Number Theory (3rd ed.). Springer-Verlag. A4. ISBN 978-0-387-20860-2. Zbl 1058.11001.
↑ Dusart, Pierre (26 May 1998). Autour de la fonction qui compte le nombre de nombres premiers. département de Mathématiques (Ph.D. thesis) (in français). Limoges, France: l'Université de Limoges.
↑ ^33.0 ^33.1 Rosser, Barkley (1941). "Explicit bounds for some functions of prime numbers". American Journal of Mathematics. 63 (1): 211–232. doi:10.2307/2371291. JSTOR 2371291. MR 0003018.
↑ Dusart, Pierre (2010). "Estimates of some functions over primes, without R.H.". arXiv:1002.0442 [math.NT].
↑ Cesàro, Ernesto (1894). "Sur une formule empirique de M. Pervouchine". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences (in français). 119: 848–849.
↑ Dusart, Pierre (1999). "The $k$ [[Category: Templates Vigyan Ready]]th prime is greater than $k (log k + log log k -1)$ [[Category: Templates Vigyan Ready]] for $k \geq 2$ [[Category: Templates Vigyan Ready]]". Mathematics of Computation. 68 (225): 411–415. doi:10.1090/S0025-5718-99-01037-6. MR 1620223. {{cite journal}}: URL–wikilink conflict (help)
↑ "Conditional Calculation of $π (10 24)$ [[Category: Templates Vigyan Ready]]". Chris K. Caldwell. Archived from the original on 2010-08-04. Retrieved 2010-08-03. {{cite web}}: URL–wikilink conflict (help)
↑ Platt, David (2015). "Computing $π (x)$ analytically". Mathematics of Computation. 84 (293): 1521–1535. arXiv:1203.5712. doi:10.1090/S0025-5718-2014-02884-6. MR 3315519. S2CID 119174627.
↑ Chebolu, Sunil; Mináč, Ján (December 2011). "Counting Irreducible Polynomials over Finite Fields Using the Inclusion $π$ Exclusion Principle". Mathematics Magazine. 84 (5): 369–371. arXiv:1001.0409. doi:10.4169/math.mag.84.5.369. JSTOR 10.4169/math.mag.84.5.369. S2CID 115181186.

संदर्भ

Granville, Andrew (1995). "Harald Cramér and the distribution of prime numbers" (PDF). Scandinavian Actuarial Journal. 1: 12–28. CiteSeerX 10.1.1.129.6847. doi:10.1080/03461238.1995.10413946.
Hardy, G.H.; Littlewood, J.E. (1916). "Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes". Acta Mathematica. 41: 119–196. doi:10.1007/BF02422942. S2CID 53405990.
Hardy, G. H.; Wright, E. M. (2008) [1st ed. 1938], An Introduction to the Theory of Numbers, Revised by D. R. Heath-Brown and J. H. Silverman, with a foreword by Andrew Wiles (6th ed.), Oxford: Oxford University Press, ISBN 978-0-19-921985-8
Narkiewicz, Władysław (2000), The Development of Prime Number Theory: From Euclid to Hardy and Littlewood, Springer Monographs in Mathematics, Springer-Verlag, doi:10.1007/978-3-662-13157-2, ISBN 978-3-540-66289-1, ISSN 1439-7382

बाहरी संबंध

"Distribution of prime numbers", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Table of Primes by Anton Felkel.
Short video visualizing the Prime Number Theorem.
Prime formulas and Prime number theorem at MathWorld.
How Many Primes Are There? Archived 2012-10-15 at the Wayback Machine and The Gaps between Primes by Chris Caldwell, University of Tennessee at Martin.
Tables of prime-counting functions by Tomás Oliveira e Silva
Eberl, Manuel and Paulson, L. C. The Prime Number Theorem (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)
The Prime Number Theorem: the "elementary" proof − An exposition of the elementary proof of the Prime Number Theorem of Atle Selberg and Paul Erdős at www.dimostriamogoldbach.it/en/

[Hadamard1896-1] 1.0 ^1.1 Hadamard, Jacques (1896), "Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.", Bulletin de la Société Mathématique de France, Société Mathématique de France, 24: 199–220, archived from the original on 2012-07-17

[de_la_Vallée_Poussin1896-2] 2.0 ^2.1 de la Vallée Poussin, Charles-Jean (1896), "Recherches analytiques sur la théorie des nombres premiers.", Annales de la Société scientifique de Bruxelles, Imprimeur de l'Académie Royale de Belgique, 20 B, 21 B: 183–256, 281–352, 363–397, 351–368

[3] Hoffman, Paul (1998). The Man Who Loved Only Numbers. New York: Hyperion Books. p. 227. ISBN 978-0-7868-8406-3. MR 1666054.

[4] "Prime Curios!: 8512677386048191063". Prime Curios!. University of Tennessee at Martin. 2011-10-09.

[5] M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 80–82. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.

[6] M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 92–94. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.

[7] Gauss, C. F. (1863), Werke, vol. 2 (1st ed.), Göttingen: Teubner, pp. 444–447.

[8] Costa Pereira, N. (August–September 1985). "A Short Proof of Chebyshev's Theorem". American Mathematical Monthly. 92 (7): 494–495. doi:10.2307/2322510. JSTOR 2322510.

[9] Nair, M. (February 1982). "On Chebyshev-Type Inequalities for Primes". American Mathematical Monthly. 89 (2): 126–129. doi:10.2307/2320934. JSTOR 2320934.

[10] Ingham, A. E. (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 2–5. ISBN 978-0-521-39789-6.

[Selberg1949-11] 11.0 ^11.1 Selberg, Atle (1949), "An Elementary Proof of the Prime-Number Theorem", Annals of Mathematics, 50 (2): 305–313, doi:10.2307/1969455, JSTOR 1969455, MR 0029410, S2CID 124153092

[12] Tao, Terence (10 December 2014). "254A, Notes 2: Complex-analytic multiplicative number theory". Terence Tao's blog.

[13] Edwards, Harold M. (2001). Riemann's zeta function. Courier Dover Publications. ISBN 978-0-486-41740-0.

[:0-14] Cite error: Invalid <ref> tag; no text was provided for refs named :0

[de_la_Vallée_Poussin1899-15] {{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url=https://books.google.com/books?id=_O0GAAAAYAAJ}

[Ford-16] Kevin Ford (2002). "Vinogradov's Integral and Bounds for the Riemann Zeta Function" (PDF). Proc. London Math. Soc. 85 (3): 565–633. arXiv:1910.08209. doi:10.1112/S0024611502013655. S2CID 121144007.

[17] Tim Trudgian (February 2016). "Updating the error term in the prime number theorem". Ramanujan Journal. 39 (2): 225–234. arXiv:1401.2689. doi:10.1007/s11139-014-9656-6. S2CID 11013503.

[18] von Koch, Helge (1901). "Sur la distribution des nombres premiers" [On the distribution of prime numbers]. Acta Mathematica (in français). 24 (1): 159–182. doi:10.1007/BF02403071. MR 1554926. S2CID 119914826.

[19] Schoenfeld, Lowell (1976). "Sharper Bounds for the Chebyshev Functions $ϑ (x)$ and $ψ (x)$ . II". Mathematics of Computation. 30 (134): 337–360. doi:10.2307/2005976. JSTOR 2005976. MR 0457374.

[20] Jørgensen, Bent; Martínez, José Raúl; Tsao, Min (1994). "Asymptotic behaviour of the variance function". Scandinavian Journal of Statistics. 21 (3): 223–243. JSTOR 4616314. MR 1292637.

[21] Littlewood, J.E. (1914). "Sur la distribution des nombres premiers". Comptes Rendus. 158: 1869–1872. JFM 45.0305.01.

[Goldfeld_Historical_Perspective-22] 22.0 ^22.1 ^22.2 Goldfeld, Dorian (2004). "The elementary proof of the prime number theorem: an historical perspective" (PDF). In Chudnovsky, David; Chudnovsky, Gregory; Nathanson, Melvyn (eds.). Number theory (New York, 2003). New York: Springer-Verlag. pp. 179–192. doi:10.1007/978-1-4419-9060-0_10. ISBN 978-0-387-40655-8. MR 2044518.

[Erdős1949-23] Cite error: Invalid <ref> tag; no text was provided for refs named Erdős1949

[interview-24] Baas, Nils A.; Skau, Christian F. (2008). "The lord of the numbers, Atle Selberg. On his life and mathematics" (PDF). Bull. Amer. Math. Soc. 45 (4): 617–649. doi:10.1090/S0273-0979-08-01223-8. MR 2434348.

[25] Cornaros, Charalambos; Dimitracopoulos, Costas (1994). "The prime number theorem and fragments of PA" (PDF). Archive for Mathematical Logic. 33 (4): 265–281. doi:10.1007/BF01270626. MR 1294272. S2CID 29171246. Archived from the original (PDF) on 2011-07-21.

[Avigad-26] 26.0 ^26.1 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul (2008). "A formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1): 2. arXiv:cs/0509025. doi:10.1145/1297658.1297660. MR 2371488. S2CID 7720253.

[27] Harrison, John (2009). "Formalizing an analytic proof of the Prime Number Theorem". Journal of Automated Reasoning. 43 (3): 243–261. CiteSeerX 10.1.1.646.9725. doi:10.1007/s10817-009-9145-6. MR 2544285. S2CID 8032103.

[28] Soprounov, Ivan (1998). "A short proof of the Prime Number Theorem for arithmetic progressions" (PDF). Ohio: Cleveland State University.

[29] Bennett, Michael A.; Martin, Greg; O'Bryant, Kevin; Rechnitzer, Andrew (2018). "Explicit bounds for primes in arithmetic progressions". Illinois J. Math. 62 (1–4): 427–532. arXiv:1802.00085. doi:10.1215/ijm/1552442669. S2CID 119647640.

[Granville_Martin_MAA-30] 30.0 ^30.1 ^30.2 Granville, Andrew; Martin, Greg (2006). "Prime number races" (PDF). American Mathematical Monthly. 113 (1): 1–33. doi:10.2307/27641834. JSTOR 27641834. MR 2202918.

[GuyA4-31] Guy, Richard K. (2004). Unsolved Problems in Number Theory (3rd ed.). Springer-Verlag. A4. ISBN 978-0-387-20860-2. Zbl 1058.11001.

[32] Dusart, Pierre (26 May 1998). Autour de la fonction qui compte le nombre de nombres premiers. département de Mathématiques (Ph.D. thesis) (in français). Limoges, France: l'Université de Limoges.

[rosser-33] 33.0 ^33.1 Rosser, Barkley (1941). "Explicit bounds for some functions of prime numbers". American Journal of Mathematics. 63 (1): 211–232. doi:10.2307/2371291. JSTOR 2371291. MR 0003018.

[34] Dusart, Pierre (2010). "Estimates of some functions over primes, without R.H.". arXiv:1002.0442 [math.NT].

[35] Cesàro, Ernesto (1894). "Sur une formule empirique de M. Pervouchine". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences (in français). 119: 848–849.

[36] Dusart, Pierre (1999). "The $k$ [[Category: Templates Vigyan Ready]]th prime is greater than $k (log k + log log k -1)$ [[Category: Templates Vigyan Ready]] for $k \geq 2$ [[Category: Templates Vigyan Ready]]". Mathematics of Computation. 68 (225): 411–415. doi:10.1090/S0025-5718-99-01037-6. MR 1620223. {{cite journal}}: URL–wikilink conflict (help)

[Franke-37] "Conditional Calculation of $π (10 24)$ [[Category: Templates Vigyan Ready]]". Chris K. Caldwell. Archived from the original on 2010-08-04. Retrieved 2010-08-03. {{cite web}}: URL–wikilink conflict (help)

[PlattARXIV2012-38] Platt, David (2015). "Computing $π (x)$ analytically". Mathematics of Computation. 84 (293): 1521–1535. arXiv:1203.5712. doi:10.1090/S0025-5718-2014-02884-6. MR 3315519. S2CID 119174627.

[39] Chebolu, Sunil; Mináč, Ján (December 2011). "Counting Irreducible Polynomials over Finite Fields Using the Inclusion $π$ Exclusion Principle". Mathematics Magazine. 84 (5): 369–371. arXiv:1001.0409. doi:10.4169/math.mag.84.5.369. JSTOR 10.4169/math.mag.84.5.369. S2CID 115181186.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

Anonymous

Search

अभाज्य संख्या प्रमेय: Difference between revisions

Namespaces

More

Page actions

Revision as of 14:00, 11 July 2023

Contents

कथन

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

सबूत स्केच

गैर-लुप्त होने पर $Re(s) = 1$

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

प्राथमिक प्रमाण

कंप्यूटर सत्यापन

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

अभाज्य संख्या जाति

के लिए अनुमान $n$ वें अभाज्य संख्या

की तालिका $π (x)$ , $x / log x$ , और $li(x)$

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

यह भी देखें

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 3: / Line 3: @@
 गणित में, [[अभाज्य संख्या]] प्रमेय (PNT) सकारात्मक पूर्णांकों के बीच अभाज्य संख्याओं के विषम विश्लेषण वितरण का वर्णन करता है। यह सहज ज्ञान युक्त विचार को औपचारिक रूप देता है कि प्राइम कम सामान्य हो जाते हैं क्योंकि वे उस दर को सटीक रूप से मापते हैं जिस पर यह घटित होता है। [[जैक्स हैडमार्ड]] द्वारा प्रमेय को स्वतंत्र रूप से सिद्ध किया गया था<ref name="Hadamard1896">{{Citation|last=Hadamard|first=Jacques|author-link=Jacques Hadamard|year=1896|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.|journal=Bulletin de la Société Mathématique de France|publisher=Société Mathématique de France|volume=24|pages=199–220|url=http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-url=https://web.archive.org/web/20120717195014/http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-date=2012-07-17 }}</ref> और चार्ल्स जीन डे ला वाली पुसिन<ref name="de la Vallée Poussin1896">{{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1896|title=Recherches analytiques sur la théorie des nombres premiers.|journal=Annales de la Société scientifique de Bruxelles|publisher=Imprimeur de l'Académie Royale de Belgique|volume=20 B; 21 B|pages=183-256, 281-352, 363-397; 351-368|url=http://sciences.amisbnf.org/fr/livre/recherches-analytiques-de-la-theorie-des-nombres-premiers}}</ref> 1896 में [[बर्नहार्ड रीमैन]] (विशेष रूप से, [[रीमैन जीटा फ़ंक्शन]]) द्वारा पेश किए गए विचारों का उपयोग करते हुए।
-इस तरह का पहला वितरण पाया गया है {{math|''π''(''N'') ~ {{sfrac|''N''|log(''N'')}}}}, कहाँ {{math|''π''(''N'')}} [[प्राइम-काउंटिंग फंक्शन]] है (एन से कम या उसके बराबर प्राइम्स की संख्या) और {{math|log(''N'')}} का [[प्राकृतिक]] लघुगणक है {{mvar|N}}. इसका मतलब है कि काफी बड़े के लिए {{mvar|N}}[[संभावना]] है कि एक यादृच्छिक पूर्णांक से अधिक नहीं है {{mvar|N}} प्राइम के बहुत करीब है {{math|1 / log(''N'')}}. नतीजतन, अधिकतम के साथ एक यादृच्छिक पूर्णांक {{math|2''n''}} अंक (पर्याप्त बड़े के लिए {{mvar|n}}) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग आधा है {{mvar|n}} अंक। उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग एक अभाज्य है ({{math|log(10<sup>1000</sup>) ≈ 2302.6}}), जबकि अधिकतम 2000 अंकों के सकारात्मक पूर्णांकों में से, 4600 में लगभग एक अभाज्य है ({{math|log(10<sup>2000</sup>) ≈ 4605.2}}). दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर {{mvar|N}} पूर्णांक मोटे तौर पर है {{math|log(''N'')}}.<ref>{{cite book|last = Hoffman|first = Paul|title = The Man Who Loved Only Numbers|url = https://archive.org/details/manwholovedonlyn00hoff/page/227|url-access = registration|publisher = Hyperion Books|year = 1998|page = [https://archive.org/details/manwholovedonlyn00hoff/page/227 227]|isbn = 978-0-7868-8406-3|mr = 1666054|location = New York}}</ref>
+इस तरह का पहला वितरण पाया गया है {{math|''π''(''N'') ~ {{sfrac|''N''|log(''N'')}}}}, कहाँ {{math|''π''(''N'')}} [[प्राइम-काउंटिंग फंक्शन]] है (एन से कम या उसके बराबर प्राइम्स की संख्या) और {{math|log(''N'')}} का [[प्राकृतिक]] लघुगणक है {{mvar|N}}. इसका मतलब है कि काफी बड़े के लिए {{mvar|N}} [[संभावना]] है कि यादृच्छिक पूर्णांक से अधिक नहीं है {{mvar|N}} प्राइम के बहुत करीब है {{math|1 / log(''N'')}}. नतीजतन, अधिकतम के साथ यादृच्छिक पूर्णांक {{math|2''n''}} अंक (पर्याप्त बड़े के लिए {{mvar|n}}) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग आधा है {{mvar|n}} अंक। उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग अभाज्य है ({{math|log(10<sup>1000</sup>) ≈ 2302.6}}), जबकि अधिकतम 2000 अंकों के सकारात्मक पूर्णांकों में से, 4600 में लगभग अभाज्य है ({{math|log(10<sup>2000</sup>) ≈ 4605.2}}). दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर {{mvar|N}} पूर्णांक मोटे तौर पर है {{math|log(''N'')}}.<ref>{{cite book|last = Hoffman|first = Paul|title = The Man Who Loved Only Numbers|url = https://archive.org/details/manwholovedonlyn00hoff/page/227|url-access = registration|publisher = Hyperion Books|year = 1998|page = [https://archive.org/details/manwholovedonlyn00hoff/page/227 227]|isbn = 978-0-7868-8406-3|mr = 1666054|location = New York}}</ref>
@@ Line 9: / Line 9: @@
 [[File:Prime number theorem ratio convergence.svg|thumb|300px|प्राइम-काउंटिंग फ़ंक्शन का अनुपात दिखाने वाला ग्राफ़ {{math|''π''(''x'')}} इसके दो अनुमानों के लिए, {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}. जैसा {{mvar|x}} बढ़ता है (ध्यान दें {{mvar|x}} अक्ष लॉगरिदमिक है), दोनों अनुपात 1 की ओर जाते हैं। अनुपात के लिए {{math|''x'' / log ''x''}} ऊपर से बहुत धीरे-धीरे परिवर्तित होता है, जबकि अनुपात के लिए {{math|Li(''x'')}} नीचे से अधिक तेज़ी से एकाग्र होता है।]]
 [[File:Prime number theorem absolute error.svg|thumb|300px|लॉग-लॉग प्लॉट की पूर्ण त्रुटि दिखा रहा है {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}, प्राइम-काउंटिंग फंक्शन के दो सन्निकटन {{math|''π''(''x'')}}. अनुपात के विपरीत, के बीच का अंतर {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} के रूप में बिना किसी सीमा के बढ़ता है {{mvar|x}} बढ़ती है। वहीं दूसरी ओर, {{math|Li(''x'') − ''π''(''x'')}} स्विच अनंत बार हस्ताक्षर करते हैं।]]
-<!--[[Image:PrimeNumberTheorem.svg|thumb|right|250px|Graph comparing {{math|''π''(''x'')}} (red), {{math|''x'' / log ''x''}} (green) and {{math|Li(''x'')}} (blue)]] -->
-होने देना {{math|''π''(''x'')}} प्राइम-काउंटिंग फंक्शन बनें, जो प्राइम्स की संख्या से कम या उसके बराबर हो {{mvar|x}}, किसी भी वास्तविक संख्या के लिए{{mvar|x}}. उदाहरण के लिए, {{math|''π''(10) {{=}} 4}} क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके बराबर हैं। अभाज्य संख्या प्रमेय तब बताता है कि {{math|''x'' / log ''x''}} का अच्छा अनुमान है {{math|''π''(''x'')}} (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो कार्यों के भागफल के एक कार्य की सीमा {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} जैसा {{mvar|x}} बिना किसी सीमा के बढ़ता है 1:
+होने देना {{math|''π''(''x'')}} प्राइम-काउंटिंग फंक्शन बनें, जो प्राइम्स की संख्या से कम या उसके बराबर हो {{mvar|x}}, किसी भी वास्तविक संख्या के लिए{{mvar|x}}. उदाहरण के लिए, {{math|''π''(10) {{=}} 4}} क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके बराबर हैं। अभाज्य संख्या प्रमेय तब बताता है कि {{math|''x'' / log ''x''}} का अच्छा अनुमान है {{math|''π''(''x'')}} (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो कार्यों के भागफल के कार्य की सीमा {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} जैसा {{mvar|x}} बिना किसी सीमा के बढ़ता है 1:
 : <math>\lim_{x\to\infty}\frac{\;\pi(x)\;}{\;\left[ \frac{x}{\log(x)}\right]\;} = 1,</math>
@@ Line 37: / Line 37: @@
 == अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास ==
-[[एंटोन फेलकेल]] और [[यूरी वेगा]] द्वारा तालिकाओं के आधार पर, [[एड्रियन मैरी लीजेंड्रे]] ने 1797 या 1798 में अनुमान लगाया कि {{math|''π''(''a'')}} समारोह द्वारा अनुमानित है {{math|''a'' / (''A'' log ''a'' + ''B'')}}, कहाँ {{mvar|A}} और {{mvar|B}} अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर एक लीजेंड्रे स्थिरांक बनाया, जिसके साथ {{math|''A'' {{=}} 1}} और {{math|''B'' {{=}} −1.08366}}. [[कार्ल फ्रेडरिक गॉस]] ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया, 1849 में अपने स्वयं के स्मरण के अनुसार।<ref>{{Citation|last=Gauss|first=C. F.|author-link=Carl Friedrich Gauss|year=1863|title=Werke|publisher=Teubner|location=Göttingen|edition=1st|volume=2|pages=444–447|url=https://archive.org/details/carlfriedrichgu00gausgoog/page/444/mode/2up}}.</ref> 1838 में [[पीटर गुस्ताव लेज्यून डिरिचलेट]] अपने स्वयं के सन्निकटन कार्य, [[लॉगरिदमिक इंटीग्रल]] के साथ आए {{math|li(''x'')}} (श्रृंखला के थोड़े अलग रूप के तहत, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं {{math|''π''(''x'')}} और {{math|''x'' / log(''x'')}} ऊपर कहा गया है, हालांकि यह पता चला है कि डिरिक्लेट का सन्निकटन काफी बेहतर है यदि कोई भागफल के बजाय अंतरों पर विचार करता है।
+[[एंटोन फेलकेल]] और [[यूरी वेगा]] द्वारा तालिकाओं के आधार पर, [[एड्रियन मैरी लीजेंड्रे]] ने 1797 या 1798 में अनुमान लगाया कि {{math|''π''(''a'')}} समारोह द्वारा अनुमानित है {{math|''a'' / (''A'' log ''a'' + ''B'')}}, कहाँ {{mvar|A}} और {{mvar|B}} अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर लीजेंड्रे स्थिरांक बनाया, जिसके साथ {{math|''A'' {{=}} 1}} और {{math|''B'' {{=}} −1.08366}}. [[कार्ल फ्रेडरिक गॉस]] ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया, 1849 में अपने स्वयं के स्मरण के अनुसार।<ref>{{Citation|last=Gauss|first=C. F.|author-link=Carl Friedrich Gauss|year=1863|title=Werke|publisher=Teubner|location=Göttingen|edition=1st|volume=2|pages=444–447|url=https://archive.org/details/carlfriedrichgu00gausgoog/page/444/mode/2up}}.</ref> 1838 में [[पीटर गुस्ताव लेज्यून डिरिचलेट]] अपने स्वयं के सन्निकटन कार्य, [[लॉगरिदमिक इंटीग्रल]] के साथ आए {{math|li(''x'')}} (श्रृंखला के थोड़े अलग रूप के तहत, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं {{math|''π''(''x'')}} और {{math|''x'' / log(''x'')}} ऊपर कहा गया है, हालांकि यह पता चला है कि डिरिक्लेट का सन्निकटन काफी बेहतर है यदि कोई भागफल के बजाय अंतरों पर विचार करता है।
-और 1850 के दो पत्रों में, रूसी गणितज्ञ [[Pafnuty Chebyshev]] ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया। जीटा फ़ंक्शन के उपयोग के लिए उनका काम उल्लेखनीय है {{math|''ζ''(''s'')}}, तर्क के वास्तविक मूल्यों के लिए{{mvar|s}}, जैसा कि 1737 की शुरुआत में [[लियोनहार्ड यूलर]] के कार्यों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख कानून के थोड़े कमजोर रूप को साबित करने में सफल रहे, अर्थात्, यदि सीमा के रूप में {{mvar|x}} की अनंतता में जाता है {{math|''π''(''x'') / (''x'' / log(''x''))}} बिल्कुल मौजूद है, तो यह अनिवार्य रूप से एक के बराबर है।<ref>{{cite journal |first=N. |last=Costa Pereira |jstor=2322510 |title=A Short Proof of Chebyshev's Theorem |journal=American Mathematical Monthly|date=August–September 1985|pages=494–495|volume=92|doi=10.2307/2322510|issue=7}}</ref> वह बिना शर्त यह साबित करने में सक्षम था कि यह अनुपात 1 के करीब दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप से बड़ा {{mvar|x}}.<ref>{{cite journal |first=M. |last=Nair |jstor=2320934 |title=On Chebyshev-Type Inequalities for Primes |journal=American Mathematical Monthly |date=February 1982 |pages=126–129 |volume=89 |doi=10.2307/2320934 |issue=2}}</ref> हालांकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को साबित नहीं करता है, लेकिन उसका अनुमान है {{math|''π''(''x'')}} बर्ट्रेंड के अभिधारणा को साबित करने के लिए पर्याप्त मजबूत थे कि उनके बीच एक अभाज्य संख्या मौजूद है {{math|''n''}} और {{math|2''n''}} किसी भी पूर्णांक के लिए {{math|''n'' ≥ 2}}.
+और 1850 के दो पत्रों में, रूसी गणितज्ञ [[Pafnuty Chebyshev]] ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया। जीटा फ़ंक्शन के उपयोग के लिए उनका काम उल्लेखनीय है {{math|''ζ''(''s'')}}, तर्क के वास्तविक मूल्यों के लिए{{mvar|s}}, जैसा कि 1737 की शुरुआत में [[लियोनहार्ड यूलर]] के कार्यों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख कानून के थोड़े कमजोर रूप को साबित करने में सफल रहे, अर्थात्, यदि सीमा के रूप में {{mvar|x}} की अनंतता में जाता है {{math|''π''(''x'') / (''x'' / log(''x''))}} बिल्कुल मौजूद है, तो यह अनिवार्य रूप से के बराबर है।<ref>{{cite journal |first=N. |last=Costa Pereira |jstor=2322510 |title=A Short Proof of Chebyshev's Theorem |journal=American Mathematical Monthly|date=August–September 1985|pages=494–495|volume=92|doi=10.2307/2322510|issue=7}}</ref> वह बिना शर्त यह साबित करने में सक्षम था कि यह अनुपात 1 के करीब दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप से बड़ा {{mvar|x}}.<ref>{{cite journal |first=M. |last=Nair |jstor=2320934 |title=On Chebyshev-Type Inequalities for Primes |journal=American Mathematical Monthly |date=February 1982 |pages=126–129 |volume=89 |doi=10.2307/2320934 |issue=2}}</ref> हालांकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को साबित नहीं करता है, लेकिन उसका अनुमान है {{math|''π''(''x'')}} बर्ट्रेंड के अभिधारणा को साबित करने के लिए पर्याप्त मजबूत थे कि उनके बीच अभाज्य संख्या मौजूद है {{math|''n''}} और {{math|2''n''}} किसी भी पूर्णांक के लिए {{math|''n'' ≥ 2}}.
-अभाज्य संख्याओं के वितरण से संबंधित एक महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण [[किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर]] था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार पेश किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण एक जटिल चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फ़ंक्शन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक कार्य के अध्ययन के लिए [[जटिल विश्लेषण]] के तरीकों को लागू करने का विचार है {{math|''π''(''x'')}} उत्पत्ति। रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख कानून के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए<ref name="Hadamard1896" />और चार्ल्स जीन डे ला वाली पुसिन<ref name="de la Vallée Poussin1896" />और उसी वर्ष (1896) में दिखाई दिया। दोनों सबूतों ने जटिल विश्लेषण से तरीकों का इस्तेमाल किया, सबूत के एक मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा कार्य करता है {{math|''ζ''(''s'')}} चर के सभी जटिल मानों के लिए शून्य नहीं है {{mvar|s}} जिसका रूप है {{math|''s'' {{=}} 1 + ''it''}} साथ {{math|''t'' > 0}}.<ref>{{cite book |last = Ingham |first = A. E. |title = The Distribution of Prime Numbers |publisher = Cambridge University Press| year = 1990 |pages = 2–5 |isbn = 978-0-521-39789-6}}</ref>
+अभाज्य संख्याओं के वितरण से संबंधित महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण [[किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर]] था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार पेश किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण जटिल चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फ़ंक्शन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक कार्य के अध्ययन के लिए [[जटिल विश्लेषण]] के तरीकों को लागू करने का विचार है {{math|''π''(''x'')}} उत्पत्ति। रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख कानून के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए<ref name="Hadamard1896" />और चार्ल्स जीन डे ला वाली पुसिन<ref name="de la Vallée Poussin1896" />और उसी वर्ष (1896) में दिखाई दिया। दोनों सबूतों ने जटिल विश्लेषण से तरीकों का इस्तेमाल किया, सबूत के मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा कार्य करता है {{math|''ζ''(''s'')}} चर के सभी जटिल मानों के लिए शून्य नहीं है {{mvar|s}} जिसका रूप है {{math|''s'' {{=}} 1 + ''it''}} साथ {{math|''t'' > 0}}.<ref>{{cite book |last = Ingham |first = A. E. |title = The Distribution of Prime Numbers |publisher = Cambridge University Press| year = 1990 |pages = 2–5 |isbn = 978-0-521-39789-6}}</ref>
 वीं शताब्दी के दौरान, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें [[एटले सेलबर्ग]] के प्राथमिक प्रमाण भी शामिल हैं<ref name="Selberg1949" />और पॉल एर्डोस<ref name="Erdős1949">{{Citation|last=Erdős|first=Paul|author-link=Paul Erdős|date=1949-07-01|title=On a new method in elementary number theory which leads to an elementary proof of the prime number theorem|journal=Proceedings of the National Academy of Sciences|publisher=National Academy of Sciences|location=U.S.A.|volume=35|issue=7|pages=374–384|doi=10.1073/pnas.35.7.374|pmid=16588909 |pmc=1063042 |bibcode=1949PNAS...35..374E |url=https://www.renyi.hu/~p_erdos/1949-02.pdf|doi-access=free }}</ रेफ> (1949)। हैडमर्ड और डे ला वल्ली पुसिन के मूल प्रमाण लंबे और विस्तृत हैं; बाद के प्रमाणों ने [[टाउबेरियन प्रमेय]]ों के उपयोग के माध्यम से विभिन्न सरलीकरण पेश किए लेकिन पचाने में मुश्किल बनी रही। अमेरिकी गणितज्ञ डोनाल्ड जे. न्यूमैन द्वारा 1980 में एक संक्षिप्त प्रमाण की खोज की गई थी। रेफरी>{{cite journal|title=अभाज्य संख्या प्रमेय का सरल विश्लेषणात्मक प्रमाण|journal=[[American Mathematical Monthly]] |volume=87 |year=1980 |pages=693–696 |first=Donald J. | last=Newman |doi=10.2307/2321853 |jstor=2321853 |issue=9 | mr=0602825}}</रेफरी><ref name=":0">{{cite journal |title=Newman's short proof of the prime number theorem |journal=American Mathematical Monthly |volume=104 |year=1997 |pages=705–708 |first=Don |last=Zagier |url=http://www.maa.org/programs/maa-awards/writing-awards/newmans-short-proof-of-the-prime-number-theorem |doi=10.2307/2975232 |jstor=2975232 |issue=8 | mr=1476753}}</ref> न्यूमैन का सबूत यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, हालांकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को जटिल विश्लेषण से उपयोग करता है।
 == सबूत स्केच ==
-यहाँ [[टेरेंस ताओ]] के एक व्याख्यान में उल्लिखित प्रमाण का एक रेखाचित्र है।<ref>{{cite web |last1=Tao |first1=Terence |author-link = Terence Tao|title=254A, Notes 2: Complex-analytic multiplicative number theory |url=https://terrytao.wordpress.com/2014/12/09/254a-notes-2-complex-analytic-multiplicative-number-theory/ |website=Terence Tao's blog|date=10 December 2014 }}</ref> पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, लेकिन बेहतर व्यवहार वाले, प्राइम-काउंटिंग फ़ंक्शन के रूप में सुधारने से शुरू होता है। यह विचार है कि प्राइम्स (या संबंधित सेट जैसे कि प्राइम पॉवर्स का सेट) को वेट के साथ गिनना है ताकि एक फंक्शन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे आम सामान्यीकृत गिनती समारोह चेबीशेव फ़ंक्शन है {{math|''ψ''(''x'')}}, द्वारा परिभाषित
+यहाँ [[टेरेंस ताओ]] के व्याख्यान में उल्लिखित प्रमाण का रेखाचित्र है।<ref>{{cite web |last1=Tao |first1=Terence |author-link = Terence Tao|title=254A, Notes 2: Complex-analytic multiplicative number theory |url=https://terrytao.wordpress.com/2014/12/09/254a-notes-2-complex-analytic-multiplicative-number-theory/ |website=Terence Tao's blog|date=10 December 2014 }}</ref> पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, लेकिन बेहतर व्यवहार वाले, प्राइम-काउंटिंग फ़ंक्शन के रूप में सुधारने से शुरू होता है। यह विचार है कि प्राइम्स (या संबंधित सेट जैसे कि प्राइम पॉवर्स का सेट) को वेट के साथ गिनना है ताकि फंक्शन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे आम सामान्यीकृत गिनती समारोह चेबीशेव फ़ंक्शन है {{math|''ψ''(''x'')}}, द्वारा परिभाषित
 :<math>\psi(x) = \!\!\!\! \sum_\stackrel{p^k \le x,}{p \text{ is prime}} \!\!\!\! \log p \; .</math>
@@ Line 60: / Line 60: @@
 और (बिग ओ नोटेशन का उपयोग करके | big {{mvar|O}} नोटेशन) किसी के लिए {{math|''ε'' > 0}},
 :<math>\psi(x) \ge \!\!\!\!\sum_\stackrel{x^{1-\varepsilon}\le p\le x}{p \text{ is prime}}\!\!\!\! \log p\ge\!\!\!\!\sum_\stackrel{x^{1-\varepsilon}\le p\le x}{p \text{ is prime}}\!\!\!\!(1-\varepsilon)\log x=(1-\varepsilon)\left(\pi(x)+O\left(x^{1-\varepsilon}\right)\right)\log x \; .</math>
-अगला कदम इसके लिए एक उपयोगी प्रतिनिधित्व खोजना है {{math|''ψ''(''x'')}}. होने देना {{math|''ζ''(''s'')}} रिमेंन जीटा समारोह हो। यह दिखाया जा सकता है {{math|''ζ''(''s'')}} वॉन मैंगोल्ड फ़ंक्शन से संबंधित है {{math|''Λ''(''n'')}}, और इसलिए करने के लिए {{math|''ψ''(''x'')}}, संबंध के माध्यम से
+अगला कदम इसके लिए उपयोगी प्रतिनिधित्व खोजना है {{math|''ψ''(''x'')}}. होने देना {{math|''ζ''(''s'')}} रिमेंन जीटा समारोह हो। यह दिखाया जा सकता है {{math|''ζ''(''s'')}} वॉन मैंगोल्ड फ़ंक्शन से संबंधित है {{math|''Λ''(''n'')}}, और इसलिए करने के लिए {{math|''ψ''(''x'')}}, संबंध के माध्यम से
 :<math>-\frac{\zeta'(s)}{\zeta(s)} = \sum_{n = 1}^\infty \Lambda(n) \, n^{-s} \; .</math>
-मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फ़ंक्शन के संबंधित गुणों का एक नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए {{mvar|x}} समीकरण
+मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फ़ंक्शन के संबंधित गुणों का नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए {{mvar|x}} समीकरण
 :<math>\psi(x) = x \; - \; \log(2\pi) \; - \sum\limits_{\rho :\, \zeta(\rho) = 0} \frac{x^\rho}{\rho}</math>
-धारण करता है, जहां जीटा फ़ंक्शन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फ़ंक्शन) में से एक है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द {{mvar|x}} (के सही स्पर्शोन्मुख क्रम होने का दावा किया {{math|''ψ''(''x'')}}) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द।
+धारण करता है, जहां जीटा फ़ंक्शन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फ़ंक्शन) में से है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द {{mvar|x}} (के सही स्पर्शोन्मुख क्रम होने का दावा किया {{math|''ψ''(''x'')}}) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द।
 प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन शामिल है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:
 :<math>\sum_{n=1}^\infty \frac{1}{2n\,x^{2n}} = -\frac{1}{2}\log\left(1-\frac{1}{x^2}\right),</math>
-जो बड़े पैमाने पर गायब हो जाता है {{mvar|x}}. गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर {{math|0 ≤ Re(''s'') ≤ 1}}, संभावित रूप से मुख्य शब्द के तुलनीय एक स्पर्शोन्मुख क्रम का हो सकता है {{mvar|x}} अगर {{math|Re(''ρ'') {{=}} 1}}, इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।
+जो बड़े पैमाने पर गायब हो जाता है {{mvar|x}}. गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर {{math|0 ≤ Re(''s'') ≤ 1}}, संभावित रूप से मुख्य शब्द के तुलनीय स्पर्शोन्मुख क्रम का हो सकता है {{mvar|x}} अगर {{math|Re(''ρ'') {{=}} 1}}, इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।
 === गैर-लुप्त होने पर {{math|Re(''s'') {{=}} 1}} ===
-ऐसा करने के लिए, हम इसे मान लेते हैं {{math|''ζ''(''s'')}} अर्ध-विमान में [[मेरोमॉर्फिक फ़ंक्शन]] है {{math|Re(''s'') > 0}}, और वहाँ एक साधारण ध्रुव को छोड़कर वहाँ विश्लेषणात्मक है {{math|''s'' {{=}} 1}}, और यह कि एक उत्पाद सूत्र है
+ऐसा करने के लिए, हम इसे मान लेते हैं {{math|''ζ''(''s'')}} अर्ध-विमान में [[मेरोमॉर्फिक फ़ंक्शन]] है {{math|Re(''s'') > 0}}, और वहाँ साधारण ध्रुव को छोड़कर वहाँ विश्लेषणात्मक है {{math|''s'' {{=}} 1}}, और यह कि उत्पाद सूत्र है
 :<math>\zeta(s)=\prod_p\frac{1}{1-p^{-s}} </math>
 के लिए {{math|Re(''s'') > 1}}. यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह दर्शाता है {{math|''ζ''(''s'')}} इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और
@@ Line 86: / Line 86: @@
 :<math>\left| \zeta(x)^3 \zeta(x+iy)^4 \zeta(x+2iy) \right| = \exp\left( \sum_{n,p} \frac{3 + 4 \cos(ny\log p) + \cos( 2 n y \log p )}{np^{nx}} \right) \ge 1</math>
-सभी के लिए {{math|''x'' > 1}}. मान लीजिए कि अब {{math|''ζ''(1 + ''iy'') {{=}} 0}}. निश्चित रूप से {{mvar|y}} शून्य नहीं है, क्योंकि {{math|''ζ''(''s'')}} पर एक साधारण पोल है {{math|''s'' {{=}} 1}}. लगता है कि {{math|''x'' > 1}} और जाने {{mvar|x}} ऊपर से 1 की ओर रुख करें। तब से <math>\zeta(s)</math> पर एक साधारण पोल है {{math|''s'' {{=}} 1}} और {{math|''ζ''(''x'' + 2''iy'')}} विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है, एक विरोधाभास।
+सभी के लिए {{math|''x'' > 1}}. मान लीजिए कि अब {{math|''ζ''(1 + ''iy'') {{=}} 0}}. निश्चित रूप से {{mvar|y}} शून्य नहीं है, क्योंकि {{math|''ζ''(''s'')}} पर साधारण पोल है {{math|''s'' {{=}} 1}}. लगता है कि {{math|''x'' > 1}} और जाने {{mvar|x}} ऊपर से 1 की ओर रुख करें। तब से <math>\zeta(s)</math> पर साधारण पोल है {{math|''s'' {{=}} 1}} और {{math|''ζ''(''x'' + 2''iy'')}} विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है, विरोधाभास।
-अंत में, हम यह निष्कर्ष निकाल सकते हैं कि PNT अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग {{math|''ψ''(''x'')}} पूरी तरह अभिसरण नहीं करता है लेकिन केवल सशर्त और एक प्रमुख मूल्य अर्थ में। इस समस्या से निपटने के कई तरीके हैं लेकिन उनमें से कई के लिए नाजुक जटिल-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब<ref>{{cite book |last = Edwards |first = Harold M. |author-link = Harold Edwards (mathematician) |title = Riemann's zeta function |publisher = Courier Dover Publications |year = 2001 |isbn = 978-0-486-41740-0}}</ref> विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए एक और तरीका है, हालांकि यह प्रमेय अपने आप में साबित करने के लिए काफी कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी ताकत की आवश्यकता नहीं है, और कोई एक विशेष मामले से बच सकता है जिसे साबित करना बहुत आसान है।
+अंत में, हम यह निष्कर्ष निकाल सकते हैं कि PNT अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग {{math|''ψ''(''x'')}} पूरी तरह अभिसरण नहीं करता है लेकिन केवल सशर्त और प्रमुख मूल्य अर्थ में। इस समस्या से निपटने के कई तरीके हैं लेकिन उनमें से कई के लिए नाजुक जटिल-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब<ref>{{cite book |last = Edwards |first = Harold M. |author-link = Harold Edwards (mathematician) |title = Riemann's zeta function |publisher = Courier Dover Publications |year = 2001 |isbn = 978-0-486-41740-0}}</ref> विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए और तरीका है, हालांकि यह प्रमेय अपने आप में साबित करने के लिए काफी कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी ताकत की आवश्यकता नहीं है, और कोई विशेष मामले से बच सकता है जिसे साबित करना बहुत आसान है।
 == अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण ==
@@ Line 106: / Line 106: @@
 </math> और <math>
   -\zeta'(s)/\zeta(s)
-</math> एक फ़ंक्शन होलोमोर्फिक द्वारा भिन्न होता है <math>\Re s = 1</math>. चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था,  <math>\zeta(s)</math> रेखा पर कोई शून्य नहीं है <math>\Re s = 1</math> , <math>
+</math> फ़ंक्शन होलोमोर्फिक द्वारा भिन्न होता है <math>\Re s = 1</math>. चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था, <math>\zeta(s)</math> रेखा पर कोई शून्य नहीं है <math>\Re s = 1</math> , <math>
 \Phi(s) - \frac 1{s-1}
 </math> पर कोई विलक्षणता नहीं है <math>\Re s = 1</math>.
-न्यूमैन के प्रमाण में आवश्यक जानकारी का एक और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है <math>\vartheta(x)/x</math> घिरा है। यह चेबीशेव के कारण एक सरल और आसान विधि का उपयोग करके सिद्ध होता है।
+न्यूमैन के प्रमाण में आवश्यक जानकारी का और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है <math>\vartheta(x)/x</math> घिरा है। यह चेबीशेव के कारण सरल और आसान विधि का उपयोग करके सिद्ध होता है।
-भागों द्वारा एकीकरण दिखाता है कि कैसे <math>\vartheta(x)</math> और  <math>\Phi(s)</math> आपस में संबंधित हैं। के लिए <math>\Re s > 1</math>,
+भागों द्वारा एकीकरण दिखाता है कि कैसे <math>\vartheta(x)</math> और <math>\Phi(s)</math> आपस में संबंधित हैं। के लिए <math>\Re s > 1</math>,
 :<math>
 \Phi(s) = \int _1^\infty x^{-s} d\vartheta(x)  =  s\int_1^\infty \vartheta(x)x^{-s-1}\,dx = s \int_0^\infty \vartheta(e^t) e^{-st} \, dt.
@@ Line 127: / Line 127: @@
 :<math>
 g_T(z) = \int_0^T f(t) e^{-zt}\, dt
-</math> और  <math>
+</math> और <math>
 g(z) = \int_0^\infty f(t) e^{-zt}\, dt
 </math> कहाँ <math>
@@ Line 146: / Line 146: @@
 के अंतर <math>g(0) - g_T(0)</math> कॉची के अभिन्न सूत्र का उपयोग करके व्यक्त किया जाता है और फिर के लिए छोटा दिखाया जाता है <math>
 T
-</math> इंटीग्रैंड का अनुमान लगाकर बड़ा। हल करना <math>R>0</math> और <math>\delta >0</math> ऐसा है कि <math>g(z)</math> उस क्षेत्र में होलोमोर्फिक है जहां <math> |z| \le  R \text{ and } \Re z \ge  - \delta</math>,  और जाने <math>C</math> इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है
+</math> इंटीग्रैंड का अनुमान लगाकर बड़ा। हल करना <math>R>0</math> और <math>\delta >0</math> ऐसा है कि <math>g(z)</math> उस क्षेत्र में होलोमोर्फिक है जहां <math> |z| \le  R \text{ and } \Re z \ge  - \delta</math>, और जाने <math>C</math> इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है
 :<math>
 g(0) - g_T(0) = \frac 1 {2 \pi i }\int_C \left( g(z) - g_T(z) \right ) \frac {dz} z = \frac 1 {2 \pi i }\int_C \left( g(z) - g_T(z) \right ) F(z)\frac {dz} z
@@ Line 158: / Line 158: @@
 </math> दो भागों में, <math>
 C = C_+ + C_-
-</math> कहाँ  <math>C_+ = C \cap \left \{ z \, \vert \, \Re z >  0 \right \}</math> और <math>C_- \cap \left \{ \Re z \le 0 \right \}</math>. तब <math>g(0)- g_T(0) = \int_{C_+}\int_T^\infty H(t,z) dt dz - \int_{C_-}\int_0^T H(t,z) dt dz +
+</math> कहाँ <math>C_+ = C \cap \left \{ z \, \vert \, \Re z >  0 \right \}</math> और <math>C_- \cap \left \{ \Re z \le 0 \right \}</math>. तब <math>g(0)- g_T(0) = \int_{C_+}\int_T^\infty H(t,z) dt dz - \int_{C_-}\int_0^T H(t,z) dt dz +
-\int_{C_-}g(z)F(z)\frac {dz}{2\pi i z}</math>कहाँ <math>H(t,z) = f(t)e^{-tz}F(z)/2 \pi i</math>. तब से <math>\vartheta(x)/x</math>, और इसलिए  <math>
+\int_{C_-}g(z)F(z)\frac {dz}{2\pi i z}</math>कहाँ <math>H(t,z) = f(t)e^{-tz}F(z)/2 \pi i</math>. तब से <math>\vartheta(x)/x</math>, और इसलिए <math>
 f(t)
-</math>, बँधा हुआ है, चलो <math>B</math> के निरपेक्ष मान के लिए एक ऊपरी सीमा हो <math>f(t)</math>. यह अनुमान के साथ बंधा हुआ है  <math>
+</math>, बँधा हुआ है, चलो <math>B</math> के निरपेक्ष मान के लिए ऊपरी सीमा हो <math>f(t)</math>. यह अनुमान के साथ बंधा हुआ है <math>
 |F| \le 2 \exp(T \Re z)|\Re z|/R
 </math> के लिए <math>
@@ Line 172: / Line 172: @@
 == लॉगरिदमिक इंटीग्रल == के संदर्भ में प्राइम-काउंटिंग फंक्शन
-उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट में{{lang|fr|Sur l'usage des séries infinies dans la théorie des nombres}}, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के बजाय एक श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के तहत) कि इससे भी बेहतर सन्निकटन {{math|''π''(''x'')}} लघुगणक समाकल फलन फलन द्वारा दिया जाता है {{math|Li(''x'')}}, द्वारा परिभाषित
+उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट में{{lang|fr|Sur l'usage des séries infinies dans la théorie des nombres}}, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के बजाय श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के तहत) कि इससे भी बेहतर सन्निकटन {{math|''π''(''x'')}} लघुगणक समाकल फलन फलन द्वारा दिया जाता है {{math|Li(''x'')}}, द्वारा परिभाषित
 :<math> \operatorname{Li}(x) = \int_2^x \frac{dt}{\log t} = \operatorname{li}(x) - \operatorname{li}(2). </math>
@@ Line 184: / Line 184: @@
 :<math>\pi(x) = \operatorname{li} (x) + O \left(x \exp \left( -\frac{A(\log x)^\frac35}{(\log \log x)^\frac15} \right) \right)</math> कहाँ <math>A = 0.2098</math>.<ref name="Ford">{{cite journal |author = Kevin Ford |author-link = Kevin Ford (mathematician) |title=Vinogradov's Integral and Bounds for the Riemann Zeta Function |journal=Proc. London Math. Soc. |date=2002 |volume=85 |issue = 3 |pages=565–633 |url=https://faculty.math.illinois.edu/~ford/wwwpapers/zetabd.pdf |doi=10.1112/S0024611502013655 |arxiv = 1910.08209 |s2cid = 121144007 }}</ref>
-में, Trudgian के बीच के अंतर के लिए एक स्पष्ट ऊपरी सीमा साबित हुई <math>\pi(x)</math> और <math>\operatorname{li}(x)</math>:
+में, Trudgian के बीच के अंतर के लिए स्पष्ट ऊपरी सीमा साबित हुई <math>\pi(x)</math> और <math>\operatorname{li}(x)</math>:
 :<math>\big| \pi(x) - \operatorname{li}(x) \big| \le 0.2795 \frac{x}{(\log x)^{3/4}}
 \exp \left( -\sqrt{ \frac{\log x}{6.455} } \right)</math>
 के लिए <math>x \ge 229</math>.<ref>{{cite journal |author = Tim Trudgian |date = February 2016 |title = Updating the error term in the prime number theorem |journal = Ramanujan Journal |volume = 39 |issue = 2  |pages=225–234 |doi = 10.1007/s11139-014-9656-6 |arxiv = 1401.2689 |s2cid = 11013503 }}</ref>
-रीमैन ज़ेटा फ़ंक्शन और के बीच संबंध {{math|''π''(''x'')}} यह एक कारण है कि [[रीमैन परिकल्पना]] का संख्या सिद्धांत में काफी महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में शामिल त्रुटि का बेहतर अनुमान लगाएगा। अधिक विशेष रूप से, [[हेल्ज वॉन कोच]] ने 1901 में दिखाया<ref>{{cite journal |first=Helge |last=von Koch |year=1901 |title=Sur la distribution des nombres premiers |journal=[[Acta Mathematica]] |volume=24 |issue=1 |pages=159–182 |doi=10.1007/BF02403071 |lang=fr |trans-title=On the distribution of prime numbers|mr=1554926 |s2cid=119914826 |url=https://zenodo.org/record/2347595|doi-access=free }}</ref> यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है
+रीमैन ज़ेटा फ़ंक्शन और के बीच संबंध {{math|''π''(''x'')}} यह कारण है कि [[रीमैन परिकल्पना]] का संख्या सिद्धांत में काफी महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में शामिल त्रुटि का बेहतर अनुमान लगाएगा। अधिक विशेष रूप से, [[हेल्ज वॉन कोच]] ने 1901 में दिखाया<ref>{{cite journal |first=Helge |last=von Koch |year=1901 |title=Sur la distribution des nombres premiers |journal=[[Acta Mathematica]] |volume=24 |issue=1 |pages=159–182 |doi=10.1007/BF02403071 |lang=fr |trans-title=On the distribution of prime numbers|mr=1554926 |s2cid=119914826 |url=https://zenodo.org/record/2347595|doi-access=free }}</ref> यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है
 :<math> \pi(x) = \operatorname{Li} (x) + O\left(\sqrt x \log x\right) </math>
@@ Line 197: / Line 197: @@
 :<math>\big|\psi(x) - x\big| < \frac{\sqrt x (\log x)^2 }{8\pi}</math>
-सभी के लिए {{math|''x'' ≥ 73.2}}. इस बाद की सीमा को शक्ति कानून (जब पूर्णांकों पर एक यादृच्छिक कार्य के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और {{sfrac| {{mvar|f}} }}[[गुलाबी शोर]] और [[ट्वीडी वितरण]] के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन [[स्केल अपरिवर्तनीय]] डिस्ट्रीब्यूशन के एक परिवार का प्रतिनिधित्व करते हैं जो [[केंद्रीय सीमा प्रमेय]] के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में कार्य करते हैं।<ref>{{cite journal |last1=Jørgensen |first1=Bent |last2=Martínez |first2=José Raúl |last3=Tsao |first3=Min |year=1994 |title=Asymptotic behaviour of the variance function |journal=Scandinavian Journal of Statistics |volume=21 |issue=3 |pages=223–243 |mr=1292637 |jstor=4616314 }}</ref>)
+सभी के लिए {{math|''x'' ≥ 73.2}}. इस बाद की सीमा को शक्ति कानून (जब पूर्णांकों पर यादृच्छिक कार्य के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और {{sfrac| {{mvar|f}} }}[[गुलाबी शोर]] और [[ट्वीडी वितरण]] के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन [[स्केल अपरिवर्तनीय]] डिस्ट्रीब्यूशन के परिवार का प्रतिनिधित्व करते हैं जो [[केंद्रीय सीमा प्रमेय]] के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में कार्य करते हैं।<ref>{{cite journal |last1=Jørgensen |first1=Bent |last2=Martínez |first2=José Raúl |last3=Tsao |first3=Min |year=1994 |title=Asymptotic behaviour of the variance function |journal=Scandinavian Journal of Statistics |volume=21 |issue=3 |pages=223–243 |mr=1292637 |jstor=4616314 }}</ref>)
-लॉगरिदमिक इंटीग्रल फ़ंक्शन {{math|li(''x'')}} से बड़ा है {{math|''π''(''x'')}} के छोटे मूल्यों के लिए {{mvar|x}}. ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ एक शक्ति है, की गिनती है {{mvar|p{{sup|n}}}एक प्राइम का {{mvar|p}} के रूप में गिना जाता है {{sfrac|1| {{mvar|n}} }} एक प्रधान का। इससे पता चलता है {{math|li(''x'')}} से बड़ा होना चाहिए {{math|''π''(''x'')}} द्वारा मोटे तौर पर <math>\ \tfrac{1}{2} \operatorname{li}(\sqrt{x})\ ,</math> और विशेष रूप से हमेशा इससे बड़ा होना चाहिए {{math|''π''(''x'')}}. हालाँकि, 1914 में, जॉन एडेंसर लिटलवुड|जे. ई। लिटलवुड ने साबित कर दिया <math>\ \pi(x) - \operatorname{li}(x)\ </math> परिवर्तन संकेत असीम रूप से अक्सर।<ref>{{cite journal |first=J.E. |last= Littlewood |author-link=John Edensor Littlewood |year=1914 |title=Sur la distribution des nombres premiers |journal=[[Comptes Rendus]] |volume=158 |pages= 1869–1872 | jfm=45.0305.01}}</ref> का पहला मान {{mvar|x}} कहाँ {{math|''π''(''x'')}} से अधिक है {{math|li(''x'')}} शायद आसपास है {{math|''x'' ~ {{10^|316}} }}; अधिक विवरण के लिए Skewes' number पर लेख देखें। (दूसरी ओर, [[ऑफसेट लॉगरिदमिक इंटीग्रल]] {{math|Li(''x'')}} की तुलना में छोटा है {{math|''π''(''x'')}} पहले से ही के लिए {{math|''x'' {{=}} 2}}; वास्तव में, {{math|Li(2) {{=}} 0}}, जबकि {{math|''π''(2) {{=}} 1}}.)
+लॉगरिदमिक इंटीग्रल फ़ंक्शन {{math|li(''x'')}} से बड़ा है {{math|''π''(''x'')}} के छोटे मूल्यों के लिए {{mvar|x}}<nowiki>. ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ शक्ति है, की गिनती है {{mvar|p</nowiki>{{sup|n}}}एक प्राइम का {{mvar|p}} के रूप में गिना जाता है {{sfrac|1| {{mvar|n}} }} प्रधान का। इससे पता चलता है {{math|li(''x'')}} से बड़ा होना चाहिए {{math|''π''(''x'')}} द्वारा मोटे तौर पर <math>\ \tfrac{1}{2} \operatorname{li}(\sqrt{x})\ ,</math> और विशेष रूप से हमेशा इससे बड़ा होना चाहिए {{math|''π''(''x'')}}. हालाँकि, 1914 में, जॉन एडेंसर लिटलवुड|जे. ई। लिटलवुड ने साबित कर दिया <math>\ \pi(x) - \operatorname{li}(x)\ </math> परिवर्तन संकेत असीम रूप से अक्सर।<ref>{{cite journal |first=J.E. |last= Littlewood |author-link=John Edensor Littlewood |year=1914 |title=Sur la distribution des nombres premiers |journal=[[Comptes Rendus]] |volume=158 |pages= 1869–1872 | jfm=45.0305.01}}</ref> का पहला मान {{mvar|x}} कहाँ {{math|''π''(''x'')}} से अधिक है {{math|li(''x'')}} शायद आसपास है {{math|''x'' ~ {{10^|316}} }}; अधिक विवरण के लिए Skewes' number पर लेख देखें। (दूसरी ओर, [[ऑफसेट लॉगरिदमिक इंटीग्रल]] {{math|Li(''x'')}} की तुलना में छोटा है {{math|''π''(''x'')}} पहले से ही के लिए {{math|''x'' {{=}} 2}}; वास्तव में, {{math|Li(2) {{=}} 0}}, जबकि {{math|''π''(2) {{=}} 1}}.)
 == प्राथमिक प्रमाण ==
-बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना था कि गणित में प्रमाण विधियों का एक पदानुक्रम मौजूद है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ ([[पूर्णांक]], [[वास्तविक संख्या]], सम्मिश्र संख्या) एक प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) जटिल विश्लेषण की आवश्यकता के आधार पर एक गहन प्रमेय है।<ref name="Goldfeld Historical Perspective">{{cite book | first=Dorian | last=Goldfeld | chapter-url=http://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute.pdf | chapter=The elementary proof of the prime number theorem: an historical perspective | year=2004 | title=Number theory (New York, 2003) | pages=179–192 | mr=2044518 | editor1-last=Chudnovsky | editor1-first=David | editor2-last=Chudnovsky | editor2-first=Gregory | editor3-last=Nathanson | editor3-first=Melvyn | location=New York | publisher=Springer-Verlag | isbn=978-0-387-40655-8  | doi=10.1007/978-1-4419-9060-0_10}}</ref> वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ हद तक हिल गया था, हालांकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को जटिल चर विधियों के बराबर गहराई माना जाता था।
+बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना था कि गणित में प्रमाण विधियों का पदानुक्रम मौजूद है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ ([[पूर्णांक]], [[वास्तविक संख्या]], सम्मिश्र संख्या) प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) जटिल विश्लेषण की आवश्यकता के आधार पर गहन प्रमेय है।<ref name="Goldfeld Historical Perspective">{{cite book | first=Dorian | last=Goldfeld | chapter-url=http://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute.pdf | chapter=The elementary proof of the prime number theorem: an historical perspective | year=2004 | title=Number theory (New York, 2003) | pages=179–192 | mr=2044518 | editor1-last=Chudnovsky | editor1-first=David | editor2-last=Chudnovsky | editor2-first=Gregory | editor3-last=Nathanson | editor3-first=Melvyn | location=New York | publisher=Springer-Verlag | isbn=978-0-387-40655-8  | doi=10.1007/978-1-4419-9060-0_10}}</ref> वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ हद तक हिल गया था, हालांकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को जटिल चर विधियों के बराबर गहराई माना जाता था।
 मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक तरीकों से, स्पर्शोन्मुख सूत्र की स्थापना की
@@ Line 208: / Line 208: @@
 कहाँ
 :<math>\vartheta ( x ) = \sum\limits_{p \le x} {\log ( p )}</math>
-प्राइम्स के लिए {{mvar|p}}.<ref name="Selberg1949">{{Citation|last=Selberg|first=Atle|title=An Elementary Proof of the Prime-Number Theorem|journal=[[Annals of Mathematics]]|year=1949|volume=50|issue=2|pages=305–313|doi=10.2307/1969455|mr=0029410|jstor=1969455|s2cid=124153092 }}</ref> उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस<ref name="Erdős1949" />दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे।<ref name="Goldfeld Historical Perspective"/><ref name=interview>{{Cite journal|url=https://www.ams.org/bull/2008-45-04/S0273-0979-08-01223-8/S0273-0979-08-01223-8.pdf |first1=Nils A.|last1= Baas|first2= Christian F.|last2= Skau |journal= Bull. Amer. Math. Soc. |volume=45 |year=2008|pages= 617–649 |title=The lord of the numbers, Atle Selberg. On his life and mathematics|doi=10.1090/S0273-0979-08-01223-8|issue=4|mr=2434348|doi-access=free}}</ref> इन सबूतों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक तरीके अधिक शक्तिशाली थे, जैसा कि मामला माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग [[प्राथमिकता विवाद]] शामिल है, [[डोरियन गोल्डफेल्ड]] द्वारा एक लेख देखें।<ref name="Goldfeld Historical Perspective" />
+प्राइम्स के लिए {{mvar|p}}.<ref name="Selberg1949">{{Citation|last=Selberg|first=Atle|title=An Elementary Proof of the Prime-Number Theorem|journal=[[Annals of Mathematics]]|year=1949|volume=50|issue=2|pages=305–313|doi=10.2307/1969455|mr=0029410|jstor=1969455|s2cid=124153092 }}</ref> उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस<ref name="Erdős1949" />दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे।<ref name="Goldfeld Historical Perspective"/><ref name=interview>{{Cite journal|url=https://www.ams.org/bull/2008-45-04/S0273-0979-08-01223-8/S0273-0979-08-01223-8.pdf |first1=Nils A.|last1= Baas|first2= Christian F.|last2= Skau |journal= Bull. Amer. Math. Soc. |volume=45 |year=2008|pages= 617–649 |title=The lord of the numbers, Atle Selberg. On his life and mathematics|doi=10.1090/S0273-0979-08-01223-8|issue=4|mr=2434348|doi-access=free}}</ref> इन सबूतों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक तरीके अधिक शक्तिशाली थे, जैसा कि मामला माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग [[प्राथमिकता विवाद]] शामिल है, [[डोरियन गोल्डफेल्ड]] द्वारा लेख देखें।<ref name="Goldfeld Historical Perspective" />
-एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में [[प्राथमिक प्रमाण]] की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। हालांकि यह जटिल विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की एक संभावित परिभाषा वह है जिसे पहले क्रम के [[पियानो अंकगणित]] में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, लेकिन प्रथम-क्रम अंकगणितीय नहीं। प्रथम-क्रम विधियाँ, लेकिन ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने साबित किया कि उनके प्रमाण को पीए के एक बहुत ही कमजोर टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् {{math|''I''Δ<sub>0</sub> + exp}}.<ref>{{cite journal|last1=Cornaros|first1=Charalambos|last2=Dimitracopoulos|first2=Costas|title=The prime number theorem and fragments of ''PA''|year=1994|url=http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|journal=Archive for Mathematical Logic|volume=33|issue=4|pages=265–281|doi=10.1007/BF01270626|mr=1294272|s2cid=29171246|url-status=dead|archive-url=https://web.archive.org/web/20110721083756/http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|archive-date=2011-07-21}}</ref> हालांकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं।
+एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में [[प्राथमिक प्रमाण]] की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। हालांकि यह जटिल विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की संभावित परिभाषा वह है जिसे पहले क्रम के [[पियानो अंकगणित]] में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, लेकिन प्रथम-क्रम अंकगणितीय नहीं। प्रथम-क्रम विधियाँ, लेकिन ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने साबित किया कि उनके प्रमाण को पीए के बहुत ही कमजोर टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् {{math|''I''Δ<sub>0</sub> + exp}}.<ref>{{cite journal|last1=Cornaros|first1=Charalambos|last2=Dimitracopoulos|first2=Costas|title=The prime number theorem and fragments of ''PA''|year=1994|url=http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|journal=Archive for Mathematical Logic|volume=33|issue=4|pages=265–281|doi=10.1007/BF01270626|mr=1294272|s2cid=29171246|url-status=dead|archive-url=https://web.archive.org/web/20110721083756/http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|archive-date=2011-07-21}}</ref> हालांकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं।
 == कंप्यूटर सत्यापन ==
-में, एवीगाड एट अल। PNT के Erdos-Selberg प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए [[मैं इसाबेल के प्रमेय को सिद्ध करूंगा]] को नियोजित किया।<ref name=Avigad>{{cite journal|first1=Jeremy | last1=Avigad |first2=Kevin |last2=Donnelly |first3=David | last3=Gray |first4=Paul | last4=Raff | title=A formally verified proof of the prime number theorem|year=2008 | mr=2371488 | journal=[[ACM Transactions on Computational Logic]] | volume=9 | issue=1 | pages=2 | doi=10.1145/1297658.1297660 | arxiv=cs/0509025| s2cid=7720253 }}</ref> यह PNT का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने एक विश्लेषणात्मक के बजाय एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक कार्य की धारणाओं को लागू कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।<ref name=Avigad/>{{rp|19}}
+में, एवीगाड एट अल। PNT के Erdos-Selberg प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए [[मैं इसाबेल के प्रमेय को सिद्ध करूंगा]] को नियोजित किया।<ref name=Avigad>{{cite journal|first1=Jeremy | last1=Avigad |first2=Kevin |last2=Donnelly |first3=David | last3=Gray |first4=Paul | last4=Raff | title=A formally verified proof of the prime number theorem|year=2008 | mr=2371488 | journal=[[ACM Transactions on Computational Logic]] | volume=9 | issue=1 | pages=2 | doi=10.1145/1297658.1297660 | arxiv=cs/0509025| s2cid=7720253 }}</ref> यह PNT का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने विश्लेषणात्मक के बजाय एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक कार्य की धारणाओं को लागू कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।<ref name=Avigad/>{{rp|19}}
-में, [[जॉन हैरिसन (गणितज्ञ)]] ने [[एचओएल लाइट]] को जटिल विश्लेषण का उपयोग करते हुए एक प्रमाण को औपचारिक रूप देने के लिए नियोजित किया।<ref>{{Cite journal
+में, [[जॉन हैरिसन (गणितज्ञ)]] ने [[एचओएल लाइट]] को जटिल विश्लेषण का उपयोग करते हुए प्रमाण को औपचारिक रूप देने के लिए नियोजित किया।<ref>{{Cite journal
 |title=Formalizing an analytic proof of the Prime Number Theorem
 |last=Harrison
@@ Line 224: / Line 224: @@
   |doi=10.1007/s10817-009-9145-6|citeseerx=10.1.1.646.9725
 |s2cid=8032103
-}}</ref> [[कॉची अभिन्न सूत्र]] समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक शामिल 'प्राथमिक' एर्दोस-सेलबर्ग के बजाय एक प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था।<!-- Erdös not Erdős in quote, but Wikipedia editorially corrects it --> तर्क ।
+}}</ref> [[कॉची अभिन्न सूत्र]] समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक शामिल 'प्राथमिक' एर्दोस-सेलबर्ग के बजाय प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था। तर्क ।
 == अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय ==
@@ Line 231: / Line 231: @@
 :<math>\pi_{d,a}(x) \sim \frac{ \operatorname{Li}(x) }{ \varphi(d) } \ ,</math>
 कहाँ {{mvar|φ}} यूलर का कुल कार्य है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं {{math|[''a'']}} [[मॉड्यूलर अंकगणित]] {{mvar|d}} साथ {{math|gcd(''a'', ''d'') {{=}} 1}}. यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक मजबूत है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है।<ref>{{cite web |first=Ivan |last=Soprounov |year=1998 |title=A short proof of the Prime Number Theorem for arithmetic progressions |publisher=[[Cleveland State University]] |place=Ohio |url=http://academic.csuohio.edu/soprunov_i/pdf/primes.pdf}}</ref>
-सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए एक अच्छा अनुमान देता है।
+सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए अच्छा अनुमान देता है।
 बेनेट एट अल। <ref>{{cite journal | first1 = Michael A. | last1 = Bennett | first2 = Greg | last2 = Martin | first3 = Kevin | last3 = O'Bryant | first4 = Andrew | last4 = Rechnitzer | title = Explicit bounds for primes in arithmetic progressions | journal = Illinois J. Math. | volume = 62 | issue = 1–4 | date = 2018 | pages = 427–532 | doi = 10.1215/ijm/1552442669 | arxiv = 1802.00085 | s2cid = 119647640 }}</ref>
 निम्नलिखित अनुमान को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं {{mvar|A}} और {{mvar|B}} (प्रमेय 1.3):
-होने देना {{mvar|d}} <math>\ge 3</math> एक पूर्णांक बनें और दें {{mvar|a}} एक पूर्णांक बनें जो कोप्राइम है {{mvar|d}}. फिर सकारात्मक स्थिरांक हैं {{mvar|A}} और {{mvar|B}} ऐसा है कि
+होने देना {{mvar|d}} <math>\ge 3</math> पूर्णांक बनें और दें {{mvar|a}} पूर्णांक बनें जो कोप्राइम है {{mvar|d}}. फिर सकारात्मक स्थिरांक हैं {{mvar|A}} और {{mvar|B}} ऐसा है कि
 :<math> \left | \pi_{d,a}(x) - \frac{\ \operatorname{Li}(x)\ }{\ \varphi(d)\ } \right | < \frac{A\ x}{\ (\log x)^2\ } \quad \text{ for all } \quad x \ge B\ ,</math>
 कहाँ
@@ Line 260: / Line 260: @@
 :<math>\pi_{4,1}(x) - \pi_{4,3}(x) ~,</math>
-इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो {{math|''π''<sub>4,3</sub>(''x'')}} अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या हमेशा ऐसा ही होता है {{math|''π''(''x'';''a'',''c'')}} और {{math|''π''(''x'';''b'',''c'')}} स्थान बदलें जब {{mvar|a}} और {{mvar|b}} कोप्राइम हैं {{mvar|c}}.<ref name=GuyA4>{{cite book |last=Guy | first=Richard K. | author-link=Richard K. Guy | year=2004 | title=Unsolved Problems in Number Theory | publisher=[[Springer-Verlag]] |edition=3rd |isbn=978-0-387-20860-2 | zbl=1058.11001 | at=A4 }}</ref> [[एंड्रयू ग्रानविले]] और मार्टिन एक संपूर्ण विवरण और सर्वेक्षण देते हैं।<ref name="Granville Martin MAA" />
+इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो {{math|''π''<sub>4,3</sub>(''x'')}} अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या हमेशा ऐसा ही होता है {{math|''π''(''x'';''a'',''c'')}} और {{math|''π''(''x'';''b'',''c'')}} स्थान बदलें जब {{mvar|a}} और {{mvar|b}} कोप्राइम हैं {{mvar|c}}.<ref name=GuyA4>{{cite book |last=Guy | first=Richard K. | author-link=Richard K. Guy | year=2004 | title=Unsolved Problems in Number Theory | publisher=[[Springer-Verlag]] |edition=3rd |isbn=978-0-387-20860-2 | zbl=1058.11001 | at=A4 }}</ref> [[एंड्रयू ग्रानविले]] और मार्टिन संपूर्ण विवरण और सर्वेक्षण देते हैं।<ref name="Granville Martin MAA" />
 == प्राइम-काउंटिंग फंक्शन == पर गैर-असिम्प्टोटिक सीमाएँ
-अभाज्य संख्या प्रमेय एक उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी परिणाम देता है {{math|''π''(''x'')}} सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए {{math|''ε'' > 0}}, वहाँ है एक {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
+अभाज्य संख्या प्रमेय उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी परिणाम देता है {{math|''π''(''x'')}} सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए {{math|''ε'' > 0}}, वहाँ है {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
 : <math> (1-\varepsilon)\frac {x}{\log x} \; < \; \pi(x) \; < \; (1+\varepsilon)\frac {x}{\log x} \; .</math>
 हालांकि, बेहतर सीमा है {{math|''π''(''x'')}} जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का
 :<math> \frac{x}{\log x}\left(1+\frac{1}{\log x}\right) \; < \; \pi(x) \; < \; \frac{x}{\log x}\left(1+\frac{1}{\log x}+\frac{2.51}{(\log x)^2}\right) \; .</math>
 पहली असमानता सभी के लिए है {{math|''x'' ≥ 599}} और दूसरा के लिए {{math|''x'' ≥ 355991}}.<ref>{{cite thesis |last=Dusart |first=Pierre |date=26 May 1998 |title=Autour de la fonction qui compte le nombre de nombres premiers |degree=Ph.D. |place=Limoges, France |publisher=l'Université de Limoges |department=département de Mathématiques |url=http://www.unilim.fr/laco/theses/1998/T1998_01.html |lang=fr}}</ref>
-के लिए एक कमजोर लेकिन कभी-कभी उपयोगी बाउंड {{math|''x'' ≥ 55}} है<ref name="rosser">{{cite journal |first=Barkley |last=Rosser |author-link=J. Barkley Rosser |year=1941 |title=Explicit bounds for some functions of prime numbers |journal=[[American Journal of Mathematics]] |volume=63 |issue=1 |pages=211–232 |doi=10.2307/2371291 |jstor=2371291 |mr=0003018}}</ref>
+के लिए कमजोर लेकिन कभी-कभी उपयोगी बाउंड {{math|''x'' ≥ 55}} है<ref name="rosser">{{cite journal |first=Barkley |last=Rosser |author-link=J. Barkley Rosser |year=1941 |title=Explicit bounds for some functions of prime numbers |journal=[[American Journal of Mathematics]] |volume=63 |issue=1 |pages=211–232 |doi=10.2307/2371291 |jstor=2371291 |mr=0003018}}</ref>
 :<math> \frac {x}{\log x + 2} \; < \; \pi(x) \; < \; \frac {x}{\log x - 4} \; .</math>
 पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के मजबूत संस्करण हैं जो बड़े के लिए मान्य हैं {{mvar|x}}. बाद में 2010 में, दुसार्ट ने साबित किया:<ref>{{cite arXiv |last=Dusart |first=Pierre |year=2010 |title=Estimates of some functions over primes, without R.H. |eprint=1002.0442 |class=math.NT}}</ref>
@@ Line 276: / Line 276: @@
 \pi(x) \; &< \; \frac {x} {\log x - 1.1} && \text{  for } x \ge 60184 \; .
 \end{align}</math>
-डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए {{math|''ε'' > 0}}, वहाँ है एक {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
+डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए {{math|''ε'' > 0}}, वहाँ है {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
 : <math>\frac {x}{\log x - (1 - \varepsilon)} \; < \; \pi(x) \; < \; \frac {x}{\log x - (1+\varepsilon)} \; .</math>
 == के लिए अनुमान{{mvar|n}}वें अभाज्य संख्या ==
-अभाज्य संख्या प्रमेय के परिणाम के रूप में, एक के लिए एक स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है {{mvar|n}}वें अभाज्य संख्या, द्वारा निरूपित {{math|''p''<sub>''n''</sub>}}:
+अभाज्य संख्या प्रमेय के परिणाम के रूप में, के लिए स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है {{mvar|n}}वें अभाज्य संख्या, द्वारा निरूपित {{math|''p''<sub>''n''</sub>}}:
 :<math>p_n \sim n \log n.</math>
 एक बेहतर सन्निकटन है<ref>{{cite journal|author-link=Ernesto Cesàro|first=Ernesto|last=Cesàro|year=1894|title=Sur une formule empirique de M. Pervouchine|journal=Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences|volume=119|pages=848–849|url=http://gallica.bnf.fr/ark:/12148/bpt6k30752|language=fr}}</ref>
 :<math> \frac{p_n}{n} = \log n + \log \log n - 1 + \frac{\log \log n - 2}{\log n} - \frac{(\log\log n)^2 - 6 \log \log n + 11}{2(\log n)^2} + o \left( \frac {1}{(\log n)^2}\right).</math>
-फिर से विचार कर रहा हूँ {{val|2|e=17}}वें अभाज्य संख्या {{val|8512677386048191063}}, यह एक अनुमान देता है {{val|8512681315554715386}}; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।
+फिर से विचार कर रहा हूँ {{val|2|e=17}}वें अभाज्य संख्या {{val|8512677386048191063}}, यह अनुमान देता है {{val|8512681315554715386}}; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।
 रोसेर की प्रमेय कहती है कि
@@ Line 488: / Line 488: @@
-== एक [[परिमित क्षेत्र]] पर [[अलघुकरणीय बहुपद]]ों के लिए अनुरूप ==
+== एक [[परिमित क्षेत्र]] पर [[अलघुकरणीय बहुपद]] के लिए अनुरूप ==
-अभाज्य संख्या प्रमेय का एक एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह शास्त्रीय अभाज्य संख्या प्रमेय के मामले के समान ही है।
+अभाज्य संख्या प्रमेय का एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह शास्त्रीय अभाज्य संख्या प्रमेय के मामले के समान ही है।
 इसे ठीक-ठीक बताने के लिए, आइए {{math|''F'' {{=}} GF(''q'')}} के साथ परिमित क्षेत्र हो {{mvar|q}} तत्व, कुछ निश्चित के लिए {{mvar|q}}, और जाने {{mvar|N<sub>n</sub>}} [[मोनिक बहुपद]] अलघुकरणीय बहुपदों की संख्या अधिक हो {{mvar|F}} जिसकी बहुपद की डिग्री के बराबर है {{mvar|n}}. यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें से चुना गया है {{mvar|F}}, जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस सेटिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है
@@ Line 495: / Line 495: @@
 अगर हम प्रतिस्थापन करते हैं {{math|''x'' {{=}} ''q''<sup>''n''</sup>}}, तो दाहिना हाथ न्यायपूर्ण है
 :<math>\frac{x}{\log_q x},</math>
-जो समानता को स्पष्ट करता है। चूंकि ठीक हैं {{math|''q''<sup>''n''</sup>}} डिग्री के मोनिक बहुपद {{mvar|n}} (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का एक मोनिक बहुपद {{mvar|n}} बेतरतीब ढंग से चुना जाता है, तो इसके अलघुकरणीय होने की प्रायिकता लगभग होती है{{math|{{sfrac|1|''n''}}}}.
+जो समानता को स्पष्ट करता है। चूंकि ठीक हैं {{math|''q''<sup>''n''</sup>}} डिग्री के मोनिक बहुपद {{mvar|n}} (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का मोनिक बहुपद {{mvar|n}} बेतरतीब ढंग से चुना जाता है, तो इसके अलघुकरणीय होने की प्रायिकता लगभग होती है{{math|{{sfrac|1|''n''}}}}.
-कोई भी रीमैन परिकल्पना का एक एनालॉग भी साबित कर सकता है, जिसका नाम है
+कोई भी रीमैन परिकल्पना का एनालॉग भी साबित कर सकता है, जिसका नाम है
 :<math>N_n = \frac{q^n}n + O\left(\frac{q^\frac{n}{2}}{n}\right).</math>
-शास्त्रीय मामले की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें एक छोटा, [[साहचर्य]] तर्क शामिल है,<ref>{{cite journal|last1=Chebolu|first1=Sunil|first2=Ján|last2=Mináč|title=Counting Irreducible Polynomials over Finite Fields Using the Inclusion {{pi}} Exclusion Principle|journal=Mathematics Magazine|date=December 2011|volume=84|issue=5|pages=369–371|doi=10.4169/math.mag.84.5.369|jstor=10.4169/math.mag.84.5.369|arxiv=1001.0409|s2cid=115181186}}</ref> संक्षेप में इस प्रकार है: डिग्री के हर तत्व {{mvar|n}} का विस्तार {{mvar|F}} कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात है {{mvar|d}} विभाजित {{mvar|n}}; इन जड़ों को दो अलग-अलग तरीकों से गिनने से यह स्थापित होता है
+शास्त्रीय मामले की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें छोटा, [[साहचर्य]] तर्क शामिल है,<ref>{{cite journal|last1=Chebolu|first1=Sunil|first2=Ján|last2=Mináč|title=Counting Irreducible Polynomials over Finite Fields Using the Inclusion {{pi}} Exclusion Principle|journal=Mathematics Magazine|date=December 2011|volume=84|issue=5|pages=369–371|doi=10.4169/math.mag.84.5.369|jstor=10.4169/math.mag.84.5.369|arxiv=1001.0409|s2cid=115181186}}</ref> संक्षेप में इस प्रकार है: डिग्री के हर तत्व {{mvar|n}} का विस्तार {{mvar|F}} कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात है {{mvar|d}} विभाजित {{mvar|n}}; इन जड़ों को दो अलग-अलग तरीकों से गिनने से यह स्थापित होता है
 :<math>q^n = \sum_{d\mid n} d N_d,</math>
-जहां योग सभी वि[[भाजक]]ों पर है {{mvar|d}} का {{mvar|n}}. मोबियस उलटा तो उपज देता है
+जहां योग सभी वि[[भाजक]] पर है {{mvar|d}} का {{mvar|n}}. मोबियस उलटा तो उपज देता है
 :<math>N_n = \frac{1}{n} \sum_{d\mid n} \mu\left(\frac{n}{d}\right) q^d,</math>
-कहाँ {{math|''μ''(''k'')}} मोबियस फ़ंक्शन है। (यह सूत्र गॉस को ज्ञात था।<!-- although I haven't got a reference for this. -->) मुख्य शब्द के लिए होता है {{math|''d'' {{=}} ''n''}}, और शेष शर्तों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा [[उचित विभाजक]] {{mvar|n}} से बड़ा नहीं हो सकता {{math|{{sfrac|''n''|2}}}}.
+कहाँ {{math|''μ''(''k'')}} मोबियस फ़ंक्शन है। (यह सूत्र गॉस को ज्ञात था।) मुख्य शब्द के लिए होता है {{math|''d'' {{=}} ''n''}}, और शेष शर्तों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा [[उचित विभाजक]] {{mvar|n}} से बड़ा नहीं हो सकता {{math|{{sfrac|''n''|2}}}}.
 == यह भी देखें ==
@@ Line 571: / Line 571: @@
 * [http://www.ieeta.pt/~tos/primes.html Tables of prime-counting functions] by Tomás Oliveira e Silva
 * Eberl, Manuel and [[Lawrence Paulson|Paulson, L. C.]] [https://www.isa-afp.org/entries/Prime_Number_Theorem.html The Prime Number Theorem (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)]
-*[http://www.dimostriamogoldbach.it/en/prime-number-theorem-path/ The Prime Number Theorem: the "elementary" proof] −  An exposition of the elementary proof of the Prime Number Theorem of Atle Selberg and Paul Erdős at [http://www.dimostriamogoldbach.it/en/ www.dimostriamogoldbach.it/en/ ]
+*[http://www.dimostriamogoldbach.it/en/prime-number-theorem-path/ The Prime Number Theorem: the "elementary" proof] − An exposition of the elementary proof of the Prime Number Theorem of Atle Selberg and Paul Erdős at [http://www.dimostriamogoldbach.it/en/ www.dimostriamogoldbach.it/en/ ]
 {{DEFAULTSORT:Prime Number Theorem}}[[Category: लघुगणक]] [[Category: अभाज्य संख्याओं के बारे में प्रमेय]] [[Category: विश्लेषणात्मक संख्या सिद्धांत में प्रमेय]]

Anonymous

Search

अभाज्य संख्या प्रमेय: Difference between revisions

Revision as of 14:00, 11 July 2023

कथन

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

सबूत स्केच

गैर-लुप्त होने पर Re(s) = 1

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

प्राथमिक प्रमाण

कंप्यूटर सत्यापन

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

अभाज्य संख्या जाति

के लिए अनुमानnवें अभाज्य संख्या

की तालिका π(x), x / log x, और li(x)

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

यह भी देखें

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories

गैर-लुप्त होने पर $Re(s) = 1$

के लिए अनुमान $n$ वें अभाज्य संख्या

की तालिका $π (x)$ , $x / log x$ , और $li(x)$