शेफ़र अनुक्रम

गणित में, शेफ़र अनुक्रम या पॉवरॉइड एक बहुपद अनुक्रम है, अर्थात, बहुपदों का एक अनुक्रम (p_n(x) : n = 0, 1, 2, 3, ...) जिसमें प्रत्येक बहुपद का सूचकांक उसकी डिग्री के बराबर होता है, जो कॉम्बिनेटरिक्स में अम्ब्रल कैलकुलस से संबंधित स्थितियों को संतुष्ट करता है। इनका नाम इसाडोर एम. शेफ़र के नाम पर रखा गया है।

परिभाषा

एक बहुपद अनुक्रम (p_n) निश्चित करें। x में बहुपदों पर एक रैखिक ऑपरेटर Q को परिभाषित करें

$Qp_{n}(x)=np_{n-1}(x)\,.$

यह सभी बहुपदों पर Q निर्धारित करता है। बहुपद अनुक्रम p_n एक शेफ़र अनुक्रम है यदि रैखिक ऑपरेटर Q अभी परिभाषित शिफ्ट-एक्विवरिएंट है; ऐसा Q तब एक डेल्टा ऑपरेटर होता है। यहां, हम बहुपदों पर शिफ्ट-एक्विवरिएंट होने के लिए एक रैखिक ऑपरेटर Q को परिभाषित करते हैं यदि, जब भी f(x) = g(x + a) = T_a g(x) का "शिफ्ट" है, तो g(x), then (Qf)(x) = (Qg)(x + a); यानी, Q हर शिफ्ट ऑपरेटर के साथ आवागमन करता है:T_aQ = QT_a।

गुण

सभी शेफ़र अनुक्रमों का समुच्चय बहुपद अनुक्रमों की अम्ब्रल संरचना के संचालन के तहत एक समूह है, जिसे निम्नानुसार परिभाषित किया गया है. मान लीजिए (p_n(x) : n = 0, 1, 2, 3, ...) और (q_n(x) : n = 0, 1, 2, 3, ...) बहुपद अनुक्रम हैं, जिनके द्वारा दिया गया है

$p_{n}(x)=\sum _{k=0}^{n}a_{n,k}x^{k}\ {\mbox{and}}\ q_{n}(x)=\sum _{k=0}^{n}b_{n,k}x^{k}.$

तब अम्ब्रल संरचना $p\circ q$ बहुपद अनुक्रम है जिसका nवाँ पद है

$(p_{n}\circ q)(x)=\sum _{k=0}^{n}a_{n,k}q_{k}(x)=\sum _{0\leq \ell \leq k\leq n}a_{n,k}b_{k,\ell }x^{\ell }$

(सबस्क्रिप्ट n p_n में दिखाई देता है, क्योंकि यह उस अनुक्रम का n पद है, लेकिन q में नहीं, क्योंकि यह अनुक्रम को उसके किसी एक पद के बजाय संपूर्ण रूप में संदर्भित करता है)।

इस समूह का समरूपता अवयव मानक एकपद आधार है

$e_{n}(x)=x^{n}=\sum _{k=0}^{n}\delta _{n,k}x^{k}.$

दो महत्वपूर्ण उपसमूह एपेल अनुक्रमों का समूह हैं, जो वे अनुक्रम हैं जिनके लिए ऑपरेटर Q केवल विभेदन है, और द्विपद प्रकार के अनुक्रमों का समूह, जो वे हैं जो समरूपता को संतुष्ट करते हैं

$p_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}p_{k}(x)p_{n-k}(y).$

एक शेफ़र अनुक्रम (पी_n(x) : n = 0, 1, 2,...) द्विपद प्रकार का है यदि और केवल यदि दोनों

$p_{0}(x)=1\,$

और

$p_{n}(0)=0{\mbox{ for }}n\geq 1.\,$

