View source for हार्मोनिक श्रृंखला (गणित)

{{Short description|Divergent sum of all positive unit fractions}}
{{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>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}}

हार्मोनिक श्रृंखला का डाइवर्जन्स पहली बार 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}}
== परिभाषा और डाइवर्जन्स ==
हार्मोनिक श्रृंखला अनंत श्रृंखला है
<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}}
दो सबसे प्रसिद्ध हैं।{{r|rice|kifowit}} नीचे सूचीबद्ध हैं।

=== तुलना परीक्षण ===
डाइवर्जन्स साबित करने की एक विधि जिसमे हार्मोनिक श्रृंखला की तुलना किसी अन्य डाइवर्जन्स श्रृंखला के साथ करना है, जहां प्रत्येक भाजक को दो की अगली सबसे बड़ी घात से बदल दिया जाता है,
<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]

   {} \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>
समान शर्तों को समूहीकृत करने से पता चलता है कि दूसरी श्रृंखला डाइवर्जन्स करती है, क्योंकि कन्वर्जेन्स श्रृंखला का प्रत्येक समूह केवल कन्वर्जेन्स है
<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 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \cdots.
 \end{align}</math>
चूंकि हार्मोनिक श्रृंखला की प्रत्येक अवधि दूसरी श्रृंखला की संबंधित अवधि से अधिक या बराबर होती है और शर्तें सभी धनात्मक रूप में होती हैं, यह इस प्रकार है कि हार्मोनिक श्रृंखला भी भिन्न हो जाती है और [[प्रत्यक्ष तुलना परीक्षण]] द्वारा वही तर्क अधिक मजबूती से साबित करता है जिसमे प्रत्येक धनात्मक संख्या के लिए {{nowrap|[[पूर्णांक ]] <math>k</math>,}} होता है 
<math display=block>\sum_{n=1}^{2^k} \frac{1}{n} \geq 1 + \frac{k}{2}</math>
यह लगभग 1350 में निकोल ओरेसमे द्वारा दिया गया मूल प्रमाण है।{{r|kifowit}} कॉची संक्षेपण परीक्षण इस तर्क का एक सामान्यीकरण है।{{r|roy}}


