हार्मोनिक श्रृंखला (गणित): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Divergent sum of all positive unit fractions}}
{{Short description|Divergent sum of all positive unit fractions}}
{{Calculus |Series}}
{{Calculus |Series}}
गणित में, हार्मोनिक श्रृंखला सभी धनात्मक इकाई [[अंशों]] को योग करके बनाई गई [[अनंत श्रृंखला]] है
गणित में, '''हार्मोनिक श्रृंखला''' सभी धनात्मक इकाई [[अंशों]] को योग करके बनाई गई [[अनंत श्रृंखला]] है
<math display=block>\sum_{n=1}^\infty\frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots.</math>
<math display=block>\sum_{n=1}^\infty\frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots.</math>
श्रृंखला के पहले <math>n</math> पदों का योग लगभग <math>\ln n + \gamma</math>, होता है, जहां <math>\ln</math> [[प्राकृतिक]] लघुगणक के रूप में है और <math>\gamma\approx0.577</math> यूलर-मास्चेरोनी स्थिरांक है। चूंकि लघुगणक में यादृच्छिक ढंग से बड़े मान होते हैं, हार्मोनिक श्रृंखला की कोई सीमित सीमा नहीं होती है: यह एक डाइवर्जेंट श्रृंखला है। इसका डाइवर्जन्स 14 वीं शताब्दी में [[निकोल ओरेसमे]] द्वारा अनंत श्रृंखला के कन्वर्जेन्स के लिए कॉची संघनन परीक्षण के प्रीकर्सर का उपयोग करके सिद्ध किया जाता है और इस प्रकार कन्वर्जेन्स के लिए [[अभिन्न]] परीक्षण के अनुसार योग को एक अभिन्न से तुलना करके इसे डाइवर्जन्स के रूप में सिद्ध किया जा सकता है।
श्रृंखला के पहले <math>n</math> पदों का योग लगभग <math>\ln n + \gamma</math>, होता है, जहां <math>\ln</math> [[प्राकृतिक]] लघुगणक के रूप में होता है और <math>\gamma\approx0.577</math> यूलर-मास्चेरोनी स्थिरांक है। चूंकि लघुगणक में यादृच्छिक ढंग से बड़े मान होते हैं और हार्मोनिक श्रृंखला की कोई सीमित सीमा नहीं होती है, यह एक डाइवर्जेंट श्रृंखला है। इसका डाइवर्जन्स 14 वीं शताब्दी में [[निकोल ओरेसमे]] द्वारा अनंत श्रृंखला के कन्वर्जेन्स के लिए कॉची कान्डेन्सेशन परीक्षण के प्रीकर्सर का उपयोग करके सिद्ध किया जाता है और इस प्रकार कन्वर्जेन्स के लिए [[अभिन्न]] परीक्षण के अनुसार योग को एक अभिन्न से तुलना करके इसे डाइवर्जन्स के रूप में सिद्ध किया जाता है।


हार्मोनिक श्रृंखला और इसके पार्शियल योग के अनुप्रयोगों में प्राइम्स के व्युत्क्रमों के योग का डाइवर्जन्स सम्मलित है। यूलर का प्रमाण है कि असीम रूप से कई अभाज्य संख्याएँ होती है, जो कूपन संग्राहक की समस्या का विश्लेषण एक पूर्ण श्रेणी प्रदान करने के लिए यादृच्छिक परीक्षणों की आवश्यकता होती है और इस प्रकार प्रतिक्रियाओं का यादृच्छिक रेखांकन के [[घटक (ग्राफ सिद्धांत)]], [[ब्लॉक-स्टैकिंग समस्या]] कितनी दूर एक तालिका के किनारे पर ब्लॉकों का ढेर [[ब्रैकट]] के रूप में हो सकता है और [[जल्दी से सुलझाएं]] लघुगणक का औसत केस विश्लेषण के रूप में होता है।
हार्मोनिक श्रृंखला और इसके पार्शियल योग के अनुप्रयोगों में प्राइम्स के व्युत्क्रमों के योग का डाइवर्जन्स के रूप में सम्मलित होते है। यूलर का प्रमाण है कि असीम रूप से कई अभाज्य संख्याएँ होती है, जो कूपन कलेक्टर की समस्या का विश्लेषण करता है और इस प्रकार एक पूर्ण श्रेणी प्रदान करने के लिए यादृच्छिक परीक्षणों की आवश्यकता होती है और जिससे कि प्रतिक्रियाओं का यादृच्छिक रेखांकन के [[घटक (ग्राफ सिद्धांत)]], [[ब्लॉक-स्टैकिंग समस्या]] एक तालिका के किनारे पर ब्लॉकों का ढेर [[ब्रैकट]] के रूप में उपयोग करते है और [[जल्दी से सुलझाएं|त्वरित सॉर्ट]] लघुगणक का औसत केस विश्लेषण होता है।


== इतिहास ==
== इतिहास ==
[[File:Harmonic series to 32.svg|thumb|तरंग दैर्ध्य के साथ एक लहर और उसके हार्मोनिक्स <math>1,\tfrac12,\tfrac13,\dots</math>]]हार्मोनिक श्रृंखला का नाम [[अधिस्वर|ओवरटून]] या [[हार्मोनिक श्रृंखला (संगीत)]] की अवधारणा से लिया गया है एक कंपन स्ट्रिंग के ओवरटोन के [[तरंग दैर्ध्य]] {{nowrap|<math>\tfrac12</math>,}} {{nowrap|<math>\tfrac13</math>,}} {{nowrap|<math>\tfrac14</math>,}} इत्यादि के रूप में होते है।{{r|rice|kullman}} स्ट्रिंग की [[मौलिक आवृत्ति]] पहले के बाद हार्मोनिक श्रृंखला का प्रत्येक पद निकटतम पदों का [[अनुकूल माध्य]] है, इसलिए शब्द [[हार्मोनिक प्रगति (गणित)]] के रूप में बनाते हैं और इस प्रकार हार्मोनिक माध्य और हार्मोनिक प्रगति वाक्यांश इसी तरह म्यूजिक से प्राप्त होते हैं।{{r|kullman}} म्यूजिक के अतिरिक्त, हार्मोनिक अनुक्रमों की भी आर्किटेक्ट्स के बीच एक निश्चित लोकप्रियता रही है। यह विशेष रूप से [[बारोक]] काल में था, जब वास्तुकारों ने उनका उपयोग आर्किटेक्चरल ड्राइंग, फ्लोर प्लान,,एलिवेशन के अनुपात को स्थापित करने और चर्चों और महलों के आंतरिक और बाहरी दोनों वास्तुशिल्प विवरणों के बीच हार्मोनिक संबंध स्थापित करने के लिए किया था।{{r|hersey}}
[[File:Harmonic series to 32.svg|thumb|तरंग दैर्ध्य के साथ एक लहर और उसके हार्मोनिक्स <math>1,\tfrac12,\tfrac13,\dots</math>]]हार्मोनिक श्रृंखला का नाम [[अधिस्वर|ओवरटून]] या [[हार्मोनिक श्रृंखला (संगीत)]] की अवधारणा से लिया गया है एक कंपन स्ट्रिंग के ओवरटोन के [[तरंग दैर्ध्य]] {{nowrap|<math>\tfrac12</math>,}} {{nowrap|<math>\tfrac13</math>,}} {{nowrap|<math>\tfrac14</math>,}} इत्यादि के रूप में होते है।{{r|rice|kullman}} स्ट्रिंग की [[मौलिक आवृत्ति]] पहले के बाद हार्मोनिक श्रृंखला का प्रत्येक पद निकटतम पदों का [[अनुकूल माध्य]] है, इसलिए शब्द [[हार्मोनिक प्रगति (गणित)]] के रूप में बनाते हैं और इस प्रकार हार्मोनिक माध्य और हार्मोनिक प्रगति वाक्यांश इसी तरह म्यूजिक से प्राप्त होते हैं।{{r|kullman}} म्यूजिक के अतिरिक्त, हार्मोनिक अनुक्रमों की भी आर्किटेक्ट्स के बीच एक निश्चित लोकप्रियता रही है। यह विशेष रूप से [[बारोक]] काल में था, जब वास्तुकारों ने उनका उपयोग आर्किटेक्चरल ड्राइंग, फ्लोर प्लान,,एलिवेशन के अनुपात को स्थापित करने और चर्चों और महलों के आंतरिक और बाहरी दोनों वास्तुशिल्प विवरणों के बीच हार्मोनिक संबंध स्थापित करने के लिए किया था।{{r|hersey}}


हार्मोनिक श्रृंखला का डाइवर्जन्स पहली बार 1350 में निकोल ओरेसमे द्वारा सिद्ध किया गया था।{{r|kullman|oresme}} ओरेस्मे का काम और एक भिन्न श्रृंखला पर [[रिचर्ड स्वाइनहेड]] का समकालीन काम गणित में ज्यामितीय श्रृंखला के अतिरिक्त अनंत श्रृंखला की पहली उपस्थिति को चिह्नित करता है।{{r|stillwell}} चूंकि, यह उपलब्धि अस्पष्टता के रूप में होती है।{{r|derbyshire}} और इस प्रकार अतिरिक्त प्रमाण 17वीं शताब्दी में [[पिएत्रो मेंगोली]] द्वारा प्रकाशित किए गए थे{{r|kullman|mengoli}} और [[जैकब बर्नौली]] द्वारा।{{r|jacob1|jacob2|dunham}} सबूत खोजने का श्रेय अपने भाई [[जोहान बर्नौली]] को दिया था,{{r|dunham}} और इसे बाद में जोहान बर्नौली के एकत्रित कार्यों के रूप में सम्मलित किया गया था।{{r|johann}}
हार्मोनिक श्रृंखला का डाइवर्जन्स पहली बार 1350 में निकोल ओरेसमे द्वारा सिद्ध किया गया था।{{r|kullman|oresme}} ओरेस्मे का काम और एक भिन्न श्रृंखला पर [[रिचर्ड स्वाइनहेड]] का समकालीन काम गणित में ज्यामितीय श्रृंखला के अतिरिक्त अनंत श्रृंखला की पहली उपस्थिति को चिह्नित करता है।{{r|stillwell}} चूंकि, यह उपलब्धि अस्पष्टता के रूप में होती है।{{r|derbyshire}} और इस प्रकार अतिरिक्त प्रमाण 17वीं शताब्दी में [[पिएत्रो मेंगोली]] द्वारा प्रकाशित किए गए थे{{r|kullman|mengoli}} और [[जैकब बर्नौली]] द्वारा।{{r|jacob1|jacob2|dunham}} सबूत खोजने का श्रेय अपने भाई [[जोहान बर्नौली]] को दिया था,{{r|dunham}} और इसे बाद में जोहान बर्नौली के एकत्रित कार्यों के रूप में सम्मलित किया गया था।{{r|johann}}


हार्मोनिक श्रृंखला के पार्शियल योगों को [[हार्मोनिक संख्या]]ओ के रूप में नामित किया गया था और [[डोनाल्ड नुथ]] द्वारा 1968 में अपना सामान्य अंकन <math>H_n</math>, के रूप में दिया था ।{{r|knuth}}
हार्मोनिक श्रृंखला के पार्शियल योगों को [[हार्मोनिक संख्या]]ओ के रूप में नामित किया गया था और [[डोनाल्ड नुथ]] द्वारा 1968 में अपना सामान्य अंकन <math>H_n</math>, के रूप में दिया था ।{{r|knuth}}
Line 17: Line 16:
हार्मोनिक श्रृंखला अनंत श्रृंखला है
हार्मोनिक श्रृंखला अनंत श्रृंखला है
<math display=block>\sum_{n=1}^\infty\frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots</math>
<math display=block>\sum_{n=1}^\infty\frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \cdots</math>
जिसमें पद सभी धनात्मक इकाई भिन्न के रूप में होती है। यह एक डाइवर्जेंट श्रृंखला है और श्रृंखला के अधिक पदों को श्रृंखला के [[आंशिक योग|पार्शियल योग]] के रूप में सम्मलित किया जाता है, इन पार्शियल योगों के मान यादृच्छिक ढंग से बड़े होते हैं, किसी भी परिमित सीमा से परे होते हैं। क्योंकि यह एक भिन्न श्रृंखला के रूप में होती है। इसे एक औपचारिक योग के रूप में व्याख्या किया जाता है, एक अमूर्त गणितीय अभिव्यक्ति जो इकाई अंशों को जोड़ती है और इस प्रकार इसके एक संख्यात्मक मान का मूल्यांकन किया जा सकता है। एस.जे. किफोविट और टीए स्टैम्प्स द्वारा 2006 के पेपर में सर्वेक्षण किए गए हार्मोनिक श्रृंखला के डाइवर्जन्स के कई भिन्न -भिन्न सबूत हैं।{{r|kifowit}}
जिसमें पद सभी धनात्मक इकाई भिन्न के रूप में होती है। यह एक डाइवर्जेंट श्रृंखला है और श्रृंखला के अधिक पदों को श्रृंखला के [[आंशिक योग|पार्शियल योग]] के रूप में सम्मलित किया जाता है, इन पार्शियल योगों के मान यादृच्छिक ढंग से बड़े होते हैं, किसी भी परिमित सीमा से परे होते हैं। क्योंकि यह एक भिन्न श्रृंखला के रूप में होती है। इसे एक औपचारिक योग के रूप में व्याख्या किया जाता है, एक अमूर्त गणितीय अभिव्यक्ति जो इकाई अंशों को जोड़ती है और इस प्रकार इसके एक संख्यात्मक मान का मूल्यांकन किया जा सकता है। एस.जे. किफोविट और टीए स्टैम्प्स द्वारा 2006 के पेपर में सर्वेक्षण किए गए हार्मोनिक श्रृंखला के डाइवर्जन्स के कई भिन्न -भिन्न सबूत हैं।{{r|kifowit}}
दो सबसे प्रसिद्ध हैं।{{r|rice|kifowit}} नीचे सूचीबद्ध हैं।
दो सबसे प्रसिद्ध हैं।{{r|rice|kifowit}} नीचे सूचीबद्ध हैं।


