बर्नौली संख्या

From Vigyanwiki
Revision as of 03:42, 14 August 2023 by alpha>Vivekdasilavky (Text)
बर्नौली संख्याएँ B±
n
n भिन्न दशमलव
0 1 +1.000000000
1 ±1/2 ±0.500000000
2 1/6 +0.166666666
3 0 +0.000000000
4 1/30 −0.033333333
5 0 +0.000000000
6 1/42 +0.023809523
7 0 +0.000000000
8 1/30 −0.033333333
9 0 +0.000000000
10 5/66 +0.075757575
11 0 +0.000000000
12 691/2730 −0.253113553
13 0 +0.000000000
14 7/6 +1.166666666
15 0 +0.000000000
16 3617/510 −7.092156862
17 0 +0.000000000
18 43867/798 +54.97117794
19 0 +0.000000000
20 174611/330 −529.1242424

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

पहले 20 बर्नौली संख्याओं के मान आसन्न तालिका में दिए गए हैं। साहित्य में दो परंपराओं का उपयोग किया जाता है, जिन्हें और द्वारा यहां दर्शाया गया है; वे केवल n = 1 के लिए भिन्न हैं, जहां और है। प्रत्येक विषम n > 1, के लिए Bn = 0 है। प्रत्येक सम n > 0 के लिए, यदि n 4 से विभाज्य है तो Bn ऋणात्मक है और अन्यथा धनात्मक है। बर्नौली संख्याएँ बर्नौली बहुपद के विशेष मान हैं, जिनमें और हैं।[1]

बर्नौली संख्याओं की खोज लगभग उसी समय स्विस गणितज्ञ जैकब बर्नौली द्वारा की गई थी, जिनके नाम पर इनका नाम रखा गया था, और स्वाधीनतः जापानी गणितज्ञ सेकी ताकाकाज़ू द्वारा इसे किया गया। सेकी की खोज को मरणोपरांत 1712 में कात्सुयो संपो में उनके काम को प्रकाशित[2][3][4] किया गया था ; बर्नौली ने भी, मरणोपरांत, 1713 के अपने आर्स कॉन्जेक्टैंडी में किया गया था। 1842 से एनालिटिकल इंजन पर एडा लवलेस है के एडा बायरन के नोट्स G में बैबेज की मशीन के साथ बर्नौली नंबर उत्पन्न करने के लिए एक एल्गोरिदम का वर्णन किया गया है।[5]परिणामस्वरूप, बर्नौली संख्याओं को पहले प्रकाशित जटिल कंप्यूटर प्रोग्राम का विषय होने का गौरव प्राप्त है।

नोटेशन

इस आलेख में प्रयुक्त सुपरस्क्रिप्ट ± बर्नौली संख्याओं के लिए दो संकेत कन्वेंशन को अलग करता है। केवल n = 1 पद प्रभावित होता है:

  • B
    n
    के साथ B
    1
    = −1/2
    (OEISA027641 / OEISA027642) एनआईएसटी और अधिकांश आधुनिक पाठ्यपुस्तकों द्वारा निर्धारित संकेत कन्वेंशन है।[6]
  • B+
    n
    साथ B+
    1
    = +1/2
    (OEISA164555 / OEISA027642) का उपयोग पुराने साहित्य में किया गया था,[1] और (2022 से) डोनाल्ड नुथ द्वारा[7] पीटर लुश्नी के "बर्नौली घोषणापत्र" का अनुसरण करते हुए किया गया था।[8]

नीचे दिए गए सूत्रों में, कोई भी संबंध के साथ एक संकेत कन्वेंशन से दूसरे में स्विच कर सकता है , या पूर्णांक के लिए n = 2 या अधिक, बस इसे अनदेखा करें।

तब से Bn = 0 सभी विषम के लिए n > 1, और कई सूत्रों में केवल सम-सूचकांक बर्नौली संख्याएं सम्मिलित होती हैं, कुछ लेखक B2n  के बजाय "Bn" लिखते हैं। यह आलेख उस संकेतन का पालन नहीं करता है।

इतिहास

प्रारंभिक इतिहास

बर्नौली संख्याएँ पूर्णांक घातों के योग की गणना के प्रारंभिक इतिहास में निहित हैं, जो प्राचीन काल से गणितज्ञों के लिए रुचिकर रही हैं।

सेकी ताकाकाज़ु के कात्सुयो सानपो (1712) का एक पृष्ठ, द्विपद गुणांक और बर्नौली संख्याओं को सारणीबद्ध करता है

n धनात्मक पूर्णांकों के योग,वर्गों के योग और पहले n धनात्मक पूर्णांकों के घनों के योग की गणना करने के तरीके ज्ञात थे, लेकिन कोई वास्तविक 'सूत्र' नहीं थे, केवल पूरी तरह से शब्दों में दिए गए विवरण थे। इस समस्या पर विचार करने वाले प्राचीन काल के महान गणितज्ञों में पाइथागोरस (लगभग 572-497 ईसा पूर्व, ग्रीस), आर्किमिडीज (287-212 ईसा पूर्व, इटली), आर्यभट्ट (जन्म 476, भारत), अबू बक्र अल-करजी (मृत्यु) सम्मिलित थे। 1019, फारस) और अबू अली अल-हसन इब्न अल-हसन इब्न अल हैदम (965-1039, इराक) थे।

सोलहवीं शताब्दी के अंत और सत्रहवीं शताब्दी के प्रारंभ में गणितज्ञों ने महत्वपूर्ण प्रगति की। पश्चिम में इंग्लैंड के थॉमस हैरियट (1560-1621), जर्मनी के जॉन फ़ौल्हाबर (1580-1635), पियरे डी फ़र्मेट (1601-1665) और साथी फ्रांसीसी गणितज्ञ ब्लेस पास्कल (1623-1662) सभी ने महत्वपूर्ण भूमिकाएँ निभाईं।

ऐसा प्रतीत होता है कि थॉमस हैरियट प्रतीकात्मक संकेतन का उपयोग करके घातों के योग के लिए सूत्र प्राप्त करने और लिखने वाले पहले व्यक्ति थे, लेकिन उन्होंने भी केवल चौथी घातों के योग तक की गणना की। जोहान फ़ौल्हाबर ने अपने 1631 एकेडेमिया बीजगणित में 17वीं घात तक की घातों के योग के लिए सूत्र दिए, जो उनसे पहले के किसी भी घात से कहीं अधिक थे, लेकिन उन्होंने कोई सामान्य सूत्र नहीं दिया।

1654 में ब्लेज़ पास्कल ने p = 0, 1, 2, ..., k के लिए पहले n धनात्मक पूर्णांकों की pवी घातों के योग से संबंधित पास्कल की पहचान को सिद्ध किया।

स्विस गणितज्ञ जैकब बर्नौली (1654-1705) ने सबसे पहले स्थिरांक B0, B1, B2,... के एकल अनुक्रम के अस्तित्व को समझने वाले पहले व्यक्ति थे, जो सभी घातों के योग के लिए एक समान सूत्र प्रदान करता है।[9]

जब बर्नौली ने किसी धनात्मक पूर्णांक c के लिए cवी घातों के योग के लिए अपने सूत्र के गुणांकों की त्वरित और आसानी से गणना करने के लिए आवश्यक पैटर्न पर प्रहार किया, तो उन्हें जो खुशी महसूस हुई, उसे उनकी टिप्पणी से देखा जा सकता है। उन्होंने लिखा है:

"इस तालिका की मदद से, मुझे यह पता लगाने में आधे घंटे से भी कम समय लगा कि पहली 1000 संख्याओं की दसवीं घातों को एक साथ जोड़ने पर योग 91,409,924,241,424,243,424,241,924,242,500 प्राप्त होगा।"

बर्नौली का परिणाम मरणोपरांत 1713 में अर्स कॉन्जेक्टैंडी में प्रकाशित किया गया था। सेकी ताकाकाज़ू ने स्वतंत्र रूप से बर्नौली संख्याओं की खोज की और उनका परिणाम एक साल पहले, मरणोपरांत, 1712 में प्रकाशित किया गया था।[2] हालाँकि, सेकी ने अपनी पद्धति को स्थिरांक के अनुक्रम पर आधारित सूत्र के रूप में प्रस्तुत नहीं किया।

घातों के योग के लिए बर्नौली का सूत्र अब तक का सबसे उपयोगी और सामान्यीकरण योग्य सूत्रीकरण है। अब्राहम डी मोइवरे के सुझाव के बाद, बर्नौली के सूत्र में गुणांक को अब बर्नौली संख्या कहा जाता है।

बर्नौली के सूत्र को कभी-कभी जोहान फौल्हाबर के बाद फाउलहाबर का सूत्र कहा जाता है, जिन्होंने घातों के योग की गणना करने के उल्लेखनीय तरीके खोजे लेकिन बर्नौली के सूत्र से कभी नहीं बताया। नुथ के अनुसार[9] फ़ौल्हाबर के सूत्र का एक कठोर प्रमाण पहली बार 1834 में कार्ल जैकोबी द्वारा प्रकाशित किया गया था।[10] नुथ के फ़ौल्हाबर के सूत्र के गहन अध्ययन का निष्कर्ष है (एलएचएस पर गैरमानक संकेतन को आगे समझाया गया है):