=== समाकलन टेस्ट ===
[[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>
चूँकि यह समाकल कॉनवर्जेंट नहीं होता है और जिससे कि योग भी कॉनवर्जेंट नहीं हो सकता है।{{r|kifowit}} 

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

== पार्शियल योग ==
{{main|हार्मोनिक संख्या}}
{| class="wikitable" style="margin:0 0 0 1em; text-align:right; float:right;"
! rowspan="2" style="padding-top:1em;"|<math>n</math> !! colspan="4"|Partial sum of the harmonic series, <math>H_n</math>
|-
! colspan="2"|expressed as a fraction !! decimal !! relative size
|-
| style="text-align:right;"|1 || style="text-align:center;" colspan="2"|1 || {{0|~}}{{bartable|1||20}}
|-
| style="text-align:right;"|2 || style="border-right:none;text-align:right;padding-right:0;"|3 || style="border-left:none;text-align:left;padding-left:0;"|/2 || {{bartable|1.5||20}}
|-
| style="text-align:right;"|3 || style="border-right:none;text-align:right;padding-right:0;"|11 || style="border-left:none;text-align:left;padding-left:0;"|/6 || ~{{bartable|1.83333||20}}
|-
| style="text-align:right;"|4 || style="border-right:none;text-align:right;padding-right:0;"|25 || style="border-left:none;text-align:left;padding-left:0;"|/12 || ~{{bartable|2.08333||20}}
|-
| style="text-align:right;"|5 || style="border-right:none;text-align:right;padding-right:0;"|137 || style="border-left:none;text-align:left;padding-left:0;"|/60 || ~{{bartable|2.28333||20}}
|-
| style="text-align:right;"|6 || style="border-right:none;text-align:right;padding-right:0;"|49 || style="border-left:none;text-align:left;padding-left:0;"|/20 || {{bartable|2.45||20}}
|-
| style="text-align:right;"|7 || style="border-right:none;text-align:right;padding-right:0;"|363 || style="border-left:none;text-align:left;padding-left:0;"|/140 || ~{{bartable|2.59286||20}}
|-
| style="text-align:right;"|8 || style="border-right:none;text-align:right;padding-right:0;"|761 || style="border-left:none;text-align:left;padding-left:0;"|/280 || ~{{bartable|2.71786||20}}
|-
| style="text-align:right;"|9 || style="border-right:none;text-align:right;padding-right:0;"|7129 || style="border-left:none;text-align:left;padding-left:0;"|/2520 || ~{{bartable|2.82897||20}}
|-
| style="text-align:right;"|10 || style="border-right:none;text-align:right;padding-right:0;"|7381 || style="border-left:none;text-align:left;padding-left:0;"|/2520 || ~{{bartable|2.92897||20}}
|-
| style="text-align:right;"|11 || style="border-right:none;text-align:right;padding-right:0;"|83711 || style="border-left:none;text-align:left;padding-left:0;"|/27720 || ~{{bartable|3.01988||20}}
|-
| style="text-align:right;"|12 || style="border-right:none;text-align:right;padding-right:0;"|86021 || style="border-left:none;text-align:left;padding-left:0;"|/27720 || ~{{bartable|3.10321||20}}
|-
| style="text-align:right;"|13 || style="border-right:none;text-align:right;padding-right:0;"|1145993 || style="border-left:none;text-align:left;padding-left:0;"|/360360 || ~{{bartable|3.18013||20}}
|-
| style="text-align:right;"|14 || style="border-right:none;text-align:right;padding-right:0;"|1171733 || style="border-left:none;text-align:left;padding-left:0;"|/360360 || ~{{bartable|3.25156||20}}
|-
| style="text-align:right;"|15 || style="border-right:none;text-align:right;padding-right:0;"|1195757 || style="border-left:none;text-align:left;padding-left:0;"|/360360 || ~{{bartable|3.31823||20}}
|-
| style="text-align:right;"|16 || style="border-right:none;text-align:right;padding-right:0;"|2436559 || style="border-left:none;text-align:left;padding-left:0;"|/720720 || ~{{bartable|3.38073||20}}
|-
| style="text-align:right;"|17 || style="border-right:none;text-align:right;padding-right:0;"|42142223 || style="border-left:none;text-align:left;padding-left:0;"|/12252240 || ~{{bartable|3.43955||20}}
|-
| style="text-align:right;"|18 || style="border-right:none;text-align:right;padding-right:0;"|14274301 || style="border-left:none;text-align:left;padding-left:0;"|/4084080 || ~{{bartable|3.49511||20}}
|-
| style="text-align:right;"|19 || style="border-right:none;text-align:right;padding-right:0;"|275295799 || style="border-left:none;text-align:left;padding-left:0;"|/77597520 || ~{{bartable|3.54774||20}}
|-
| style="text-align:right;"|20 || style="border-right:none;text-align:right;padding-right:0;"|55835135 || style="border-left:none;text-align:left;padding-left:0;"|/15519504 || ~{{bartable|3.59774||20}}
|}

पहले को जोड़ना <math>n</math> हार्मोनिक श्रृंखला की शर्तें पार्शियल योग उत्पन्न करती हैं, जिसे हार्मोनिक संख्या कहा जाता है और {{nowrap|लक्षित <math>H_n</math>:{{r|knuth}} के रूप में होते है}}
<math display=block>H_n = \sum_{k = 1}^n \frac{1}{k}.</math>


=== विकास दर ===
ये संख्याएँ [[लघुगणकीय वृद्धि]] के साथ बहुत धीमी गति से बढ़ती हैं जैसा कि समाकलन टेस्ट से देखा जा सकता है।{{r|bressoud}} यूलर मैक्लॉरिन फॉर्मूला द्वारा अधिक सटीकता से दिखाया गया है,
<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}}


=== डिविज़बिलिटी ===
डिविज़बिलिटी को छोड़कर कोई भी हार्मोनिक संख्या पूर्णांक नहीं है {{nowrap|<math>H_1=1</math>.{{r|havil|osler}}}} इसे साबित करने की एक विधि <math>H_n</math> एक पूर्णांक नहीं है और दो की उच्चतम घात पर विचार करता है <math>2^k</math> से रेंज में {{nowrap|1 से  <math>n</math>.}} यदि <math>M</math> से संख्याओं का लघुत्तम समापवर्त्य है {{nowrap|1 से <math>n</math>,}} तब
<math>H_k</math> समान भाजक वाले भिन्नों के योग के रूप में फिर से लिखा जा सकता है <math display=block>H_n=\sum_{i=1}^n \tfrac{M/i}{M}</math>
जिसमें अंशों में से केवल एक, {{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}}