एपेल अनुक्रमों का समूह एबेलियन समूह है; द्विपद प्रकार के अनुक्रमों का समूह नहीं है। एपेल अनुक्रमों का समूह एक सामान्य उपसमूह है; द्विपद प्रकार के अनुक्रमों का समूह नहीं है। शेफ़र अनुक्रमों का समूह एपेल अनुक्रमों के समूह और द्विपद प्रकार के अनुक्रमों के समूह का एक अर्ध-प्रत्यक्ष उत्पाद है। यह इस प्रकार है कि एपेल अनुक्रमों के समूह के प्रत्येक सह समुच्चय में द्विपद प्रकार का बिल्कुल एक अनुक्रम होता है। दो शेफ़र अनुक्रम एक ही ऐसे कोसेट में हैं यदि और केवल यदि ऊपर वर्णित ऑपरेटर Q - जिसे उस अनुक्रम का डेल्टा ऑपरेटर कहा जाता है - दोनों मामलों में एक ही रैखिक ऑपरेटर है। (आम तौर पर, एक डेल्टा ऑपरेटर बहुपदों पर एक शिफ्ट-समतुल्य रैखिक ऑपरेटर होता है जो डिग्री को एक से कम कर देता है। यह शब्द एफ. हिल्डेब्रांट के कारण है।)

यदि एस_n(x) एक शेफ़र अनुक्रम है और p_n(x) द्विपद प्रकार का एक अनुक्रम है जो समान डेल्टा ऑपरेटर को साझा करता है

$s_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}p_{k}(x)s_{n-k}(y).$

कभी-कभी शेफ़र अनुक्रम शब्द को ऐसे अनुक्रम के रूप में परिभाषित किया जाता है जो द्विपद प्रकार के कुछ अनुक्रम से इस संबंध को रखता है। विशेष रूप से, यदि ( s_n(x) ) तो एक अपील अनुक्रम है

$s_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}x^{k}s_{n-k}(y).$

हर्मिट बहुपदों का अनुक्रम, बर्नौली बहुपदों का अनुक्रम, और एकपदी (x)ⁿ : n = 0, 1, 2, ... ) अपील अनुक्रम के उदाहरण हैं।

एक शेफ़र अनुक्रम पी_n इसकी विशेषता इसके घातांकीय सृजन कार्य द्वारा होती है

$\sum _{n=0}^{\infty }{\frac {p_{n}(x)}{n!}}t^{n}=A(t)\exp(xB(t))\,$

जहां ए और बी टी में (औपचारिक पावर श्रृंखला) पावर श्रृंखला हैं। शेफ़र अनुक्रम इस प्रकार सामान्यीकृत एपेल बहुपद के उदाहरण हैं और इसलिए एक संबद्ध पुनरावृत्ति संबंध है।

उदाहरण

शेफ़र अनुक्रम वाले बहुपद अनुक्रमों के उदाहरणों में शामिल हैं:

• हाबिल बहुपद;
• बर्नौली बहुपद;
• यूलर बहुपद;
• केंद्रीय तथ्यात्मक बहुपद;
• हर्माइट बहुपद;
• लैगुएरे बहुपद;
• एकपदी (xⁿ : n = 0, 1, 2, ... );
• मॉट बहुपद;
• दूसरे प्रकार के बर्नौली बहुपद;
• गिरती और बढ़ती फैक्टरियल;
• लैगुएरे बहुपद;
• टचर्ड बहुपद;
• मिट्टाग-लेफ़लर बहुपद;
  

संदर्भ

• Rota, G.-C.; Kahaner, D.; Odlyzko, A. (June 1973). "On the Foundations of Combinatorial Theory VIII: Finite Operator Calculus". Journal of Mathematical Analysis and Applications. 42 (3): 684–750. doi:10.1016/0022-247X(73)90172-8. Reprinted in the next reference.
• Rota, G.-C.; Doubilet, P.; Greene, C.; Kahaner, D.; Odlyzko, A.; Stanley, R. (1975). Finite Operator Calculus. Academic Press. ISBN 0-12-596650-4.
• Sheffer, I. M. (1939). "Some Properties of Polynomial Sets of Type Zero". Duke Mathematical Journal. 5 (3): 590–622. doi:10.1215/S0012-7094-39-00549-1.
• Roman, Steven (1984). The Umbral Calculus. Pure and Applied Mathematics. Vol. 111. London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers]. ISBN 978-0-12-594380-2. MR 0741185. Reprinted by Dover, 2005.

बाहरी संबंध

• Weisstein, Eric W. "Sheffer Sequence". MathWorld.