भागों द्वारा योग

गणित में, भागों द्वारा योग अनुक्रमों के उत्पादों के योग को अन्य योगों में बदल देता है, जिससे अधिकांशतः गणना या (विशेष रूप से) कुछ प्रकार के योगों का अनुमान सरल हो जाता है। इसे एबेल लेम्मा या एबेल ट्रांसफॉर्मेशन भी कहा जाता है, जिसका नाम नील्स हेनरिक एबेल के नाम पर रखा गया है जिन्होंने इसे साल 1826 में प्रस्तुत किया था।

कथन
कल्पना करना $$\{f_k\}$$ और $$\{g_k\}$$ दो क्रम हैं. तब,
 * $$\sum_{k=m}^n f_k(g_{k+1}-g_k) = \left(f_{n}g_{n+1} - f_m g_m\right) - \sum_{k=m+1}^n g_{k}(f_{k}- f_{k-1}).$$

फॉरवर्ड डिफरेंस ऑपरेटर का उपयोग करना $$\Delta$$, इसे और अधिक संक्षेप में कहा जा सकता है


 * $$\sum_{k=m}^n f_k\Delta g_k = \left(f_{n} g_{n+1} - f_m g_m\right) - \sum_{k=m}^{n-1} g_{k+1}\Delta f_k,$$

भागों द्वारा योग, भागों द्वारा एकीकरण के समान है:
 * $$\int f\,dg = f g - \int g\,df,$$

या हाबिल के सारांश सूत्र के लिए:
 * $$\sum_{k=m+1}^n f(k)(g_{k}-g_{k-1})= \left(f(n)g_{n} - f(m) g_m\right) - \int_{m}^n g_{\lfloor t \rfloor} f'(t) dt.$$

एक वैकल्पिक कथन है
 * $$f_n g_n - f_m g_m = \sum_{k=m}^{n-1} f_k\Delta g_k + \sum_{k=m}^{n-1} g_k\Delta f_k + \sum_{k=m}^{n-1} \Delta f_k \Delta g_k$$

जो द्विघात भिन्नता#सेमीमार्टिंगेल्स के अनुरूप है।

चूँकि अनुप्रयोग लगभग हमेशा अनुक्रमों के अभिसरण से निपटते हैं, कथन पूरी तरह से बीजगणितीय है और किसी भी क्षेत्र (गणित) में काम करेगा। यह तब भी काम करेगा जब एक अनुक्रम सदिश समष्टि में हो, और दूसरा अदिश के संबंधित क्षेत्र में हो।

न्यूटन श्रृंखला
सूत्र कभी-कभी इनमें से किसी एक - थोड़े भिन्न - रूप में दिया जाता है


 * $$\begin{align}

\sum_{k=0}^n f_k g_k &= f_0 \sum_{k=0}^n g_k+ \sum_{j=0}^{n-1} (f_{j+1}-f_j) \sum_{k=j+1}^n g_k\\ &= f_n \sum_{k=0}^n g_k - \sum_{j=0}^{n-1} \left( f_{j+1}- f_j\right) \sum_{k=0}^j g_k, \end{align}$$ जो एक विशेष स्थितियोंका प्रतिनिधित्व करता है ($$M = 1$$) अधिक सामान्य नियम का


 * $$\begin{align}

\sum_{k=0}^n f_k g_k &= \sum_{i=0}^{M-1} f_0^{(i)} G_{i}^{(i+1)}+ \sum_{j=0}^{n-M} f^{(M)}_{j} G_{j+M}^{(M)} = \\ &= \sum_{i=0}^{M-1} \left( -1 \right)^i f_{n-i}^{(i)} \tilde{G}_{n-i}^{(i+1)}+ \left( -1 \right) ^{M} \sum_{j=0}^{n-M} f_j^{(M)} \tilde{G}_j^{(M)}; \end{align}$$ दोनों प्रारंभिक सूत्र के पुनरावृत्त अनुप्रयोग का परिणाम हैं। सहायक मात्राएँ न्यूटन श्रृंखला हैं:


 * $$f_j^{(M)}:= \sum_{k=0}^M \left(-1 \right)^{M-k} {M \choose k} f_{j+k}$$

और
 * $$G_j^{(M)}:= \sum_{k=j}^n {k-j+M-1 \choose M-1} g_k,$$
 * $$\tilde{G}_j^{(M)}:= \sum_{k=0}^j {j-k+M-1 \choose M-1} g_k.$$

एक विशेष ($$M=n+1$$)परिणाम ही पहचान है
 * $$\sum_{k=0}^n f_k g_k = \sum_{i=0}^n f_0^{(i)} G_i^{(i+1)} = \sum_{i=0}^n (-1)^i f_{n-i}^{(i)} \tilde{G}_{n-i}^{(i+1)}.$$

यहाँ, ${n \choose k}$ द्विपद गुणांक है.

विधि
दो दिए गए अनुक्रमों के लिए $$(a_n) $$ और $$(b_n) $$, साथ $$n \in \N$$, कोई निम्नलिखित श्रृंखला के योग का अध्ययन करना चाहता है:$$S_N = \sum_{n=0}^N a_n b_n$$यदि हम परिभाषित करें $B_n = \sum_{k=0}^n b_k,$ फिर हर एक के लिए $$n>0, $$ $$b_n = B_n - B_{n-1} $$ और$$S_N = a_0 b_0 + \sum_{n=1}^N a_n (B_n - B_{n-1}),$$$$S_N = a_0 b_0 - a_1 B_0 + a_N B_N + \sum_{n=1}^{N-1} B_n (a_n - a_{n+1}).$$आखिरकार $S_N = a_N B_N - \sum_{n=0}^{N-1} B_n (a_{n+1} - a_n).$ इस प्रक्रिया, जिसे एबेल परिवर्तन कहा जाता है, का उपयोग अभिसरण के कई मानदंडों को सिद्ध करना करने के लिए किया जा सकता है $$S_N $$.

