द्विपद श्रृंखला

गणित में, द्विपद श्रृंखला बहुपद का एक सामान्यीकरण है जो द्विपद सूत्र अभिव्यक्ति से आता है जैसे $$(1+x)^n$$ एक गैर-नकारात्मक पूर्णांक के लिए $$n$$. विशेष रूप से, द्विपद श्रृंखला फ़ंक्शन (गणित) के लिए टेलर श्रृंखला है $$f(x)=(1+x)^{\alpha}$$ पर केंद्रित है $$x = 0$$, कहाँ $$\alpha \in \Complex$$ और $$|x| < 1$$. स्पष्ट रूप से,

जहां ( के दाईं ओर की शक्ति श्रृंखला)$$) द्विपद गुणांक # सामान्यीकरण और द्विपद श्रृंखला से संबंध के संदर्भ में व्यक्त किया गया है। (सामान्यीकृत) द्विपद गुणांक


 * $$\binom{\alpha}{k} := \frac{\alpha (\alpha-1) (\alpha-2) \cdots (\alpha-k+1)}{k!}. $$

विशेष मामले
अगर $$ एक अऋणात्मक पूर्णांक है $α$, फिर $(n + 2)$वाँ पद और श्रृंखला में बाद के सभी पद 0 हैं, क्योंकि प्रत्येक में एक कारक है $(n − n)$; इस प्रकार इस मामले में श्रृंखला परिमित है और बीजगणितीय द्विपद प्रमेय देती है।

फ़ंक्शन के लिए टेलर श्रृंखला द्वारा परिभाषित नकारात्मक द्विपद श्रृंखला निकटता से संबंधित है $$g(x)=(1-x)^{-\alpha}$$ पर केंद्रित है $$x = 0$$, कहाँ $$\alpha \in \Complex$$ और $$|x| < 1$$. स्पष्ट रूप से,
 * $$\begin{align}

\frac{1}{(1 - x)^\alpha} &= \sum_{k=0}^{\infty} \; \frac{g^{(k)}(0)}{k!} \; x^k \\ &= 1 + \alpha x + \frac{\alpha(\alpha+1)}{2!} x^2 + \frac{\alpha(\alpha+1)(\alpha+2)}{3!} x^3 + \cdots, \end{align}$$ जो मल्टीसेट गुणांक के संदर्भ में लिखा गया है
 * $$\left(\!\!{\alpha\choose k}\!\!\right) := {\alpha+k-1 \choose k} = \frac{\alpha (\alpha+1) (\alpha+2) \cdots (\alpha+k-1)}{k!}\,.$$

अभिसरण के लिए शर्तें
चाहे ($n$) अभिसारी श्रंखला सम्मिश्र संख्याओं के मानों पर निर्भर करती है $$ और$α$. ज्यादा ठीक:


 * 1) अगर $|x| < 1$, श्रृंखला किसी भी सम्मिश्र संख्या के लिए निरपेक्ष अभिसरण को अभिसरित करती है $x$.
 * 2) अगर $|x| = 1$, श्रृंखला पूरी तरह से अभिसरण करती है यदि और केवल यदि कोई हो $Re(α) > 0$ या $α = 0$, कहाँ $Re(α)$ की जटिल संख्या को दर्शाता है $α$.
 * 3) अगर $|x| = 1$ और $x ≠ −1$, यदि और केवल यदि श्रृंखला अभिसरित होती है $Re(α) > −1$.
 * 4) अगर $x = −1$, श्रृंखला अभिसरित होती है यदि और केवल यदि कोई हो $Re(α) > 0$ या $α = 0$.
 * 5) अगर $|x| > 1$, श्रृंखला अपसारी श्रृंखला, जब तक $α$ एक गैर-ऋणात्मक पूर्णांक है (जिस स्थिति में श्रृंखला एक परिमित योग है)।