=== इंटरपोलेशन ===
[[File:Psi0.png|thumb|upright|समिश्र संख्याओं पर डिगामा कार्य करता है]]डि[[गामा समारोह|गामा फलन]] को गामा फलन के लघुगणकीय अवकलज के रूप में परिभाषित किया जाता है,
<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}}}} इस समीकरण का उपयोग तर्कसंगत सूचकांकों के साथ हार्मोनिक संख्याओं की परिभाषा को विस्तारित करने के लिए इस समीकरण का उपयोग किया जा सकता है।
== अनुप्रयोग ==
कई प्रसिद्ध गणितीय समस्याओं के समाधान में हार्मोनिक श्रृंखला और इसके पार्शियल योग के रूप में सम्मलित हैं।

=== क्रासिंग डिजर्ट ===
{{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वीं शताब्दी के समस्या संग्रह, प्रोपोज़िशन्स एड एक्यूएन्डोस जुवेन्स (जीप के बजाय ऊंटों के संदर्भ में तैयार) में शामिल किया गया है, लेकिन एक गलत समाधान के साथ।[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>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}}

=== स्टैकिंग ब्लॉक ===
{{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}}

=== अभाज्य संख्याओं और भाजकों की गिनती ===
{{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>
यहां, प्रत्येक लघुगणक को उसकी [[टेलर श्रृंखला]] और स्थिरांक से बदल दिया जाता है <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}}


=== कूपन एकत्रित करना ===
{{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}}


=== कलन विधि का विश्लेषण ===
{{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>
हार्मोनिक श्रृंखला का डाइवर्जन्स इस एप्लिकेशन में इस तथ्य से मेल खाता है कि, त्वरित प्रकार के लिए उपयोग किए जाने वाले तुलना क्रम में, [[रैखिक समय]] में क्रमबद्ध करना संभव नहीं है।{{sfnp|Cormen|Leiserson|Rivest|Stein|2009|loc=Section 8.1, "Lower bounds for sorting", pp. 191–193}}


== संबंधित श्रृंखला ==
{{see also|व्युत्क्रमों के योगों की सूची}}


=== वैकल्पिक हार्मोनिक श्रृंखला ===
{{See also|रीमैन श्रृंखला प्रमेय योग बदलना}}
[[Image:Alternating Harmonic Series.PNG|right|thumb|240px|वैकल्पिक हार्मोनिक श्रृंखला (काली रेखा खंड) के पहले चौदह पार्शियल योग 2 (लाल रेखा) के प्राकृतिक लघुगणक में परिवर्तित होते हुए दिखाए गए हैं।]]यह श्रृंखला,
<math display=block>\sum_{n = 1}^\infty \frac{(-1)^{n + 1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \cdots</math>
प्रत्यावर्ती हार्मोनिक श्रृंखला के रूप में जाना जाता है। यह [[वैकल्पिक श्रृंखला परीक्षण]] द्वारा [[सशर्त अभिसरण|सशर्त]] कन्वर्जेन्स है, लेकिन [[पूर्ण अभिसरण|पूर्ण]] कन्वर्जेन्स के रूप में नहीं होता है। इसका योग [[2 का प्राकृतिक लघुगणक]] है।{{r|freniche}}

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

<math display="block">\frac{1}{1} - \frac{1}{2} +\cdots + \frac{1}{2n-1} - \frac{1}{2n} = H_{2n} - H_n = \ln 2 - \frac{1}{2n} + O(n^{-2})</math>
केवल विषम इकाई अंशों के साथ वैकल्पिक संकेतों का उपयोग करने से संबंधित श्रृंखला उत्पन्न होती है, π के लिए लीबनिज़ सूत्र के लिए है,{{r|soddy}}
<math display="block">\sum_{n = 0}^\infty \frac{(-1)^{n}}{2n+1} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}.</math>


=== रीमैन जीटा फलन ===
{{main|रीमैन ज़ेटा फलन }}
[[रीमैन जीटा फ़ंक्शन|रीमैन जीटा]] फलन वास्तविक के लिए परिभाषित किया जाता है <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>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 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}}}}

