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

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}$$ परिमित भिन्नताओं के सिद्धांत में भी समान संबंध देखे गए है। टेलर श्रृंखला का छत्र संस्करण एक समान अभिव्यक्ति द्वारा दिया गया है जिसमें एक बहुपद फलन f के k-th आगे के अंतर $$\Delta^k [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.$$

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


 * $$\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 में बहुपदों के सदिश स्थल पर रैखिक कार्यों के क्षेत्र पर बीजगणित के रूप में परिभाषित किया गया है। उत्पाद L1L2 द्वारा परिभाषित रैखिक कार्यात्मकताओं की है,


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

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

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

यह भी देखें

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

संदर्भ

 * 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