"फ़ौल्हाबर ने कभी बर्नौली संख्याओं की खोज नहीं की; यानी, उन्हें कभी भी यह एहसास नहीं हुआ कि स्थिरांक B0, B1, B2, ... का एक एकल अनुक्रम एक समान प्रदान करेगा
सभी घातों के योग के लिए। उदाहरण के लिए, उन्होंने इस तथ्य का कभी उल्लेख नहीं किया कि Σ nm के लिए अपने सूत्रों को N में बहुपदों से n में बहुपदों में परिवर्तित किया था, तो लगभग आधे गुणांक शून्य थे।"[11]

उपरोक्त में नुथ का तात्पर्य था; इसके बदले का उपयोग करने से सूत्र घटाव से बचाता है:


''सुम्मा पोटेस्टैटम'' का पुनर्निर्माण

जैकब बर्नौली की ''सुम्मा पोटेस्टैटम'', 1713[lower-alpha 1]

बर्नौली संख्याएँ OEISA164555(एन)/OEISA027642(एन) को जैकब बर्नौली द्वारा 1713 पृष्ठ 97 में मरणोपरांत प्रकाशित पुस्तक आर्स कॉन्जेक्टैंडी में प्रस्तुत किया गया था। मुख्य सूत्र को संबंधित प्रतिकृति के दूसरे भाग में देखा जा सकता है। निरंतर गुणांक निरूपित A, B, C और D बर्नौली द्वारा उस अंकन में मैप किया गया है जो अब A = B2, B = B4, C = B6, D = B8 के रूप में प्रचलित है। अभिव्यक्तिc·c−1·c−2·c−3 का अर्थ है c·(c−1)·(c−2)·(c−3) - छोटे बिंदुओं का उपयोग समूहीकरण प्रतीकों के रूप में किया जाता है। आज की शब्दावली का प्रयोग करते हुए ये अभिव्यक्तियाँ घटती हुई भाज्य घात ck हैं। भाज्य संकेतन k! 1 × 2 × ... × k के शॉर्टकट के रूप में 100 साल बाद तक प्रस्तुत नहीं किया गया था। बायीं ओर का अभिन्न चिह्न 1675 में गॉटफ्राइड विल्हेम लीबनिज़ के समय का है, जिन्होंने इसे "सुम्मा" (योग) एक लंबे अक्षर S के रूप में उपयोग किया था।[lower-alpha 2] अक्षर n बाईं ओर योग का सूचकांक नहीं है बल्कि योग की सीमा की ऊपरी सीमा दी गई है जिसे 1, 2, ..., n इस प्रकार समझा जाना चाहिए। चीजों को एक साथ रखकर, धनात्मकता c के लिए, आज एक गणितज्ञ के बर्नौली के सूत्र को इस प्रकार लिखने की संभावना है:

यह सूत्र तथाकथित 'पुरातन' गणना से स्विच करते समय B1 = 1/2 सेट करने का सुझाव देता है जो केवल सम सूचकांक 2, 4, 6... का उपयोग आधुनिक रूप में करता है (अगले पैराग्राफ में विभिन्न कन्वेंशन पर अधिक)। इस संदर्भ में सबसे चौंकाने वाला तथ्य यह है घटते फैक्टोरियल ck−1 में k = 0 के लिए मान 1/c + 1 है।[12] इस प्रकार बर्नौली का सूत्र लिखा जा सकता है

यदि B1 = 1/2, बर्नौली द्वारा उस स्थिति में गुणांक को दिए गए मान को पुनः प्राप्त करना।

उपरोक्त बर्नौली द्वारा उद्धरण के पहले भाग में के लिए सूत्र अंतिम पद पर एक त्रुटि है; यह के बदले होना चाहिए।

परिभाषाएँ

पिछले 300 वर्षों में बर्नौली संख्याओं के कई लक्षण पाए गए हैं, और प्रत्येक का उपयोग इन संख्याओं को प्रस्तुत करने के लिए किया जा सकता है। यहां केवल तीन सबसे उपयोगी का उल्लेख किया गया है:

  • एक पुनरावर्ती समीकरण,
  • एक स्पष्ट सूत्र,
  • एक जनरेटिंग फलन।

तीन दृष्टिकोणों की तार्किक तुल्यता के प्रमाण के लिए।[13]


पुनरावर्ती परिभाषा

बर्नौली संख्याएँ योग सूत्रों का पालन करती हैं[1]

जहां और δ क्रोनकर डेल्टा को दर्शाता है। को हल करने पर पुनरावर्ती सूत्र प्राप्त होते हैं


स्पष्ट परिभाषा

1893 में लुई साल्सचुट्ज़ ने बर्नौली संख्याओं के लिए कुल 38 स्पष्ट सूत्र सूचीबद्ध किए,[14] प्रायः पुराने साहित्य में कुछ संदर्भ दिए गए। उनमें से एक है ( के लिए ):


जनरेटिंग फलन

घातीय फलन हैं

जहां प्रतिस्थापन है। यदि हम और मान लें तब

तब और के लिए की श्रृंखला में mवाँ पद है:

यदि

तब हम उसे पाते हैं

यह दर्शाता है कि के मान बर्नौली संख्या के लिए पुनरावर्ती सूत्र का पालन करते हैं।

(साधारण) जनक फलन

एक स्पर्शोन्मुख श्रृंखला है। इसमें ट्राइगामा फलन ψ1 सम्मिलित है।

बर्नौली संख्या और रीमैन जीटा फलन

रीमैन जीटा फलन द्वारा दिए गए बर्नौली नंबर।

बर्नौली संख्याओं को रीमैन जीटा फलन के संदर्भ में व्यक्त किया जा सकता है:

B+
n
= −(1 − n)
n ≥ 1 के लिए है।

यहां जीटा फलन का तर्क 0 या ऋणात्मक है।

जीटा कार्यात्मक समीकरण और गामा प्रतिबिंब सूत्र के माध्यम से निम्नलिखित संबंध प्राप्त किया जा सकता है:[15]

n ≥ 1 के लिए है।

अब जीटा फलन का तर्क धनात्मक है।

इसके बाद यह ζ → 1 (n → ∞) और स्टर्लिंग के सूत्र से निकलता है कि

n → ∞ के लिए है।

बर्नौली संख्याओं की कुशल गणना

कुछ अनुप्रयोगों में बर्नौली संख्या B0 से Bp − 3 मापांक p की गणना करने में सक्षम होना उपयोगी है, जहां p एक अभाज्य है; उदाहरण के लिए यह परीक्षण करने के लिए कि क्या वैंडिवर का अनुमान p के लिए सही है, या यहां तक ​​कि सिर्फ यह निर्धारित करने के लिए कि क्या p एक अनियमित अभाज्य है। उपरोक्त पुनरावर्ती सूत्रों का उपयोग करके ऐसी गणना करना संभव नहीं है, क्योंकि कम से कम (एक निरंतर गुणक) p2 अंकगणितीय संक्रियाओं की आवश्यकता होगी। सौभाग्य से, तेज़ विधियाँ विकसित की गई हैं[16] जिसके लिए केवल O(p (log p)2) संक्रिया की आवश्यकता होती है (बड़ा O संकेतन देखें)।

डेविड हार्वे[17] कई छोटे अभाज्य संख्याओं p के लिए Bn मापांक p की गणना करके और फिर चीनी शेषफल प्रमेय के माध्यम से Bn का पुनर्निर्माण करके बर्नौली संख्याओं की गणना के लिए एक एल्गोरिदम का वर्णन करता है। हार्वे लिखते हैं कि इस एल्गोरिदम की स्पर्शोन्मुख कम्प्यूटेशनल जटिलता O(n2 log(n)2 + ε) है और दावा करते हैं कि यह कार्यान्वयन अन्य तरीकों पर आधारित कार्यान्वयन की तुलना में काफी तेज़ है। इस कार्यान्वयन का उपयोग करके हार्वे ने n = 108 के लिए Bn गणना की। हार्वे के कार्यान्वयन को संस्करण 3.1 से सेजमैथ में सम्मिलित किया गया है। उनसे पहले, बर्नड केल्नर[18] ने दिसंबर 2002 में n = 106 के लिए पूर्ण परिशुद्धता के साथ Bn की गणना की थी और अप्रैल 2008 में मेथेमेटिका के साथ ऑलेक्ज़ेंडर पावलिक[19] ने n = 107 के लिए Bn की गणना की थी।

परिकलक साल n अंक *
जे. बर्नौली ~1689 10 1
एल. यूलर 1748 30 8
जे. सी. एडम्स 1878 62 36
डी. ई. नुथ, टी. जे. बखोल्ट्ज़ 1967 1672 3330
जी. फी, एस. प्लौफ़े 1996 10000 27677
जी. फी, एस. प्लौफ़े 1996 100000 376755
बी. सी. केल्नर 2002 1000000 4767529
ओ. पावलिक 2008 10000000 57675260
डी. हार्वे 2008 100000000 676752569
* जब Bn को सामान्यीकृत वैज्ञानिक संकेतन में वास्तविक संख्या के रूप में लिखा जाता है अंकों को 10 के घातांक के रूप में समझा जाना जाता है।

जूलिया प्रोग्रामिंग भाषा में बर्नौली संख्याओं की गणना के लिए एक संभावित एल्गोरिदम दिया गया है[14]