=== तुलना परीक्षण ===
=== तुलना परीक्षण ===
डाइवर्जन्स साबित करने की एक विधि जिसमे हार्मोनिक श्रृंखला की तुलना किसी अन्य डाइवर्जन्स श्रृंखला के साथ करना है, जहां प्रत्येक भाजक को दो की अगली सबसे बड़ी घात से बदल दिया जाता है,
डाइवर्जन्स साबित करने की एक विधि जिसमे हार्मोनिक श्रृंखला की तुलना किसी अन्य डाइवर्जन्स श्रृंखला के साथ करना है, जहां प्रत्येक भाजक को दो की अगली सबसे बड़ी घात से बदल दिया जाता है,
<math display=block>\begin{alignat}{8}
<math display=block>\begin{alignat}{8}
   1 & + \frac{1}{2} && + \frac{1}{3} && + \frac{1}{4} && + \frac{1}{5} && + \frac{1}{6} && + \frac{1}{7} && + \frac{1}{8} && + \frac{1}{9} && + \cdots \\[5pt]
   1 & + \frac{1}{2} && + \frac{1}{3} && + \frac{1}{4} && + \frac{1}{5} && + \frac{1}{6} && + \frac{1}{7} && + \frac{1}{8} && + \frac{1}{9} && + \cdots \\[5pt]
Line 27: Line 26:
   {} \geq 1 & + \frac{1}{2} && + \frac{1}{\color{red}{\mathbf{4}}} && + \frac{1}{4} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{8} && + \frac{1}{\color{red}{\mathbf{16}}} && + \cdots \\[5pt]
   {} \geq 1 & + \frac{1}{2} && + \frac{1}{\color{red}{\mathbf{4}}} && + \frac{1}{4} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{\color{red}{\mathbf{8}}} && + \frac{1}{8} && + \frac{1}{\color{red}{\mathbf{16}}} && + \cdots \\[5pt]
  \end{alignat}</math>
  \end{alignat}</math>
समान शर्तों को समूहीकृत करने से पता चलता है कि दूसरी श्रृंखला डाइवर्जन्स करती है, क्योंकि कन्वर्जेन्स श्रृंखला का प्रत्येक समूह केवल कन्वर्जेन्स है
समान शर्तों को समूहीकृत करने से पता चलता है कि दूसरी श्रृंखला डाइवर्जन्स करती है, क्योंकि कन्वर्जेन्स श्रृंखला का प्रत्येक समूह केवल कन्वर्जेन्स है
<math display=block>\begin{align}
<math display=block>\begin{align}
   & 1 + \left(\frac{1}{2}\right) + \left(\frac{1}{4} + \frac{1}{4}\right) + \left(\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}\right) + \left(\frac{1}{16} + \cdots + \frac{1}{16}\right) + \cdots \\[5pt]
   & 1 + \left(\frac{1}{2}\right) + \left(\frac{1}{4} + \frac{1}{4}\right) + \left(\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}\right) + \left(\frac{1}{16} + \cdots + \frac{1}{16}\right) + \cdots \\[5pt]
   {} = {} & 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \cdots.
   {} = {} & 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \cdots.
  \end{align}</math>
  \end{align}</math>
चूंकि हार्मोनिक श्रृंखला की प्रत्येक अवधि दूसरी श्रृंखला की संबंधित अवधि से अधिक या बराबर होती है और शर्तें सभी धनात्मक रूप में होती हैं, यह इस प्रकार है कि हार्मोनिक श्रृंखला भी भिन्न हो जाती है और [[प्रत्यक्ष तुलना परीक्षण]] द्वारा वही तर्क अधिक मजबूती से साबित करता है जिसमे प्रत्येक धनात्मक संख्या के लिए {{nowrap|[[पूर्णांक ]] <math>k</math>,}} होता है  
चूंकि हार्मोनिक श्रृंखला की प्रत्येक अवधि दूसरी श्रृंखला की संबंधित अवधि से अधिक या बराबर होती है और शर्तें सभी धनात्मक रूप में होती हैं, यह इस प्रकार है कि हार्मोनिक श्रृंखला भी भिन्न हो जाती है और [[प्रत्यक्ष तुलना परीक्षण]] द्वारा वही तर्क अधिक मजबूती से साबित करता है जिसमे प्रत्येक धनात्मक संख्या के लिए {{nowrap|[[पूर्णांक ]] <math>k</math>,}} होता है  
<math display=block>\sum_{n=1}^{2^k} \frac{1}{n} \geq 1 + \frac{k}{2}</math>
<math display=block>\sum_{n=1}^{2^k} \frac{1}{n} \geq 1 + \frac{k}{2}</math>
यह लगभग 1350 में निकोल ओरेसमे द्वारा दिया गया मूल प्रमाण है।{{r|kifowit}} कॉची संक्षेपण परीक्षण इस तर्क का एक सामान्यीकरण है।{{r|roy}}
यह लगभग 1350 में निकोल ओरेसमे द्वारा दिया गया मूल प्रमाण है।{{r|kifowit}} कॉची संक्षेपण परीक्षण इस तर्क का एक सामान्यीकरण है।{{r|roy}}
Line 38: Line 37:


=== समाकलन टेस्ट ===
=== समाकलन टेस्ट ===
[[File:Integral Test.svg|thumb|हार्मोनिक श्रृंखला, और हाइपरबोला द्वारा दिए गए क्षेत्र के साथ आयत <math>y=1/x</math> इन आयतों के ऊपरी बाएँ कोनों के माध्यम से]]यह सिद्ध किया जा सकता है कि हार्मोनिक श्रृंखला एक अनुचित अभिन्न के साथ अपने योग की तुलना करके भिन्न हो जाती है। विशेष रूप से, दाईं ओर की आकृति में दिखाए गए आयतों की व्यवस्था पर विचार करते है। प्रत्येक आयत 1 इकाई चौड़ा है और <math>\tfrac1n</math> इकाइयाँ ऊँची हैं, इसलिए यदि हार्मोनिक श्रृंखला परिवर्तित हो जाती है तो आयतों का कुल क्षेत्रफल हार्मोनिक श्रृंखला का योग होगा और इस प्रकार वक्र <math>y=\tfrac1x</math> आयतों की ऊपरी सीमा के नीचे पूरी तरह से रहता है, इसलिए वक्र के नीचे का क्षेत्र आयतों के मिलन के क्षेत्रफल से कम होता है और जिससे की सीमा में <math>x</math> एक से अनंत तक जो आयतों से आच्छादित है। चूंकि, वक्र के नीचे का क्षेत्र एक डाइवर्जेंट अनुचित समाकल द्वारा दिया जाता है।
[[File:Integral Test.svg|thumb|हार्मोनिक श्रृंखला, और हाइपरबोला द्वारा दिए गए क्षेत्र के साथ आयत <math>y=1/x</math> इन आयतों के ऊपरी बाएँ कोनों के माध्यम से]]यह सिद्ध किया जा सकता है कि हार्मोनिक श्रृंखला एक अनुचित अभिन्न के साथ अपने योग की तुलना करके भिन्न हो जाती है। विशेष रूप से, दाईं ओर की आकृति में दिखाए गए आयतों की व्यवस्था पर विचार करते है। प्रत्येक आयत 1 इकाई चौड़ा है और <math>\tfrac1n</math> इकाइयाँ ऊँची हैं, इसलिए यदि हार्मोनिक श्रृंखला परिवर्तित हो जाती है तो आयतों का कुल क्षेत्रफल हार्मोनिक श्रृंखला का योग होगा और इस प्रकार वक्र <math>y=\tfrac1x</math> आयतों की ऊपरी सीमा के नीचे पूरी तरह से रहता है, इसलिए वक्र के नीचे का क्षेत्र आयतों के मिलन के क्षेत्रफल से कम होता है और जिससे की सीमा में <math>x</math> एक से अनंत तक जो आयतों से आच्छादित है। चूंकि, वक्र के नीचे का क्षेत्र एक डाइवर्जेंट अनुचित समाकल द्वारा दिया जाता है।


<math display="block">\int_1^\infty\frac{1}{x}\,dx = \infty.</math>
<math display="block">\int_1^\infty\frac{1}{x}\,dx = \infty.</math>
Line 45: Line 44:
अनुक्रम में प्रत्येक आयत को अगले प्रतिस्थापित करने से आयतों का एक क्रम उत्पन्न होता है जिसकी सीमा वक्र के ऊपर होने के अतिरिक्त नीचे स्थित होता है। इससे पता चलता है कि हार्मोनिक श्रृंखला का पार्शियल योग उस राशि से अभिन्न से भिन्न होता है, जो पहले आयत के इकाई क्षेत्र से ऊपर और नीचे बंधी होती है,
अनुक्रम में प्रत्येक आयत को अगले प्रतिस्थापित करने से आयतों का एक क्रम उत्पन्न होता है जिसकी सीमा वक्र के ऊपर होने के अतिरिक्त नीचे स्थित होता है। इससे पता चलता है कि हार्मोनिक श्रृंखला का पार्शियल योग उस राशि से अभिन्न से भिन्न होता है, जो पहले आयत के इकाई क्षेत्र से ऊपर और नीचे बंधी होती है,
<math display="block">\int_1^{N+1}\frac1x\,dx<\sum_{i=1}^N\frac1i<\int_1^{N}\frac1x\,dx+1.</math>
<math display="block">\int_1^{N+1}\frac1x\,dx<\sum_{i=1}^N\frac1i<\int_1^{N}\frac1x\,dx+1.</math>
इस तर्क को सामान्यीकृत करते हुए, एक मोनोटोन घटते धनात्मक कार्य के मूल्यों का कोई भी अनंत योग {{nowrap|का <math>n</math>}} हार्मोनिक श्रृंखला की तरह पार्शियल रूप में होता है, जो संबंधित समाकलन के मूल्यों की सीमित दूरी के भीतर होती है। इसलिए योग कॉनवर्जेंट होता है यदि और केवल यदि समान फलन की समान श्रेणी पर समाकल कॉनवर्जेंट होता है। जब इस तुल्यता का उपयोग योग के कन्वर्जेन्स की जाँच करने के लिए इसे आसान समाकल से प्रतिस्थापित करके किया जाता है, तो इसे कन्वर्जेन्स के लिए समाकल परीक्षण के रूप में जाना जाता है।{{r|bressoud}}
इस तर्क को सामान्यीकृत करते हुए, एक मोनोटोन घटते धनात्मक कार्य के मूल्यों का कोई भी अनंत योग {{nowrap|का <math>n</math>}} हार्मोनिक श्रृंखला की तरह पार्शियल रूप में होता है, जो संबंधित समाकलन के मूल्यों की सीमित दूरी के भीतर होती है। इसलिए योग कॉनवर्जेंट होता है यदि और केवल यदि समान फलन की समान श्रेणी पर समाकल कॉनवर्जेंट होता है। जब इस तुल्यता का उपयोग योग के कन्वर्जेन्स की जाँच करने के लिए इसे आसान समाकल से प्रतिस्थापित करके किया जाता है, तो इसे कन्वर्जेन्स के लिए समाकल परीक्षण के रूप में जाना जाता है।{{r|bressoud}}


== पार्शियल योग ==
== पार्शियल योग ==
Line 100: Line 99:


=== विकास दर ===
=== विकास दर ===
ये संख्याएँ [[लघुगणकीय वृद्धि]] के साथ बहुत धीमी गति से बढ़ती हैं जैसा कि समाकलन टेस्ट से देखा जा सकता है।{{r|bressoud}} यूलर मैक्लॉरिन फॉर्मूला द्वारा अधिक सटीकता से दिखाया गया है,
ये संख्याएँ [[लघुगणकीय वृद्धि]] के साथ बहुत धीमी गति से बढ़ती हैं जैसा कि समाकलन टेस्ट से देखा जा सकता है।{{r|bressoud}} यूलर मैक्लॉरिन फॉर्मूला द्वारा अधिक सटीकता से दिखाया गया है,
<math display=block>H_n = \ln n + \gamma + \frac{1}{2n} - \varepsilon_n</math>
<math display=block>H_n = \ln n + \gamma + \frac{1}{2n} - \varepsilon_n</math>
जहाँ <math>\gamma\approx 0.5772</math> यूलर-मास्चेरोनी स्थिरांक है और <math>0\le\varepsilon_n\le 1/8n^2</math> जो 0 के रूप में पहुंचता है <math>n</math> अनंत तक जाता है।{{r|boawre}}
जहाँ <math>\gamma\approx 0.5772</math> यूलर-मास्चेरोनी स्थिरांक है और <math>0\le\varepsilon_n\le 1/8n^2</math> जो 0 के रूप में पहुंचता है <math>n</math> अनंत तक जाता है।{{r|boawre}}




Line 110: Line 109:
जिसमें अंशों में से केवल एक, {{nowrap|<math>M/2^k</math>,}} विषम है और बाकी सम हैं, और {{nowrap|(जब <math>n>1</math>)}} <math>M</math> स्वयं सम है। इसलिए, परिणाम एक विषम अंश और एक सम भाजक के साथ एक भिन्न रूप में होता है, जो एक पूर्णांक नहीं हो सकता।{{r|havil}} और इस प्रकार अधिक मजबूती से लगातार पूर्णांकों के किसी भी क्रम में एक अद्वितीय सदस्य होता है, जो अन्य सभी अनुक्रम सदस्यों की तुलना में दो की अधिक घात से विभाज्य होता है, जिससे यह उसी तर्क का अनुसरण करता है कि कोई भी दो हार्मोनिक संख्या एक पूर्णांक से भिन्न नहीं होती है।{{r|osler}}
जिसमें अंशों में से केवल एक, {{nowrap|<math>M/2^k</math>,}} विषम है और बाकी सम हैं, और {{nowrap|(जब <math>n>1</math>)}} <math>M</math> स्वयं सम है। इसलिए, परिणाम एक विषम अंश और एक सम भाजक के साथ एक भिन्न रूप में होता है, जो एक पूर्णांक नहीं हो सकता।{{r|havil}} और इस प्रकार अधिक मजबूती से लगातार पूर्णांकों के किसी भी क्रम में एक अद्वितीय सदस्य होता है, जो अन्य सभी अनुक्रम सदस्यों की तुलना में दो की अधिक घात से विभाज्य होता है, जिससे यह उसी तर्क का अनुसरण करता है कि कोई भी दो हार्मोनिक संख्या एक पूर्णांक से भिन्न नहीं होती है।{{r|osler}}