विशेष रूप से, अगर $$\alpha$$ एक गैर-ऋणात्मक पूर्णांक नहीं है, अभिसरण की त्रिज्या की सीमा पर स्थिति, $ संक्षेप में इस प्रकार है:


 * अगर $Re(α) > 0$, श्रृंखला बिल्कुल अभिसरित होती है।
 * अगर $−1 < Re(α) ≤ 0$, श्रृंखला सशर्त अभिसरण को अभिसरण करती है यदि $x ≠ −1$ और अगर विचलन करता है $x = −1$.
 * अगर $Re(α) ≤ −1$, श्रृंखला अलग हो जाती है।

सबूत में इस्तेमाल की जाने वाली पहचान
निम्नलिखित किसी सम्मिश्र संख्या के लिए है$α$:


 * $${\alpha \choose 0} = 1,$$

जब तक $$\alpha$$ एक गैर-ऋणात्मक पूर्णांक है (जिस स्थिति में द्विपद गुणांक गायब हो जाते हैं $$k$$ से बड़ा है $$\alpha$$), लैंडौ संकेतन में, द्विपद गुणांकों के लिए एक उपयोगी स्पर्शोन्मुख विश्लेषण संबंध है:

यह अनिवार्य रूप से यूलर की गामा समारोह की परिभाषा के समतुल्य है:


 * $$\Gamma(z) = \lim_{k \to \infty} \frac{k! \; k^z}{z \; (z+1)\cdots(z+k)}, $$

और इसका तात्पर्य तुरंत मोटे सीमा से है

कुछ सकारात्मक स्थिरांक के लिए $α$ और $$.

सूत्र ($$) सामान्यीकृत द्विपद गुणांक के रूप में फिर से लिखा जा सकता है

प्रमाण
सिद्ध करने के लिए (i) और (v), अनुपात परीक्षण लागू करें और सूत्र का उपयोग करें ($$) ऊपर यह दिखाने के लिए कि जब भी $$\alpha$$ एक गैर-नकारात्मक पूर्णांक नहीं है, अभिसरण की त्रिज्या बिल्कुल 1 है। भाग (ii) सूत्र से अनुसरण करता है ($$), हार्मोनिक श्रृंखला (गणित) #P-श्रृंखला के साथ तुलना करके$m$-शृंखला


 * $$ \sum_{k=1}^\infty \; \frac {1} {k^p}, $$

साथ $$p=1+\operatorname{Re}\alpha$$. सिद्ध करने के लिए (iii), पहले सूत्र का उपयोग करें ($M$) प्राप्त करने के लिए

और फिर उपयोग करें (ii) और सूत्र ($$) फिर से दाहिनी ओर के अभिसरण को सिद्ध करने के लिए जब $$ \operatorname{Re} \alpha> - 1 $$ ऐसा माना जाता है। दूसरी ओर, यदि श्रृंखला अभिसरित नहीं होती है $$|x|=1$$ और $$ \operatorname{Re} \alpha \le - 1 $$, सूत्र द्वारा फिर से ($$). वैकल्पिक रूप से, हम इसे सभी के लिए देख सकते हैं $$j$$, $ \left |\frac {\alpha + 1}{j} - 1 \right | \ge 1 - \frac {\operatorname{Re} \alpha + 1}{j} \ge 1 $. इस प्रकार, सूत्र द्वारा ($$), सभी के लिए $ k, \left|{\alpha \choose k} \right| \ge 1 $. यह (iii) की उपपत्ति को पूरा करता है। (iv) की ओर मुड़ते हुए, हम सर्वसमिका का उपयोग करते हैं ($$) ऊपर के साथ $$x=-1$$ और $$\alpha-1$$ की जगह $$\alpha$$, सूत्र के साथ ($p$), प्राप्त करने के लिए


 * $$\sum_{k=0}^n \; {\alpha\choose k} \; (-1)^k = {\alpha-1 \choose n} \;(-1)^n= \frac{1} {\Gamma(-\alpha+1)n^{\alpha}}(1+o(1))$$