b    = Array{Float64}(undef, n+1)
b[1] = 1
b[2] = -0.5
for m=2:n 
    for k=0:m
        for v=0:k
            b[m+1] += (-1)^v * binomial(k,v) * v^(m) / (k+1)
        end
    end
end
return b


बर्नौली संख्या के अनुप्रयोग

स्पर्शोन्मुख विश्लेषण

गणित में बर्नौली संख्याओं का संभवतः सबसे महत्वपूर्ण अनुप्रयोग यूलर-मैकलॉरिन सूत्र में उनका उपयोग है। ये मानते हुए f एक पर्याप्त रूप से प्रायः विभेदित फलन है जिसे यूलर-मैकलॉरिन सूत्र के रूप में लिखा जा सकता है[20]

यह सूत्रीकरण कन्वेंशन B
1
= −1/2
को मानता है। कन्वेंशन B+
1
= +1/2
का उपयोग करना सूत्र बन जाता है

यहाँ (यानी का शून्य-क्रम अवकलज केवल है)। इसके अलावा, मान लीजिए कि के एक प्रतिअवकलज को दर्शाता है। कलन के मौलिक प्रमेय द्वारा,

इस प्रकार अंतिम सूत्र को यूलर-मैकलॉरिन सूत्र के निम्नलिखित संक्षिप्त रूप में और सरल बनाया जा सकता है

उदाहरण के लिए, यह फॉर्म जीटा फलन के महत्वपूर्ण यूलर-मैकलॉरिन विस्तार का स्रोत है

यहाँ sk बढ़ती भाज्य घात को दर्शाता है।[21]

बर्नौली संख्याओं का उपयोग प्रायः अन्य प्रकार के स्पर्शोन्मुख विस्तारों में भी किया जाता है। निम्नलिखित उदाहरण डिगामा फलन ψ का चिरप्रतिष्ठित पोंकारे-प्रकार का स्पर्शोन्मुख विस्तार है।


घातों का योग

बर्नौली संख्याएँ पहले n धनात्मक पूर्णांकों की mवीं घातों के योग की बंद-रूप अभिव्यक्ति में प्रमुखता से प्रदर्शित होती हैं। m, n ≥ 0 के लिए परिभाषित करना

इस अभिव्यक्ति को हमेशा n डिग्री m + 1 में एक बहुपद के रूप में फिर से लिखा जा सकता है। इन बहुपदों के गुणांक बर्नौली के सूत्र द्वारा बर्नौली संख्याओं से संबंधित हैं:

जहां (m + 1
k
)
द्विपद गुणांक को दर्शाता है।

उदाहरण के लिए, लेना m को 1 मानने से त्रिकोणीय संख्याएँ 0, 1, 3, 6, ... OEISA000217 प्राप्त होती हैं।

m को 2 मानने पर वर्गाकार पिरामिड संख्याएँ 0, 1, 5, 14, ... OEISA000330 प्राप्त होती हैं।

कुछ लेखक बर्नौली संख्याओं के लिए वैकल्पिक परंपरा का उपयोग करते हैं और बर्नौली के सूत्र को इस प्रकार बताते हैं:

बर्नौली के सूत्र को कभी-कभी जोहान फ़ौल्हाबर के बाद फ़ौल्हाबर का सूत्र भी कहा जाता है, जिन्होंने घातों के योग की गणना करने के उल्लेखनीय तरीके भी खोजे थे।

फ़ौल्हाबर के सूत्र को वी. गुओ और जे. ज़ेंग द्वारा q-एनालॉग में सामान्यीकृत किया गया था।[22]

टेलर श्रृंखला

बर्नौली संख्याएँ कई त्रिकोणमितीय फलनों और अतिपरवलीय फलनों के टेलर श्रृंखला विस्तार में दिखाई देती हैं।

स्पर्शरेखा
कोटैंजेंट
अतिपरवलीय स्पर्शज्या
अतिपरवलीय कोटैंजेंट


लॉरेंट श्रृंखला

बर्नौली संख्याएँ निम्नलिखित लॉरेंट श्रृंखला में दिखाई देती हैं:[23] }

दिगम्मा फलन:


टोपोलॉजी में उपयोग

विजातीय (4n − 1)-क्षेत्रों के भिन्नरूपता वर्गों के चक्रीय समूह के क्रम के लिए केरवायर-मिल्नोर सूत्र, जो समानांतर मैनिफोल्ड्स को बांधता है, में बर्नौली संख्याएं सम्मिलित हैं। मान लीजिए कि n ≥ 2 के लिए ESn ऐसे विजातीय क्षेत्रों की संख्या हो,

आयाम 4एन के एक चिकनी उन्मुख बंद मैनिफोल्ड के L श्रेणी के लिए हिरज़ेब्रुक हस्ताक्षर प्रमेय में बर्नौली संख्याएं भी सम्मिलित हैं।

संयोजक संख्याओं के साथ संबंध

विभिन्न प्रकार के संयोजन संख्याओं के साथ बर्नौली संख्या का संबंध परिमित अंतर के चिरप्रतिष्ठित सिद्धांत और एक मौलिक संयोजन सिद्धांत, समावेशन-बहिष्करण सिद्धांत के उदाहरण के रूप में बर्नौली संख्याओं की संयोजन व्याख्या पर आधारित है।

वर्पिट्ज़की संख्याओं के साथ संबंध

आगे बढ़ने की परिभाषा 1883 में जूलियस वर्पिट्ज़की द्वारा विकसित की गई थी। प्रारंभिक अंकगणित के अलावा केवल फैक्टोरियल फलन n! और घात फलन km कार्यरत है। साइनलेस वर्पिट्ज़की संख्याओं को इस प्रकार परिभाषित किया गया है

इन्हें दूसरे प्रकार के स्टर्लिंग संख्याओं के माध्यम से भी व्यक्त किया जा सकता है

फिर एक बर्नौली संख्या को हार्मोनिक अनुक्रम 1, 1/21/3,... द्वारा भारित वर्पिट्ज़की संख्याओं के समावेशन-बहिष्करण योग के रूप में प्रस्तुत किया जाता है। 

B0 = 1
B1 = 1 − 1/2
B2 = 1 − 3/2 + 2/3
B3 = 1 − 7/2 + 12/36/4
B4 = 1 − 15/2 + 50/360/4 + 24/5
B5 = 1 − 31/2 + 180/3390/4 + 360/5120/6
B6 = 1 − 63/2 + 602/32100/4 + 3360/52520/6 + 720/7

यह निरूपण में B+
1
= +1/2
है।

अनुक्रम sn, n ≥ 0 पर विचार करें। वर्पिट्ज़की की संख्याओं से OEISA028246, OEISA163626, s0, s0, s1, s0, s1, s2, s0, s1, s2, s3, ... sn पर लागू अकीयामा-तानिगावा परिवर्तन के समान है (हली तरह की स्टर्लिंग संख्याओं के साथ कनेक्शन देखें)। इसे तालिका के माध्यम से देखा जा सकता है:

वर्पिट्ज़की के निरूपण और अकीयामा-तानिगावा परिवर्तन की पहचान
1 0 1 0 0 1 0 0 0 1 0 0 0 0 1
1 −1 0 2 −2 0 0 3 −3 0 0 0 4 −4
1 −3 2 0 4 −10 6 0 0 9 −21 12
1 −7 12 −6 0 8 −38 54 −24
1 −15 50 −60 24

पहली पंक्ति s0, s1, s2, s3, s4 का निरूपण करती है।

इसलिए दूसरे भिन्नात्मक यूलर संख्याओं के लिए OEISA198631 (n) / OEISA006519 (n + 1):

E0 = 1
E1 = 1 − 1/2
E2 = 1 − 3/2 + 2/4
E3 = 1 − 7/2 + 12/46/8
E4 = 1 − 15/2 + 50/460/8 + 24/16
E5 = 1 − 31/2 + 180/4390/8 + 360/16120/32
E6 = 1 − 63/2 + 602/42100/8 + 3360/162520/32 + 720/64

वर्पिट्ज़की संख्याओं द्वारा बर्नौली संख्याओं का निरूपण करने वाला दूसरा सूत्र n ≥ 1 के लिए है

दूसरे बर्नौली संख्याओं का सरलीकृत दूसरा वर्पिट्ज़की का निरूपण है:

OEISA164555 (n + 1) / OEISA027642(n + 1) = n + 1/2n + 2 − 2 × OEISA198631(n) / OEISA006519(n + 1)

जो दूसरे बर्नौली संख्याओं को दूसरे भिन्नात्मक यूलर संख्याओं से जोड़ता है। प्रारम्भ है:

1/2, 1/6, 0, −1/30, 0, 1/42, ... = (1/2, 1/3, 3/14, 2/15, 5/62, 1/21, ...) × (1, 1/2, 0, −1/4, 0, 1/2, ...)

प्रथम कोष्ठक के अंश OEISA111701 हैं (पहली तरह के स्टर्लिंग संख्याओं के साथ कनेक्शन देखें)।

दूसरे प्रकार के स्टर्लिंग संख्याओं के साथ संबंध

यदि कोई बर्नौली बहुपद Bk(j) को इस प्रकार परिभाषित करता है:[24]

जहां k = 0, 1, 2,... के लिए Bk बर्नौली संख्याएं हैं।

