श्रृंखला बहुखंड

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


 * $$\sum_{n=-\infty}^\infty a_n\cdot z^n$$

तो इसका बहुखंड रूप की एक घात श्रृंखला है


 * $$\sum_{m=-\infty}^\infty a_{qm+p}\cdot z^{qm+p}$$

जहाँ p, q पूर्णांक हैं, 0 ≤ p < q के साथ होते है। श्रृंखला बहुखंड जनक फलन के सामान्य परिवर्तनों में से एक का प्रतिनिधित्व करता है।

विश्लेषणात्मक फलन का बहुखंड
एक विश्लेषणात्मक फलन की श्रृंखला का एक बहुखंड


 * $$f(z) = \sum_{n=0}^\infty a_n\cdot z^n$$

फलन के संदर्भ में एक संवृत रूप अभिव्यक्ति होती है $$f(x)$$:


 * $$\sum_{m=0}^\infty a_{qm+p}\cdot z^{qm+p} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \omega^{-kp}\cdot f(\omega^k\cdot z),$$

जहाँ $$\omega = e^{\frac{2\pi i}{q}}$$ इकाई का एक अभाज्य q-वाँ मूल होता है। इस अभिव्यक्ति को अधिकांशतः इकाई फ़िल्टर की जड़ कहा जाता है। इस समाधान की खोज सबसे पहले थॉमस सिम्पसन ने की थी। यह अभिव्यक्ति विशेष रूप से उपयोगी होता है क्योंकि यह एक अनंत योग को एक सीमित योग में परिवर्तित कर सकती है। इसका उपयोग, उदाहरण के लिए, गॉस के डिगामा प्रमेय के मानक प्रमाण के एक महत्वपूर्ण चरण में किया जाता है, जो तर्कसंगत मान p/q पर मूल्यांकन किए गए डिगामा फलन का एक संवृत रूप से समाधान करता है।

द्विभाजन
सामान्यतः, किसी श्रृंखला के द्विभाजन श्रृंखला के सम और विषम फलन भाग होते हैं।

ज्यामितीय श्रृंखला
ज्यामितीय श्रृंखला पर विचार करें


 * $$\sum_{n=0}^{\infty} z^n=\frac{1}{1-z} \quad\text{ for }|z| < 1$$

व्यवस्थित करके $$z \rightarrow z^q$$ उपरोक्त शृंखला में इसके बहुखण्ड आसानी से देखे जा सकते हैं


 * $$\sum_{m=0}^{\infty} z^{qm+p} = \frac{z^p}{1-z^q} \quad\text{ for }|z| < 1$$

यह याद रखते हुए कि बहुखंडों का योग मूल श्रृंखला के बराबर होना चाहिए, हम परिचित पहचान को पुनः प्राप्त करते हैं


 * $$\sum_{p=0}^{q-1} z^p = \frac{1-z^q}{1-z}$$

घातांकीय फलन
घातांकीय फलन


 * $$e^z=\sum_{n=0}^{\infty} {z^n \over n!}$$

उपरोक्त सूत्र के माध्यम से विश्लेषणात्मक फलनों को अलग किया जाता है


 * $$\sum_{m=0}^\infty {z^{qm+p} \over (qm+p)!} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \omega^{-kp} e^{\omega^k z}.$$

द्विभाजन तुच्छ रूप से अतिपरवलयिक फलन होते हैं:


 * $$\sum_{m=0}^\infty {z^{2m} \over (2m)!} = \frac{1}{2}\left(e^z+e^{-z}\right) = \cosh{z}$$
 * $$\sum_{m=0}^\infty {z^{2m+1} \over (2m+1)!} = \frac{1}{2}\left(e^z-e^{-z}\right) = \sinh{z}.$$

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


 * $$\sum_{m=0}^\infty {z^{qm+p} \over (qm+p)!} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} e^{z\cos(2\pi k/q)}\cos{\left(z\sin{\left(\frac{2\pi k}{q}\right)}-\frac{2\pi kp}{q}\right)}.$$

इन्हें रैखिक अवकल समीकरण के समाधान के रूप में देखा जा सकता है $$f^{(q)}(z)=f(z)$$ परिसीमा प्रतिबंध के साथ $$f^{(k)}(0)=\delta_{k,p}$$, क्रोनकर डेल्टा संकेतन का उपयोग करते हुए विशेष रूप से, त्रिखंड होते हैं


 * $$\sum_{m=0}^\infty {z^{3m} \over (3m)!} = \frac{1}{3}\left(e^z+2e^{-z/2}\cos{\frac{\sqrt{3}z}{2}}\right)$$
 * $$\sum_{m=0}^\infty {z^{3m+1} \over (3m+1)!} = \frac{1}{3}\left(e^z-e^{-z/2}\left(\cos{\frac{\sqrt{3}z}{2}}-\sqrt{3}\sin{\frac{\sqrt{3}z}{2}}\right)\right)$$
 * $$\sum_{m=0}^\infty {z^{3m+2} \over (3m+2)!} = \frac{1}{3}\left(e^z-e^{-z/2}\left(\cos{\frac{\sqrt{3}z}{2}}+\sqrt{3}\sin{\frac{\sqrt{3}z}{2}}\right)\right),$$

और चतुर्खंड होते हैं


 * $$\sum_{m=0}^\infty {z^{4m} \over (4m)!} = \frac{1}{2}\left(\cosh{z}+\cos{z}\right)$$
 * $$\sum_{m=0}^\infty {z^{4m+1} \over (4m+1)!} = \frac{1}{2}\left(\sinh{z}+\sin{z}\right)$$
 * $$\sum_{m=0}^\infty {z^{4m+2} \over (4m+2)!} = \frac{1}{2}\left(\cosh{z}-\cos{z}\right)$$
 * $$\sum_{m=0}^\infty {z^{4m+3} \over (4m+3)!} = \frac{1}{2}\left(\sinh{z}-\sin{z}\right).$$

द्विपद शृंखला
द्विपद विस्तार का बहुखंड


 * $$(1+x)^n = {n\choose 0} x^0 + {n\choose 1} x + {n\choose 2} x^2 + \cdots$$

x = 1 पर चरण q के साथ द्विपद गुणांकों के योग के लिए निम्नलिखित पहचान मिलती है:


 * $${n\choose p} + {n\choose p+q} + {n\choose p+2q} + \cdots = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \left(2 \cos\frac{\pi k}{q}\right )^n\cdot \cos \frac{\pi(n-2p)k}{q}.$$

संदर्भ

 * Somos, Michael A Multisection of q-Series, 2006.
 * Somos, Michael A Multisection of q-Series, 2006.