अम्ब्रल कैलकुलस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
1970 के दशक से पहले गणित में, अम्ब्रल कैलकुलस शब्द का तात्पर्य प्रतीत होता है कि असंबद्ध [[बहुपद समीकरण]]ों और उन्हें साबित करने के लिए उपयोग की जाने वाली कुछ छायादार तकनीकों के बीच आश्चर्यजनक समानता है। इन तकनीकों को [[जॉन ब्लिसार्ड]] द्वारा पेश किया गया था और कभी-कभी इन्हें ब्लिसार्ड की प्रतीकात्मक विधि भी कहा जाता है।<ref>*{{cite journal | last1=Blissard | first1=John | title=Theory of generic equations | url=http://resolver.sub.uni-goettingen.de/purl?PPN600494829_0004 | year=1861 | journal=The Quarterly Journal of Pure and Applied Mathematics | volume=4 | pages=279–305}}</ref> इनका श्रेय अक्सर एडौर्ड लुकास (या [[जेम्स जोसेफ सिल्वेस्टर]]) को दिया जाता है, जिन्होंने इस तकनीक का व्यापक रूप से उपयोग किया था।<ref>E. T. Bell, "The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life", ''The American Mathematical Monthly'' '''45''':7 (1938), pp. 414–421.</ref>
1970 के दशक से पहले गणित में, अम्ब्रल कैलकुलस शब्द का तात्पर्य प्रतीत होता है कि असंबद्ध [[बहुपद समीकरणों]] और उन्हें सिद्ध करने के लिए उपयोग की जाने वाली कुछ अस्पष्ट तकनीकों के बीच आश्चर्यजनक समानता है। इन तकनीकों को [[जॉन ब्लिसार्ड]] द्वारा प्रस्तुत किया गया था और कभी-कभी इन्हें ब्लिसार्ड की प्रतीकात्मक विधि भी कहा जाता है।<ref>*{{cite journal | last1=Blissard | first1=John | title=Theory of generic equations | url=http://resolver.sub.uni-goettingen.de/purl?PPN600494829_0004 | year=1861 | journal=The Quarterly Journal of Pure and Applied Mathematics | volume=4 | pages=279–305}}</ref> इनका श्रेय अधिकांशतः एडौर्ड लुकास (या [[जेम्स जोसेफ सिल्वेस्टर]]) को दिया जाता है, जिन्होंने इस तकनीक का व्यापक रूप से उपयोग किया था।<ref>E. T. Bell, "The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life", ''The American Mathematical Monthly'' '''45''':7 (1938), pp. 414–421.</ref>
 
 
 
==संक्षिप्त इतिहास==
==संक्षिप्त इतिहास==
1930 और 1940 के दशक में, [[एरिक टेम्पल बेल]] ने अम्ब्रल कैलकुलस को कठोर स्तर पर स्थापित करने का प्रयास किया।
1930 और 1940 के दशक में, [[एरिक टेम्पल बेल]] ने अम्ब्रल कैलकुलस को कठोर स्तर पर स्थापित करने का प्रयास किया था।


1970 के दशक में, [[स्टीवन रोमन]], [[जियान-कार्लो रोटा]] और अन्य ने बहुपदों के स्थानों पर [[रैखिक कार्यात्मक]]ताओं के माध्यम से अम्ब्रल कैलकुलस विकसित किया। वर्तमान में, अम्ब्रल कैलकुलस [[शेफ़र अनुक्रम]]ों के अध्ययन को संदर्भित करता है, जिसमें [[द्विपद प्रकार]] के बहुपद अनुक्रम और एपेल अनुक्रम शामिल हैं, लेकिन इसमें परिमित अंतरों के कलन की व्यवस्थित पत्राचार तकनीक शामिल हो सकती है।
1970 के दशक में, [[स्टीवन रोमन]], [[जियान-कार्लो रोटा]] और अन्य ने बहुपदों के स्थानों पर [[रैखिक कार्यात्मक]]ताओं के माध्यम से अम्ब्रल कैलकुलस विकसित किया था। वर्तमान में, अम्ब्रल कैलकुलस [[शेफ़र अनुक्रमों]] के अध्ययन को संदर्भित करता है, जिसमें [[द्विपद प्रकार]] के बहुपद अनुक्रम और एपेल अनुक्रम सम्मिलित हैं, लेकिन इसमें परिमित अंतरों के कलन की व्यवस्थित पत्राचार तकनीक सम्मिलित हो सकती है।


==19वीं सदी का अम्ब्रल कैलकुलस==
==19वीं सदी का अम्ब्रल कैलकुलस==
यह विधि एक सांकेतिक प्रक्रिया है जिसका उपयोग सूचकांकों को घातांक मानकर संख्याओं के अनुक्रमित अनुक्रमों से युक्त पहचान प्राप्त करने के लिए किया जाता है। शाब्दिक अर्थ में, यह बेतुका है, और फिर भी यह सफल है: अम्ब्रल कैलकुलस के माध्यम से प्राप्त पहचान को अधिक जटिल तरीकों से भी उचित रूप से प्राप्त किया जा सकता है जिन्हें तार्किक कठिनाई के बिना शाब्दिक रूप से लिया जा सकता है।
यह विधि एक सांकेतिक प्रक्रिया है जिसका उपयोग सूचकांकों को घातांक मानकर संख्याओं के अनुक्रमित अनुक्रमों से युक्त पहचान प्राप्त करने के लिए किया जाता है। शाब्दिक अर्थ में, यह विचित्र है, और फिर भी यह सफल है: अम्ब्रल कैलकुलस के माध्यम से प्राप्त पहचान को अधिक सम्मिश्र विधियों से भी उचित रूप से प्राप्त किया जा सकता है जिन्हें तार्किक कठिनाई के बिना शाब्दिक रूप से लिया जा सकता है।


एक उदाहरण में [[बर्नौली बहुपद]] शामिल है। उदाहरण के लिए, सामान्य [[द्विपद विस्तार]] (जिसमें एक [[द्विपद गुणांक]] होता है) पर विचार करें:
एक उदाहरण में [[बर्नौली बहुपद]] सम्मिलित है। उदाहरण के लिए, सामान्य [[द्विपद विस्तार]] (जिसमें एक [[द्विपद गुणांक]] होता है) पर विचार करें:


:<math>(y+x)^n=\sum_{k=0}^n{n\choose k}y^{n-k} x^k</math>
:<math>(y+x)^n=\sum_{k=0}^n{n\choose k}y^{n-k} x^k</math>
Line 29: Line 26:


:<math>B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x).</math>
:<math>B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x).</math>
उपरोक्त में, चर b एक छाया (छाया के लिए [[लैटिन]]) है।
उपरोक्त में, चर b एक अम्ब्रा (छाया के लिए [[लैटिन]]) है।


फ़ौल्हाबर का सूत्र भी देखें।
फ़ौल्हाबर का सूत्र भी देख सकते है।


==अम्ब्रल [[टेलर श्रृंखला]]==
==अम्ब्रल [[टेलर श्रृंखला]]==
[[ अंतर कलन ]] में, किसी फ़ंक्शन की टेलर श्रृंखला शब्दों का एक अनंत योग है जो एक ही बिंदु पर फ़ंक्शन के व्युत्पन्न के रूप में व्यक्त की जाती है। अर्थात्, एक वास्तविक-मूल्यवान फ़ंक्शन या [[जटिल-मूल्यवान फ़ंक्शन]] f (x) जो कि अनंत रूप से भिन्नात्मक फ़ंक्शन है <math>a</math> इस प्रकार लिखा जा सकता है:
[[ अंतर कलन |अंतर कलन]] में, किसी फ़ंक्शन की टेलर श्रृंखला शब्दों का एक अनंत योग है जो एक ही बिंदु पर फ़ंक्शन के व्युत्पन्न के रूप में व्यक्त की जाती है। अर्थात्, एक वास्तविक-मूल्यवान फ़ंक्शन या [[जटिल-मूल्यवान फ़ंक्शन|सम्मिश्र-मूल्यवान फ़ंक्शन]] f (x) है, जो कि अनंत रूप से भिन्नात्मक फ़ंक्शन <math>a</math> है जो, इस प्रकार लिखा जा सकता है:


  <math>f(x)=\sum_{n=0} ^ {\infty} \frac {f^{(n)}(a)}{n!} (x-a)^{n}</math>
  <math>f(x)=\sum_{n=0} ^ {\infty} \frac {f^{(n)}(a)}{n!} (x-a)^{n}</math>
परिमित भिन्नताओं के सिद्धांत में भी समान संबंध देखे गए। टेलर श्रृंखला का छत्र संस्करण एक समान अभिव्यक्ति द्वारा दिया गया है जिसमें k-वें आगे के अंतर शामिल हैं <math>\Delta^k [f]</math> एक [[बहुपद]] फलन f का,
परिमित भिन्नताओं के सिद्धांत में भी समान संबंध देखे गए है। टेलर श्रृंखला का छत्र संस्करण एक समान अभिव्यक्ति द्वारा दिया गया है जिसमें एक [[बहुपद]] फलन f के k-th आगे के अंतर <math>\Delta^k [f]</math> सम्मिलित हैं,


:<math>f(x)=\sum_{k=0}^\infty\frac{\Delta^k [f](a)}{k!}(x-a)_k</math>
:<math>f(x)=\sum_{k=0}^\infty\frac{\Delta^k [f](a)}{k!}(x-a)_k</math>
कहाँ
जहाँ


:<math>(x-a)_k=(x-a)(x-a-1)(x-a-2)\cdots(x-a-k+1)</math>
:<math>(x-a)_k=(x-a)(x-a-1)(x-a-2)\cdots(x-a-k+1)</math>
यहां गिरते अनुक्रमिक उत्पाद के लिए पोचहैमर प्रतीक का उपयोग किया गया है। इसी तरह का संबंध पिछड़े मतभेदों और बढ़ते गुटबाजी के लिए भी है।
यहां गिरते अनुक्रमिक उत्पाद के लिए पोचहैमर प्रतीक का उपयोग किया गया है। इसी प्रकार का संबंध पिछड़े मतभेदों और बढ़ते गुटबाजी के लिए भी है।


इस श्रृंखला को परिमित अंतर#न्यूटन_श्रृंखला या 'न्यूटन का अग्र अंतर विस्तार' के नाम से भी जाना जाता है।
इस श्रृंखला को परिमित अंतर न्यूटन श्रृंखला या 'न्यूटन का अग्र अंतर विस्तार' के नाम से भी जाना जाता है। टेलर के विस्तार की सादृश्यता का उपयोग परिमित अंतरों की गणना में किया जाता है।
टेलर के विस्तार की सादृश्यता का उपयोग परिमित अंतरों की गणना में किया जाता है।


==बेल और रिओर्डन==
==बेल और रिओर्डन==


1930 और 1940 के दशक में, एरिक टेम्पल बेल ने इस प्रकार के तर्क को तार्किक रूप से कठोर बनाने का असफल प्रयास किया। [[साहचर्य]] [[जॉन रिओर्डन (गणितज्ञ)]] ने 1960 के दशक में प्रकाशित अपनी पुस्तक कॉम्बिनेटरी आइडेंटिटीज़ में इस प्रकार की तकनीकों का बड़े पैमाने पर उपयोग किया।
1930 और 1940 के दशक में, एरिक टेम्पल बेल ने इस प्रकार के तर्क को तार्किक रूप से कठोर बनाने का असफल प्रयास किया था। [[साहचर्य]] [[जॉन रिओर्डन (गणितज्ञ)]] ने 1960 के दशक में प्रकाशित अपनी पुस्तक कॉम्बिनेटरी आइडेंटिटीज़ में इस प्रकार की तकनीकों का बड़े पैमाने पर उपयोग किया था।


==आधुनिक अम्ब्रल कैलकुलस==
==आधुनिक अम्ब्रल कैलकुलस==


एक अन्य कॉम्बिनेटरियलिस्ट, जियान-कार्लो रोटा ने बताया कि यदि कोई z में बहुपदों पर रैखिक कार्यात्मक L पर विचार करता है तो रहस्य गायब हो जाता है।
एक अन्य कॉम्बिनेटरियलिस्ट, जियान-कार्लो रोटा ने बताया कि यदि कोई z में बहुपदों पर रैखिक कार्यात्मक L पर विचार करता है तो रहस्य विलुप्त हो जाता है।


:<math>L(z^n)= B_n(0)= B_n.</math>
:<math>L(z^n)= B_n(0)= B_n.</math>
फिर, बर्नौली बहुपद की परिभाषा और एल की परिभाषा और रैखिकता का उपयोग करके, कोई लिख सकता है
फिर, बर्नौली बहुपद की परिभाषा और L की परिभाषा और रैखिकता का उपयोग करके, कोई लिख सकता है,


:<math>\begin{align}
:<math>\begin{align}
Line 65: Line 61:
       &= L\left((z+x)^n\right)
       &= L\left((z+x)^n\right)
\end{align}</math>
\end{align}</math>
यह किसी को घटनाओं को प्रतिस्थापित करने में सक्षम बनाता है <math>B_n(x)</math> द्वारा <math>L((z+x)^n)</math>, अर्थात्, n को एक सबस्क्रिप्ट से सुपरस्क्रिप्ट (अम्ब्रल कैलकुलस का मुख्य संचालन) में ले जाएँ। उदाहरण के लिए, अब हम यह सिद्ध कर सकते हैं:
यह किसी को <math>B_n(x)</math> की घटनाओं को <math>L((z+x)^n)</math> से परिवर्तित करने में सक्षम बनाता है, यानी, n को सबस्क्रिप्ट से सुपरस्क्रिप्ट (अम्ब्रल कैलकुलस का मुख्य ऑपरेशन) में ले जाएं, उदाहरण के लिए, अब हम यह सिद्ध कर सकते हैं:


:<math>\begin{align}
:<math>\begin{align}
Line 74: Line 70:
&= B_n(x+y).
&= B_n(x+y).
\end{align}</math>
\end{align}</math>
रोटा ने बाद में कहा कि इस विषय में अक्सर होने वाले तीन तुल्यता संबंधों के बीच अंतर करने में विफलता के कारण बहुत भ्रम हुआ, जिनमें से सभी को = द्वारा दर्शाया गया था। 1964 में प्रकाशित एक पेपर में, रोटा ने बेल संख्याओं से संतुष्ट [[ प्रत्यावर्तन ]] फॉर्मूला स्थापित करने के लिए अम्ब्रल तरीकों का इस्तेमाल किया, जो परिमित सेटों के एक सेट के विभाजन की गणना करता है।
रोटा ने पश्चात में कहा कि इस विषय में अधिकांशतः होने वाले तीन तुल्यता संबंधों के बीच अंतर करने में विफलता के कारण बहुत भ्रम हुआ, जिनमें से सभी को = द्वारा दर्शाया गया था। 1964 में प्रकाशित एक पेपर में, रोटा ने बेल संख्याओं से संतुष्ट [[ प्रत्यावर्तन |प्रत्यावर्तन]] सूत्र स्थापित करने के लिए अम्ब्रल विधियों का इस्तेमाल किया, जो परिमित समुच्चयों के एक समुच्चय के विभाजन की गणना करता है।


नीचे दिए गए रोमन और रोटा के पेपर में, अम्ब्रल कैलकुलस को अम्ब्रल बीजगणित के अध्ययन के रूप में वर्णित किया गया है, जिसे एक चर ''x'' में बहुपदों के [[सदिश स्थल]] पर रैखिक कार्यों के क्षेत्र पर बीजगणित के रूप में परिभाषित किया गया है। उत्पाद ''एल''<sub>1</sub>L<sub>2</sub> द्वारा परिभाषित रैखिक कार्यात्मकताओं की
नीचे दिए गए रोमन और रोटा के पेपर में, अम्ब्रल कैलकुलस को अम्ब्रल बीजगणित के अध्ययन के रूप में वर्णित किया गया है, जिसे एक चर ''x'' में बहुपदों के [[सदिश स्थल]] पर रैखिक कार्यों के क्षेत्र पर बीजगणित के रूप में परिभाषित किया गया है। उत्पाद L<sub>1</sub>L<sub>2</sub> द्वारा परिभाषित रैखिक कार्यात्मकताओं की है,


:<math>\left \langle L_1 L_2 | x^n \right \rangle = \sum_{k=0}^n {n \choose k} \left \langle L_1 | x^k \right \rangle \left \langle L_2 | x^{n-k} \right \rangle.</math>
:<math>\left \langle L_1 L_2 | x^n \right \rangle = \sum_{k=0}^n {n \choose k} \left \langle L_1 | x^k \right \rangle \left \langle L_2 | x^{n-k} \right \rangle.</math>
जब [[बहुपद अनुक्रम]] संख्याओं के अनुक्रम को y की छवियों के रूप में प्रतिस्थापित करते हैं<sup>n</sup>रेखीय मानचित्रण एल के तहत, तब अम्ब्रल विधि को रोटा के विशेष बहुपद के सामान्य सिद्धांत का एक अनिवार्य घटक माना जाता है, और वह सिद्धांत शब्द की कुछ और आधुनिक परिभाषाओं के अनुसार 'अम्ब्रल कैलकुलस' है।<ref>{{Cite journal | last1 = Rota | first1 = G. C. | last2 = Kahaner | first2 = D. | last3 = Odlyzko | first3 = A. | doi = 10.1016/0022-247X(73)90172-8 | title = संयोजक सिद्धांत की नींव पर. आठवीं. परिमित संचालिका कलन| journal = Journal of Mathematical Analysis and Applications | volume = 42 | issue = 3 | pages = 684 | year = 1973 | doi-access = free }}</ref> उस सिद्धांत का एक छोटा सा नमूना द्विपद प्रकार पर लेख में पाया जा सकता है। दूसरा शेफ़र अनुक्रम शीर्षक वाला लेख है।
जब [[बहुपद अनुक्रम]] संख्याओं के अनुक्रम को y<sup>n</sup> की छवियों के रूप में प्रतिस्थापित करते हैं, रेखीय मानचित्रण L के अनुसार, तब अम्ब्रल विधि को रोटा के विशेष बहुपद के सामान्य सिद्धांत का एक अनिवार्य घटक माना जाता है, और वह सिद्धांत शब्द की कुछ और आधुनिक परिभाषाओं के अनुसार 'अम्ब्रल कैलकुलस' है।<ref>{{Cite journal | last1 = Rota | first1 = G. C. | last2 = Kahaner | first2 = D. | last3 = Odlyzko | first3 = A. | doi = 10.1016/0022-247X(73)90172-8 | title = संयोजक सिद्धांत की नींव पर. आठवीं. परिमित संचालिका कलन| journal = Journal of Mathematical Analysis and Applications | volume = 42 | issue = 3 | pages = 684 | year = 1973 | doi-access = free }}</ref> उस सिद्धांत का एक छोटा सा नमूना द्विपद प्रकार पर लेख में पाया जा सकता है। दूसरा शेफ़र अनुक्रम शीर्षक वाला लेख है।
 
रोटा ने बाद में [[ संचयी ]] के विभिन्न संयोजन गुणों का अध्ययन करने के लिए शेन के साथ अपने पेपर में बड़े पैमाने पर अम्ब्रल कैलकुलस लागू किया।<ref>G.-C. Rota and J. Shen, [http://www.sciencedirect.com/science/article/pii/S0097316599930170 "On the Combinatorics of Cumulants"], [[Journal of Combinatorial Theory|Journal of Combinatorial Theory, Series A]], 91:283–304, 2000.</ref>
 


रोटा ने पश्चात में [[ संचयी |संचयी]] के विभिन्न संयोजन गुणों का अध्ययन करने के लिए शेन के साथ अपने पेपर में बड़े पैमाने पर अम्ब्रल कैलकुलस को लागू किया था।<ref>G.-C. Rota and J. Shen, [http://www.sciencedirect.com/science/article/pii/S0097316599930170 "On the Combinatorics of Cumulants"], [[Journal of Combinatorial Theory|Journal of Combinatorial Theory, Series A]], 91:283–304, 2000.</ref>
==यह भी देखें==
==यह भी देखें==
* [[बरनौली उम्बरा]]
* [[बरनौली उम्बरा]]
Line 99: Line 93:
*{{Citation | author-link=E. T. Bell | last1=Bell | first1=E. T. | title=The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life | jstor=2304144 | publisher=[[Mathematical Association of America]] | year=1938 | journal=[[American Mathematical Monthly|The American Mathematical Monthly]] | issn=0002-9890 | volume=45 | issue=7 | pages=414–421| doi=10.1080/00029890.1938.11990829 }}
*{{Citation | author-link=E. T. Bell | last1=Bell | first1=E. T. | title=The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life | jstor=2304144 | publisher=[[Mathematical Association of America]] | year=1938 | journal=[[American Mathematical Monthly|The American Mathematical Monthly]] | issn=0002-9890 | volume=45 | issue=7 | pages=414–421| doi=10.1080/00029890.1938.11990829 }}
*{{Citation | last1=Roman | first1=Steven M. | last2=Rota | first2=Gian-Carlo | author2-link=Gian-Carlo Rota | title=The umbral calculus | doi=10.1016/0001-8708(78)90087-7 | mr=0485417 | year=1978 | journal=[[Advances in Mathematics]] | issn=0001-8708 | volume=27 | issue=2 | pages=95–188| doi-access=free }}
*{{Citation | last1=Roman | first1=Steven M. | last2=Rota | first2=Gian-Carlo | author2-link=Gian-Carlo Rota | title=The umbral calculus | doi=10.1016/0001-8708(78)90087-7 | mr=0485417 | year=1978 | journal=[[Advances in Mathematics]] | issn=0001-8708 | volume=27 | issue=2 | pages=95–188| doi-access=free }}
* G.-C. Rota, D. Kahaner, and [[Andrew Odlyzko|A. Odlyzko]], ''"Finite Operator Calculus,"'' Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, June 1973. Reprinted in the book with the same title, Academic Press, New York, 1975.
* G.-C. Rota, D. Kahaner, and [[Andrew Odlyzko|A. Odlyzko]], ''"Finite Operator Calculus,"'' Journal of Mathematical Analysis and its Applications, vol. 42, no. 3, June 1973. Reprinted in the book with the same title, Academic Press, New York, 1975.
*{{Citation | last1=Roman | first1=Steven | title=The umbral calculus | url=https://books.google.com/books?id=JpHjkhFLfpgC | publisher=Academic Press Inc. [Harcourt Brace Jovanovich Publishers] | location=London | series=Pure and Applied Mathematics | isbn=978-0-12-594380-2 | mr=741185  | year=1984 | volume=111}}. Reprinted by Dover, 2005.
*{{Citation | last1=Roman | first1=Steven | title=The umbral calculus | url=https://books.google.com/books?id=JpHjkhFLfpgC | publisher=Academic Press Inc. [Harcourt Brace Jovanovich Publishers] | location=London | series=Pure and Applied Mathematics | isbn=978-0-12-594380-2 | mr=741185  | year=1984 | volume=111}}. Reprinted by Dover, 2005.
*{{eom|id=Umbral_calculus&oldid=36881|first=S. |last=Roman|title=Umbral calculus}}
*{{eom|id=Umbral_calculus&oldid=36881|first=S. |last=Roman|title=Umbral calculus}}

Revision as of 08:28, 20 July 2023

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

संक्षिप्त इतिहास

1930 और 1940 के दशक में, एरिक टेम्पल बेल ने अम्ब्रल कैलकुलस को कठोर स्तर पर स्थापित करने का प्रयास किया था।

1970 के दशक में, स्टीवन रोमन, जियान-कार्लो रोटा और अन्य ने बहुपदों के स्थानों पर रैखिक कार्यात्मकताओं के माध्यम से अम्ब्रल कैलकुलस विकसित किया था। वर्तमान में, अम्ब्रल कैलकुलस शेफ़र अनुक्रमों के अध्ययन को संदर्भित करता है, जिसमें द्विपद प्रकार के बहुपद अनुक्रम और एपेल अनुक्रम सम्मिलित हैं, लेकिन इसमें परिमित अंतरों के कलन की व्यवस्थित पत्राचार तकनीक सम्मिलित हो सकती है।

19वीं सदी का अम्ब्रल कैलकुलस

यह विधि एक सांकेतिक प्रक्रिया है जिसका उपयोग सूचकांकों को घातांक मानकर संख्याओं के अनुक्रमित अनुक्रमों से युक्त पहचान प्राप्त करने के लिए किया जाता है। शाब्दिक अर्थ में, यह विचित्र है, और फिर भी यह सफल है: अम्ब्रल कैलकुलस के माध्यम से प्राप्त पहचान को अधिक सम्मिश्र विधियों से भी उचित रूप से प्राप्त किया जा सकता है जिन्हें तार्किक कठिनाई के बिना शाब्दिक रूप से लिया जा सकता है।

एक उदाहरण में बर्नौली बहुपद सम्मिलित है। उदाहरण के लिए, सामान्य द्विपद विस्तार (जिसमें एक द्विपद गुणांक होता है) पर विचार करें:

और बर्नौली बहुपद पर उल्लेखनीय रूप से समान दिखने वाला संबंध:

सामान्य व्युत्पन्न की भी तुलना करें

बर्नौली बहुपद पर एक बहुत ही समान दिखने वाले संबंध के लिए:

ये समानताएं किसी को छत्र प्रमाण बनाने की अनुमति देती हैं, जो सतह पर, सही नहीं हो सकते हैं, लेकिन फिर भी काम करते प्रतीत होते हैं। इस प्रकार, उदाहरण के लिए, यह दिखावा करके कि सबस्क्रिप्ट n − k एक घातांक है:

और फिर अंतर करने पर वांछित परिणाम मिलता है:

उपरोक्त में, चर b एक अम्ब्रा (छाया के लिए लैटिन) है।

फ़ौल्हाबर का सूत्र भी देख सकते है।

अम्ब्रल टेलर श्रृंखला

अंतर कलन में, किसी फ़ंक्शन की टेलर श्रृंखला शब्दों का एक अनंत योग है जो एक ही बिंदु पर फ़ंक्शन के व्युत्पन्न के रूप में व्यक्त की जाती है। अर्थात्, एक वास्तविक-मूल्यवान फ़ंक्शन या सम्मिश्र-मूल्यवान फ़ंक्शन f (x) है, जो कि अनंत रूप से भिन्नात्मक फ़ंक्शन है जो, इस प्रकार लिखा जा सकता है:


परिमित भिन्नताओं के सिद्धांत में भी समान संबंध देखे गए है। टेलर श्रृंखला का छत्र संस्करण एक समान अभिव्यक्ति द्वारा दिया गया है जिसमें एक बहुपद फलन f के k-th आगे के अंतर सम्मिलित हैं,

जहाँ

यहां गिरते अनुक्रमिक उत्पाद के लिए पोचहैमर प्रतीक का उपयोग किया गया है। इसी प्रकार का संबंध पिछड़े मतभेदों और बढ़ते गुटबाजी के लिए भी है।

इस श्रृंखला को परिमित अंतर न्यूटन श्रृंखला या 'न्यूटन का अग्र अंतर विस्तार' के नाम से भी जाना जाता है। टेलर के विस्तार की सादृश्यता का उपयोग परिमित अंतरों की गणना में किया जाता है।

बेल और रिओर्डन

1930 और 1940 के दशक में, एरिक टेम्पल बेल ने इस प्रकार के तर्क को तार्किक रूप से कठोर बनाने का असफल प्रयास किया था। साहचर्य जॉन रिओर्डन (गणितज्ञ) ने 1960 के दशक में प्रकाशित अपनी पुस्तक कॉम्बिनेटरी आइडेंटिटीज़ में इस प्रकार की तकनीकों का बड़े पैमाने पर उपयोग किया था।

आधुनिक अम्ब्रल कैलकुलस

एक अन्य कॉम्बिनेटरियलिस्ट, जियान-कार्लो रोटा ने बताया कि यदि कोई z में बहुपदों पर रैखिक कार्यात्मक L पर विचार करता है तो रहस्य विलुप्त हो जाता है।

फिर, बर्नौली बहुपद की परिभाषा और L की परिभाषा और रैखिकता का उपयोग करके, कोई लिख सकता है,

यह किसी को की घटनाओं को से परिवर्तित करने में सक्षम बनाता है, यानी, n को सबस्क्रिप्ट से सुपरस्क्रिप्ट (अम्ब्रल कैलकुलस का मुख्य ऑपरेशन) में ले जाएं, उदाहरण के लिए, अब हम यह सिद्ध कर सकते हैं:

रोटा ने पश्चात में कहा कि इस विषय में अधिकांशतः होने वाले तीन तुल्यता संबंधों के बीच अंतर करने में विफलता के कारण बहुत भ्रम हुआ, जिनमें से सभी को = द्वारा दर्शाया गया था। 1964 में प्रकाशित एक पेपर में, रोटा ने बेल संख्याओं से संतुष्ट प्रत्यावर्तन सूत्र स्थापित करने के लिए अम्ब्रल विधियों का इस्तेमाल किया, जो परिमित समुच्चयों के एक समुच्चय के विभाजन की गणना करता है।

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

जब बहुपद अनुक्रम संख्याओं के अनुक्रम को yn की छवियों के रूप में प्रतिस्थापित करते हैं, रेखीय मानचित्रण L के अनुसार, तब अम्ब्रल विधि को रोटा के विशेष बहुपद के सामान्य सिद्धांत का एक अनिवार्य घटक माना जाता है, और वह सिद्धांत शब्द की कुछ और आधुनिक परिभाषाओं के अनुसार 'अम्ब्रल कैलकुलस' है।[3] उस सिद्धांत का एक छोटा सा नमूना द्विपद प्रकार पर लेख में पाया जा सकता है। दूसरा शेफ़र अनुक्रम शीर्षक वाला लेख है।

रोटा ने पश्चात में संचयी के विभिन्न संयोजन गुणों का अध्ययन करने के लिए शेन के साथ अपने पेपर में बड़े पैमाने पर अम्ब्रल कैलकुलस को लागू किया था।[4]

यह भी देखें

टिप्पणियाँ

  1. *Blissard, John (1861). "Theory of generic equations". The Quarterly Journal of Pure and Applied Mathematics. 4: 279–305.
  2. E. T. Bell, "The History of Blissard's Symbolic Method, with a Sketch of its Inventor's Life", The American Mathematical Monthly 45:7 (1938), pp. 414–421.
  3. Rota, G. C.; Kahaner, D.; Odlyzko, A. (1973). "संयोजक सिद्धांत की नींव पर. आठवीं. परिमित संचालिका कलन". Journal of Mathematical Analysis and Applications. 42 (3): 684. doi:10.1016/0022-247X(73)90172-8.
  4. G.-C. Rota and J. Shen, "On the Combinatorics of Cumulants", Journal of Combinatorial Theory, Series A, 91:283–304, 2000.


संदर्भ


बाहरी संबंध