बर्नौली बहुपदों के लिए निम्नलिखित भी निहित है,[25]

(j
m + 1
)
में j का गुणांक (−1)m/m + 1 है।

बर्नौली बहुपद के दो पदों में j के गुणांक की तुलना करने पर, एक यह है:

(जिसके परिणामस्वरूप B1 = +1/2) जो बर्नौली संख्याओं के लिए एक स्पष्ट सूत्र है और इसका उपयोग वॉन-स्टॉड क्लॉसन प्रमेय को सिद्ध करने के लिए किया जा सकता है।[26][27][28]

पहली तरह के स्टर्लिंग संख्याओं के साथ संबंध

पहली तरह के अहस्ताक्षरित स्टर्लिंग संख्याओं [n
m
]
को बर्नौली संख्याओं ( B1 = +1/2 के साथ) से संबंधित दो मुख्य सूत्र हैं

और इस योग का व्युत्क्रम (n ≥ 0, m ≥ 0 के लिए)

यहाँ संख्या An,m परिमेय अकीयामा-तानिगावा संख्याएं हैं, जिनमें से पहले कुछ निम्नलिखित तालिका में प्रदर्शित किए गए हैं।

अकीयामा–तनिगावा संख्या
m
n
0 1 2 3 4
0 1 1/2 1/3 1/4 1/5
1 1/2 1/3 1/4 1/5 ...
2 1/6 1/6 3/20 ... ...
3 0 1/30 ... ... ...
4 1/30 ... ... ... ...

अकियामा-तानिगावा संख्याएँ एक सरल पुनरावृत्ति संबंध को संतुष्ट करती हैं जिसका उपयोग बर्नौली संख्याओं की पुनरावृत्तीय गणना के लिए किया जा सकता है। यह उपरोक्त अनुभाग 'एल्गोरिदमिक विवरण' में दिखाए गए एल्गोरिदम की ओर ले जाता है। OEISA051714/OEISA051715 देखें।

ऑटोसीक्वेंस एक अनुक्रम है जिसका व्युत्क्रम द्विपद परिवर्तन हस्ताक्षरित अनुक्रम के बराबर होता है। यदि मुख्य विकर्ण शून्य = OEISA000004 है, तो स्वत: अनुक्रम पहली तरह का है। उदाहरण: OEISA000045, फाइबोनैचि संख्याएँ है। यदि मुख्य विकर्ण पहले ऊपरी विकर्ण को 2 से गुणा किया जाता है, तो यह दूसरे प्रकार का होता है। उदाहरण: OEISA164555/OEISA027642, दूसरा बर्नौली संख्या (देखें OEISA190339) है। 2n = 1/OEISA000079 पर लागू अकीयामा-तानिगावा परिवर्तन OEISA198631 (n) / OEISA06519 (n+ 1) की ओर ले जाता है। इस तरह:

दूसरे यूलर संख्याओं के लिए अकियामा-तानिगावा परिवर्तन
m
n
0 1 2 3 4
0 1 1/2 1/4 1/8 1/16
1 1/2 1/2 3/8 1/4 ...
2 0 1/4 3/8 ... ...
3 1/4 1/4 ... ... ...
4 0 ... ... ... ...

OEISA209308 और OEISA227577 देखें। OEISA198631 (n) / OEISA006519 (n + 1) दूसरे (आंशिक) यूलर संख्या और दूसरे प्रकार का एक ऑटोसेक्वेंस हैं।

(OEISA164555 (n + 2)/OEISA027642 (n + 2) = 1/6, 0, −1/30, 0, 1/42, ...) × ( 2n + 3 − 2/n + 2 = 3, 14/3, 15/2, 62/5, 21, ...) = OEISA198631 (n + 1)/OEISA006519 (n + 2) = 1/2, 0, −1/4, 0, 1/2, ....

के लिए भी मूल्यवान OEISA027641 / OEISA027642 (वॉरपिट्ज़की संख्याओं के साथ कनेक्शन देखें)।

पास्कल के त्रिकोण के साथ संबंध

पास्कल के त्रिभुज को बर्नौली संख्याओं से जोड़ने वाले सूत्र हैं[lower-alpha 3]

जहां पास्कल त्रिभुज के n-by-n हेसेनबर्ग मैट्रिक्स भाग का निर्धारक है जिसके तत्व हैं:

उदाहरण:


यूलेरियन संख्याओं के साथ संबंध

यूलेरियन संख्याओं n
m
को बर्नौली संख्याओं से जोड़ने वाले सूत्र हैं:

यदि B1 को 1/2 पर सेट किया गया है तो दोनों सूत्र n ≥ 0 के लिए मान्य हैं। यदि B1 को -1/2 पर सेट किया गया है तो वे क्रमशः n ≥ 1 और n ≥ 2 क्रमशः के लिए ही मान्य हैं।

एक बाइनरी ट्री निरूपण

स्टर्लिंग बहुपद σn(x) बर्नौली संख्याओं से Bn = n!σn(1) द्वारा संबंधित हैं। एस. सी. वून ने एक बाइनरी ट्री के रूप में σn(1) की गणना करने के लिए एक एल्गोरिदम का वर्णन किया:[29]

SCWoonTree.pngवून का पुनरावर्ती एल्गोरिदम (n ≥ 1 के लिए) रूट नोड N = [1,2] को निर्दिष्ट करके प्रारंभ होता है। ट्री के एक नोड N = [a1, a2, ..., ak] को देखते हुए, नोड का बायां बच्चा L(N) = [−a1, a2 + 1, a3, ..., ak] है और दायाँ बच्चा R(N) = [a1, 2, a2, ..., ak] है। एक नोड N = [a1, a2, ..., ak] को ऊपर दर्शाए गए ट्री के प्रारंभिक भाग में ±[a2, ..., ak] के रूप में लिखा जाता है, जिसमें ± a1 के चिह्न को दर्शाता है।

एक नोड N को देखते हुए N के फैक्टोरियल को इस प्रकार परिभाषित किया गया है

एक निश्चित वृक्ष-स्तर n के नोड्स N तक सीमित, 1/N! का योग σn(1) है, इस प्रकार

उदाहरण के लिए:

B1 = 1!(1/2!)
B2 = 2!(−1/3! + 1/2!2!)
B3 = 3!(1/4!1/2!3!1/3!2! + 1/2!2!2!)

समाकल निरूपण और निरंतरता

n > 0 के लिए समाकल

का विशेष मान b(2n) = B2n है।

उदाहरण के लिए, b(3) = 3/2ζ(3)π−3i और b(5) = −15/2ζ(5)π−5i है। यहाँ, ζ रीमैन जीटा फलन है, और i काल्पनिक इकाई है। लियोनहार्ड यूलर (ओपेरा ओमनिया, क्रमांक 1, खंड 10, पृष्ठ 351) ने इन संख्याओं पर विचार किया और गणना की

एक और समान समाकल निरूपण है


यूलर संख्याओं और π से संबंध

यूलर संख्याएँ पूर्णांकों का एक क्रम है जो बर्नौली संख्याओं के साथ घनिष्ठ रूप से जुड़ा हुआ है। बर्नौली और यूलर संख्याओं के स्पर्शोन्मुख विस्तार की तुलना करने से पता चलता है कि यूलर संख्या E2n का परिमाण बर्नौली संख्या B2n से लगभग 2/π(42n − 22n) गुना बड़ा है। परिणामस्वरूप:

इस स्पर्शोन्मुख समीकरण से पता चलता है कि π बर्नौली और यूलर दोनों संख्याओं की सामान्य जड़ में निहित है। वास्तव में π की गणना इन परिमेय अनुमानों से की जा सकती है।

बर्नौली संख्याओं को यूलर संख्याओं के माध्यम से व्यक्त किया जा सकता है और इसके विपरीत व्यक्त किया जा सकता है। चूँकि, विषम n के लिए, Bn = En = 0 (अपवाद B1 के साथ), यह उस स्थिति पर विचार करने के लिए पर्याप्त है जब n सम है।

ये रूपांतरण सूत्र बर्नौली और यूलर संख्याओं के बीच संबंध व्यक्त करते हैं। लेकिन इससे भी अधिक महत्वपूर्ण बात यह है कि दोनों प्रकार की संख्याओं के लिए एक गहरा अंकगणितीय मूल है, जिसे संख्याओं के अधिक मौलिक अनुक्रम के माध्यम से व्यक्त किया जा सकता है, जो कि π से भी निकटता से जुड़ा हुआ है। इन संख्याओं को n > 1 के रूप में परिभाषित किया गया है

और परंपरा के अनुसार S1 = 1 है।[30] इन संख्याओं का जादू इस तथ्य में निहित है कि ये परिमेय संख्याएँ बन जाती हैं। यह पहली बार लियोनहार्ड यूलर ने एक ऐतिहासिक पेपर डी सुमिस सेरीरम रेसिप्रोकैरम (पारस्परिक श्रृंखलाओं के योग पर) में सिद्ध किया गया था और तब से इसने गणितज्ञों को आकर्षित किया है।[31] इनमें से पहली कुछ संख्याएँ हैं

(OEISA099612 / OEISA099617)

ये sec x + tan x के विस्तार में गुणांक हैं।