भागों द्वारा एकीकरण के साथ समानता
भागों द्वारा एकीकरण का सूत्र है $\int_a^b f(x) g'(x)\,dx = \left[ f(x) g(x) \right]_{a}^{b} - \int_a^b f'(x) g(x)\,dx$.

सीमा शर्तों के अतिरिक्त, हम देखते हैं कि पहले अभिन्न में दो गुणा कार्य सम्मिलित हैं, एक जो अंतिम अभिन्न में एकीकृत है ($$g' $$ बन जाता है $$g $$) और एक जो विभेदित है ($$f $$ बन जाता है $$f' $$).

एबेल परिवर्तन की प्रक्रिया समान है, क्योंकि दो प्रारंभिक अनुक्रमों में से एक को संक्षेप में प्रस्तुत किया गया है ($$b_n $$ बन जाता है $$B_n $$) और दूसरा अलग है ($$a_n $$ बन जाता है $$a_{n+1} - a_n $$).

अनुप्रयोग

 * इसका उपयोग क्रोनकर के लेम्मा को सिद्ध करना करने के लिए किया जाता है, जो बदले में, विचरण बाधाओं के अनुसार  बड़ी संख्या के मजबूत कानून के एक संस्करण को सिद्ध करना  करने के लिए उपयोग किया जाता है।
 * इसका उपयोग वर्ग त्रिकोणीय संख्या को सिद्ध करने के लिए किया जा सकता है | निकोमैचस का प्रमेय कि पहले का योग $$n$$ घन पहले के योग के वर्ग के बराबर होता है $$n$$ सकारात्मक पूर्णांक।
 * एबेल के प्रमेय और डिरिचलेट के परीक्षण को सिद्ध करने के लिए भागों द्वारा योग का अधिकांशतः उपयोग किया जाता है।
 * हाबिल के परीक्षण को सिद्ध करने के लिए कोई इस तकनीक का उपयोग भी कर सकता है: यदि $\sum_n b_n$ एक अभिसरण श्रृंखला है, और $$a_n$$ फिर, एक बंधा हुआ मोनोटोन अनुक्रम $S_N = \sum_{n=0}^N a_n b_n$  जुटता है.

हाबिल के परीक्षण का प्रमाण. भागों द्वारा योग प्राप्त होता है$$\begin{align} S_M - S_N &= a_M B_M - a_N B_N - \sum_{n=N}^{M-1} B_n (a_{n+1} - a_n)\\ &= (a_M-a) B_M - (a_N-a) B_N + a(B_M - B_N) - \sum_{n=N}^{M-1} B_n (a_{n+1} - a_n), \end{align}$$जहां a की सीमा है $$a_n$$. जैसा $\sum_n b_n$ अभिसरण है, $$B_N$$ से स्वतंत्र रूप से घिरा हुआ है $$N$$, द्वारा कहो $$B$$. जैसा $$a_n-a$$ शून्य पर जाएं, इसलिए पहले दो पदों पर जाएं। कॉची मानदंड के अनुसार तीसरा पद शून्य हो जाता है $\sum_n b_n$. शेष राशि परिबद्ध है$$\sum_{n=N}^{M-1} |B_n| |a_{n+1}-a_n| \le B \sum_{n=N}^{M-1} |a_{n+1}-a_n| = B|a_N - a_M|$$की एकरसता से $$a_n$$, और शून्य पर भी चला जाता है $$N \to \infty$$.

ऊपर बताए गए प्रमाण का उपयोग करके, कोई यह दिखा सकता है कि यदि तब $S_N = \sum_{n=0}^N a_n b_n$ जुटता है.
 * 1) आंशिक रकम $$B_N$$ स्वतंत्र रूप से एक बंधा हुआ अनुक्रम बनाएं $$N$$;
 * 2) $$\sum_{n=0}^\infty |a_{n+1} - a_n| < \infty$$ (जिससे कि योग $$\sum_{n=N}^{M-1} |a_{n+1}-a_n|$$ के रूप में शून्य हो जाता है $$N$$ अनंत तक जाता है)
 * 3) $$\lim a_n = 0$$

दोनों ही स्थितियोंमें, श्रृंखला का योग संतुष्ट करता है:$$ |S| = \left|\sum_{n=0}^\infty a_n b_n \right| \le B \sum_{n=0}^\infty |a_{n+1}-a_n|.$$उच्च क्रम परिमित अंतर विधियों के लिए योग-दर-भाग ऑपरेटर एक योग-दर-भाग (एसबीपी) परिमित अंतर ऑपरेटर पारंपरिक रूप से एक केंद्रित अंतर आंतरिक योजना और विशिष्ट सीमा स्टेंसिल से बना होता है जो संबंधित एकीकरण-दर-भाग फॉर्मूलेशन के व्यवहार की नकल करता है। सीमा शर्तें सामान्यतः एक साथ-सन्निकटन-अवधि (SAT) तकनीक द्वारा लगाई जाती हैं। एसबीपी-एसएटी का संयोजन सीमा उपचार के लिए एक शक्तिशाली ढांचा है। लंबे समय तक सिमुलेशन के लिए अच्छी तरह से सिद्ध स्थिरता और त्रुटिहीनता के उच्च क्रम के लिए विधि को प्राथमिकता दी जाती है।

यह भी देखें

 * अभिसारी श्रृंखला
 * अपसारी श्रृंखला
 * भागों द्वारा एकीकरण
 * सिजेरो सारांश
 * हाबिल का प्रमेय
 * हाबिल का योग सूत्र

संदर्भ
ग्रन्थसूची