=== डिप्लीटिड हार्मोनिक श्रृंखला ===
{{main|केम्पनर श्रृंखला}}

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


==संदर्भ==
{{reflist|refs=

<ref name=alcuin>{{cite journal
 | last1 = Hadley | first1 = John
 | last2 = Singmaster | first2 = David | author2-link = David Singmaster
 | date = March 1992
 | doi = 10.2307/3620384
 | issue = 475
 | journal = [[The Mathematical Gazette]]
 | jstor = 3620384
 | pages = 102–126
 | title = Problems to sharpen the young: An annotated translation of ''Propositiones ad acuendos juvenes''
 | volume = 76| s2cid = 125835186
 }} See problem 52: De homine patrefamilias – A lord of the manor, pp. 124–125.</ref>

<ref name=baillie>{{cite journal
 | last = Baillie | first = Robert
 | date = May 1979
 | doi = 10.1080/00029890.1979.11994810
 | issue = 5
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2321096
 | pages = 372–374
 | title = Sums of reciprocals of integers missing a given digit
 | volume = 86}}</ref>

<ref name=bemosa>{{cite journal
 | last1 = Bettin | first1 = Sandro
 | last2 = Molteni | first2 = Giuseppe
 | last3 = Sanna | first3 = Carlo
 | doi = 10.1016/j.crma.2018.11.007
 | hdl = 2434/634047
 | arxiv = 1806.05402
 | issue = 11–12
 | journal = Comptes Rendus Mathématique
 | mr = 3907571
 | pages = 1062–1074
 | title = Small values of signed harmonic sums
 | volume = 356
 | year = 2018| s2cid = 119160796
 }}</ref>

<ref name=boawre>{{cite journal
 | last1 = Boas | first1 = R. P. Jr. | author1-link = Ralph P. Boas Jr.
 | last2 = Wrench | first2 = J. W. Jr. | author2-link = John Wrench
 | doi = 10.1080/00029890.1971.11992881
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2316476
 | mr = 289994
 | pages = 864–870
 | title = Partial sums of the harmonic series
 | volume = 78
 | year = 1971| issue = 8 }}</ref>

<ref name=bombieri>{{cite journal
 | last = Bombieri | first = E. | author-link = Enrico Bombieri
 | doi = 10.1007/s00032-010-0121-8
 | issue = 1
 | journal = Milan Journal of Mathematics
 | mr = 2684771
 | pages = 11–59
 | title = The classical theory of zeta and <math>L</math>-functions
 | volume = 78
 | year = 2010| s2cid = 120058240 }}</ref>

<ref name=bressoud>{{cite book
 | last = Bressoud | first = David M. | author-link = David Bressoud
 | edition = 2nd
 | isbn = 978-0-88385-747-2
 | mr = 2284828
 | pages = 137–138
 | publisher = Mathematical Association of America | location = Washington, DC
 | series = Classroom Resource Materials Series
 | title = A Radical Approach to Real Analysis
 | url = https://books.google.com/books?id=YSe4hUBM7uEC&pg=PA137
 | year = 2007}}</ref>

<ref name=clrs>{{Introduction to Algorithms|edition=3|chapter=Chapter 7: Quicksort|pages=170–190}}</ref>

<ref name=derbyshire>{{cite book
 | last = Derbyshire | first = John | author-link = John Derbyshire
 | isbn = 0-309-08549-7
 | mr = 1968857
 | page = 10
 | publisher = Joseph Henry Press | location = Washington, DC
 | title = Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics
 | title-link = Prime Obsession
 | year = 2003}}</ref>

<ref name=dunham>{{cite journal
 | last = Dunham | first = William
 | date = January 1987
 | doi = 10.1080/07468342.1987.11973001
 | issue = 1
 | journal = [[The College Mathematics Journal]]
 | jstor = 2686312
 | pages = 18–23
 | title = The Bernoullis and the harmonic series
 | volume = 18}}</ref>

<ref name=euler>{{cite journal
 | last = Euler | first = Leonhard | author-link = Leonhard Euler
 | journal = Commentarii Academiae Scientiarum Petropolitanae
 | language = la
 | pages = 160–188
 | title = Variae observationes circa series infinitas
 | trans-title = Various observations concerning infinite series
 | url = https://scholarlycommons.pacific.edu/euler-works/72/
 | volume = 9
 | year = 1737}}</ref>

<ref name=freniche>{{cite journal
 | last = Freniche | first = Francisco J.
 | doi = 10.4169/000298910X485969
 | issue = 5
 | journal = [[The American Mathematical Monthly]]
 | jstor = 10.4169/000298910x485969
 | mr = 2663251
 | pages = 442–448
 | title = On Riemann's rearrangement theorem for the alternating harmonic series
 | volume = 117
 | year = 2010| s2cid = 20575373
 | url = http://eprints.gla.ac.uk/25361/1/id25361.pdf
 }}</ref>

<ref name=frikar>{{cite book
 | last1 = Frieze | first1 = Alan | author1-link = Alan M. Frieze
 | last2 = Karoński | first2 = Michał
 | contribution = 4.1 Connectivity
 | doi = 10.1017/CBO9781316339831
 | isbn = 978-1-107-11850-8
 | mr = 3675279
 | pages = 64–68
 | publisher = Cambridge University Press, Cambridge
 | title = Introduction to Random Graphs
 | year = 2016}}</ref>

<ref name=gale>{{cite journal
 | last = Gale | first = David | author-link = David Gale
 | date = May 1970
 | doi = 10.1080/00029890.1970.11992525
 | issue = 5
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2317382
 | pages = 493–501
 | title = The jeep once more or jeeper by the dozen
 | volume = 77}}</ref>

<ref name=gerke>{{cite journal
 | last = Gerke | first = Oke
 | date = April 2013
 | doi = 10.1111/test.12005
 | issue = 2
 | journal = Teaching Statistics
 | pages = 89–93
 | title = How much is it going to cost me to complete a collection of football trading cards?
 | volume = 35| s2cid = 119887116
 }}</ref>

<ref name=graham>{{cite book
 | last1 = Graham | first1 = Ronald | author1-link = Ronald Graham
 | last2 = Knuth | first2 = Donald E. | author2-link = Donald Knuth
 | last3 = Patashnik | first3 = Oren | author3-link = Oren Patashnik
 | contribution = 6.3 Harmonic numbers
 | edition = 2e
 | isbn = 978-0-201-55802-9
 | pages = 272–278
 | publisher = [[Addison-Wesley]]
 | title = Concrete Mathematics
 | title-link = Concrete Mathematics
 | year = 1989}}</ref>

<ref name=havil>{{cite book
 | last = Havil | first = Julian
 | contribution = Chapter 2: The harmonic series
 | contribution-url = https://books.google.com/books?id=-fuxDwAAQBAJ&pg=PA21
 | isbn = 978-0-691-14133-6
 | pages = 21–25
 | publisher = Princeton University Press
 | title = Gamma: Exploring Euler's Constant
 | year = 2003}}</ref>

<ref name=hersey>{{cite book
 | last = Hersey | first = George L. | author-link = George L. Hersey
 | isbn = 978-0-226-32783-9
 | pages = 11–12, 37–51
 | publisher = University of Chicago Press
 | title = Architecture and Geometry in the Age of the Baroque
 | year = 2001}}</ref>

<ref name=isaac>{{cite book
 | last = Isaac | first = Richard
 | contribution = 8.4 The coupon collector's problem solved
 | doi = 10.1007/978-1-4612-0819-8
 | isbn = 0-387-94415-X
 | location = New York
 | mr = 1329545
 | pages = 80–82
 | publisher = Springer-Verlag
 | series = Undergraduate Texts in Mathematics
 | title = The Pleasures of Probability
 | year = 1995}}</ref>

<ref name=jacob1>{{cite book|author-link=Jacob Bernoulli|first=Jacob|last=Bernoulli|title=Propositiones arithmeticae de seriebus infinitis earumque summa finita|trans-title=Arithmetical propositions about infinite series and their finite sums|location=Basel|publisher=J. Conrad|date=1689}}</ref>

<ref name=jacob2>{{cite book|author-link=Jacob Bernoulli|first=Jacob|last1=Bernoulli|title=Ars conjectandi, opus posthumum. Accedit Tractatus de seriebus infinitis|trans-title=Theory of inference, posthumous work. With the Treatise on infinite series…|location=Basel|publisher=Thurneysen|date=1713|url=https://books.google.com/books?id=CF4UAAAAQAAJ&pg=PA250|pages=250–251}}<br>From p. 250, prop. 16:
:"''XVI. Summa serei infinita harmonicè progressionalium, <math>\tfrac11+\tfrac12+\tfrac13+\tfrac14+\tfrac15</math> &c. est infinita. Id primus deprehendit Frater:…''"
:[16.  The sum of an infinite series of harmonic progression, <math>\tfrac11+\tfrac12+\tfrac13+\tfrac14+\tfrac15+\cdots</math>, is infinite. My brother first discovered this…]</ref>

<ref name=johann>{{cite book|author-link=Johann Bernoulli|chapter=Corollary III of ''De seriebus varia''|first=Johann|last=Bernoulli|title=Opera Omnia|location=Lausanne & Basel|publisher=Marc-Michel Bousquet & Co.|date=1742|at=vol. 4, p. 8|chapter-url=https://books.google.com/books?id=sxUOAAAAQAAJ&pg=PA6}}

Johann Bernoulli's proof is also by contradiction. It uses a telescopic sum to represent each term <math>\tfrac1n</math> as 
<math display=block>\frac1n = \Big(\frac1n - \frac1{n+1}\Big) + \Big(\frac1{n+1} - \frac1{n+2}\Big) +  \Big(\frac1{n+2} - \frac1{n+3}\Big)\cdots</math>
<math display=block>=\frac1{n(n+1)}  + \frac1{(n+1)(n+2)}  + \frac1{(n+2)(n+3)} \cdots</math> 
Changing the order of summation in the corresponding double series gives, in modern notation 
<math display=block>S = \sum_{n=1}^\infty \frac1n= \sum_{n=1}^\infty\sum_{k=n}^\infty \frac1{k(k+1)}= \sum_{k=1}^\infty\sum_{n=1}^k  \frac1{k(k+1)}</math>
<math display=block>=\sum_{k=1}^\infty \frac{k}{k(k+1)}=\sum_{k=1}^\infty \frac1{k+1}=S - 1</math>.</ref>

<ref name=kifowit>{{cite journal
 | last1 = Kifowit | first1 = Steven J.
 | last2 = Stamps | first2 = Terra A.
 | date = Spring 2006
 | issue = 2
 | journal = AMATYC Review
 | pages = 31–43
 | publisher = American Mathematical Association of Two-Year Colleges
 | title = The harmonic series diverges again and again
 | url = https://stevekifowit.com/pubs/harmapa.pdf
 | volume = 27}} See also unpublished addendum, "[https://stevekifowit.com/pubs/harm2.pdf More proofs of divergence of the harmonic series]" by Kifowit.</ref>

<ref name=knuth>{{cite book
 | last = Knuth | first = Donald E. | author-link = Donald Knuth
 | contribution = 1.2.7 Harmonic numbers
 | edition = 1st
 | pages = 73–78
 | publisher = Addison-Wesley
 | title = The Art of Computer Programming, Volume I: Fundamental Algorithms
 | title-link = The Art of Computer Programming
 | year = 1968}} 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 <math>H_n</math> ... The letter <math>H</math> stands for "harmonic", and we call <math>H_n</math> a "harmonic number" because [the infinite series] is customarily called the harmonic series."</ref>

<ref name=kullman>{{cite journal
 | last = Kullman | first = David E.
 | date = May 2001
 | doi = 10.2307/2687471
 | issue = 3
 | journal = [[The College Mathematics Journal]]
 | jstor = 2687471
 | pages = 201–203
 | title = What's harmonic about the harmonic series?
 | volume = 32}}</ref>

<ref name=luko>{{cite journal
 | last = Luko | first = Stephen N.
 | date = March 2009
 | doi = 10.1080/08982110802642555
 | issue = 2
 | journal = Quality Engineering
 | pages = 168–181
 | title = The "coupon collector's problem" and quality control
 | volume = 21| s2cid = 109194745
 }}</ref>

<ref name=maunsell>{{cite journal
 | last = Maunsell | first = F. G.
 | date = October 1938
 | doi = 10.2307/3607889
 | issue = 251
 | journal = The Mathematical Gazette
 | jstor = 3607889
 | pages = 328–331
 | title = A problem in cartophily
 | volume = 22| s2cid = 126381029
 }}</ref>

<ref name=mengoli>{{cite book|author-link=Pietro Mengoli|first=Pietro|last=Mengoli|title=Novae quadraturae arithmeticae, seu De additione fractionum|trans-title=New arithmetic quadrature (i.e., integration), or On the addition of fractions|location=Bologna|publisher=Giacomo Monti|date=1650|chapter-url=https://books.google.com/books?id=f9eM5uQvRucC&pg=PP9|chapter=Praefatio [Preface]|language=la}}

Mengoli's proof is by contradiction: Let <math>S</math> denote the sum of the series.  Group the terms of the series in triplets: <math>S=1+(\tfrac12+\tfrac13+\tfrac14)+(\tfrac15+\tfrac16+\tfrac17)+\cdots</math>. Since for <math>x>1</math>, <math>\tfrac1{x-1}+\tfrac1x+\tfrac1{x+1}>\tfrac3x</math>, then <math>S>1+\tfrac33+\tfrac36+\tfrac39+\cdots=1+1+\tfrac12+\tfrac13+\cdots=1+S</math>, which is impossible for any finite <math>S</math>.  Therefore, the series diverges.</ref>

<ref name=oresme>{{cite book|author-link=Nicole Oresme|first=Nicole|last=Oresme|date=c. 1360|title=Quaestiones super Geometriam Euclidis|trans-title=Questions concerning Euclid's Geometry|language=la}}</ref>

<ref name=osler>{{cite journal
 | last = Osler | first = Thomas J. | author-link = Thomas J. Osler
 | date = November 2012
 | doi = 10.1017/S0025557200005167
 | issue = 537
 | journal = [[The Mathematical Gazette]]
 | jstor = 24496876
 | pages = 515–519
 | title = 96.53 Partial sums of series that cannot be an integer
 | volume = 96| s2cid = 124359670 }} See in particular Theorem 1, p. 516.</ref>

<ref name=overhang>{{cite journal
 | last1 = Paterson | first1 = Mike | author1-link = Mike Paterson
 | last2 = Peres | first2 = Yuval | author2-link = Yuval Peres
 | last3 = Thorup | first3 = Mikkel | author3-link = Mikkel Thorup
 | last4 = Winkler | first4 = Peter | author4-link = Peter Winkler
 | last5 = Zwick | first5 = Uri | author5-link = Uri Zwick
 | doi = 10.4169/000298909X474855
 | issue = 9
 | journal = [[The American Mathematical Monthly]]
 | mr = 2572086
 | pages = 763–787
 | title = Maximum overhang
 | volume = 116
 | year = 2009| s2cid = 1713091 }}</ref>

<ref name=parkrun>{{cite web|url=https://www.youtube.com/watch?v=BstloCx8KDk|title=The coupon collector's problem (with Geoff Marshall)|work=Stand-up maths|publisher=YouTube|first=Matt|last=Parker|author-link=Matt Parker|date=February 12, 2022}}</ref>

<ref name=pollack>{{cite journal
 | last = Pollack | first = Paul
 | doi = 10.4171/EM/268
 | issue = 1
 | journal = [[Elemente der Mathematik]]
 | mr = 3300350
 | pages = 13–20
 | title = Euler and the partial sums of the prime harmonic series
 | volume = 70
 | year = 2015}}</ref>

<ref name=rice>{{cite book
 | last = Rice | first = Adrian
 | editor1-last = Jardine | editor1-first = Dick
 | editor2-last = Shell-Gellasch | editor2-first = Amy | editor2-link = Amy Shell-Gellasch
 | contribution = The harmonic series: A primer
 | isbn = 978-0-88385-984-1
 | location = Washington, DC
 | pages = 269–276
 | publisher = Mathematical Association of America
 | series = MAA Notes
 | title = Mathematical Time Capsules: Historical Modules for the Mathematics Classroom
 | volume = 77
 | year = 2011}}</ref>

<ref name=ross>{{cite journal | last = Ross | first = Bertram | doi = 10.1080/0025570X.1978.11976704 | issue = 3 | journal = [[Mathematics Magazine]] | jstor = 2689999 | mr = 1572267 | pages = 176–179 | title = The psi function | volume = 51 | year = 1978}}</ref>

<ref name=roy>{{cite journal
 | last = Roy | first = Ranjan
 | date = December 2007
 | issue = 4
 | journal = SIAM Review
 | jstor = 20454048
 | quote = One might point out that Cauchy's condensation test is merely the extension of Oresme's argument for the divergence of the harmonic series
 | pages = 717–719
 | title = Review of ''A Radical Approach to Real Analysis'' by David M. Bressoud
 | volume = 49}}</ref>

<ref name=rubsal>{{cite journal
 | last = Rubinstein-Salzedo | first = Simon
 | doi = 10.4169/math.mag.90.5.355
 | issue = 5
 | journal = [[Mathematics Magazine]]
 | jstor = 10.4169/math.mag.90.5.355
 | mr = 3738242
 | pages = 355–359
 | title = Could Euler have conjectured the prime number theorem?
 | volume = 90
 | year = 2017| arxiv = 1701.04718
 | s2cid = 119165483
 }}</ref>

<ref name=sanna>{{cite journal
 | last = Sanna | first = Carlo
 | doi = 10.1016/j.jnt.2016.02.020
 | journal = [[Journal of Number Theory]]
 | mr = 3486261
 | pages = 41–46
 | title = On the <math>p</math>-adic valuation of harmonic numbers
 | volume = 166
 | year = 2016}}</ref>

<ref name=schmelzer>{{cite journal
 | last1 = Schmelzer | first1 = Thomas
 | last2 = Baillie | first2 = Robert
 | date = June 2008
 | issue = 6
 | journal = [[The American Mathematical Monthly]]
 | jstor = 27642532
 | pages = 545–540
 | title = Summing a curious, slowly convergent series
 | volume = 115| doi = 10.1080/00029890.2008.11920559
 | s2cid = 11461182
 }}</ref>

<ref name=schmuland>{{cite journal
 | last = Schmuland | first = Byron
 | date = May 2003
 | doi = 10.2307/3647827
 | issue = 5
 | journal = [[The American Mathematical Monthly]]
 | jstor = 3647827
 | pages = 407–416
 | title = Random harmonic series
 | url = http://www.stat.ualberta.ca/people/schmu/preprints/rhs.pdf
 | volume = 110}}</ref>

<ref name=sharp>{{cite journal
 | last = Sharp | first = R. T.
 | issue = 10
 | journal = Pi Mu Epsilon Journal
 | pages = 411–412
 | title = Problem 52: Overhanging dominoes
 | url = https://www.pme-math.org/journal/issues/PMEJ.Vol.1.No.10.pdf
 | volume = 1
 | year = 1954}}</ref>

<ref name=soddy>{{cite journal
 | last = Soddy | first = F. | author-link = Frederick Soddy
 | doi = 10.1098/rspa.1943.0026
 | journal = [[Proceedings of the Royal Society]]
 | mr = 9207
 | pages = 113–129
 | title = The three infinite harmonic series and their sums (with topical reference to the Newton and Leibniz series for <math>\pi</math>)
 | volume = 182
 | year = 1943| issue = 989 | bibcode = 1943RSPSA.182..113S | s2cid = 202575422 }}</ref>

<ref name=stillwell>{{cite book
 | last = Stillwell | first = John | author-link = John Stillwell
 | doi = 10.1007/978-1-4419-6053-5
 | edition = 3rd
 | isbn = 978-1-4419-6052-8
 | mr = 2667826
 | page = 182
 | publisher = Springer | location = New York
 | series = Undergraduate Texts in Mathematics
 | title = Mathematics and its History
 | year = 2010}}</ref>

<ref name=tsang>{{cite journal
 | last = Tsang | first = Kai-Man
 | doi = 10.1007/s11425-010-4068-6
 | issue = 9
 | journal = Science China
 | mr = 2718848
 | pages = 2561–2572
 | title = Recent progress on the Dirichlet divisor problem and the mean square of the Riemann zeta-function
 | volume = 53
 | year = 2010| bibcode = 2010ScChA..53.2561T
 | s2cid = 6168120
 }}</ref>

}}


==बाहरी संबंध==
{{Commons category|Harmonic series (mathematics)}}
* {{MathWorld|title=Harmonic Series|urlname=HarmonicSeries}}

{{Series (mathematics)}}

[[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: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:भिन्न श्रृंखला]]