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

गणित में, भागों द्वारा योग अनुक्रमों के उत्पादों के योग को अन्य योगों में बदल देता है, जिससे अधिकांशतः गणना या (विशेष रूप से) कुछ प्रकार के योगों का अनुमान सरल हो जाता है। इस प्रकार इसे एबेल लेम्मा या एबेल ट्रांसफॉर्मेशन भी कहा जाता है, जिसका नाम नील्स हेनरिक एबेल के नाम पर रखा गया है जिन्होंने इसे साल 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|.$$

उच्च क्रम परिमित अंतर विधियों के लिए योग-दर-भाग ऑपरेटर
एक सारांश-दर-भाग (एसबीपी) परिमित अंतर ऑपरेटर पारंपरिक रूप से एक केंद्रित अंतर आंतरिक योजना और विशिष्ट सीमा स्टेंसिल से बना होता है जो संबंधित एकीकरण-दर-भाग सूत्रीकरण के व्यवहार की नकल करता है। इस प्रकार सीमा शर्तें सामान्यतः एक साथ-सन्निकटन-अवधि (एसएटी) तकनीक द्वारा लागू की जाती हैं। एसबीपी-एसएटी का संयोजन सीमा उपचार के लिए एक शक्तिशाली ढांचा है। इस प्रकार लंबे समय तक सिमुलेशन के लिए अच्छी तरह से सिद्ध स्थिरता और त्रुटिहीनता के उच्च क्रम के लिए विधि को प्राथमिकता दी जाती है।

यह भी देखें

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

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