बर्नौली संख्या और यूलर संख्या को अइन संख्याओं के विशेष दृश्यों के रूप में समझा जा सकता है, जिन्हें अनुक्रम Sn से चुना गया है और विशेष अनुप्रयोगों में उपयोग के लिए स्केल किया गया है।

यदि n सम है तो अभिव्यक्ति [सम n] का मान 1 है और अन्यथा (इवरसन कोष्ठक) 0 है।

इन पहचानों से पता चलता है कि इस खंड की प्रारम्भ में बर्नौली और यूलर संख्याओं का भागफल केवल Rn = 2Sn/Sn + 1 का विशेष स्थिति है जब n सम है। Rn, π का परिमेय सन्निकटन है और दो क्रमिक पद हमेशा π का सही मान दर्शाते हैं। n = 1 से प्रारंभ होकर अनुक्रम प्रारंभ होता है (OEISA132049 / OEISA132050):

ये परिमेय संख्याएँ ऊपर उद्धृत यूलर के पेपर के अंतिम पैराग्राफ में भी दिखाई देती हैं।

अनुक्रम OEISA046978 (n + 2) / OEISA016116 (n + 1) के लिए अकियामा-तानिगावा परिवर्तन पर विचार करें :

0 1 1/2 0 1/4 1/4 1/8 0
1 1/2 1 3/4 0 5/8 3/4
2 1/2 1/2 9/4 5/2 5/8
3 −1 7/2 3/4 15/2
4 5/2 11/2 99/4
5 8 77/2
6 61/2

दूसरे से, पहले कॉलम के अंश यूलर के सूत्र के हर हैं। पहला कॉलम है -1/2 × OEISA163982 है।

एक एल्गोरिथम दृश्य: सीडेल त्रिकोण

अनुक्रम Sn में एक और अप्रत्याशित लेकिन महत्वपूर्ण गुण है: Sn के हर भाज्य (n − 1)! को विभाजित करते हैं! दूसरे शब्दों में: संख्याएँ Tn = Sn(n − 1)!, जिन्हें कभी-कभी यूलर ज़िगज़ैग संख्याएँ भी कहा जाता है, पूर्णांक हैं।

(OEISA000111). देखना (OEISA253671).

इस प्रकार बर्नौली और यूलर संख्याओं के उपरोक्त निरूपण को इस अनुक्रम के संदर्भ में फिर से लिखा जा सकता है

ये पहचान बर्नौली और यूलर संख्याओं की गणना करना आसान बनाती हैं: यूलर संख्या En को तुरंत T2n + 1 द्वारा दिया जाता है और बर्नौली संख्या B2n को परिमेय अंकगणित से बचते हुए, कुछ आसान स्थानांतरण द्वारा T2n से प्राप्त किया जाता है।

संख्याओं Tn की गणना करने का एक सुविधाजनक तरीका ढूंढना बाकी है। हालाँकि, पहले से ही 1877 में फिलिप लुडविग वॉन सीडेल ने एक सरल एल्गोरिदम प्रकाशित किया था, जो Tn की गणना करना आसान बनाता है।[32]

Seidel's algorithm for Tn
  1. पंक्ति 0 में 1 डालकर प्रारंभ करें और k को वर्तमान में भरी जा रही पंक्ति की संख्या को दर्शाने दें
  2. यदि k विषम है, तो पंक्ति k के पहले स्थान पर पंक्ति k − 1 के बाएं छोर पर संख्या रखें, और पंक्ति को बाईं से दाईं ओर भरें, प्रत्येक प्रविष्टि में संख्या का योग हो बाएँ और ऊपर की संख्या हो
  3. पंक्ति के अंत में अंतिम संख्या को डुप्लिकेट करें।
  4. यदि k सम है, दूसरी दिशा में भी समान रूप से आगे बढ़ें।

सीडेल का एल्गोरिदम असल में बहुत अधिक सामान्य है (डोमिनिक ड्यूमॉन्ट की व्याख्या देखें)। [33]) और उसके बाद कई बार पुनः खोजा गया।

सीडेल के दृष्टिकोण के समान डी. ई. नुथ और टी. जे. बखोल्ट्ज़ ने संख्याओं T2n के लिए एक पुनरावृत्ति समीकरण दिया और 'केवल पूर्णांकों पर सरल संचालन का उपयोग करके इलेक्ट्रॉनिक कंप्यूटरों पर B2n और E2n की गणना के लिए इस विधि की प्रशंसा की।'[34]

वी. आई. अर्नोल्ड[35] ने सीडेल के एल्गोरिदम को फिर से खोजा गया और बाद में मिलर, स्लोएन और यंग ने सीडेल के एल्गोरिदम को बुस्ट्रोफेडन ट्रांसफॉर्म नाम से लोकप्रिय बनाया।

त्रिकोणीय रूप:

1
1 1
2 2 1
2 4 5 5
16 16 14 10 5
16 32 46 56 61 61
272 272 256 224 178 122 61

केवल OEISA000657, एक 1 के साथ, और OEISA214267, दो 1 के साथ, OEIS में हैं।

निम्नलिखित पंक्तियों में एक पूरक 1 और एक 0 के साथ वितरण:

1
0 1
−1 −1 0
0 −1 −2 −2
5 5 4 2 0
0 5 10 14 16 16
−61 −61 −56 −46 −32 −16 0

यह OEISA239005, OEISA008280 का एक हस्ताक्षरित संस्करण है। मुख्य एंडियगोनल OEISA122045 है। मुख्य विकर्ण OEISA155585 है। केन्द्रीय स्तम्भ OEISA099023 है। पंक्ति योग: 1, 1, −2, −5, 16, 61...देखें OEISA163747। नीचे 1, 1, 0, −2, 0, 16, 0 से प्रारम्भ होने वाली सरणी देखें।

अकीयामा-तानिगावा एल्गोरिदम OEISA046978 पर लागू होता है: (n + 1) / OEISA016116(n) उत्पाद :

1 1 1/2 0 1/4 1/4 1/8
0 1 3/2 1 0 3/4
−1 −1 3/2 4 15/4
0 −5 15/2 1
5 5 51/2
0 61
−61

1. पहला कॉलम है OEISA122045. इसके द्विपद परिवर्तन की ओर जाता है:

1 1 0 −2 0 16 0
0 −1 −2 2 16 −16
−1 −1 4 14 −32
0 5 10 −46
5 5 −56
0 −61
−61

इस सारणी की पहली पंक्ति OEISA155585 है।

बढ़ते प्रतिविकर्णों के निरपेक्ष मान OEISA008280 हैं। प्रतिविकर्णों का योग है।

2. दूसरा स्तंभ 1 1 −1 −5 5 61 −61 −1385 1385.... है। इसकी द्विपद परिवर्तन प्राप्त होता है:

1 2 2 −4 −16 32 272
1 0 −6 −12 48 240
−1 −6 −6 60 192
−5 0 66 32
5 66 66
61 0
−61

इस सारणी की पहली पंक्ति 1 2 2 −4 −16 32 272 544 −7936 15872 353792 −707584.... है। दूसरे द्विखंड के निरपेक्ष मान पहले द्विखंड के निरपेक्ष मान के दोगुने हैं।