जैसा $$n\to\infty$$. अभिकथन (iv) अब अनुक्रम के स्पर्शोन्मुख व्यवहार से अनुसरण करता है $$n^{-\alpha} = e^{-\alpha \log(n)}$$. (एकदम सही, $$ \left|e^{-\alpha\log n}\right| = e^{-\operatorname{Re}\alpha\, \log n}$$ में अवश्य मिलती है $$0$$ अगर $$\operatorname{Re}\alpha>0$$ और विचलन करता है $$+\infty$$ अगर $$\operatorname{Re}\alpha<0$$. अगर $$\operatorname{Re}\alpha=0$$, तब $$n^{-\alpha} = e^{-i \operatorname{Im}\alpha\log n}$$ यदि और केवल यदि अनुक्रम अभिसरण करता है $$ \operatorname{Im}\alpha\log n $$ अभिसरण $$\bmod{2\pi}$$, जो निश्चित रूप से सच है अगर $$\alpha=0$$ लेकिन झूठा अगर $$\operatorname{Im}\alpha \neq0$$: बाद के मामले में अनुक्रम सघन है $$\bmod{2\pi}$$, इस तथ्य के कारण $$\log n$$ विचलन और $$\log (n+1)-\log n$$ शून्य हो जाता है)।

द्विपद श्रृंखला का योग
द्विपद श्रृंखला के योग की गणना करने का सामान्य तर्क इस प्रकार है। अभिसरण की डिस्क के भीतर व्युत्पन्न शब्द-वार द्विपद श्रृंखला $|x| < 1$ और सूत्र का उपयोग करना ($$), एक के पास यह है कि श्रृंखला का योग साधारण अवकल समीकरण को हल करने वाला एक विश्लेषणात्मक फलन है $(1 + x)u ' (x) = αu(x)$ प्रारंभिक डेटा के साथ $u(0) = 1$. इस समस्या का अनूठा समाधान कार्य है $u(x) = (1 + x)^{α}$, जो इसलिए द्विपद श्रृंखला का योग है, कम से कम के लिए $|x| < 1$. समानता तक फैली हुई है $|x| = 1$ एबेल के प्रमेय के परिणामस्वरूप और निरंतर कार्य द्वारा श्रृंखला अभिसरण करती है $(1 + x)^{α}$.

इतिहास
सकारात्मक-पूर्णांक घातांकों के अलावा अन्य के लिए द्विपद श्रृंखला से संबंधित पहला परिणाम सर आइजैक न्यूटन द्वारा कुछ वक्रों के अंतर्गत संलग्न क्षेत्रों के अध्ययन में दिया गया था। जॉन वालिस ने रूप के भावों पर विचार करके इस काम को आगे बढ़ाया $y = (1 − x^{2})^{m}$ कहाँ $$ एक अंश है। उन्होंने पाया कि (आधुनिक शब्दों में लिखा गया) लगातार गुणांक $c_{k}$ का $(−x^{2})^{k}$ पिछले गुणांक को गुणा करके पाया जाना है $$ (पूर्णांक घातांक के मामले में), जिससे इन गुणांकों के लिए एक सूत्र दिया जा सके। वह स्पष्ट रूप से निम्नलिखित उदाहरण लिखता है


 * $$(1-x^2)^{1/2}=1-\frac{x^2}2-\frac{x^4}8-\frac{x^6}{16}\cdots$$
 * $$(1-x^2)^{3/2}=1-\frac{3x^2}2+\frac{3x^4}8+\frac{x^6}{16}\cdots$$
 * $$(1-x^2)^{1/3}=1-\frac{x^2}3-\frac{x^4}9-\frac{5x^6}{81}\cdots$$

इसलिए द्विपद श्रृंखला को कभी-कभी द्विपद प्रमेय#न्यूटन की सामान्यीकृत द्विपद प्रमेय|न्यूटन की द्विपद प्रमेय के रूप में संदर्भित किया जाता है। न्यूटन कोई प्रमाण नहीं देता है और श्रृंखला की प्रकृति के बारे में स्पष्ट नहीं है। बाद में, 1826 में नील्स हेनरिक एबेल ने क्रेले के जर्नल पर प्रकाशित एक पत्र में इस विषय पर चर्चा की, विशेष रूप से अभिसरण के प्रश्नों का इलाज किया।

यह भी देखें

 * द्विपद सन्निकटन
 * द्विपद प्रमेय#न्यूटन का सामान्यीकृत द्विपद प्रमेय
 * न्यूटोनियन श्रृंखला की तालिका