एक और सबूत है कि हार्मोनिक संख्याएं पूर्णांक नहीं हैं, यह देखता है कि भाजक <math>H_n</math> से विभाज्य रूप में होता है और बड़ी सभी [[अभाज्य संख्या]]एँ <math>n/2</math> और यह साबित करने के लिए बर्ट्रेंड की अभिधारणा का उपयोग करता है कि अभाज्य संख्याओं का यहसमुच्चय खाली नहीं है। इसी तर्क का अधिक दृढ़ता से तात्पर्य है कि, <math>H_1=1</math>, <math>H_2=1.5</math>, और <math>H_6=2.45</math>, किसी भी हार्मोनिक संख्या में समाप्ति दशमलव प्रतिनिधित्व के रूप में नहीं होता है।{{r|havil}} और इस प्रकार यह अनुमान लगाया जाता है कि प्रत्येक अभाज्य संख्या हार्मोनिक संख्याओं के केवल एक परिमित उपसमुच्चय के अंशों को विभाजित करती है, लेकिन यह अप्रमाणित रूप में रहती है।{{r|sanna}}
एक और सबूत है कि हार्मोनिक संख्याएं पूर्णांक नहीं हैं, यह देखता है कि भाजक <math>H_n</math> से विभाज्य रूप में होता है और बड़ी सभी [[अभाज्य संख्या]]एँ <math>n/2</math> और यह साबित करने के लिए बर्ट्रेंड की अभिधारणा का उपयोग करता है कि अभाज्य संख्याओं का यहसमुच्चय खाली नहीं है। इसी तर्क का अधिक दृढ़ता से तात्पर्य है कि, <math>H_1=1</math>, <math>H_2=1.5</math>, और <math>H_6=2.45</math>, किसी भी हार्मोनिक संख्या में समाप्ति दशमलव प्रतिनिधित्व के रूप में नहीं होता है।{{r|havil}} और इस प्रकार यह अनुमान लगाया जाता है कि प्रत्येक अभाज्य संख्या हार्मोनिक संख्याओं के केवल एक परिमित उपसमुच्चय के अंशों को विभाजित करती है, लेकिन यह अप्रमाणित रूप में रहती है।{{r|sanna}}