OEIS पर लागू अकियामा-तानिगावा एल्गोरिथ्म पर विचार करें: OEISA046978 (n) / (OEISA158780 (n + 1) = abs(OEISA117575 (n)) + 1 = 1, 2, 2, 3/2, 1, 3/4, 3/4, 7/8, 1, 17/16, 17/16, 33/32....

1 2 2 3/2 1 3/4 3/4
−1 0 3/2 2 5/4 0
−1 −3 3/2 3 25/4
2 −3 27/2 −13
5 21 3/2
−16 45
−61

पहला स्तंभ जिसका निरपेक्ष मान OEISA000111 हैं, त्रिकोणमितीय फलन का अंश हो सकता है।

OEISA163747 पहली तरह का एक ऑटोसीक्वेंस है (मुख्य विकर्ण है OEISA000004 है)। संबंधित सरणी है:

0 −1 −1 2 5 −16 −61
−1 0 3 3 −21 −45
1 3 0 −24 −24
2 −3 −24 0
−5 −21 24
−16 45
−61

पहले दो ऊपरी विकर्ण −1 3 −24 402... = (−1)n + 1 × OEISA002832 हैं।

प्रतिविकर्णों का योग 0 −2 0 10... = 2 × OEISA122045(n+1) है।

OEISA163982 दूसरे प्रकार का एक स्वत: अनुक्रम है, उदाहरण के लिए, OEISA164555 / OEISA027642। इसलिए सरणी:

2 1 −1 −2 5 16 −61
−1 −2 −1 7 11 −77
−1 1 8 4 −88
2 7 −4 −92
5 −11 −88
−16 −77
−61

मुख्य विकर्ण, यहाँ 2 −2 8 −92..., पहले ऊपरी विकर्ण का दोगुना है, यहाँ OEISA099023 है। प्रतिविकर्णों का योग 2 0 −4 0... = 2 × OEISA155585(n + 1) है। OEISA163747 − OEISA163982 = 2 × OEISA122045.

एक संयुक्त दृश्य: वैकल्पिक क्रमपरिवर्तन

1880 के आसपास, सीडेल के एल्गोरिदम के प्रकाशन के तीन साल बाद, डेसिरे आंद्रे ने संयोजन विश्लेषण का अब एक उत्कृष्ट परिणाम सिद्ध किया।[36][37] त्रिकोणमितीय फलनों tan x और sec x के टेलर विस्तार के प्रथम पदों को देखते हुए आंद्रे ने एक चौंकाने वाली खोज की।

गुणांक क्रमशः विषम और सम सूचकांक की यूलर संख्याएँ हैं। परिणामस्वरूप tan x + sec x के सामान्य विस्तार में गुणांक के रूप में परिमेय संख्याएँ Sn होती हैं।

इसके बाद आंद्रे एक पुनरावृत्ति तर्क के माध्यम से यह दिखाने में सफल हुए कि विषम आकार के वैकल्पिक क्रमपरिवर्तन को विषम सूचकांक के यूलर संख्याओं द्वारा गिना जाता है (जिसे स्पर्शरेखा संख्या भी कहा जाता है) और सम आकार के वैकल्पिक क्रमपरिवर्तन को सम सूचकांक के यूलर संख्याओं द्वारा गिना जाता है (जिन्हें छेदक संख्याएँ भी कहा जाता है)।

संबंधित क्रम

पहले और दूसरे बर्नौली संख्याओं का अंकगणित माध्य सहयोगी बर्नौली संख्याएँ हैं:

B0 = 1, B1 = 0, B2 = 1/6, B3 = 0, B4 = −1/30, OEISA176327 / OEISA027642। इसके व्युत्क्रम अकीयामा-तानिगावा परिवर्तन OEISA177427 की दूसरी पंक्ति के माध्यम से, वे बामर श्रृंखला OEISA061037 / OEISA061038 की ओर ले जाते हैं

OEIS पर लागू अकीयामा-तानिगावा एल्गोरिथ्म: OEISA060819 (n + 4) / OEISA145979 (n) बर्नौली संख्याओं की ओर ले जाता है OEISA027641 / OEISA027642, OEISA164555 / OEISA027642, या OEISA176327 OEISA176289 B1 के बिना, आंतरिक बर्नौली संख्या Bi(n) नामित दिया गया है।

1 5/6 3/4 7/10 2/3
1/6 1/6 3/20 2/15 5/42
0 1/30 1/20 2/35 5/84
1/30 1/30 3/140 1/105 0
0 1/42 1/28 4/105 1/28

इसलिए OEISA145979 (n) के माध्यम से आंतरिक बर्नौली संख्याओं और बामर श्रृंखला के बीच एक और लिंक है।

OEISA145979 (n − 2) = 0, 2, 1, 6,... गैर-ऋणात्मक संख्याओं का क्रमपरिवर्तन है।

पहली पंक्ति के पद f(n) = 1/2 + 1/n + 2 हैं। 2, f(n) दूसरी तरह का एक स्वत:अनुक्रम है। 3/2, f(n) अपने व्युत्क्रम द्विपद परिवर्तन से 3/2 −1/2 1/3 −1/4 1/5 ... = 1/2 + लघुगणक 2 की ओर जाता है।

g(n) = 1/2 - 1 / (n+2) = 0, 1/6, 1/4, 3/10, 1/3 पर विचार करें। अकियामा-तनागिवा परिवर्तन देता है:

0 1/6 1/4 3/10 1/3 5/14 ...
1/6 1/6 3/20 2/15 5/42 3/28 ...
0 1/30 1/20 2/35 5/84 5/84 ...
1/30 1/30 3/140 1/105 0 1/140 ...

0, g(n), दूसरे प्रकार का स्वत:अनुक्रम है।

यूलर OEISA198631 (n) / OEISA006519 (n + 1) दूसरे पद (1/2) के बिना भिन्नात्मक आंतरिक यूलर संख्याएँ Ei(n) = 1, 0, −1/4, 0, 1/2, 0, −17/8, 0, ...हैं। संगत अकियामा परिवर्तन है:

1 1 7/8 3/4 21/32
0 1/4 3/8 3/8 5/16
1/4 1/4 0 1/4 25/64
0 1/2 3/4 9/16 5/32
1/2 1/2 9/16 13/8 125/64

पहली पंक्ति है Eu(n) है। Eu(n) के पहले शून्य आना पहली तरह का स्वत:अनुक्रम है। यह ओरेस्मे संख्याओं से जुड़ा हुआ है। दूसरी पंक्ति के अंश OEISA069834 हैं जिसके पहले 0 है। अंतर तालिका है:

0 1 1 7/8 3/4 21/32 19/32
1 0 1/8 1/8 3/32 1/16 5/128
−1 1/8 0 1/32 1/32 3/128 1/64


बर्नौली संख्याओं के अंकगणितीय गुण

बर्नौली संख्याओं को रीमैन जीटा फलन के संदर्भ में पूर्णांक n ≥ 0 के लिए Bn = −(1 − n) के रूप में व्यक्त किया जा सकता है, बशर्ते n = 0 के लिए अभिव्यक्ति (1 − n) को सीमित मान के रूप में समझा जाता है और कन्वेंशन B1 = 1/2 का प्रयोग किया जाता है। यह उन्हें ऋणात्मक पूर्णांकों पर जीटा फलन के मानों से घनिष्ठ रूप से जोड़ता है। इस प्रकार, उनसे गहन अंकगणितीय गुण होने की उम्मीद की जा सकती है और होती भी है। उदाहरण के लिए, अगोह-गिउगा अनुमान यह बताता है p एक अभाज्य संख्या है यदि और केवल यदि pBp − 1 −1 मॉड्यूलो p के सर्वांगसम है। बर्नौली संख्याओं की विभाज्यता गुण कुमेर के प्रमेय द्वारा साइक्लोटोमिक क्षेत्रों के आदर्श वर्ग समूहों से संबंधित हैं और हर्ब्रांड-रिबेट प्रमेय में इसकी मजबूती, और एंकेनी-आर्टिन-चौला द्वारा वास्तविक द्विघात क्षेत्रों की वर्ग संख्याओं से संबंधित हैं।

कुमेर प्रमेय

बर्नौली संख्याएँ कुमेर के प्रमेय द्वारा फ़र्मेट के अंतिम प्रमेय (FLT) से संबंधित हैं,[38] जो कहते हैं:

यदि विषम अभाज्य p बर्नौली संख्या B2, B4, ..., Bp − 3 के किसी भी अंश को विभाजित नहीं करता है तब xp + yp + zp = 0 का गैर-शून्य पूर्णांकों में कोई समाधान नहीं है।

इस गुण वाली अभाज्य संख्याओं को नियमित अभाज्य संख्याएँ कहा जाता है। कुमेर का एक अन्य चिरप्रतिष्ठित परिणाम निम्नलिखित सर्वांगसमताएँ है।[39]

मान लीजिए कि p एक विषम अभाज्य संख्या है और b एक सम संख्या है जिससे p − 1, b को विभाजित नहीं करता है। फिर किसी भी गैर-ऋणात्मक पूर्णांक k के लिए

इन सर्वांगसमताओं का सामान्यीकरण p-एडिक निरंतरता के नाम से जाना जाता है।

p-एडिक निरंतरता

यदि b, m और n ऐसे धनात्मक पूर्णांक हैं जैसे कि m और n, p − 1 और mn (mod pb − 1 (p − 1)) से विभाज्य नहीं हैं, तब

चूँकि Bn = −(1 − n), यह भी लिखा जा सकता है

जहां u = 1 − m और v = 1 − n, ताकि u और v गैर-धनात्मक हैं और 1 मॉड्यूलो p − 1 के अनुरूप नहीं हैं। यह हमें बताता है कि रीमैन जीटा फलन, के साथ 1 − ps को यूलर से बाहर ले जाता है उत्पाद सूत्र, किसी विशेष a ≢ 1 mod (p − 1) के लिए विषम ऋणात्मक पूर्णांक सर्वांगसम मॉड्यूल p − 1 पर पी-एडिक संख्याओं में निरंतर है, और इसलिए इसे सभी p के लिए एक निरंतर फलन ζp(s) तक बढ़ाया जा सकता है। एडिक पूर्णांक p-एडिक जीटा फलन है।

रामानुजन की सर्वांगसमताएँ

निम्नलिखित संबंध, रामानुजन के कारण, बर्नौली संख्याओं की गणना के लिए एक विधि प्रदान करते हैं जो उनकी मूल पुनरावर्ती परिभाषा द्वारा दी गई तुलना में अधिक कुशल है:


वॉन स्टॉड्ट-क्लॉसेन प्रमेय

वॉन स्टॉड-क्लॉसन प्रमेय कार्ल जॉर्ज क्रिश्चियन वॉन स्टौड्ट [40] और थॉमस क्लॉसन [41]द्वारा स्वतंत्र रूप से 1840 में दिया गया था। प्रमेय में कहा गया है कि प्रत्येक n > 0 के लिए ,

एक पूर्णांक है। योग सभी अभाज्य संख्याओं p पर विस्तारित होता है जिसके लिए p − 1 2n को विभाजित करता है।

इसका एक परिणाम यह है कि B2n का हर सभी अभाज्य संख्याओं p के गुणनफल द्वारा दिया जाता है जिसके लिए p − 1, 2n को विभाजित करता है। विशेष रूप से, ये हर वर्ग-मुक्त हैं और 6 से विभाज्य हैं।

विषम बर्नौली संख्याएँ क्यों लुप्त हो जाती हैं?

योग

सूचकांक n के ऋणात्मक मूल्यों के लिए मूल्यांकन किया जा सकता है। ऐसा करने से पता चलेगा कि यह k सम मानों के लिए एक विषम फलन है, जिसका अर्थ है कि योग में केवल विषम सूचकांक के पद हैं। यह और बर्नौली योग के सूत्र का अर्थ है कि B2k + 1 − m, m सम के लिए 0 है और 2k + 1 − m > 1; और यह कि B1 का पद घटाव द्वारा रद्द कर दिया गया है। वॉर्पिट्ज़की के निरूपण के साथ संयुक्त वॉन स्टॉड्ट-क्लॉसन प्रमेय भी इस प्रश्न का एक संयुक्त उत्तर देता है (n > 1 के लिए मान्य)।

वॉन स्टॉड्ट-क्लॉसन प्रमेय से यह ज्ञात होता है कि विषम के लिए n > 1 के लिए संख्या 2Bn एक पूर्णांक है। यदि कोई पहले से जानता है कि प्रश्न में पूर्णांक शून्य है तो यह मामूली लगता है। हालाँकि, वर्पिट्ज़की का निरूपण को लागू करने से कोई भी प्राप्त कर सकता है

पूर्णांकों के योग के रूप में, जो मामूली नहीं है। यहां एक संयुक्त तथ्य सामने आता है जो विषम सूचकांक पर बर्नौली संख्याओं के लुप्त होने की व्याख्या करता है। मान लीजिए Sn,m {1, 2, ..., n} से {1, 2, ..., m} तक विशेषण मानचित्रों की संख्या हो, तब Sn,m = m!{n
m
}
है। अंतिम समीकरण केवल तभी कायम रह सकता है यदि

इस समीकरण को प्रेरण द्वारा सिद्ध किया जा सकता है। इस समीकरण के पहले दो उदाहरण हैं

n = 4: 2 + 8 = 7 + 3,
n = 6: 2 + 120 + 144 = 31 + 195 + 40.

इस प्रकार बर्नौली संख्याएं विषम सूचकांक पर लुप्‍त हो जाती हैं क्योंकि कुछ गैर-स्पष्ट संयोजक पहचान बर्नौली संख्याओं में सन्निहित हैं।

रीमैन परिकल्पना का पुनर्कथन

बर्नौली संख्याओं और रीमैन जीटा फलन के बीच का संबंध रीमैन परिकल्पना (आरएच) का एक वैकल्पिक सूत्रीकरण प्रदान करने के लिए पर्याप्त मजबूत है जो केवल बर्नौली संख्याओं का उपयोग करता है। वस्तुत: मार्सेल रिज़्ज़ ने सिद्ध किया कि आरएच निम्नलिखित दावे के बराबर है:[42]

प्रत्येक ε > 1/4 के लिए एक स्थिरांक Cε > 0 निहित होता है (ε पर निर्भर करता है) जैसे कि |R(x)| < Cεxε जैसा x → ∞ है।

यहाँ R(x) रिज़्ज़ फलन है

डी. ई. नुथ के नोटेशन में nk बढ़ती फैक्टोरियल घात को दर्शाता है। संख्या βn = Bn/n जीटा फलन के अध्ययन में प्रायः होते हैं और इसलिए महत्वपूर्ण हैं क्योंकि βn अभाज्य संख्या p के लिए एक p- पूर्णांक है जहाँ p − 1 n को विभाजित नहीं करता है। βn को विभाजित बर्नौली संख्या कहा जाता है।

सामान्यीकृत बर्नौली संख्या

सामान्यीकृत बर्नौली संख्याएँ कुछ बीजगणितीय संख्याएँ हैं, जिन्हें बर्नौली संख्याओं के समान परिभाषित किया गया है, जो कि डिरिचलेट एल-फलन के विशेष मूल्यों से संबंधित हैं। जैसे बर्नौली संख्याएं रीमैन जीटा फलन के विशेष मूल्यों से संबंधित हैं।

मान लीजिए χ एक डिरिचलेट वर्ण मॉड्यूलो f है। χ से जुड़ी सामान्यीकृत बर्नौली संख्याओं को परिभाषित किया गया है

असाधारण B1,1 = 1/2 के अलावा, हमारे पास किसी भी डिरिचलेट वर्ण χ के लिए, वह Bk,χ = 0 है यदि χ(−1) ≠ (−1)k है।

गैर-धनात्मक पूर्णांकों पर बर्नौली संख्याओं और रीमैन जीटा फलन के मानों के बीच संबंध को सामान्यीकृत करते हुए, सभी पूर्णांकों के लिए k ≥ 1 है :

जहां L(s,χ) χ का डिरिचलेट L -फलन है।[43]

आइसेनस्टीन-क्रोनकर संख्या

ईसेनस्टीन-क्रोनकर संख्याएँ काल्पनिक द्विघात क्षेत्रों के लिए सामान्यीकृत बर्नौली संख्याओं का एक एनालॉग हैं।[44][45] वे हेके वर्णों के महत्वपूर्ण एल-मूल्यों से संबंधित हैं।[45]


अनुबंध

मिश्रित पहचान

  • अम्ब्रल कैलकुलस एक अमूर्त प्रतीक B का उपयोग करके बर्नौली के सूत्र का एक संक्षिप्त रूप देता है:

    जहां प्रतीक Bk जो कोष्ठक में रखे गए पद के द्विपद विस्तार के दौरान दिखाई देता है, उसे बर्नौली संख्या Bk (और B1 = +1/2) द्वारा प्रतिस्थापित किया जाना है। अधिक सुझावात्मक और स्मरणीय रूप से, इसे एक निश्चित अभिन्न अंग के रूप में लिखा जा सकता है:

    कई अन्य बर्नौली पहचानों को इस प्रतीक के साथ संक्षिप्त रूप से लिखा जा सकता है, जैसे

  • मान लीजिए n गैर-ऋणात्मक और सम है
  • अंतराल [−1, 0] पर एकसमान संभाव्यता वितरण का nवाँ संचयी Bn/n है।
  • मान लीजिए n? = 1/n! और n ≥ 1 है। तब Bn निम्नलिखित (n + 1) × (n + 1) निर्धारक है:[46]
    इस प्रकार निर्धारक σn(1) है, x = 1 पर स्टर्लिंग बहुपद है।
  • सम-संख्या वाले बर्नौली संख्याओं के लिए, B2p (p + 1) × (p + 1) निर्धारक द्वारा दिया जाता है::[46]
  • मान लीजिए n ≥ 1 है। फिर(लियोनहार्ड यूलर)
  • मान लीजिए n ≥ 1 है। फिर[47]
  • मान लीजिए n ≥ 0 है। फिर (लियोपोल्ड क्रोनकर 1883)
  • मान लीजिए n ≥ 1 और m ≥ 1 है। फिर [48]
  • मान लीजिए n ≥ 4 और
    हार्मोनिक संख्या है। फिर ( एच. मिकी 1978)
  • मान लीजिए n ≥ 4 है। यूरी मटियासेविच ने पाया(1997)
  • फैबर–पंढरीपांडेज़ैगियर–गेसल पहचान : n ≥ 1 के लिए,,
    x = 0 या x = 1 चुनने से किसी न किसी परिपाटी में बर्नौली संख्या की पहचान हो जाती है।
  • अगला सूत्र n ≥ 0 के लिए सत्य है यदि B1 = B1(1) = 1/2, लेकिन केवल n ≥ 1 के लिए यदि B1 = B1(0) = −1/2 है।
  • मान लीजिए n ≥ 0 है। फिर
    और
  • एम. बी. गेलफैंड का पारस्परिक संबंध:[49]

यह भी देखें

टिप्पणियाँ

  1. Translation of the text: " ... And if [one were] to proceed onward step by step to higher powers, one may furnish, with little difficulty, the following list:
    Sums of powers


    Indeed [if] one will have examined diligently the law of arithmetic progression there, one will also be able to continue the same without these circuitous computations: For [if] is taken as the exponent of any power, the sum of all is produced or

    and so forth, the exponent of its power continually diminishing by 2 until it arrives at or . The capital letters etc. denote in order the coefficients of the last terms for , etc. namely
    ."
    [Note: The text of the illustration contains some typos: ensperexit should read inspexerit, ambabimus should read ambagibus, quosque should read quousque, and in Bernoulli's original text Sumtâ should read Sumptâ or Sumptam.]
    • Smith, David Eugene (1929). "Jacques (I) Bernoulli: On the 'Bernoulli Numers'". A Source Book in Mathematics. New York: McGraw-Hill Book Co. pp. 85–90.
    • Bernoulli, Jacob (1713). Ars Conjectandi (in Latina). Basel: Impensis Thurnisiorum, Fratrum. pp. 97–98. doi:10.5479/sil.262971.39088000323931.
  2. The Mathematics Genealogy Project (n.d.) shows Leibniz as the academic advisor of Jakob Bernoulli. See also Miller (2017).
  3. this formula was discovered (or perhaps rediscovered) by Giorgio Pietrocola. His demonstration is available in Italian language (Pietrocola 2008).


संदर्भ

Footnotes

  1. 1.0 1.1 1.2 Weisstein, Eric W. (4 January 2016). "Bernoulli Number". Wolfram MathWorld. Retrieved 2 July 2017.
  2. 2.0 2.1 Selin, Helaine, ed. (1997). Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures. p. 819 (p. 891). Bibcode:2008ehst.book.....S. ISBN 0-7923-4066-3. {{cite book}}: |journal= ignored (help)
  3. Smith, David Eugene; Mikami, Yoshio (1914). A history of Japanese mathematics. Open Court publishing company. p. 108. ISBN 9780486434827.
  4. Kitagawa, Tomoko L. (2021-07-23). "The Origin of the Bernoulli Numbers: Mathematics in Basel and Edo in the Early Eighteenth Century". The Mathematical Intelligencer (in English). 44: 46–56. doi:10.1007/s00283-021-10072-y. ISSN 0343-6993.
  5. Menabrea, L.F. (1842). "Sketch of the Analytic Engine invented by Charles Babbage, with notes upon the Memoir by the Translator Ada Augusta, Countess of Lovelace". Bibliothèque Universelle de Genève. 82. See Note G.
  6. Arfken (1970), p. 278.
  7. Donald Knuth (2022), Recent News (2022): Concrete Mathematics and Bernoulli.

    But last year I took a close look at Peter Luschny's Bernoulli manifesto, where he gives more than a dozen good reasons why the value of $B_1$ should really be plus one-half. He explains that some mathematicians of the early 20th century had unilaterally changed the conventions, because some of their formulas came out a bit nicer when the negative value was used. It was their well-intentioned but ultimately poor choice that had led to what I'd been taught in the 1950s. […] By now, hundreds of books that use the “minus-one-half” convention have unfortunately been written. Even worse, all the major software systems for symbolic mathematics have that 20th-century aberration deeply embedded. Yet Luschny convinced me that we have all been wrong, and that it's high time to change back to the correct definition before the situation gets even worse.

  8. Peter Luschny (2013), The Bernoulli Manifesto
  9. 9.0 9.1 Knuth (1993).
  10. Jacobi, C.G.J. (1834). "De usu legitimo formulae summatoriae Maclaurinianae". Journal für die reine und angewandte Mathematik. 12: 263–272.
  11. Knuth (1993), p. 14.
  12. Graham, Knuth & Patashnik (1989), Section 2.51.
  13. See Ireland & Rosen (1990) or Conway & Guy (1996).
  14. 14.0 14.1 Saalschütz, Louis (1893), Vorlesungen über die Bernoullischen Zahlen, ihren Zusammenhang mit den Secanten-Coefficienten und ihre wichtigeren Anwendungen, Berlin: Julius Springer.
  15. Arfken (1970), p. 279.
  16. Buhler, J.; Crandall, R.; Ernvall, R.; Metsankyla, T.; Shokrollahi, M. (2001). "Irregular Primes and Cyclotomic Invariants to 12 Million". Journal of Symbolic Computation. 31 (1–2): 89–96. doi:10.1006/jsco.1999.1011.
  17. Harvey, David (2010), "A multimodular algorithm for computing Bernoulli numbers", Math. Comput., 79 (272): 2361–2370, arXiv:0807.1347, doi:10.1090/S0025-5718-2010-02367-1, S2CID 11329343, Zbl 1215.11016
  18. Kellner, Bernd (2002), Program Calcbn – A program for calculating Bernoulli numbers.
  19. Pavlyk, Oleksandr (29 April 2008). "Today We Broke the Bernoulli Record: From the Analytical Engine to Mathematica". Wolfram News..
  20. Graham, Knuth & Patashnik (1989), 9.67.
  21. Graham, Knuth & Patashnik (1989), 2.44, 2.52.
  22. Guo, Victor J. W.; Zeng, Jiang (30 August 2005). "A q-Analogue of Faulhaber's Formula for Sums of Powers". The Electronic Journal of Combinatorics. 11 (2). arXiv:math/0501441. Bibcode:2005math......1441G. doi:10.37236/1876. S2CID 10467873.
  23. Arfken (1970), p. 463.
  24. Comtet, L. (1974). Advanced combinatorics. The art of finite and infinite expansions (Revised and Enlarged ed.). Dordrecht-Boston: D. Reidel Publ.
  25. Rademacher, H. (1973), Analytic Number Theory, New York City: Springer-Verlag.
  26. Boole, G. (1880). A treatise of the calculus of finite differences (3rd ed.). London: Macmillan..
  27. Gould, Henry W. (1972). "Explicit formulas for Bernoulli numbers". Amer. Math. Monthly. 79 (1): 44–51. doi:10.2307/2978125. JSTOR 2978125.
  28. Apostol, Tom M. (2010). Introduction to Analytic Number Theory. Springer-Verlag. p. 197.
  29. Woon, S. C. (1997). "A tree for generating Bernoulli numbers". Math. Mag. 70 (1): 51–56. doi:10.2307/2691054. JSTOR 2691054.
  30. Elkies, N. D. (2003). "On the sums Sum_(k=-infinity...infinity) (4k+1)^(-n)". Amer. Math. Monthly. 110 (7): 561–573. arXiv:math.CA/0101168. doi:10.2307/3647742. JSTOR 3647742.
  31. Euler, Leonhard (1735). "De summis serierum reciprocarum". Opera Omnia. I.14, E 41: 73–86. arXiv:math/0506415. Bibcode:2005math......6415E.
  32. Seidel, L. (1877). "Über eine einfache Entstehungsweise der Bernoullischen Zahlen und einiger verwandten Reihen". Sitzungsber. Münch. Akad. 4: 157–187.
  33. Dumont, D. (1981). "Matrices d'Euler-Seidel". Séminaire Lotharingien de Combinatoire. B05c.
  34. Knuth, D. E.; Buckholtz, T. J. (1967). "Computation of Tangent, Euler, and Bernoulli Numbers". Mathematics of Computation. American Mathematical Society. 21 (100): 663–688. doi:10.2307/2005010. JSTOR 2005010.
  35. Arnold, V. I. (1991). "Bernoulli-Euler updown numbers associated with function singularities, their combinatorics and arithmetics". Duke Math. J. 63 (2): 537–555. doi:10.1215/s0012-7094-91-06323-4.
  36. André, D. (1879). "Développements de sec x et tan x". Comptes Rendus Acad. Sci. 88: 965–967.
  37. André, D. (1881). "Mémoire sur les permutations alternées". Journal de Mathématiques Pures et Appliquées. 7: 167–184.
  38. Kummer, E. E. (1850). "Allgemeiner Beweis des Fermat'schen Satzes, dass die Gleichung xλ + yλ = zλ durch ganze Zahlen unlösbar ist, für alle diejenigen Potenz-Exponenten λ, welche ungerade Primzahlen sind und in den Zählern der ersten (λ-3)/2 Bernoulli'schen Zahlen als Factoren nicht vorkommen". J. Reine Angew. Math. 40: 131–138.
  39. Kummer, E. E. (1851). "Über eine allgemeine Eigenschaft der rationalen Entwicklungscoefficienten einer bestimmten Gattung analytischer Functionen". J. Reine Angew. Math. 1851 (41): 368–372.
  40. von Staudt, K. G. Ch. (1840). "Beweis eines Lehrsatzes, die Bernoullischen Zahlen betreffend". Journal für die reine und angewandte Mathematik. 21: 372–374.
  41. Clausen, Thomas (1840). "Lehrsatz aus einer Abhandlung über die Bernoullischen Zahlen". Astron. Nachr. 17 (22): 351–352. doi:10.1002/asna.18400172205.
  42. Riesz, M. (1916). "Sur l'hypothèse de Riemann". Acta Mathematica. 40: 185–90. doi:10.1007/BF02418544.
  43. Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Grundlehren der mathematischen Wissenschaften. Vol. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021. §VII.2.
  44. Charollois, Pierre; Sczech, Robert (2016). "Elliptic Functions According to Eisenstein and Kronecker: An Update". EMS Newsletter (in English). 2016–9 (101): 8–14. doi:10.4171/NEWS/101/4. ISSN 1027-488X. S2CID 54504376.
  45. 45.0 45.1 Bannai, Kenichi; Kobayashi, Shinichi (2010). "बीजगणितीय थीटा फ़ंक्शन और ईसेनस्टीन-क्रोनकर संख्याओं का पी-एडिक इंटरपोलेशन". Duke Mathematical Journal. 153 (2). arXiv:math/0610163. doi:10.1215/00127094-2010-024. ISSN 0012-7094. S2CID 9262012.
  46. 46.0 46.1 Malenfant, Jerome (2011). "Finite, closed-form expressions for the partition function and for Euler, Bernoulli, and Stirling numbers". arXiv:1103.1585 [math.NT].
  47. von Ettingshausen, A. (1827). Vorlesungen über die höhere Mathematik. Vol. 1. Vienna: Carl Gerold.
  48. Carlitz, L. (1968). "Bernoulli Numbers". Fibonacci Quarterly. 6: 71–85.
  49. Agoh, Takashi; Dilcher, Karl (2008). "Reciprocity Relations for Bernoulli Numbers". American Mathematical Monthly. 115 (3): 237–244. doi:10.1080/00029890.2008.11920520. JSTOR 27642447. S2CID 43614118.


बाहरी संबंध