अम्ब्रल कैलकुलस

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

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

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

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

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


 * $$(y+x)^n=\sum_{k=0}^n{n\choose k}y^{n-k} x^k$$

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


 * $$B_n(y+x)=\sum_{k=0}^n{n\choose k}B_{n-k}(y) x^k.$$

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


 * $$ \frac{d}{dx} x^n = nx^{n-1} $$

बर्नौली बहुपद पर एक बहुत ही समान दिखने वाले संबंध के लिए:
 * $$ \frac{d}{dx} B_n(x) = nB_{n-1}(x).$$

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


 * $$B_n(x)=\sum_{k=0}^n {n\choose k}b^{n-k}x^k=(b+x)^n,$$

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


 * $$B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x).$$

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

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

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

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


 * $$f(x)=\sum_{k=0}^\infty\frac{\Delta^k [f](a)}{k!}(x-a)_k$$

कहाँ


 * $$(x-a)_k=(x-a)(x-a-1)(x-a-2)\cdots(x-a-k+1)$$

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

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

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

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


 * $$L(z^n)= B_n(0)= B_n.$$

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


 * $$\begin{align}

B_n(x) &= \sum_{k=0}^n{n\choose k}B_{n-k}x^k \\ &= \sum_{k=0}^n{n\choose k}L\left(z^{n-k}\right)x^k \\ &= L\left(\sum_{k=0}^n{n\choose k}z^{n-k}x^k\right) \\ &= L\left((z+x)^n\right) \end{align}$$ यह किसी को घटनाओं को प्रतिस्थापित करने में सक्षम बनाता है $$B_n(x)$$ द्वारा $$L((z+x)^n)$$, अर्थात्, n को एक सबस्क्रिप्ट से सुपरस्क्रिप्ट (अम्ब्रल कैलकुलस का मुख्य संचालन) में ले जाएँ। उदाहरण के लिए, अब हम यह सिद्ध कर सकते हैं:


 * $$\begin{align}

\sum_{k=0}^n{n\choose k}B_{n-k}(y) x^k &= \sum_{k=0}^n{n\choose k}L\left((z+y)^{n-k}\right) x^k \\ &= L\left(\sum_{k=0}^n {n\choose k} (z+y)^{n-k} x^k \right) \\ &= L\left((z+x+y)^n\right) \\ &= B_n(x+y). \end{align}$$ रोटा ने बाद में कहा कि इस विषय में अक्सर होने वाले तीन तुल्यता संबंधों के बीच अंतर करने में विफलता के कारण बहुत भ्रम हुआ, जिनमें से सभी को = द्वारा दर्शाया गया था। 1964 में प्रकाशित एक पेपर में, रोटा ने बेल संख्याओं से संतुष्ट प्रत्यावर्तन  फॉर्मूला स्थापित करने के लिए अम्ब्रल तरीकों का इस्तेमाल किया, जो परिमित सेटों के एक सेट के विभाजन की गणना करता है।

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


 * $$\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.$$

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

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

यह भी देखें

 * बरनौली उम्बरा
 * द्विपद प्रकार#बहुपद अनुक्रमों की छत्र रचना
 * परिमित अंतरों की गणना
 * पिडक बहुपद
 * अपरिवर्तनीय सिद्धांत में प्रतीकात्मक विधि
 * नारुमी बहुपद

संदर्भ

 * G.-C. Rota, D. Kahaner, and 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.
 * . Reprinted by Dover, 2005.
 * G.-C. Rota, D. Kahaner, and 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.
 * . Reprinted by Dover, 2005.

बाहरी संबंध

 * Roman, S. (1982), The Theory of the Umbral Calculus, I
 * Roman, S. (1982), The Theory of the Umbral Calculus, I
 * Roman, S. (1982), The Theory of the Umbral Calculus, I