=== इंटरपोलेशन ===
=== इंटरपोलेशन ===
[[File:Psi0.png|thumb|upright|समिश्र संख्याओं पर डिगामा कार्य करता है]]डि[[गामा समारोह|गामा फलन]] को गामा फलन के लघुगणकीय अवकलज के रूप में परिभाषित किया जाता है,
[[File:Psi0.png|thumb|upright|समिश्र संख्याओं पर डिगामा कार्य करता है]]डि[[गामा समारोह|गामा फलन]] को गामा फलन के लघुगणकीय अवकलज के रूप में परिभाषित किया जाता है,
<math display=block>\psi(x)=\frac{d}{dx}\ln\big(\Gamma(x)\big)=\frac{\Gamma'(x)}{\Gamma(x)}.</math>
<math display=block>\psi(x)=\frac{d}{dx}\ln\big(\Gamma(x)\big)=\frac{\Gamma'(x)}{\Gamma(x)}.</math>
जिस तरह गामा फलन [[कारख़ाने का|फैक्टोरियल]] का निरंतर [[प्रक्षेप|इंटरपोलेशन]] प्रदान करता है, उसी प्रकार डिगामा फलन हार्मोनिक संख्याओं का निरंतर इंटरपोलेशन प्रदान करता है, इसका अर्थ में कि {{nowrap|<math>\psi(n)=H_{n-1}-\gamma</math>.{{r|ross}}}} इस समीकरण का उपयोग तर्कसंगत सूचकांकों के साथ हार्मोनिक संख्याओं की परिभाषा को विस्तारित करने के लिए इस समीकरण का उपयोग किया जा सकता है।
जिस तरह गामा फलन [[कारख़ाने का|फैक्टोरियल]] का निरंतर [[प्रक्षेप|इंटरपोलेशन]] प्रदान करता है, उसी प्रकार डिगामा फलन हार्मोनिक संख्याओं का निरंतर इंटरपोलेशन प्रदान करता है, इसका अर्थ में कि {{nowrap|<math>\psi(n)=H_{n-1}-\gamma</math>.{{r|ross}}}} इस समीकरण का उपयोग तर्कसंगत सूचकांकों के साथ हार्मोनिक संख्याओं की परिभाषा को विस्तारित करने के लिए इस समीकरण का उपयोग किया जा सकता है।
== अनुप्रयोग ==
== अनुप्रयोग ==
कई प्रसिद्ध गणितीय समस्याओं के समाधान में हार्मोनिक श्रृंखला और इसके पार्शियल योग के रूप में सम्मलित हैं।
कई प्रसिद्ध गणितीय समस्याओं के समाधान में हार्मोनिक श्रृंखला और इसके पार्शियल योग के रूप में सम्मलित हैं।
Line 121: Line 120:
=== क्रासिंग डिजर्ट ===
=== क्रासिंग डिजर्ट ===
{{main|जीप समस्या}}
{{main|जीप समस्या}}
जीप समस्या या क्रासिंग डिजर्ट की समस्या को 9वीं शताब्दी के अलकुइन प्रोपोजीशन्स एड एक्यूएन्डोस जुवेन्स द्वारा जीप के अतिरिक्त ऊंटों के संदर्भ में तैयार किए गए समस्या संग्रह के रूप में सम्मलित किया गया है। लेकिन एक गलत समाधान के साथ प्रस्तुत किया गया है।{{r|alcuin}} और जिससे कि समस्या यह पूछती है कि बेस से शुरू करते हुए एक जीप रेगिस्तान में कितनी दूर यात्रा कर सकती है और वापस सकती है <math>n</math> ईंधन का भार कुछ ईंधन को रेगिस्तान में ले जाकर और डिपो में छोड़ कर इष्टतम समाधान में कुछ दूरी पर डिपो रखना सम्मलित है <math>\tfrac{r}{2n}, \tfrac{r}{2(n-1)}, \tfrac{r}{2(n-2)}, \dots</math> शुरुआती बिंदु से और एक दूसरे से, जहां <math>r</math> दूरी की सीमा है, जो जीप ईंधन के एक भार के साथ यात्रा कर सकती है और इस प्रकार बेस से बाहर और वापस प्रत्येक यात्रा पर जीप एक और डिपो रखती है और रास्ते में अन्य डिपो में ईंधन भरती है और नए रखे गए डिपो में जितना हो सके उतना ईंधन भरती है, जबकि अभी भी पिछले पर लौटने के लिए पर्याप्त ईंधन छोड़ती है। डिपो और बेस इसलिए कुल दूरी पर पहुंच गया <math>n</math>वीं यात्रा है  
जीप समस्या या क्रासिंग डिजर्ट की समस्या को अलकुइन द्वारा 9वीं शताब्दी के समस्या संग्रह, प्रोपोज़िशन्स एड एक्यूएन्डोस जुवेन्स के रूप में सम्मलित किया गया है और इस प्रकार जीप के अतिरिक्त ऊंटों के संदर्भ में तैयार किए गए समस्या संग्रह के रूप में सम्मलित किया जाता है। लेकिन एक गलत समाधान के साथ समस्या पूछती है कि बेस से शुरू करके एक जीप रेगिस्तान में कितनी दूर तक यात्रा कर सकती है और वापस लौट सकती है{{r|alcuin}} और इस प्रकार <math>n</math> ईंधन का भार कुछ ईंधन को रेगिस्तान में ले जाकर और डिपो में छोड़ कर इष्टतम समाधान में डिपो को दूरियों पर स्थापित करना सम्मलित है <math>\tfrac{r}{2n}, \tfrac{r}{2(n-1)}, \tfrac{r}{2(n-2)}, \dots</math> शुरुआती बिंदु से और एक दूसरे से, जहां <math>r</math> दूरी की सीमा है, जो जीप ईंधन के एक भार के साथ यात्रा कर सकती है और इस प्रकार बेस से बाहर और प्रत्येक यात्रा पर जीप एक और डिपो रखती है और रास्ते में अन्य डिपो में ईंधन भरती है और नए रखे गए डिपो में जितना हो सके उतना ईंधन भरती है, जबकि अभी भी पिछले पर लौटने के लिए पर्याप्त ईंधन छोड़ती है। डिपो और बेस इसलिए कुल दूरी पर पहुंच गया <math>n</math>वीं यात्रा है
 
जीप समस्या या रेगिस्तान-क्रॉसिंग समस्या को अलकुइन द्वारा 9वीं शताब्दी के समस्या संग्रह, प्रोपोज़िशन्स एड एक्यूएन्डोस जुवेन्स (जीप के बजाय ऊंटों के संदर्भ में तैयार) में शामिल किया गया है, लेकिन एक गलत समाधान के साथ।[22] समस्या पूछती है कि बेस से शुरू करके एक जीप रेगिस्तान में कितनी दूर तक यात्रा कर सकती है और वापस लौट सकती है  


<math display="block">\frac{r}{2n}+\frac{r}{2(n-1)}+\frac{r}{2(n-2)}+\cdots=\frac{r}{2} H_n,</math>  
<math display="block">\frac{r}{2n}+\frac{r}{2(n-1)}+\frac{r}{2(n-2)}+\cdots=\frac{r}{2} H_n,</math>  


जहाँ <math>H_n</math> है {{nowrap|<math>n</math>th}} हार्मोनिक संख्या है। हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि पर्याप्त ईंधन के साथ किसी भी लम्बाई के क्रॉसिंग संभव हैं।{{r|gale}}
जहाँ <math>H_n</math> है {{nowrap|<math>n</math>th}} हार्मोनिक संख्या है। हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि पर्याप्त ईंधन के साथ किसी भी लम्बाई के क्रॉसिंग संभव हैं।{{r|gale}}
उदाहरण के लिए, अलकुइन की समस्या के संस्करण के लिए, <math>r=30</math>: एक ऊंट 30 माप ग्रेन ले जा सकता है और एक माप खाते समय एक ल्यूका यात्रा कर सकता है, जहां एक ल्यूका दूरी की एक इकाई है 2.3 किलोमीटर (1.4 मील) सामान्यतः बराबर होती है और इस प्रकार <math>n=3</math>: ग्रेन के 90 उपाय हैं, तीन बार आपूर्ति करने के लिए पर्याप्त हैं। मरुस्थल पार करने की समस्या के मानक सूत्रीकरण के लिए, ऊंट के लिए यात्रा करना संभव होता है <math>\tfrac{30}{2}\bigl(\tfrac13+\tfrac12+\tfrac11)=27.5</math> ल्यूका और वापसी, एक ग्रेन भंडारण डिपो को पहली यात्रा पर आधार से 5 ल्यूका और दूसरी यात्रा पर आधार से 12.5 ल्यूका रखकर करता है। चूंकि, अलकुइन इसके अतिरिक्त थोड़ा भिन्न सवाल पूछता है और इस प्रकार अंतिम वापसी यात्रा के बिना 30 ल्यूकास की दूरी पर कितना ग्रेन ले जाया जा सकता है और या तो कुछ ऊंटों को रेगिस्तान में फँसा दिया जाता है या ऊंट द्वारा खाए गए ग्रेन की मात्रा का हिसाब लगाने में विफल रहता है।{{r|alcuin}}
उदाहरण के लिए, अलकुइन की समस्या के संस्करण के लिए, <math>r=30</math>: एक ऊंट 30 माप ग्रेन ले जा सकता है और एक माप खाते समय एक ल्यूका यात्रा कर सकता है, जहां एक ल्यूका दूरी की एक इकाई है 2.3 किलोमीटर (1.4 मील) सामान्यतः बराबर होती है और इस प्रकार <math>n=3</math>: ग्रेन के 90 उपाय हैं, तीन बार आपूर्ति करने के लिए पर्याप्त हैं। मरुस्थल पार करने की समस्या के मानक सूत्रीकरण के लिए, ऊंट के लिए यात्रा करना संभव होता है <math>\tfrac{30}{2}\bigl(\tfrac13+\tfrac12+\tfrac11)=27.5</math> ल्यूका और वापसी, एक ग्रेन भंडारण डिपो को पहली यात्रा पर आधार से 5 ल्यूका और दूसरी यात्रा पर आधार से 12.5 ल्यूका रखकर करता है। चूंकि, अलकुइन इसके अतिरिक्त थोड़ा भिन्न सवाल पूछता है और इस प्रकार अंतिम वापसी यात्रा के बिना 30 ल्यूकास की दूरी पर कितना ग्रेन ले जाया जा सकता है और या तो कुछ ऊंटों को रेगिस्तान में फँसा दिया जाता है या ऊंट द्वारा खाए गए ग्रेन की मात्रा का हिसाब लगाने में विफल रहता है।{{r|alcuin}}


=== स्टैकिंग ब्लॉक ===
=== स्टैकिंग ब्लॉक ===
{{main|ब्लॉक-स्टैकिंग समस्या}}
{{main|ब्लॉक-स्टैकिंग समस्या}}
[[File:Block_stacking_problem.svg|thumb|250px|ब्लॉक-स्टैकिंग समस्या: हार्मोनिक श्रृंखला के अनुसार गठबंधन किए गए ब्लॉक हार्मोनिक नंबरों द्वारा टेबल के किनारे पर लटक सकते हैं]]ब्लॉक-स्टैकिंग समस्या में, किसी को ढेर लगाना चाहिए <math>n</math> समान आयताकार ब्लॉक, प्रति परत एक, जिससे कि वे बिना गिरे टेबल के किनारे पर यथासंभव लटके रहते है और शीर्ष ब्लॉक के साथ रखा जा सकता है <math>\tfrac12</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है। यदि इसे इस तरह से रखा जाता है, तो अगले ब्लॉक डाउन को अधिक से अधिक रखने की आवश्यकता होती है <math>\tfrac12\cdot\tfrac12</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, जिससे कि शीर्ष दो ब्लॉक के द्रव्यमान का केंद्र समर्थित हो और वे गिरे नहीं होते है। तीसरे ब्लॉक को ज्यादा से ज्यादा साथ में रखने की जरूरत है <math>\tfrac12\cdot\tfrac13</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, और इस तरह इसे लगाना संभव है <math>n</math> ब्लॉक इस तरह से विस्तार करते हैं <math>\tfrac12 H_n</math> तालिका से परे लंबाई, जहाँ <math>H_n</math> है {{nowrap|<math>n</math>th}} हार्मोनिक संख्या के रूप में होता है ।{{r|graham|sharp}} हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि ब्लॉक स्टैक का विस्तार टेबल से कितनी दूर तक हो सकता है, इसकी कोई सीमा नहीं है।{{r|sharp}} प्रति परत एक ब्लॉक के साथ स्टैक के लिए कोई बेहतर समाधान संभव नहीं है, लेकिन प्रति परत एक से अधिक ब्लॉक वाले स्टैक का उपयोग करके बहुत अधिक ओवरहैंग प्राप्त किया जा सकता है।{{r|overhang}}
[[File:Block_stacking_problem.svg|thumb|250px|ब्लॉक-स्टैकिंग समस्या: हार्मोनिक श्रृंखला के अनुसार गठबंधन किए गए ब्लॉक हार्मोनिक नंबरों द्वारा टेबल के किनारे पर लटक सकते हैं]]ब्लॉक-स्टैकिंग समस्या में, किसी को ढेर लगाना चाहिए <math>n</math> समान आयताकार ब्लॉक, प्रति परत एक, जिससे कि वे बिना गिरे टेबल के किनारे पर यथासंभव लटके रहते है और शीर्ष ब्लॉक के साथ रखा जा सकता है <math>\tfrac12</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है। यदि इसे इस तरह से रखा जाता है, तो अगले ब्लॉक डाउन को अधिक से अधिक रखने की आवश्यकता होती है <math>\tfrac12\cdot\tfrac12</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, जिससे कि शीर्ष दो ब्लॉक के द्रव्यमान का केंद्र समर्थित हो और वे गिरे नहीं होते है। तीसरे ब्लॉक को ज्यादा से ज्यादा साथ में रखने की जरूरत है <math>\tfrac12\cdot\tfrac13</math> इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, और इस तरह इसे लगाना संभव है <math>n</math> ब्लॉक इस तरह से विस्तार करते हैं <math>\tfrac12 H_n</math> तालिका से परे लंबाई, जहाँ <math>H_n</math> है {{nowrap|<math>n</math>th}} हार्मोनिक संख्या के रूप में होता है ।{{r|graham|sharp}} हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि ब्लॉक स्टैक का विस्तार टेबल से कितनी दूर तक हो सकता है, इसकी कोई सीमा नहीं है।{{r|sharp}} प्रति परत एक ब्लॉक के साथ स्टैक के लिए कोई बेहतर समाधान संभव नहीं है, लेकिन प्रति परत एक से अधिक ब्लॉक वाले स्टैक का उपयोग करके बहुत अधिक ओवरहैंग प्राप्त किया जा सकता है।{{r|overhang}}


=== अभाज्य संख्याओं और भाजकों की गिनती ===
=== अभाज्य संख्याओं और भाजकों की गिनती ===
{{main|अभाज्य संख्याओं के व्युत्क्रमों के योग का डाइवर्जन्स}}
{{main|अभाज्य संख्याओं के व्युत्क्रमों के योग का डाइवर्जन्स}}


1737 में, [[लियोनहार्ड यूलर]] ने देखा कि औपचारिक योग के रूप में, हार्मोनिक श्रृंखला एक [[यूलर उत्पाद]] के बराबर होती है, जिसमें प्रत्येक पद एक अभाज्य संख्या से आता है, <math display=block>\sum_{i=1}^{\infty}\frac{1}{i}=\prod_{p\in\mathbb{P}}\left(1+\frac1p+\frac1{p^2}+\cdots\right)=\prod_{p\in\mathbb{P}} \frac{1}{1-1/p},</math> जहाँ <math>\mathbb{P}</math> अभाज्य संख्याओं के समुच्चय को दर्शाता है और इस प्रकार बायां समानता [[वितरण कानून|वितरण नियम]] को उत्पाद पर प्रयुक्त करने और परिणामी शर्तों को हार्मोनिक श्रृंखला में शर्तों के मुख्य कारकों के रूप में पहचानने से होता है और सही समानता एक ज्यामितीय श्रृंखला के लिए मानक सूत्र का उपयोग करती है और इस प्रकार गुणनफल योग की तरह ही डाइवर्जेंट है, लेकिन यदि यह कॉनवर्जेंट होता है तो कोई लघुगणक ले सकता है और प्राप्त कर सकता है <math display=block>\ln \prod_{p\in\mathbb{P}} \frac{1}{1-1/p}=\sum_{p\in\mathbb{P}}\ln\frac{1}{1-1/p}=\sum_{p\in\mathbb{P}}\left(\frac1p+\frac1{2p^2}+\frac1{3p^3}+\cdots\right)=\sum_{p\in\mathbb{P}}\frac1p+K.</math>
1737 में, [[लियोनहार्ड यूलर]] ने देखा कि औपचारिक योग के रूप में, हार्मोनिक श्रृंखला एक [[यूलर उत्पाद]] के बराबर होती है, जिसमें प्रत्येक पद एक अभाज्य संख्या से आता है, <math display=block>\sum_{i=1}^{\infty}\frac{1}{i}=\prod_{p\in\mathbb{P}}\left(1+\frac1p+\frac1{p^2}+\cdots\right)=\prod_{p\in\mathbb{P}} \frac{1}{1-1/p},</math> जहाँ <math>\mathbb{P}</math> अभाज्य संख्याओं के समुच्चय को दर्शाता है और इस प्रकार बायां समानता [[वितरण कानून|वितरण नियम]] को उत्पाद पर प्रयुक्त करने और परिणामी शर्तों को हार्मोनिक श्रृंखला में शर्तों के मुख्य कारकों के रूप में पहचानने से होता है और सही समानता एक ज्यामितीय श्रृंखला के लिए मानक सूत्र का उपयोग करती है और इस प्रकार गुणनफल योग की तरह ही डाइवर्जेंट है, लेकिन यदि यह कॉनवर्जेंट होता है तो कोई लघुगणक ले सकता है और प्राप्त कर सकता है <math display=block>\ln \prod_{p\in\mathbb{P}} \frac{1}{1-1/p}=\sum_{p\in\mathbb{P}}\ln\frac{1}{1-1/p}=\sum_{p\in\mathbb{P}}\left(\frac1p+\frac1{2p^2}+\frac1{3p^3}+\cdots\right)=\sum_{p\in\mathbb{P}}\frac1p+K.</math>
यहां, प्रत्येक लघुगणक को उसकी [[टेलर श्रृंखला]] और स्थिरांक से बदल दिया जाता है <math>K</math> दाईं ओर एक से अधिक घातांक वाले शब्दों की कन्वर्जेन्स श्रृंखला का मूल्यांकन करता है। इन जोड़-तोड़ से यह पता चलता है कि इस समानता के दाहिने हाथ पर अभाज्य संख्याओं के व्युत्क्रमों का योग भिन्न -भिन्न होना चाहिए, क्योंकि यदि यह कन्वर्जेन्स होता है तो इन चरणों को उलट दिया जा सकता है जिससे कि यह दिखाया जा सके कि हार्मोनिक श्रृंखला भी कन्वर्जेन्स करती है, जो यह नहीं करती है। यूक्लिड का प्रमेय एक तात्कालिक परिणाम है, क्योंकि एक परिमित राशि डाइवर्जन्स नहीं कर सकती है।{{r|euler}} चूंकि यूलर के काम को आधुनिक गणित के मानकों द्वारा पर्याप्त रूप से कठोर नहीं माना जाता है, इसे सीमा और त्रुटि सीमा के साथ अधिक ध्यान देकर कठोर बनाया जा सकता है।{{r|rubsal}} यूलर का यह निष्कर्ष कि अभाज्य संख्याओं के व्युत्क्रम का पार्शियल योग शब्दों की संख्या के दोहरे लघुगणक के रूप में बढ़ता है और इस प्रकार बाद के गणितज्ञों द्वारा मेर्टेंस प्रमेयों में से एक के रूप में पुष्टि की गई है,{{r|pollack}} और अभाज्य संख्या प्रमेय के प्रीकर्सर के रूप में देखा जा सकता है।{{r|rubsal}}<math display=block>\frac1n\sum_{i=1}^n\left\lfloor\frac{n}i\right\rfloor\le\frac1n\sum_{i=1}^n\frac{n}i=H_n.</math>
यहां, प्रत्येक लघुगणक को उसकी [[टेलर श्रृंखला]] और स्थिरांक से बदल दिया जाता है <math>K</math> दाईं ओर एक से अधिक घातांक वाले शब्दों की कन्वर्जेन्स श्रृंखला का मूल्यांकन करता है। इन जोड़-तोड़ से यह पता चलता है कि इस समानता के दाहिने हाथ पर अभाज्य संख्याओं के व्युत्क्रमों का योग भिन्न -भिन्न होना चाहिए, क्योंकि यदि यह कन्वर्जेन्स होता है तो इन चरणों को उलट दिया जा सकता है जिससे कि यह दिखाया जा सके कि हार्मोनिक श्रृंखला भी कन्वर्जेन्स करती है, जो यह नहीं करती है। यूक्लिड का प्रमेय एक तात्कालिक परिणाम है, क्योंकि एक परिमित राशि डाइवर्जन्स नहीं कर सकती है।{{r|euler}} चूंकि यूलर के काम को आधुनिक गणित के मानकों द्वारा पर्याप्त रूप से कठोर नहीं माना जाता है, इसे सीमा और त्रुटि सीमा के साथ अधिक ध्यान देकर कठोर बनाया जा सकता है।{{r|rubsal}} यूलर का यह निष्कर्ष कि अभाज्य संख्याओं के व्युत्क्रम का पार्शियल योग शब्दों की संख्या के दोहरे लघुगणक के रूप में बढ़ता है और इस प्रकार बाद के गणितज्ञों द्वारा मेर्टेंस प्रमेयों में से एक के रूप में पुष्टि की गई है,{{r|pollack}} और अभाज्य संख्या प्रमेय के प्रीकर्सर के रूप में देखा जा सकता है।{{r|rubsal}}<math display=block>\frac1n\sum_{i=1}^n\left\lfloor\frac{n}i\right\rfloor\le\frac1n\sum_{i=1}^n\frac{n}i=H_n.</math>
हार्मोनिक श्रृंखला में प्रत्येक शब्द को अगले छोटे पूर्णांक गुणक में गोल करने का संचालन <math>\tfrac1n</math> इस औसत को एक छोटे स्थिरांक द्वारा हार्मोनिक संख्याओं से भिन्न करने का कारण बनता है और [[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने अधिक सटीक रूप से दिखाया कि विभाजकों की औसत संख्या है <math>\ln n+2\gamma-1+O(1/\sqrt{n})</math> ([[बिग ओ नोटेशन]] में व्यक्त किया जाता है और इस प्रकार अंतिम त्रुटि अवधि को अधिक सटीक रूप से सीमित करना एक खुली समस्या बनी हुई है, जिसे डिरिचलेट की विभाजक समस्या के रूप में जाना जाता है।{{r|tsang}}
हार्मोनिक श्रृंखला में प्रत्येक शब्द को अगले छोटे पूर्णांक गुणक में गोल करने का संचालन <math>\tfrac1n</math> इस औसत को एक छोटे स्थिरांक द्वारा हार्मोनिक संख्याओं से भिन्न करने का कारण बनता है और [[पीटर गुस्ताव लेज्यून डिरिचलेट]] ने अधिक सटीक रूप से दिखाया कि विभाजकों की औसत संख्या है <math>\ln n+2\gamma-1+O(1/\sqrt{n})</math> ([[बिग ओ नोटेशन]] में व्यक्त किया जाता है और इस प्रकार अंतिम त्रुटि अवधि को अधिक सटीक रूप से सीमित करना एक खुली समस्या बनी हुई है, जिसे डिरिचलेट की विभाजक समस्या के रूप में जाना जाता है।{{r|tsang}}




=== कूपन एकत्रित करना ===
=== कूपन एकत्रित करना ===
{{main|कूपन कलेक्टर की समस्या}}
{{main|कूपन कलेक्टर की समस्या}}
[[File:Coupon collector problem.svg|thumb|सभी वस्तुओं को एकत्र करने के लिए आवश्यक परीक्षणों की अपेक्षित संख्या बनाम वस्तुओं की संख्या का ग्राफ]]कई सामान्य खेलों या मनोरंजन में वस्तुओं के एकसमुच्चय से एक यादृच्छिक चयन को तब तक दोहराना सम्मलित होता है, जब तक कि सभी संभावित विकल्पों का चयन नहीं किया जाता है; इनमें [[ट्रेडिंग कार्ड]] का संग्रह सम्मलित है{{r|maunsell|gerke}} और [[parrun|पार्रन]] बिंगो का पूरा होना, जिसमें लक्ष्य चल रही घटनाओं के अनुक्रम से समय में सभी 60 संभावित सेकंड प्राप्त करना होता है।{{r|parkrun}} इस समस्या के अधिक गंभीर अनुप्रयोगों में [[गुणवत्ता नियंत्रण]] के लिए निर्मित उत्पाद की सभी विविधताओं का नमूना लेना सम्मलित है,{{r|luko}} और यादृच्छिक रेखांकन की [[कनेक्टिविटी (ग्राफ सिद्धांत)]] के रूप में होता है।{{r|frikar}} इस रूप की स्थितियों में, एक बार <math>k</math> कुल में से एकत्र की जाने वाली शेष वस्तुएँ <math>n</math> समान रूप से संभावित आइटम के रूप में होती है, एक यादृच्छिक विकल्प में एक नया आइटम एकत्र करने की संभावना <math>k/n</math> के रूप में होती है और एक नया आइटम एकत्र होने तक आवश्यक यादृच्छिक विकल्पों की अपेक्षित संख्या {{nowrap| <math>n/k</math>.}} के सभी मूल्यों का योग <math>k</math> से <math>n</math> {{nowrap|down से  1}} दिखाता है कि सभी वस्तुओं को एकत्र करने के लिए आवश्यक यादृच्छिक विकल्पों की कुल अपेक्षित संख्या {{nowrap|के रूप में होती है <math>nH_n</math>,}} जहाँ <math>H_n</math> {{nowrap|<math>n</math>th}} हार्मोनिक संख्या के रूप में है।{{r|isaac}}
[[File:Coupon collector problem.svg|thumb|सभी वस्तुओं को एकत्र करने के लिए आवश्यक परीक्षणों की अपेक्षित संख्या बनाम वस्तुओं की संख्या का ग्राफ]]कई सामान्य खेलों या मनोरंजन में वस्तुओं के एकसमुच्चय से एक यादृच्छिक चयन को तब तक दोहराना सम्मलित होता है, जब तक कि सभी संभावित विकल्पों का चयन नहीं किया जाता है; इनमें [[ट्रेडिंग कार्ड]] का संग्रह सम्मलित है{{r|maunsell|gerke}} और [[parrun|पार्रन]] बिंगो का पूरा होना, जिसमें लक्ष्य चल रही घटनाओं के अनुक्रम से समय में सभी 60 संभावित सेकंड प्राप्त करना होता है।{{r|parkrun}} इस समस्या के अधिक गंभीर अनुप्रयोगों में [[गुणवत्ता नियंत्रण]] के लिए निर्मित उत्पाद की सभी विविधताओं का नमूना लेना सम्मलित है,{{r|luko}} और यादृच्छिक रेखांकन की [[कनेक्टिविटी (ग्राफ सिद्धांत)]] के रूप में होता है।{{r|frikar}} इस रूप की स्थितियों में, एक बार <math>k</math> कुल में से एकत्र की जाने वाली शेष वस्तुएँ <math>n</math> समान रूप से संभावित आइटम के रूप में होती है, एक यादृच्छिक विकल्प में एक नया आइटम एकत्र करने की संभावना <math>k/n</math> के रूप में होती है और एक नया आइटम एकत्र होने तक आवश्यक यादृच्छिक विकल्पों की अपेक्षित संख्या {{nowrap| <math>n/k</math>.}} के सभी मूल्यों का योग <math>k</math> से <math>n</math> {{nowrap|down से  1}} दिखाता है कि सभी वस्तुओं को एकत्र करने के लिए आवश्यक यादृच्छिक विकल्पों की कुल अपेक्षित संख्या {{nowrap|के रूप में होती है <math>nH_n</math>,}} जहाँ <math>H_n</math> {{nowrap|<math>n</math>th}} हार्मोनिक संख्या के रूप में है।{{r|isaac}}




=== कलन विधि का विश्लेषण ===
=== कलन विधि का विश्लेषण ===
{{main|क्विक शार्ट}}
{{main|क्विक शार्ट}}
[[File:Sorting quicksort anim.gif|thumb|क्विकसॉर्ट के औसत-केस संस्करण का एनीमेशन, छायांकित तीरों द्वारा इंगित पुनरावर्ती उप-समस्याओं के साथ और प्रत्येक उप-समस्या में अंतिम आइटम के रूप में चुने गए पिवोट्स (लाल आइटम और नीली रेखाएं) के साथ]]हार्मोनिक संख्याओं का उपयोग करके वस्तुओं के एकसमुच्चय को सॉर्ट करने के लिए क्विकॉर्ट कलन विधि का विश्लेषण किया जा सकता है। जिससे कि कलन विधि एक आइटम को पिवट के रूप में चुनकर अन्य सभी के साथ तुलना करके और आइटम के दो उपसमुच्चय को पुनरावर्ती रूप से सॉर्ट करके संचालित किया जाता है, जिनकी तुलना उन्हें पिवट से पहले और पिवट के बाद करती है और इस प्रकार यदि इसकी [[औसत-मामले की जटिलता|औसत-स्थिति की समिश्र]] के साथ कि सभी इनपुट क्रमपरिवर्तन समान रूप से होने की संभावना है या धुरी के एक यादृच्छिक विकल्प के साथ सबसे खराब स्थिति वाले इनपुट के [[अपेक्षित समय]] विश्लेषण में सभी वस्तुओं को समान रूप से धुरी के रूप में चुने जाने की संभावना होती है, ऐसे स्थितियों के लिए, कोई भी प्रायिकता की गणना कर सकता है कि दो वस्तुओं की एक-दूसरे के साथ तुलना की जाती है और जिससे कि पुनरावर्तन के समय, अंतिम क्रमबद्ध क्रम में उन्हें भिन्न करने वाली अन्य वस्तुओं की संख्या के एक फलन के रूप में क्रियान्वित किया जाता है। यदि आइटम <math>x</math> और <math>y</math> से भिन्न रूप में होते है <math>k</math> अन्य पदों में है, तो कलन विधि के बीच एक तुलना करता है <math>x</math> और <math>y</math> केवल जब पुनरावर्तन आगे बढ़ता है यह <math>x</math> या <math>y</math> चुनता है किसी अन्य को चुनने से पहले धुरी के रूप में <math>k</math> उनके बीच आइटम के रूप में होता है। क्योंकि इनमें से प्रत्येक <math>k+2</math> आइटम समान रूप से पहले चुने जाने की संभावना होती है, ऐसा प्रायिकता <math>\tfrac2{k+2}</math>. तुलनाओं की कुल अपेक्षित संख्या के साथ होता है , जो कलन विधि के कुल चलने के समय को नियंत्रित करती है और जिससे की गणना तब की जा सकती है, जब सभी जोड़ियों पर इन संभावनाओं को जोड़कर गणना की जा सकती है{{r|clrs}} <math display=block>\sum_{i=2}^n\sum_{k=0}^{i-2}\frac2{k+2}=\sum_{i=1}^{n-1}2H_i=O(n\log n).</math>
[[File:Sorting quicksort anim.gif|thumb|क्विकसॉर्ट के औसत-केस संस्करण का एनीमेशन, छायांकित तीरों द्वारा इंगित पुनरावर्ती उप-समस्याओं के साथ और प्रत्येक उप-समस्या में अंतिम आइटम के रूप में चुने गए पिवोट्स (लाल आइटम और नीली रेखाएं) के साथ]]हार्मोनिक संख्याओं का उपयोग करके वस्तुओं के एकसमुच्चय को सॉर्ट करने के लिए क्विकॉर्ट कलन विधि का विश्लेषण किया जा सकता है। जिससे कि कलन विधि एक आइटम को पिवट के रूप में चुनकर अन्य सभी के साथ तुलना करके और आइटम के दो उपसमुच्चय को पुनरावर्ती रूप से सॉर्ट करके संचालित किया जाता है, जिनकी तुलना उन्हें पिवट से पहले और पिवट के बाद करती है और इस प्रकार यदि इसकी [[औसत-मामले की जटिलता|औसत-स्थिति की समिश्र]] के साथ कि सभी इनपुट क्रमपरिवर्तन समान रूप से होने की संभावना है या धुरी के एक यादृच्छिक विकल्प के साथ सबसे खराब स्थिति वाले इनपुट के [[अपेक्षित समय]] विश्लेषण में सभी वस्तुओं को समान रूप से धुरी के रूप में चुने जाने की संभावना होती है, ऐसे स्थितियों के लिए, कोई भी प्रायिकता की गणना कर सकता है कि दो वस्तुओं की एक-दूसरे के साथ तुलना की जाती है और जिससे कि पुनरावर्तन के समय, अंतिम क्रमबद्ध क्रम में उन्हें भिन्न करने वाली अन्य वस्तुओं की संख्या के एक फलन के रूप में क्रियान्वित किया जाता है। यदि आइटम <math>x</math> और <math>y</math> से भिन्न रूप में होते है <math>k</math> अन्य पदों में है, तो कलन विधि के बीच एक तुलना करता है <math>x</math> और <math>y</math> केवल जब पुनरावर्तन आगे बढ़ता है यह <math>x</math> या <math>y</math> चुनता है किसी अन्य को चुनने से पहले धुरी के रूप में <math>k</math> उनके बीच आइटम के रूप में होता है। क्योंकि इनमें से प्रत्येक <math>k+2</math> आइटम समान रूप से पहले चुने जाने की संभावना होती है, ऐसा प्रायिकता <math>\tfrac2{k+2}</math>. तुलनाओं की कुल अपेक्षित संख्या के साथ होता है , जो कलन विधि के कुल चलने के समय को नियंत्रित करती है और जिससे की गणना तब की जा सकती है, जब सभी जोड़ियों पर इन संभावनाओं को जोड़कर गणना की जा सकती है{{r|clrs}} <math display=block>\sum_{i=2}^n\sum_{k=0}^{i-2}\frac2{k+2}=\sum_{i=1}^{n-1}2H_i=O(n\log n).</math>
हार्मोनिक श्रृंखला का डाइवर्जन्स इस एप्लिकेशन में इस तथ्य से मेल खाता है कि, त्वरित प्रकार के लिए उपयोग किए जाने वाले तुलना क्रम में, [[रैखिक समय]] में क्रमबद्ध करना संभव नहीं है।{{sfnp|Cormen|Leiserson|Rivest|Stein|2009|loc=Section 8.1, "Lower bounds for sorting", pp. 191–193}}
हार्मोनिक श्रृंखला का डाइवर्जन्स इस एप्लिकेशन में इस तथ्य से मेल खाता है कि, त्वरित प्रकार के लिए उपयोग किए जाने वाले तुलना क्रम में, [[रैखिक समय]] में क्रमबद्ध करना संभव नहीं है।{{sfnp|Cormen|Leiserson|Rivest|Stein|2009|loc=Section 8.1, "Lower bounds for sorting", pp. 191–193}}




Line 172: Line 173:
[[रीमैन जीटा फ़ंक्शन|रीमैन जीटा]] फलन वास्तविक के लिए परिभाषित किया जाता है <math>x>1</math> कन्वर्जेन्स श्रृंखला द्वारा दर्शाया गया है  
[[रीमैन जीटा फ़ंक्शन|रीमैन जीटा]] फलन वास्तविक के लिए परिभाषित किया जाता है <math>x>1</math> कन्वर्जेन्स श्रृंखला द्वारा दर्शाया गया है  
<math display=block>\zeta(x)=\sum_{n=1}^{\infty}\frac{1}{n^x}=\frac1{1^x}+\frac1{2^x}+\frac1{3^x}+\cdots,</math>
<math display=block>\zeta(x)=\sum_{n=1}^{\infty}\frac{1}{n^x}=\frac1{1^x}+\frac1{2^x}+\frac1{3^x}+\cdots,</math>
जो <math>x=1</math> के लिए हार्मोनिक श्रृंखला के रूप में होती है। इसे सभी [[जटिल संख्या|समिश्र संख्या]]ओं पर एक [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक]] फलन के [[विश्लेषणात्मक निरंतरता]] द्वारा बढ़ाया जा सकता है {{nowrap|जहाँ  <math>x=1</math>,}}विस्तारित फलन में एक साधारण ध्रुव के रूप में होता है। जीटा फलन के अन्य महत्वपूर्ण मूल्यों के रूप में सम्मलित हैं {{nowrap|<math>\zeta(2)=\pi^2/6</math>,}} [[बेसल समस्या]] का समाधान, एपेरी स्थिरांक {{nowrap|<math>\zeta(3)</math>,}} रोजर एपेरी द्वारा एक [[अपरिमेय संख्या]] और समिश्र संख्याओं की महत्वपूर्ण रेखा द्वारा दर्शाया गया है {{nowrap|जहाँ  <math>\tfrac12</math>,}} [[रीमैन परिकल्पना]] द्वारा अनुमान लगाया गया कि ऋणात्मक पूर्णांकों के अतिरिक्त केवल वही मान हैं जहां फलन शून्य रूप में होता है।{{r|bombieri}}
जो <math>x=1</math> के लिए हार्मोनिक श्रृंखला के रूप में होती है। इसे सभी [[जटिल संख्या|समिश्र संख्या]]ओं पर एक [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक]] फलन के [[विश्लेषणात्मक निरंतरता]] द्वारा बढ़ाया जा सकता है {{nowrap|जहाँ  <math>x=1</math>,}}विस्तारित फलन में एक साधारण ध्रुव के रूप में होता है। जीटा फलन के अन्य महत्वपूर्ण मूल्यों के रूप में सम्मलित हैं {{nowrap|<math>\zeta(2)=\pi^2/6</math>,}} [[बेसल समस्या]] का समाधान, एपेरी स्थिरांक {{nowrap|<math>\zeta(3)</math>,}} रोजर एपेरी द्वारा एक [[अपरिमेय संख्या]] और समिश्र संख्याओं की महत्वपूर्ण रेखा द्वारा दर्शाया गया है {{nowrap|जहाँ  <math>\tfrac12</math>,}} [[रीमैन परिकल्पना]] द्वारा अनुमान लगाया गया कि ऋणात्मक पूर्णांकों के अतिरिक्त केवल वही मान हैं जहां फलन शून्य रूप में होता है।{{r|bombieri}}


===यादृच्छिक हार्मोनिक श्रृंखला===
===यादृच्छिक हार्मोनिक श्रृंखला===
Line 178: Line 179:
यादृच्छिक हार्मोनिक श्रृंखला है
यादृच्छिक हार्मोनिक श्रृंखला है
<math display=block>\sum_{n=1}^{\infty}\frac{s_{n}}{n},</math>
<math display=block>\sum_{n=1}^{\infty}\frac{s_{n}}{n},</math>
जहां मान <math>s_n</math> [[स्वतंत्र और समान रूप से वितरित यादृच्छिक चर]] के रूप में होते है, जो दो मान होते है <math>+1</math> और <math>-1</math> बराबर के साथ {{nowrap| प्रायिकता <math>\tfrac12</math>.}} यह लगभग निश्चित रूप से कन्वर्जेन्स करता है| प्रायिकता 1 के साथ, जैसा कि कोलमोगोरोव की तीन-श्रृंखला प्रमेय या निकट से संबंधित कोलमोगोरोव की असमानता का उपयोग करके देखा जा सकता है और इस प्रकार श्रृंखला का योग एक यादृच्छिक चर है, जिसका प्रायिकता घनत्व फलन {{nowrap| <math>\tfrac14</math>}} मूल्यों के बीच के लिए {{nowrap|<math>-1</math> and <math>1</math>,}} और अधिक मूल्यों के लिए लगभग शून्य तक घट जाती है {{nowrap|तब <math>3</math>}} या {{nowrap| <math>-3</math>.}} इन श्रेणियों के बीच मध्यवर्ती पर {{nowrap|मान <math>\pm 2</math>,}} प्रायिकता घनत्व के रूप में होते है <math>\tfrac18-\varepsilon</math> एक गैर-शून्य लेकिन बहुत कम मूल्य के लिए होते है {{nowrap|<math>\varepsilon< 10^{-42}</math>.{{r|schmuland|bemosa}}}}
जहां मान <math>s_n</math> [[स्वतंत्र और समान रूप से वितरित यादृच्छिक चर]] के रूप में होते है, जो दो मान होते है <math>+1</math> और <math>-1</math> बराबर के साथ {{nowrap| प्रायिकता <math>\tfrac12</math>.}} यह लगभग निश्चित रूप से कन्वर्जेन्स करता है| प्रायिकता 1 के साथ, जैसा कि कोलमोगोरोव की तीन-श्रृंखला प्रमेय या निकट से संबंधित कोलमोगोरोव की असमानता का उपयोग करके देखा जा सकता है और इस प्रकार श्रृंखला का योग एक यादृच्छिक चर है, जिसका प्रायिकता घनत्व फलन {{nowrap| <math>\tfrac14</math>}} मूल्यों के बीच के लिए {{nowrap|<math>-1</math> and <math>1</math>,}} और अधिक मूल्यों के लिए लगभग शून्य तक घट जाती है {{nowrap|तब <math>3</math>}} या {{nowrap| <math>-3</math>.}} इन श्रेणियों के बीच मध्यवर्ती पर {{nowrap|मान <math>\pm 2</math>,}} प्रायिकता घनत्व के रूप में होते है <math>\tfrac18-\varepsilon</math> एक गैर-शून्य लेकिन बहुत कम मूल्य के लिए होते है {{nowrap|<math>\varepsilon< 10^{-42}</math>.{{r|schmuland|bemosa}}}}


=== समाप्त हार्मोनिक श्रृंखला ===
=== डिप्लीटिड हार्मोनिक श्रृंखला ===
{{main|Kempner series}}
{{main|केम्पनर श्रृंखला}}
क्षीण हार्मोनिक श्रृंखला जहां वे सभी पद जिनमें अंक 9 हर में कहीं भी दिखाई देता है, हटा दिए जाते हैं, उन्हें मूल्य में कन्वर्जेन्स करने के लिए दिखाया जा सकता है {{gaps|22.92067|66192|64150|34816|...}}.{{r|baillie}} वास्तव में, जब अंकों की किसी विशेष स्ट्रिंग (किसी भी [[संख्या आधार]] में) वाले सभी पदों को हटा दिया जाता है, तो श्रृंखला कॉनवर्जेंट हो जाती है।{{r|schmelzer}}
 
डिप्लीटिड हार्मोनिक श्रृंखला जहां वे सभी पद जिनमें अंक 9 हर में कहीं भी दिखाई देता है, वे हटा दिए जाते हैं और जिससे कि उन्हें मान में कन्वर्जेन्स करने के लिए दिखाया जा सकता है {{gaps|22.92067|66192|64150|34816|...}}.{{r|baillie}} वास्तव में, जब अंकों की किसी विशेष स्ट्रिंग वाले सभी पदों को हटा दिया जाता है, तो [[संख्या आधार]] किसी भी श्रृंखला में कॉनवर्जेंट हो जाती है।{{r|schmelzer}}




Line 634: Line 636:


{{Series (mathematics)}}
{{Series (mathematics)}}
[[Category: भिन्न श्रृंखला]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 Latina-language sources (la)]]
[[Category:Collapse templates]]
[[Category:Commons category link is locally defined]]
[[Category:Created On 07/02/2023]]
[[Category:Created On 07/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using sidebar with the child parameter]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:भिन्न श्रृंखला]]

Latest revision as of 10:05, 2 August 2023

गणित में, हार्मोनिक श्रृंखला सभी धनात्मक इकाई अंशों को योग करके बनाई गई अनंत श्रृंखला है

श्रृंखला के पहले पदों का योग लगभग , होता है, जहां प्राकृतिक लघुगणक के रूप में होता है और यूलर-मास्चेरोनी स्थिरांक है। चूंकि लघुगणक में यादृच्छिक ढंग से बड़े मान होते हैं और हार्मोनिक श्रृंखला की कोई सीमित सीमा नहीं होती है, यह एक डाइवर्जेंट श्रृंखला है। इसका डाइवर्जन्स 14 वीं शताब्दी में निकोल ओरेसमे द्वारा अनंत श्रृंखला के कन्वर्जेन्स के लिए कॉची कान्डेन्सेशन परीक्षण के प्रीकर्सर का उपयोग करके सिद्ध किया जाता है और इस प्रकार कन्वर्जेन्स के लिए अभिन्न परीक्षण के अनुसार योग को एक अभिन्न से तुलना करके इसे डाइवर्जन्स के रूप में सिद्ध किया जाता है।

हार्मोनिक श्रृंखला और इसके पार्शियल योग के अनुप्रयोगों में प्राइम्स के व्युत्क्रमों के योग का डाइवर्जन्स के रूप में सम्मलित होते है। यूलर का प्रमाण है कि असीम रूप से कई अभाज्य संख्याएँ होती है, जो कूपन कलेक्टर की समस्या का विश्लेषण करता है और इस प्रकार एक पूर्ण श्रेणी प्रदान करने के लिए यादृच्छिक परीक्षणों की आवश्यकता होती है और जिससे कि प्रतिक्रियाओं का यादृच्छिक रेखांकन के घटक (ग्राफ सिद्धांत), ब्लॉक-स्टैकिंग समस्या एक तालिका के किनारे पर ब्लॉकों का ढेर ब्रैकट के रूप में उपयोग करते है और त्वरित सॉर्ट लघुगणक का औसत केस विश्लेषण होता है।

इतिहास

तरंग दैर्ध्य के साथ एक लहर और उसके हार्मोनिक्स

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

हार्मोनिक श्रृंखला का डाइवर्जन्स पहली बार 1350 में निकोल ओरेसमे द्वारा सिद्ध किया गया था।[2][4] ओरेस्मे का काम और एक भिन्न श्रृंखला पर रिचर्ड स्वाइनहेड का समकालीन काम गणित में ज्यामितीय श्रृंखला के अतिरिक्त अनंत श्रृंखला की पहली उपस्थिति को चिह्नित करता है।[5] चूंकि, यह उपलब्धि अस्पष्टता के रूप में होती है।[6] और इस प्रकार अतिरिक्त प्रमाण 17वीं शताब्दी में पिएत्रो मेंगोली द्वारा प्रकाशित किए गए थे[2][7] और जैकब बर्नौली द्वारा।[8][9][10] सबूत खोजने का श्रेय अपने भाई जोहान बर्नौली को दिया था,[10] और इसे बाद में जोहान बर्नौली के एकत्रित कार्यों के रूप में सम्मलित किया गया था।[11]

हार्मोनिक श्रृंखला के पार्शियल योगों को हार्मोनिक संख्याओ के रूप में नामित किया गया था और डोनाल्ड नुथ द्वारा 1968 में अपना सामान्य अंकन , के रूप में दिया था ।[12]

परिभाषा और डाइवर्जन्स

हार्मोनिक श्रृंखला अनंत श्रृंखला है

जिसमें पद सभी धनात्मक इकाई भिन्न के रूप में होती है। यह एक डाइवर्जेंट श्रृंखला है और श्रृंखला के अधिक पदों को श्रृंखला के पार्शियल योग के रूप में सम्मलित किया जाता है, इन पार्शियल योगों के मान यादृच्छिक ढंग से बड़े होते हैं, किसी भी परिमित सीमा से परे होते हैं। क्योंकि यह एक भिन्न श्रृंखला के रूप में होती है। इसे एक औपचारिक योग के रूप में व्याख्या किया जाता है, एक अमूर्त गणितीय अभिव्यक्ति जो इकाई अंशों को जोड़ती है और इस प्रकार इसके एक संख्यात्मक मान का मूल्यांकन किया जा सकता है। एस.जे. किफोविट और टीए स्टैम्प्स द्वारा 2006 के पेपर में सर्वेक्षण किए गए हार्मोनिक श्रृंखला के डाइवर्जन्स के कई भिन्न -भिन्न सबूत हैं।[13] दो सबसे प्रसिद्ध हैं।[1][13] नीचे सूचीबद्ध हैं।

तुलना परीक्षण

डाइवर्जन्स साबित करने की एक विधि जिसमे हार्मोनिक श्रृंखला की तुलना किसी अन्य डाइवर्जन्स श्रृंखला के साथ करना है, जहां प्रत्येक भाजक को दो की अगली सबसे बड़ी घात से बदल दिया जाता है,

समान शर्तों को समूहीकृत करने से पता चलता है कि दूसरी श्रृंखला डाइवर्जन्स करती है, क्योंकि कन्वर्जेन्स श्रृंखला का प्रत्येक समूह केवल कन्वर्जेन्स है
चूंकि हार्मोनिक श्रृंखला की प्रत्येक अवधि दूसरी श्रृंखला की संबंधित अवधि से अधिक या बराबर होती है और शर्तें सभी धनात्मक रूप में होती हैं, यह इस प्रकार है कि हार्मोनिक श्रृंखला भी भिन्न हो जाती है और प्रत्यक्ष तुलना परीक्षण द्वारा वही तर्क अधिक मजबूती से साबित करता है जिसमे प्रत्येक धनात्मक संख्या के लिए पूर्णांक , होता है
यह लगभग 1350 में निकोल ओरेसमे द्वारा दिया गया मूल प्रमाण है।[13] कॉची संक्षेपण परीक्षण इस तर्क का एक सामान्यीकरण है।[14]


समाकलन टेस्ट

हार्मोनिक श्रृंखला, और हाइपरबोला द्वारा दिए गए क्षेत्र के साथ आयत इन आयतों के ऊपरी बाएँ कोनों के माध्यम से

यह सिद्ध किया जा सकता है कि हार्मोनिक श्रृंखला एक अनुचित अभिन्न के साथ अपने योग की तुलना करके भिन्न हो जाती है। विशेष रूप से, दाईं ओर की आकृति में दिखाए गए आयतों की व्यवस्था पर विचार करते है। प्रत्येक आयत 1 इकाई चौड़ा है और इकाइयाँ ऊँची हैं, इसलिए यदि हार्मोनिक श्रृंखला परिवर्तित हो जाती है तो आयतों का कुल क्षेत्रफल हार्मोनिक श्रृंखला का योग होगा और इस प्रकार वक्र आयतों की ऊपरी सीमा के नीचे पूरी तरह से रहता है, इसलिए वक्र के नीचे का क्षेत्र आयतों के मिलन के क्षेत्रफल से कम होता है और जिससे की सीमा में एक से अनंत तक जो आयतों से आच्छादित है। चूंकि, वक्र के नीचे का क्षेत्र एक डाइवर्जेंट अनुचित समाकल द्वारा दिया जाता है।

चूँकि यह समाकल कॉनवर्जेंट नहीं होता है और जिससे कि योग भी कॉनवर्जेंट नहीं हो सकता है।[13]

अनुक्रम में प्रत्येक आयत को अगले प्रतिस्थापित करने से आयतों का एक क्रम उत्पन्न होता है जिसकी सीमा वक्र के ऊपर होने के अतिरिक्त नीचे स्थित होता है। इससे पता चलता है कि हार्मोनिक श्रृंखला का पार्शियल योग उस राशि से अभिन्न से भिन्न होता है, जो पहले आयत के इकाई क्षेत्र से ऊपर और नीचे बंधी होती है,

इस तर्क को सामान्यीकृत करते हुए, एक मोनोटोन घटते धनात्मक कार्य के मूल्यों का कोई भी अनंत योग का हार्मोनिक श्रृंखला की तरह पार्शियल रूप में होता है, जो संबंधित समाकलन के मूल्यों की सीमित दूरी के भीतर होती है। इसलिए योग कॉनवर्जेंट होता है यदि और केवल यदि समान फलन की समान श्रेणी पर समाकल कॉनवर्जेंट होता है। जब इस तुल्यता का उपयोग योग के कन्वर्जेन्स की जाँच करने के लिए इसे आसान समाकल से प्रतिस्थापित करके किया जाता है, तो इसे कन्वर्जेन्स के लिए समाकल परीक्षण के रूप में जाना जाता है।[15]

पार्शियल योग

Partial sum of the harmonic series,
expressed as a fraction decimal relative size
1 1 ~1 1
 
2 3 /2 1.5 1.5
 
3 11 /6 ~1.83333 1.83333
 
4 25 /12 ~2.08333 2.08333
 
5 137 /60 ~2.28333 2.28333
 
6 49 /20 2.45 2.45
 
7 363 /140 ~2.59286 2.59286
 
8 761 /280 ~2.71786 2.71786
 
9 7129 /2520 ~2.82897 2.82897
 
10 7381 /2520 ~2.92897 2.92897
 
11 83711 /27720 ~3.01988 3.01988
 
12 86021 /27720 ~3.10321 3.10321
 
13 1145993 /360360 ~3.18013 3.18013
 
14 1171733 /360360 ~3.25156 3.25156
 
15 1195757 /360360 ~3.31823 3.31823
 
16 2436559 /720720 ~3.38073 3.38073
 
17 42142223 /12252240 ~3.43955 3.43955
 
18 14274301 /4084080 ~3.49511 3.49511
 
19 275295799 /77597520 ~3.54774 3.54774
 
20 55835135 /15519504 ~3.59774 3.59774
 

पहले को जोड़ना हार्मोनिक श्रृंखला की शर्तें पार्शियल योग उत्पन्न करती हैं, जिसे हार्मोनिक संख्या कहा जाता है और लक्षित :[12] के रूप में होते है


विकास दर

ये संख्याएँ लघुगणकीय वृद्धि के साथ बहुत धीमी गति से बढ़ती हैं जैसा कि समाकलन टेस्ट से देखा जा सकता है।[15] यूलर मैक्लॉरिन फॉर्मूला द्वारा अधिक सटीकता से दिखाया गया है,

जहाँ यूलर-मास्चेरोनी स्थिरांक है और जो 0 के रूप में पहुंचता है अनंत तक जाता है।[16]


डिविज़बिलिटी

डिविज़बिलिटी को छोड़कर कोई भी हार्मोनिक संख्या पूर्णांक नहीं है .[17][18] इसे साबित करने की एक विधि एक पूर्णांक नहीं है और दो की उच्चतम घात पर विचार करता है से रेंज में 1 से . यदि से संख्याओं का लघुत्तम समापवर्त्य है 1 से , तब समान भाजक वाले भिन्नों के योग के रूप में फिर से लिखा जा सकता है

जिसमें अंशों में से केवल एक, , विषम है और बाकी सम हैं, और (जब ) स्वयं सम है। इसलिए, परिणाम एक विषम अंश और एक सम भाजक के साथ एक भिन्न रूप में होता है, जो एक पूर्णांक नहीं हो सकता।[17] और इस प्रकार अधिक मजबूती से लगातार पूर्णांकों के किसी भी क्रम में एक अद्वितीय सदस्य होता है, जो अन्य सभी अनुक्रम सदस्यों की तुलना में दो की अधिक घात से विभाज्य होता है, जिससे यह उसी तर्क का अनुसरण करता है कि कोई भी दो हार्मोनिक संख्या एक पूर्णांक से भिन्न नहीं होती है।[18]

एक और सबूत है कि हार्मोनिक संख्याएं पूर्णांक नहीं हैं, यह देखता है कि भाजक से विभाज्य रूप में होता है और बड़ी सभी अभाज्य संख्याएँ और यह साबित करने के लिए बर्ट्रेंड की अभिधारणा का उपयोग करता है कि अभाज्य संख्याओं का यहसमुच्चय खाली नहीं है। इसी तर्क का अधिक दृढ़ता से तात्पर्य है कि, , , और , किसी भी हार्मोनिक संख्या में समाप्ति दशमलव प्रतिनिधित्व के रूप में नहीं होता है।[17] और इस प्रकार यह अनुमान लगाया जाता है कि प्रत्येक अभाज्य संख्या हार्मोनिक संख्याओं के केवल एक परिमित उपसमुच्चय के अंशों को विभाजित करती है, लेकिन यह अप्रमाणित रूप में रहती है।[19]

इंटरपोलेशन

समिश्र संख्याओं पर डिगामा कार्य करता है

डिगामा फलन को गामा फलन के लघुगणकीय अवकलज के रूप में परिभाषित किया जाता है,

जिस तरह गामा फलन फैक्टोरियल का निरंतर इंटरपोलेशन प्रदान करता है, उसी प्रकार डिगामा फलन हार्मोनिक संख्याओं का निरंतर इंटरपोलेशन प्रदान करता है, इसका अर्थ में कि .[20] इस समीकरण का उपयोग तर्कसंगत सूचकांकों के साथ हार्मोनिक संख्याओं की परिभाषा को विस्तारित करने के लिए इस समीकरण का उपयोग किया जा सकता है।

अनुप्रयोग

कई प्रसिद्ध गणितीय समस्याओं के समाधान में हार्मोनिक श्रृंखला और इसके पार्शियल योग के रूप में सम्मलित हैं।

क्रासिंग डिजर्ट

जीप समस्या या क्रासिंग डिजर्ट की समस्या को अलकुइन द्वारा 9वीं शताब्दी के समस्या संग्रह, प्रोपोज़िशन्स एड एक्यूएन्डोस जुवेन्स के रूप में सम्मलित किया गया है और इस प्रकार जीप के अतिरिक्त ऊंटों के संदर्भ में तैयार किए गए समस्या संग्रह के रूप में सम्मलित किया जाता है। लेकिन एक गलत समाधान के साथ समस्या पूछती है कि बेस से शुरू करके एक जीप रेगिस्तान में कितनी दूर तक यात्रा कर सकती है और वापस लौट सकती है[21] और इस प्रकार ईंधन का भार कुछ ईंधन को रेगिस्तान में ले जाकर और डिपो में छोड़ कर इष्टतम समाधान में डिपो को दूरियों पर स्थापित करना सम्मलित है शुरुआती बिंदु से और एक दूसरे से, जहां दूरी की सीमा है, जो जीप ईंधन के एक भार के साथ यात्रा कर सकती है और इस प्रकार बेस से बाहर और प्रत्येक यात्रा पर जीप एक और डिपो रखती है और रास्ते में अन्य डिपो में ईंधन भरती है और नए रखे गए डिपो में जितना हो सके उतना ईंधन भरती है, जबकि अभी भी पिछले पर लौटने के लिए पर्याप्त ईंधन छोड़ती है। डिपो और बेस इसलिए कुल दूरी पर पहुंच गया वीं यात्रा है

जीप समस्या या रेगिस्तान-क्रॉसिंग समस्या को अलकुइन द्वारा 9वीं शताब्दी के समस्या संग्रह, प्रोपोज़िशन्स एड एक्यूएन्डोस जुवेन्स (जीप के बजाय ऊंटों के संदर्भ में तैयार) में शामिल किया गया है, लेकिन एक गलत समाधान के साथ।[22] समस्या पूछती है कि बेस से शुरू करके एक जीप रेगिस्तान में कितनी दूर तक यात्रा कर सकती है और वापस लौट सकती है

जहाँ है th हार्मोनिक संख्या है। हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि पर्याप्त ईंधन के साथ किसी भी लम्बाई के क्रॉसिंग संभव हैं।[22] उदाहरण के लिए, अलकुइन की समस्या के संस्करण के लिए, : एक ऊंट 30 माप ग्रेन ले जा सकता है और एक माप खाते समय एक ल्यूका यात्रा कर सकता है, जहां एक ल्यूका दूरी की एक इकाई है 2.3 किलोमीटर (1.4 मील) सामान्यतः बराबर होती है और इस प्रकार : ग्रेन के 90 उपाय हैं, तीन बार आपूर्ति करने के लिए पर्याप्त हैं। मरुस्थल पार करने की समस्या के मानक सूत्रीकरण के लिए, ऊंट के लिए यात्रा करना संभव होता है ल्यूका और वापसी, एक ग्रेन भंडारण डिपो को पहली यात्रा पर आधार से 5 ल्यूका और दूसरी यात्रा पर आधार से 12.5 ल्यूका रखकर करता है। चूंकि, अलकुइन इसके अतिरिक्त थोड़ा भिन्न सवाल पूछता है और इस प्रकार अंतिम वापसी यात्रा के बिना 30 ल्यूकास की दूरी पर कितना ग्रेन ले जाया जा सकता है और या तो कुछ ऊंटों को रेगिस्तान में फँसा दिया जाता है या ऊंट द्वारा खाए गए ग्रेन की मात्रा का हिसाब लगाने में विफल रहता है।[21]

स्टैकिंग ब्लॉक

ब्लॉक-स्टैकिंग समस्या: हार्मोनिक श्रृंखला के अनुसार गठबंधन किए गए ब्लॉक हार्मोनिक नंबरों द्वारा टेबल के किनारे पर लटक सकते हैं

ब्लॉक-स्टैकिंग समस्या में, किसी को ढेर लगाना चाहिए समान आयताकार ब्लॉक, प्रति परत एक, जिससे कि वे बिना गिरे टेबल के किनारे पर यथासंभव लटके रहते है और शीर्ष ब्लॉक के साथ रखा जा सकता है इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है। यदि इसे इस तरह से रखा जाता है, तो अगले ब्लॉक डाउन को अधिक से अधिक रखने की आवश्यकता होती है इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, जिससे कि शीर्ष दो ब्लॉक के द्रव्यमान का केंद्र समर्थित हो और वे गिरे नहीं होते है। तीसरे ब्लॉक को ज्यादा से ज्यादा साथ में रखने की जरूरत है इसकी लंबाई अगले निचले ब्लॉक से आगे बढ़ रही है, और इस तरह इसे लगाना संभव है ब्लॉक इस तरह से विस्तार करते हैं तालिका से परे लंबाई, जहाँ है th हार्मोनिक संख्या के रूप में होता है ।[23][24] हार्मोनिक श्रृंखला के डाइवर्जन्स का अर्थ है कि ब्लॉक स्टैक का विस्तार टेबल से कितनी दूर तक हो सकता है, इसकी कोई सीमा नहीं है।[24] प्रति परत एक ब्लॉक के साथ स्टैक के लिए कोई बेहतर समाधान संभव नहीं है, लेकिन प्रति परत एक से अधिक ब्लॉक वाले स्टैक का उपयोग करके बहुत अधिक ओवरहैंग प्राप्त किया जा सकता है।[25]

अभाज्य संख्याओं और भाजकों की गिनती

1737 में, लियोनहार्ड यूलर ने देखा कि औपचारिक योग के रूप में, हार्मोनिक श्रृंखला एक यूलर उत्पाद के बराबर होती है, जिसमें प्रत्येक पद एक अभाज्य संख्या से आता है,

जहाँ अभाज्य संख्याओं के समुच्चय को दर्शाता है और इस प्रकार बायां समानता वितरण नियम को उत्पाद पर प्रयुक्त करने और परिणामी शर्तों को हार्मोनिक श्रृंखला में शर्तों के मुख्य कारकों के रूप में पहचानने से होता है और सही समानता एक ज्यामितीय श्रृंखला के लिए मानक सूत्र का उपयोग करती है और इस प्रकार गुणनफल योग की तरह ही डाइवर्जेंट है, लेकिन यदि यह कॉनवर्जेंट होता है तो कोई लघुगणक ले सकता है और प्राप्त कर सकता है
यहां, प्रत्येक लघुगणक को उसकी टेलर श्रृंखला और स्थिरांक से बदल दिया जाता है दाईं ओर एक से अधिक घातांक वाले शब्दों की कन्वर्जेन्स श्रृंखला का मूल्यांकन करता है। इन जोड़-तोड़ से यह पता चलता है कि इस समानता के दाहिने हाथ पर अभाज्य संख्याओं के व्युत्क्रमों का योग भिन्न -भिन्न होना चाहिए, क्योंकि यदि यह कन्वर्जेन्स होता है तो इन चरणों को उलट दिया जा सकता है जिससे कि यह दिखाया जा सके कि हार्मोनिक श्रृंखला भी कन्वर्जेन्स करती है, जो यह नहीं करती है। यूक्लिड का प्रमेय एक तात्कालिक परिणाम है, क्योंकि एक परिमित राशि डाइवर्जन्स नहीं कर सकती है।[26] चूंकि यूलर के काम को आधुनिक गणित के मानकों द्वारा पर्याप्त रूप से कठोर नहीं माना जाता है, इसे सीमा और त्रुटि सीमा के साथ अधिक ध्यान देकर कठोर बनाया जा सकता है।[27] यूलर का यह निष्कर्ष कि अभाज्य संख्याओं के व्युत्क्रम का पार्शियल योग शब्दों की संख्या के दोहरे लघुगणक के रूप में बढ़ता है और इस प्रकार बाद के गणितज्ञों द्वारा मेर्टेंस प्रमेयों में से एक के रूप में पुष्टि की गई है,[28] और अभाज्य संख्या प्रमेय के प्रीकर्सर के रूप में देखा जा सकता है।[27]
हार्मोनिक श्रृंखला में प्रत्येक शब्द को अगले छोटे पूर्णांक गुणक में गोल करने का संचालन इस औसत को एक छोटे स्थिरांक द्वारा हार्मोनिक संख्याओं से भिन्न करने का कारण बनता है और पीटर गुस्ताव लेज्यून डिरिचलेट ने अधिक सटीक रूप से दिखाया कि विभाजकों की औसत संख्या है (बिग ओ नोटेशन में व्यक्त किया जाता है और इस प्रकार अंतिम त्रुटि अवधि को अधिक सटीक रूप से सीमित करना एक खुली समस्या बनी हुई है, जिसे डिरिचलेट की विभाजक समस्या के रूप में जाना जाता है।[29]


कूपन एकत्रित करना

सभी वस्तुओं को एकत्र करने के लिए आवश्यक परीक्षणों की अपेक्षित संख्या बनाम वस्तुओं की संख्या का ग्राफ

कई सामान्य खेलों या मनोरंजन में वस्तुओं के एकसमुच्चय से एक यादृच्छिक चयन को तब तक दोहराना सम्मलित होता है, जब तक कि सभी संभावित विकल्पों का चयन नहीं किया जाता है; इनमें ट्रेडिंग कार्ड का संग्रह सम्मलित है[30][31] और पार्रन बिंगो का पूरा होना, जिसमें लक्ष्य चल रही घटनाओं के अनुक्रम से समय में सभी 60 संभावित सेकंड प्राप्त करना होता है।[32] इस समस्या के अधिक गंभीर अनुप्रयोगों में गुणवत्ता नियंत्रण के लिए निर्मित उत्पाद की सभी विविधताओं का नमूना लेना सम्मलित है,[33] और यादृच्छिक रेखांकन की कनेक्टिविटी (ग्राफ सिद्धांत) के रूप में होता है।[34] इस रूप की स्थितियों में, एक बार कुल में से एकत्र की जाने वाली शेष वस्तुएँ समान रूप से संभावित आइटम के रूप में होती है, एक यादृच्छिक विकल्प में एक नया आइटम एकत्र करने की संभावना के रूप में होती है और एक नया आइटम एकत्र होने तक आवश्यक यादृच्छिक विकल्पों की अपेक्षित संख्या . के सभी मूल्यों का योग से down से 1 दिखाता है कि सभी वस्तुओं को एकत्र करने के लिए आवश्यक यादृच्छिक विकल्पों की कुल अपेक्षित संख्या के रूप में होती है , जहाँ th हार्मोनिक संख्या के रूप में है।[35]


कलन विधि का विश्लेषण

क्विकसॉर्ट के औसत-केस संस्करण का एनीमेशन, छायांकित तीरों द्वारा इंगित पुनरावर्ती उप-समस्याओं के साथ और प्रत्येक उप-समस्या में अंतिम आइटम के रूप में चुने गए पिवोट्स (लाल आइटम और नीली रेखाएं) के साथ

हार्मोनिक संख्याओं का उपयोग करके वस्तुओं के एकसमुच्चय को सॉर्ट करने के लिए क्विकॉर्ट कलन विधि का विश्लेषण किया जा सकता है। जिससे कि कलन विधि एक आइटम को पिवट के रूप में चुनकर अन्य सभी के साथ तुलना करके और आइटम के दो उपसमुच्चय को पुनरावर्ती रूप से सॉर्ट करके संचालित किया जाता है, जिनकी तुलना उन्हें पिवट से पहले और पिवट के बाद करती है और इस प्रकार यदि इसकी औसत-स्थिति की समिश्र के साथ कि सभी इनपुट क्रमपरिवर्तन समान रूप से होने की संभावना है या धुरी के एक यादृच्छिक विकल्प के साथ सबसे खराब स्थिति वाले इनपुट के अपेक्षित समय विश्लेषण में सभी वस्तुओं को समान रूप से धुरी के रूप में चुने जाने की संभावना होती है, ऐसे स्थितियों के लिए, कोई भी प्रायिकता की गणना कर सकता है कि दो वस्तुओं की एक-दूसरे के साथ तुलना की जाती है और जिससे कि पुनरावर्तन के समय, अंतिम क्रमबद्ध क्रम में उन्हें भिन्न करने वाली अन्य वस्तुओं की संख्या के एक फलन के रूप में क्रियान्वित किया जाता है। यदि आइटम और से भिन्न रूप में होते है अन्य पदों में है, तो कलन विधि के बीच एक तुलना करता है और केवल जब पुनरावर्तन आगे बढ़ता है यह या चुनता है किसी अन्य को चुनने से पहले धुरी के रूप में उनके बीच आइटम के रूप में होता है। क्योंकि इनमें से प्रत्येक आइटम समान रूप से पहले चुने जाने की संभावना होती है, ऐसा प्रायिकता . तुलनाओं की कुल अपेक्षित संख्या के साथ होता है , जो कलन विधि के कुल चलने के समय को नियंत्रित करती है और जिससे की गणना तब की जा सकती है, जब सभी जोड़ियों पर इन संभावनाओं को जोड़कर गणना की जा सकती है[36]

हार्मोनिक श्रृंखला का डाइवर्जन्स इस एप्लिकेशन में इस तथ्य से मेल खाता है कि, त्वरित प्रकार के लिए उपयोग किए जाने वाले तुलना क्रम में, रैखिक समय में क्रमबद्ध करना संभव नहीं है।[37]


संबंधित श्रृंखला


वैकल्पिक हार्मोनिक श्रृंखला

वैकल्पिक हार्मोनिक श्रृंखला (काली रेखा खंड) के पहले चौदह पार्शियल योग 2 (लाल रेखा) के प्राकृतिक लघुगणक में परिवर्तित होते हुए दिखाए गए हैं।

यह श्रृंखला,

प्रत्यावर्ती हार्मोनिक श्रृंखला के रूप में जाना जाता है। यह वैकल्पिक श्रृंखला परीक्षण द्वारा सशर्त कन्वर्जेन्स है, लेकिन पूर्ण कन्वर्जेन्स के रूप में नहीं होता है। इसका योग 2 का प्राकृतिक लघुगणक है।[38]

स्पष्ट रूप से, श्रृंखला का ऐसिम्टाटिक विस्तार है

केवल विषम इकाई अंशों के साथ वैकल्पिक संकेतों का उपयोग करने से संबंधित श्रृंखला उत्पन्न होती है, π के लिए लीबनिज़ सूत्र के लिए है,[39]


रीमैन जीटा फलन

रीमैन जीटा फलन वास्तविक के लिए परिभाषित किया जाता है कन्वर्जेन्स श्रृंखला द्वारा दर्शाया गया है

जो के लिए हार्मोनिक श्रृंखला के रूप में होती है। इसे सभी समिश्र संख्याओं पर एक होलोमॉर्फिक फलन के विश्लेषणात्मक निरंतरता द्वारा बढ़ाया जा सकता है जहाँ ,विस्तारित फलन में एक साधारण ध्रुव के रूप में होता है। जीटा फलन के अन्य महत्वपूर्ण मूल्यों के रूप में सम्मलित हैं , बेसल समस्या का समाधान, एपेरी स्थिरांक , रोजर एपेरी द्वारा एक अपरिमेय संख्या और समिश्र संख्याओं की महत्वपूर्ण रेखा द्वारा दर्शाया गया है जहाँ , रीमैन परिकल्पना द्वारा अनुमान लगाया गया कि ऋणात्मक पूर्णांकों के अतिरिक्त केवल वही मान हैं जहां फलन शून्य रूप में होता है।[40]

यादृच्छिक हार्मोनिक श्रृंखला

यादृच्छिक हार्मोनिक श्रृंखला है

जहां मान स्वतंत्र और समान रूप से वितरित यादृच्छिक चर के रूप में होते है, जो दो मान होते है और बराबर के साथ प्रायिकता . यह लगभग निश्चित रूप से कन्वर्जेन्स करता है| प्रायिकता 1 के साथ, जैसा कि कोलमोगोरोव की तीन-श्रृंखला प्रमेय या निकट से संबंधित कोलमोगोरोव की असमानता का उपयोग करके देखा जा सकता है और इस प्रकार श्रृंखला का योग एक यादृच्छिक चर है, जिसका प्रायिकता घनत्व फलन मूल्यों के बीच के लिए and , और अधिक मूल्यों के लिए लगभग शून्य तक घट जाती है तब या . इन श्रेणियों के बीच मध्यवर्ती पर मान , प्रायिकता घनत्व के रूप में होते है एक गैर-शून्य लेकिन बहुत कम मूल्य के लिए होते है .[41][42]

डिप्लीटिड हार्मोनिक श्रृंखला

डिप्लीटिड हार्मोनिक श्रृंखला जहां वे सभी पद जिनमें अंक 9 हर में कहीं भी दिखाई देता है, वे हटा दिए जाते हैं और जिससे कि उन्हें मान में कन्वर्जेन्स करने के लिए दिखाया जा सकता है 22.92067661926415034816....[43] वास्तव में, जब अंकों की किसी विशेष स्ट्रिंग वाले सभी पदों को हटा दिया जाता है, तो संख्या आधार किसी भी श्रृंखला में कॉनवर्जेंट हो जाती है।[44]


संदर्भ

  1. 1.0 1.1 Rice, Adrian (2011). "The harmonic series: A primer". In Jardine, Dick; Shell-Gellasch, Amy (eds.). Mathematical Time Capsules: Historical Modules for the Mathematics Classroom. MAA Notes. Vol. 77. Washington, DC: Mathematical Association of America. pp. 269–276. ISBN 978-0-88385-984-1.
  2. 2.0 2.1 2.2 2.3 Kullman, David E. (May 2001). "What's harmonic about the harmonic series?". The College Mathematics Journal. 32 (3): 201–203. doi:10.2307/2687471. JSTOR 2687471.
  3. Hersey, George L. (2001). Architecture and Geometry in the Age of the Baroque. University of Chicago Press. pp. 11–12, 37–51. ISBN 978-0-226-32783-9.
  4. Oresme, Nicole (c. 1360). Quaestiones super Geometriam Euclidis [Questions concerning Euclid's Geometry] (in Latina).
  5. Stillwell, John (2010). Mathematics and its History. Undergraduate Texts in Mathematics (3rd ed.). New York: Springer. p. 182. doi:10.1007/978-1-4419-6053-5. ISBN 978-1-4419-6052-8. MR 2667826.
  6. Derbyshire, John (2003). Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. Washington, DC: Joseph Henry Press. p. 10. ISBN 0-309-08549-7. MR 1968857.
  7. Mengoli, Pietro (1650). "Praefatio [Preface]". Novae quadraturae arithmeticae, seu De additione fractionum [New arithmetic quadrature (i.e., integration), or On the addition of fractions] (in Latina). Bologna: Giacomo Monti. Mengoli's proof is by contradiction: Let denote the sum of the series. Group the terms of the series in triplets: . Since for , , then , which is impossible for any finite . Therefore, the series diverges.
  8. Bernoulli, Jacob (1689). Propositiones arithmeticae de seriebus infinitis earumque summa finita [Arithmetical propositions about infinite series and their finite sums]. Basel: J. Conrad.
  9. Bernoulli, Jacob (1713). Ars conjectandi, opus posthumum. Accedit Tractatus de seriebus infinitis [Theory of inference, posthumous work. With the Treatise on infinite series…]. Basel: Thurneysen. pp. 250–251.
    From p. 250, prop. 16:
    "XVI. Summa serei infinita harmonicè progressionalium, &c. est infinita. Id primus deprehendit Frater:…"
    [16. The sum of an infinite series of harmonic progression, , is infinite. My brother first discovered this…]
  10. 10.0 10.1 Dunham, William (January 1987). "The Bernoullis and the harmonic series". The College Mathematics Journal. 18 (1): 18–23. doi:10.1080/07468342.1987.11973001. JSTOR 2686312.
  11. Bernoulli, Johann (1742). "Corollary III of De seriebus varia". Opera Omnia. Lausanne & Basel: Marc-Michel Bousquet & Co. vol. 4, p. 8. Johann Bernoulli's proof is also by contradiction. It uses a telescopic sum to represent each term as
    Changing the order of summation in the corresponding double series gives, in modern notation
    .
  12. 12.0 12.1 Knuth, Donald E. (1968). "1.2.7 Harmonic numbers". The Art of Computer Programming, Volume I: Fundamental Algorithms (1st ed.). Addison-Wesley. pp. 73–78. Knuth writes, of the partial sums of the harmonic series "This sum does not occur very frequently in classical mathematics, and there is no standard notation for it; but in the analysis of algorithms it pops up nearly every time we turn around, and we will consistently use the symbol ... The letter stands for "harmonic", and we call a "harmonic number" because [the infinite series] is customarily called the harmonic series."
  13. 13.0 13.1 13.2 13.3 Kifowit, Steven J.; Stamps, Terra A. (Spring 2006). "The harmonic series diverges again and again" (PDF). AMATYC Review. American Mathematical Association of Two-Year Colleges. 27 (2): 31–43. See also unpublished addendum, "More proofs of divergence of the harmonic series" by Kifowit.
  14. Roy, Ranjan (December 2007). "Review of A Radical Approach to Real Analysis by David M. Bressoud". SIAM Review. 49 (4): 717–719. JSTOR 20454048. One might point out that Cauchy's condensation test is merely the extension of Oresme's argument for the divergence of the harmonic series
  15. 15.0 15.1 Bressoud, David M. (2007). A Radical Approach to Real Analysis. Classroom Resource Materials Series (2nd ed.). Washington, DC: Mathematical Association of America. pp. 137–138. ISBN 978-0-88385-747-2. MR 2284828.
  16. Boas, R. P. Jr.; Wrench, J. W. Jr. (1971). "Partial sums of the harmonic series". The American Mathematical Monthly. 78 (8): 864–870. doi:10.1080/00029890.1971.11992881. JSTOR 2316476. MR 0289994.
  17. 17.0 17.1 17.2 Havil, Julian (2003). "Chapter 2: The harmonic series". Gamma: Exploring Euler's Constant. Princeton University Press. pp. 21–25. ISBN 978-0-691-14133-6.
  18. 18.0 18.1 Osler, Thomas J. (November 2012). "96.53 Partial sums of series that cannot be an integer". The Mathematical Gazette. 96 (537): 515–519. doi:10.1017/S0025557200005167. JSTOR 24496876. S2CID 124359670. See in particular Theorem 1, p. 516.
  19. Sanna, Carlo (2016). "On the -adic valuation of harmonic numbers". Journal of Number Theory. 166: 41–46. doi:10.1016/j.jnt.2016.02.020. MR 3486261.
  20. Ross, Bertram (1978). "The psi function". Mathematics Magazine. 51 (3): 176–179. doi:10.1080/0025570X.1978.11976704. JSTOR 2689999. MR 1572267.
  21. 21.0 21.1 Hadley, John; Singmaster, David (March 1992). "Problems to sharpen the young: An annotated translation of Propositiones ad acuendos juvenes". The Mathematical Gazette. 76 (475): 102–126. doi:10.2307/3620384. JSTOR 3620384. S2CID 125835186. See problem 52: De homine patrefamilias – A lord of the manor, pp. 124–125.
  22. Gale, David (May 1970). "The jeep once more or jeeper by the dozen". The American Mathematical Monthly. 77 (5): 493–501. doi:10.1080/00029890.1970.11992525. JSTOR 2317382.
  23. Graham, Ronald; Knuth, Donald E.; Patashnik, Oren (1989). "6.3 Harmonic numbers". Concrete Mathematics (2e ed.). Addison-Wesley. pp. 272–278. ISBN 978-0-201-55802-9.
  24. 24.0 24.1 Sharp, R. T. (1954). "Problem 52: Overhanging dominoes" (PDF). Pi Mu Epsilon Journal. 1 (10): 411–412.
  25. Paterson, Mike; Peres, Yuval; Thorup, Mikkel; Winkler, Peter; Zwick, Uri (2009). "Maximum overhang". The American Mathematical Monthly. 116 (9): 763–787. doi:10.4169/000298909X474855. MR 2572086. S2CID 1713091.
  26. Euler, Leonhard (1737). "Variae observationes circa series infinitas" [Various observations concerning infinite series]. Commentarii Academiae Scientiarum Petropolitanae (in Latina). 9: 160–188.
  27. 27.0 27.1 Rubinstein-Salzedo, Simon (2017). "Could Euler have conjectured the prime number theorem?". Mathematics Magazine. 90 (5): 355–359. arXiv:1701.04718. doi:10.4169/math.mag.90.5.355. JSTOR 10.4169/math.mag.90.5.355. MR 3738242. S2CID 119165483.
  28. Pollack, Paul (2015). "Euler and the partial sums of the prime harmonic series". Elemente der Mathematik. 70 (1): 13–20. doi:10.4171/EM/268. MR 3300350.
  29. Tsang, Kai-Man (2010). "Recent progress on the Dirichlet divisor problem and the mean square of the Riemann zeta-function". Science China. 53 (9): 2561–2572. Bibcode:2010ScChA..53.2561T. doi:10.1007/s11425-010-4068-6. MR 2718848. S2CID 6168120.
  30. Maunsell, F. G. (October 1938). "A problem in cartophily". The Mathematical Gazette. 22 (251): 328–331. doi:10.2307/3607889. JSTOR 3607889. S2CID 126381029.
  31. Gerke, Oke (April 2013). "How much is it going to cost me to complete a collection of football trading cards?". Teaching Statistics. 35 (2): 89–93. doi:10.1111/test.12005. S2CID 119887116.
  32. Parker, Matt (February 12, 2022). "The coupon collector's problem (with Geoff Marshall)". Stand-up maths. YouTube.
  33. Luko, Stephen N. (March 2009). "The "coupon collector's problem" and quality control". Quality Engineering. 21 (2): 168–181. doi:10.1080/08982110802642555. S2CID 109194745.
  34. Frieze, Alan; Karoński, Michał (2016). "4.1 Connectivity". Introduction to Random Graphs. Cambridge University Press, Cambridge. pp. 64–68. doi:10.1017/CBO9781316339831. ISBN 978-1-107-11850-8. MR 3675279.
  35. Isaac, Richard (1995). "8.4 The coupon collector's problem solved". The Pleasures of Probability. Undergraduate Texts in Mathematics. New York: Springer-Verlag. pp. 80–82. doi:10.1007/978-1-4612-0819-8. ISBN 0-387-94415-X. MR 1329545.
  36. Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2009) [1990]. "Chapter 7: Quicksort". Introduction to Algorithms (3rd ed.). MIT Press and McGraw-Hill. pp. 170–190. ISBN 0-262-03384-4.
  37. Cormen et al. (2009), Section 8.1, "Lower bounds for sorting", pp. 191–193.
  38. Freniche, Francisco J. (2010). "On Riemann's rearrangement theorem for the alternating harmonic series" (PDF). The American Mathematical Monthly. 117 (5): 442–448. doi:10.4169/000298910X485969. JSTOR 10.4169/000298910x485969. MR 2663251. S2CID 20575373.
  39. Soddy, F. (1943). "The three infinite harmonic series and their sums (with topical reference to the Newton and Leibniz series for )". Proceedings of the Royal Society. 182 (989): 113–129. Bibcode:1943RSPSA.182..113S. doi:10.1098/rspa.1943.0026. MR 0009207. S2CID 202575422.
  40. Bombieri, E. (2010). "The classical theory of zeta and -functions". Milan Journal of Mathematics. 78 (1): 11–59. doi:10.1007/s00032-010-0121-8. MR 2684771. S2CID 120058240.
  41. Schmuland, Byron (May 2003). "Random harmonic series" (PDF). The American Mathematical Monthly. 110 (5): 407–416. doi:10.2307/3647827. JSTOR 3647827.
  42. Bettin, Sandro; Molteni, Giuseppe; Sanna, Carlo (2018). "Small values of signed harmonic sums". Comptes Rendus Mathématique. 356 (11–12): 1062–1074. arXiv:1806.05402. doi:10.1016/j.crma.2018.11.007. hdl:2434/634047. MR 3907571. S2CID 119160796.
  43. Baillie, Robert (May 1979). "Sums of reciprocals of integers missing a given digit". The American Mathematical Monthly. 86 (5): 372–374. doi:10.1080/00029890.1979.11994810. JSTOR 2321096.
  44. Schmelzer, Thomas; Baillie, Robert (June 2008). "Summing a curious, slowly convergent series". The American Mathematical Monthly. 115 (6): 545–540. doi:10.1080/00029890.2008.11920559. JSTOR 27642532. S2CID 11461182.


बाहरी संबंध