आंशिक अंश अपघटन

बीजगणित में, आंशिक अंश अपघटन या एक तर्कसंगत अंश का आंशिक अंश विस्तार (अर्थात, एक अंश (गणित) जैसे कि अंश और भाजक दोनों बहुपद हैं) एक ऑपरेशन है जिसमें अंश को बहुपद के योग के रूप में व्यक्त किया जाता है (संभवतः शून्य) और एक या अधिक सरल हर के साथ भिन्न। आंशिक अंश अपघटन का महत्व इस तथ्य में निहित है कि यह तर्कसंगत कार्यों के साथ विभिन्न संगणनाओं के लिए कलन विधि प्रदान करता है, जिसमें antiderivative्स की स्पष्ट गणना शामिल है, टेलर श्रृंखला, Z-रूपांतरण|प्रतिलोम Z-रूपांतरण, और लाप्लास रूपान्तरित। इस अवधारणा की खोज स्वतंत्र रूप से 1702 में जोहान बर्नौली और गॉटफ्रीड लीबनिज दोनों ने की थी। प्रतीकों में, फार्म के एक तर्कसंगत अंश का आंशिक अंश अपघटन $ \frac{f(x)}{g(x)}, $ कहाँ पे $f$ और $g$ बहुपद हैं, इसकी अभिव्यक्ति है

$$\frac{f(x)}{g(x)}=p(x) + \sum_j \frac{f_j(x)}{g_j(x)} $$ कहाँ $p(x)$ एक बहुपद है, और, प्रत्येक के लिए $j$, भाजक $g_{j} (x)$ एक अलघुकरणीय बहुपद का घातांक है (जो धनात्मक अंशों के बहुपदों में गुणनखंडनीय नहीं है), और अंश $f_{j} (x)$ इस अलघुकरणीय बहुपद की घात से छोटी कोटि का बहुपद है।

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

मूल सिद्धांत
होने देना $$R(x) = \frac FG$$ एक तर्कसंगत अंश हो, जहाँ $F$ और $G$ अनिश्चित (चर) में अविभाज्य बहुपद हैं $x$ एक मैदान के ऊपर। निम्नलिखित कमी चरणों को आगमनात्मक रूप से लागू करके आंशिक अंश का अस्तित्व सिद्ध किया जा सकता है।

बहुपद भाग
दो बहुपद मौजूद हैं $E$ और $F1$ ऐसा है कि $$\frac FG=E+\frac{F_1}G,$$ और $$\deg F_1 <\deg G,$$ कहाँ $$\deg P$$ बहुपद के बहुपद की डिग्री को दर्शाता है $P$.

यह बहुपदों के यूक्लिडियन विभाजन से तुरंत परिणामित होता है $F$ द्वारा $G$, जो अस्तित्व की पुष्टि करता है $E$ और $F1$ ऐसा है कि $$F = EG + F_1$$ और $$\deg F_1 < \deg G.$$ यह अगले चरणों में मान लेने की अनुमति देता है कि $$\deg F <\deg G.$$

भाजक के गुणनखंड
यदि $$\deg F < \deg G,$$ और $$G = G_1 G_2,$$ कहाँ पे $G1$ और $G2$ कोप्राइम बहुपद हैं, तो बहुपद मौजूद हैं $$F_1$$ और $$F_2$$ ऐसा है कि $$\frac FG=\frac{F_1}{G_1}+\frac{F_2}{G_2},$$ और $$\deg F_1 < \deg G_1\quad\text{and}\quad\deg F_2 < \deg G_2.$$ इसे इस प्रकार सिद्ध किया जा सकता है। बहुपद महानतम सामान्य विभाजक # बेज़ाउट की पहचान और विस्तारित जीसीडी एल्गोरिथम | बेज़ाउट की पहचान बहुपदों के अस्तित्व पर जोर देती है $C$ और $D$ ऐसा है कि $$CG_1 + DG_2 = 1$$ (परिकल्पना द्वारा, $1$ का बहुपद महत्तम समापवर्तक है $G1$ और $G2$).

होने देना $$DF=G_1Q+F_1$$ साथ $$\deg F_1 < \deg G_1$$ के बहुपदों का यूक्लिडियन विभाजन हो $DF$ द्वारा $$G_1.$$ सेटिंग $$F_2=CF+QG_2,$$ एक मिलता है $$\begin{align} \frac FG&=\frac{F(CG_1 + DG_2)}{G_1G_2} =\frac{D F}{G_1}+\frac{CF}{G_2}\\ &=\frac{F_1+G_1Q}{G_1}+\frac{F_2-G_2Q}{G_2}\\ &=\frac{F_1}{G_1}+\frac{F_2}{G_2}. \end{align}$$ यह दिखाना बाकी है $$\deg F_2 < \deg G_2.$$ भिन्नों के अंतिम योग को एक सामान्य भाजक में कम करके, एक प्राप्त करता है $$F=F_2G_1+F_1G_2,$$ और इस तरह $$\begin{align} \deg F_2 &=\deg(F-F_1G_2)-\deg G_1 \le \max(\deg F,\deg (F_1G_2))-\deg G_1\\ &< \max(\deg G,\deg(G_1G_2))-\deg G_1= \deg G_2 \end{align}$$

भाजक
में शक्तियाँ पूर्ववर्ती अपघटन का उपयोग करके किसी को रूप के अंश मिलते हैं $$\frac F {G^k},$$ साथ $$\deg F < \deg G^k= k\deg G,$$ कहाँ $G$ एक अलघुकरणीय बहुपद है। अगर $k > 1$, कोई और विघटित कर सकता है, इसका उपयोग करके एक अलघुकरणीय बहुपद एक वर्ग-मुक्त बहुपद है, अर्थात $$1$$ बहुपद और उसके व्युत्पन्न का एक बहुपद सबसे बड़ा सामान्य भाजक है। अगर $$G'$$ का व्युत्पन्न है $G$, बहुपद महानतम सामान्य विभाजक#Bézout की पहचान और विस्तारित GCD एल्गोरिथ्म|Bézout की पहचान बहुपद प्रदान करती है $C$ और $D$ ऐसा है कि $$CG + DG' = 1$$ और इस तरह $$F=FCG+FDG'.$$ का यूक्लिडियन विभाजन $$FDG'$$ द्वारा $$G$$ बहुपद देता है $$H_k$$ और $$Q$$ ऐसा है कि $$FDG' = QG + H_k$$ और $$\deg H_k < \deg G.$$ सेटिंग $$F_{k-1}=FC+Q,$$ एक मिलता है $$\frac F {G^k} = \frac{H_k}{G^k}+\frac{F_{k-1}}{G^{k-1}},$$ साथ $$\deg H_k <\deg G.$$ इस प्रक्रिया के साथ पुनरावृति करना $$\frac{F_{k-1}}{G^{k-1}}$$ की जगह $$\frac F{G^k}$$ अंततः निम्नलिखित प्रमेय की ओर जाता है।

कथन
विशिष्टता इस प्रकार सिद्ध की जा सकती है। होने देना $f$. सभी एक साथ, $g$ और यह $K$ पास $d$ गुणांक। अपघटन का आकार गुणांक वैक्टर से बहुपद तक एक रैखिक मानचित्र को परिभाषित करता है $f$ डिग्री से कम $d$. अस्तित्व प्रमाण का अर्थ है कि यह मानचित्र आच्छादक है। चूंकि दो वेक्टर रिक्त स्थान समान आयाम हैं, नक्शा भी इंजेक्शन है, जिसका अर्थ अपघटन की विशिष्टता है। वैसे, यह प्रमाण रैखिक बीजगणित के माध्यम से अपघटन की गणना के लिए एक एल्गोरिथ्म को प्रेरित करता है।

अगर $g$ जटिल संख्याओं का क्षेत्र है, बीजगणित के मौलिक प्रमेय का अर्थ है कि सभी $b$ डिग्री एक है, और सभी अंश हैं a_{ij} स्थिरांक हैं। कब $a_{ij}$ वास्तविक संख्या का क्षेत्र है, इनमें से कुछ $deg a_{ij} < deg p_{i}$ द्विघात हो सकता है, इसलिए, आंशिक अंश अपघटन में, द्विघात बहुपदों की घातों द्वारा रैखिक बहुपदों का भागफल भी हो सकता है।

पिछले प्रमेय में, अलग-अलग अलघुकरणीय बहुपदों को युग्मवार कोप्राइम बहुपदों द्वारा प्रतिस्थापित किया जा सकता है जो उनके व्युत्पन्न के साथ सहअभाज्य हैं। उदाहरण के लिए, द $deg f < deg g$ के वर्ग मुक्त गुणनखंड के कारक हो सकते हैं $b = 0$. कब $d = max(1 + deg f, deg g)$ परिमेय संख्याओं का क्षेत्र है, जैसा कि आमतौर पर कंप्यूटर बीजगणित में होता है, यह आंशिक अंश अपघटन की गणना के लिए बहुपद महानतम सामान्य विभाजक संगणना द्वारा गुणनखंड को बदलने की अनुमति देता है।

प्रतीकात्मक एकीकरण के लिए आवेदन
प्रतीकात्मक एकीकरण के प्रयोजन के लिए, पूर्ववर्ती परिणाम में परिष्कृत किया जा सकता है

यह अंतिम योग के एकीकरण के लिए एक तर्कसंगत फ़ंक्शन के एंटीडेरिवेटिव की गणना को कम करता है, जिसे लॉगरिदमिक भाग कहा जाता है, क्योंकि इसका एंटीडेरिवेटिव लॉगरिदम का एक रैखिक संयोजन है।

प्रमेय में अपघटन की गणना करने के लिए विभिन्न तरीके हैं। एक सरल विधि को चार्ल्स हर्मिट की विधि कहा जाता है। सबसे पहले, b की गणना तुरंत f के यूक्लिडियन डिवीजन द्वारा g द्वारा की जाती है, उस स्थिति को कम करते हुए जहाँ deg(f) < deg(g) होता है। अगला, कोई जानता है डिग्री (सीij) <आप (पीi), तो कोई प्रत्येक सी लिख सकता हैijअज्ञात गुणांक वाले बहुपद के रूप में। प्रमेय में अंशों के योग को एक सामान्य भाजक में कम करना, और दो अंशों में x की प्रत्येक शक्ति के गुणांक को बराबर करना, एक रैखिक समीकरणों की एक प्रणाली प्राप्त करता है जिसे अज्ञात गुणांकों के लिए वांछित (अद्वितीय) मान प्राप्त करने के लिए हल किया जा सकता है।.

प्रक्रिया
दो बहुपद दिए गए हैं $$P(x)$$ और $$Q(x) = (x-\alpha_1)(x-\alpha_2) \cdots (x-\alpha_n)$$, जहां αi अलग-अलग स्थिरांक हैं और $b$, आंशिक अंशों के लिए स्पष्ट अभिव्यक्तियाँ मान कर प्राप्त की जा सकती हैं $$\frac{P(x)}{Q(x)} = \frac{c_1}{x-\alpha_1} + \frac{c_2}{x-\alpha_2} + \cdots + \frac{c_n}{x-\alpha_n}$$ और सी के लिए हल करनाi स्थिरांक, प्रतिस्थापन द्वारा, x की घात वाले पदों के गुणांकों की बराबरी करके, या अन्यथा। (यह अनिर्धारित गुणांक की विधि का एक प्रकार है। समीकरण के दोनों पक्षों को क्यू (एक्स) से गुणा करने के बाद, समीकरण का एक पक्ष एक विशिष्ट बहुपद है, और दूसरी तरफ अनिर्धारित गुणांक वाला बहुपद है। समानता है केवल तभी संभव है जब x की समान शक्तियों के गुणांक समान हों। इससे n अज्ञात में n समीकरण प्राप्त होते हैं, ck.)

एक अधिक प्रत्यक्ष संगणना, जो लैग्रेंज इंटरपोलेशन से दृढ़ता से संबंधित है, में लेखन शामिल है $$\frac{P(x)}{Q(x)} = \sum_{i=1}^n \frac{P(\alpha_i)}{Q'(\alpha_i)}\frac{1}{(x-\alpha_i)} $$ कहाँ $$Q'$$ बहुपद का व्युत्पन्न है $$Q$$. के गुणांक $$\tfrac{1}{x-\alpha_j}$$ f/g का अवशेष (जटिल विश्लेषण) कहा जाता है।

यह दृष्टिकोण कई अन्य मामलों के लिए जिम्मेदार नहीं है, लेकिन तदनुसार संशोधित किया जा सकता है:


 * अगर $$\deg P \geq \deg Q, $$ फिर बहुपद लंबे विभाजन का उपयोग करते हुए, क्यू द्वारा पी की बहुपद # विभाज्यता को निष्पादित करना आवश्यक है $a_{ij}$ साथ $K$. Q(x) से भाग देने पर यह मिलता है $$\frac{P(x)}{Q(x)} = E(x) + \frac{R(x)}{Q(x)},$$ और फिर शेष अंश के लिए आंशिक अंशों की तलाश करें (जो परिभाषा के अनुसार संतुष्ट करता है $p_{i}$).
 * यदि क्यू (एक्स) में ऐसे कारक शामिल हैं जो दिए गए क्षेत्र में अपरिवर्तनीय हैं, तो भाजक में ऐसे कारक एफ (एक्स) के साथ प्रत्येक आंशिक अंश के अंश एन (एक्स) को बहुपद के रूप में मांगा जाना चाहिए $K$, स्थिर के बजाय। उदाहरण के लिए, R पर निम्नलिखित अपघटन लें: $$\frac{x^2 + 1}{(x+2)(x-1)\color{Blue}(x^2+x+1)} = \frac{a}{x+2} + \frac{b}{x-1} + \frac{\color{OliveGreen}cx + d}{\color{Blue}x^2 + x + 1}.$$
 * कल्पना करना $p_{i}$ और $p_{i}$, वह है $g$ की जड़ है $K$ बहुलता का (गणित)#बहुपद के मूल का गुणन $r$. आंशिक अंश अपघटन में, $r$ की पहली शक्तियाँ $deg c_{ij} < deg p_{i}$ आंशिक भिन्नों के हर के रूप में घटित होगा (संभवतः एक शून्य अंश के साथ)। उदाहरण के लिए, यदि $deg P < n$ आंशिक अंश अपघटन का रूप है $$\frac{P(x)}{Q(x)} = \frac{P(x)}{(x-\alpha)^r} = \frac{c_1}{x-\alpha} + \frac{c_2}{(x-\alpha)^2} + \cdots + \frac{c_r}{(x-\alpha)^r}.$$

चित्रण
इस प्रक्रिया के एक उदाहरण आवेदन में, $P(x) = E(x) Q(x) + R(x)$ रूप में विघटित किया जा सकता है

$$\frac{3x + 5}{(1-2x)^2} = \frac{A}{(1-2x)^2} + \frac{B}{(1-2x)}.$$ समाशोधन भाजक यह दर्शाता है $deg R < n$. की शक्तियों के गुणांक का विस्तार और समीकरण करना $deg R < deg Q$ देता है

के लिए रैखिक समीकरणों की इस प्रणाली को हल करना $deg N < deg F$ और $Q(x) = (x − α)^{r} S(x)$ पैदावार $S(α) ≠ 0$. इस तरह,

$$\frac{3x + 5}{(1-2x)^2} = \frac{13/2}{(1-2x)^2} + \frac{-3/2}{(1-2x)}.$$

अवशेष विधि
सम्मिश्र संख्याओं में, मान लीजिए कि f(x) एक परिमेय उचित भिन्न है, और इसे विघटित किया जा सकता है

$$f(x) = \sum_i \left( \frac{a_{i1}}{x - x_i} + \frac{a_{i2}}{( x - x_i)^2} + \cdots + \frac{a_{i k_i}}{(x - x_i)^{k_i}} \right). $$ होने देना $$ g_{ij}(x) = (x - x_i)^{j-1}f(x),$$ फिर लॉरेंट श्रृंखला # Uniqueness के अनुसार, aij पद का गुणांक है $α$ जी के लॉरेंट विस्तार मेंij(x) बिंदु x के बारे मेंi, यानी, इसका अवशेष (जटिल विश्लेषण) $$a_{ij} = \operatorname{Res}(g_{ij},x_i).$$ यह सीधे सूत्र द्वारा दिया गया है $$a_{ij} = \frac 1 {(k_i-j)!}\lim_{x\to x_i}\frac{d^{k_i-j}}{dx^{k_i-j}} \left((x-x_i)^{k_i} f(x)\right),$$ या विशेष मामले में जब xi सरल जड़ है, $$a_{i1}=\frac{P(x_i)}{Q'(x_i)},$$ कब $$f(x)=\frac{P(x)}{Q(x)}.$$

वास्तविक से अधिक
आंशिक अंशों का उपयोग वास्तविक संख्या में किया जाता है। तर्कसंगत कार्यों के वास्तविक-मूल्यवान प्रतिपक्षी को खोजने के लिए वास्तविक-चर अभिन्न कलन। वास्तविक तर्कसंगत कार्यों के आंशिक अंश अपघटन का उपयोग उनके व्युत्क्रम लाप्लास रूपांतरणों को खोजने के लिए भी किया जाता है। वास्तविक पर आंशिक अंश अपघटन के अनुप्रयोगों के लिए, देखें


 * # ऊपर प्रतीकात्मक एकीकरण के लिए आवेदन
 * लाप्लास में आंशिक अंश रूपांतरित होते हैं

सामान्य परिणाम
मान लीजिए f(x) वास्तविक संख्याओं पर कोई परिमेय फलन है। दूसरे शब्दों में, मान लीजिए कि वास्तविक बहुपद फलन p(x) और q(x) ≠ 0 मौजूद हैं, जैसे कि $$f(x) = \frac{p(x)}{q(x)}$$ क्यू(एक्स) के अग्रणी गुणांक द्वारा अंश और हर दोनों को विभाजित करके, हम व्यापकता के नुकसान के बिना मान सकते हैं कि क्यू(एक्स) एकात्मक बहुपद है। बीजगणित के मौलिक प्रमेय से हम लिख सकते हैं

$$q(x) = (x-a_1)^{j_1}\cdots(x-a_m)^{j_m}(x^2+b_1x+c_1)^{k_1}\cdots(x^2 + b_n x + c_n)^{k_n}$$ जहाँ एक1,..., एm, बी1,..., बीn, सी1,..., सीn b के साथ वास्तविक संख्याएँ हैंi2 − 4ci <0, और जे1,..., जेm, क1,..., कn सकारात्मक पूर्णांक हैं। शर्तें (एक्स - एi) q(x) के रैखिक कारक हैं जो q(x) की वास्तविक जड़ों और शर्तों (xi2 + बीiएक्स + सीi) q(x) के अलघुकरणीय द्विघात कारक हैं जो q(x) की जटिल संख्या संयुग्मी जड़ों के जोड़े के अनुरूप हैं।

तब f(x) का आंशिक अंश अपघटन निम्न है:

$$f(x) = \frac{p(x)}{q(x)} = P(x) + \sum_{i=1}^m\sum_{r=1}^{j_i} \frac{A_{ir}}{(x-a_i)^r} + \sum_{i=1}^n\sum_{r=1}^{k_i} \frac{B_{ir}x+C_{ir}}{(x^2+b_ix+c_i)^r}$$ यहाँ, P(x) एक (संभवतः शून्य) बहुपद है, और Air, बीir, और सीir वास्तविक स्थिरांक हैं। स्थिरांकों को खोजने के कई तरीके हैं।

सामान्य भाजक q(x) से गुणा करना सबसे आसान तरीका है। इसके बाद हम बहुपदों का एक समीकरण प्राप्त करते हैं जिसका बायाँ पक्ष केवल p(x) है और जिसके दाएँ पक्ष में गुणांक हैं जो स्थिरांक A के रैखिक व्यंजक हैं।ir, बीir, और सीir. चूंकि दो बहुपद समान हैं यदि और केवल यदि उनके संगत गुणांक समान हैं, तो हम समान पदों के गुणांकों की बराबरी कर सकते हैं। इस तरह, रैखिक समीकरणों की एक प्रणाली प्राप्त होती है जिसका हमेशा एक अनूठा समाधान होता है। यह समाधान रैखिक बीजगणित के किसी भी मानक तरीके का उपयोग करके पाया जा सकता है। यह सीमा (गणित) के साथ भी पाया जा सकता है (देखें #उदाहरण 5 (सीमा विधि))।

उदाहरण 1
$$f(x)=\frac{1}{x^2+2x-3}$$ यहाँ, भाजक दो अलग-अलग रैखिक कारकों में विभाजित होता है:

$$q(x)=x^2+2x-3=(x+3)(x-1)$$ इसलिए हमारे पास आंशिक अंश अपघटन है

$$f(x)=\frac{1}{x^2+2x-3} =\frac{A}{x+3}+\frac{B}{x-1}$$ बायीं ओर के हर से गुणा करने पर बहुपद सर्वसमिका प्राप्त होती है

$$1=A(x-1)+B(x+3)$$ इस समीकरण में x = −3 को प्रतिस्थापित करने पर A = −1/4 प्राप्त होता है, और x = 1 को प्रतिस्थापित करने पर B = 1/4 प्राप्त होता है, ताकि

$$f(x) =\frac{1}{x^2+2x-3} =\frac{1}{4}\left(\frac{-1}{x+3}+\frac{1}{x-1}\right)$$

उदाहरण 2
$$f(x)=\frac{x^3+16}{x^3-4x^2+8x}$$ बहुपद लंबे विभाजन के बाद, हमारे पास है

$$f(x)=1+\frac{4x^2-8x+16}{x^3-4x^2+8x}=1+\frac{4x^2-8x+16}{x(x^2-4x+8)}$$ कारक एक्स2 − 4x + 8 अपने विविक्तकर के रूप में वास्तविक से कम नहीं किया जा सकता है $Q(x)$ नकारात्मक है। इस प्रकार वास्तविक पर आंशिक अंश अपघटन का आकार होता है

$$\frac{4x^2-8x+16}{x(x^2-4x+8)}=\frac{A}{x}+\frac{Bx+C}{x^2-4x+8}$$ x से गुणा करना3 − 4x2 + 8x, हमारे पास बहुपद सर्वसमिका है

$$4x^2-8x+16 = A \left(x^2-4x+8\right) + \left(Bx+C\right)x$$ x = 0 लेने पर, हम देखते हैं कि 16 = 8A, इसलिए A = 2. x की तुलना करने पर2 गुणांक, हम देखते हैं कि 4 = A + B = 2 + B, इसलिए B = 2। रैखिक गुणांकों की तुलना करने पर, हम देखते हैं कि −8 = −4A + C = −8 + C, इसलिए C = 0। कुल मिलाकर,

$$f(x)=1+2\left(\frac{1}{x}+\frac{x}{x^2-4x+8}\right)$$ जटिल संख्याओं का उपयोग करके अंश को पूरी तरह से विघटित किया जा सकता है। बीजगणित के मौलिक प्रमेय के अनुसार डिग्री एन के प्रत्येक जटिल बहुपद में एन (जटिल) जड़ें होती हैं (जिनमें से कुछ को दोहराया जा सकता है)। दूसरे अंश को विघटित किया जा सकता है:

$$\frac{x}{x^2-4x+8}=\frac{D}{x-(2+2i)}+\frac{E}{x-(2-2i)}$$ हर से गुणा करने पर मिलता है:

$$x=D(x-(2-2i))+E(x-(2+2i)) $$ के गुणांकों की बराबरी करना $(x − α)$ और स्थिर (के संबंध में $S(x) = 1$) इस समीकरण के दोनों पक्षों के गुणांक, हमें दो रैखिक समीकरणों की एक प्रणाली मिलती है $(3x + 5)/(1 − 2x)^{2}$ और $3x + 5 = A + B(1 − 2x)$, जिसका समाधान है

$$D=\frac{1+i}{2i}=\frac{1-i}{2}, \qquad E=\frac{1-i}{-2i}=\frac{1+i}{2}.$$ इस प्रकार हमारे पास पूर्ण अपघटन है:

$$f(x)=\frac{x^3+16}{x^3-4x^2+8x}=1+\frac{2}{x}+\frac{1-i}{x-(2+2i)}+\frac{1+i}{x-(2-2i)}$$ कोई सीधे गणना भी कर सकता है $x$ और $5 = A + B$ अवशेष विधि के साथ (नीचे उदाहरण 4 भी देखें)।

उदाहरण 3
यह उदाहरण लगभग सभी तरकीबें दिखाता है जिनका हमें उपयोग करने की आवश्यकता हो सकती है, कंप्यूटर बीजगणित प्रणाली से परामर्श करने से कम।

$$f(x)=\frac{x^9-2x^6+2x^5-7x^4+13x^3-11x^2+12x-4}{x^7-3x^6+5x^5-7x^4+7x^3-5x^2+3x-1}$$ बहुपद दीर्घ विभाजन और बहुपद गुणनखंडन के बाद हर, हमारे पास है

$$f(x)=x^2+3x+4+\frac{2x^6-4x^5+5x^4-3x^3+x^2+3x}{(x-1)^3(x^2+1)^2}$$ आंशिक अंश अपघटन रूप लेता है

$$\frac{2x^6-4x^5+5x^4-3x^3+x^2+3x}{(x-1)^3(x^2+1)^2} = \frac{A}{x-1}+\frac{B}{(x-1)^2}+\frac{C}{(x-1)^3}+\frac{Dx+E}{x^2+1}+\frac{Fx+G}{(x^2+1)^2}.$$ बायीं ओर के हर से गुणा करने पर हमें बहुपद सर्वसमिका प्राप्त होती है

$$\begin{align} &2x^6 - 4x^5 + 5x^4 - 3x^3 + x^2 + 3x \\[4pt] ={}&A\left(x-1\right)^2 \left(x^2+1\right)^2+B\left(x-1\right)\left(x^2+1\right)^2 +C\left(x^2+1\right)^2 + \left(Dx+E\right)\left(x-1\right)^3\left(x^2+1\right)+\left(Fx+G\right)\left(x-1\right)^3 \end{align}$$ अब हम गुणांकों की गणना करने के लिए x के विभिन्न मानों का उपयोग करते हैं:

$$\begin{cases} 4 = 4C & x =1 \\ 2 + 2i = (Fi + G) (2+ 2i) & x = i \\ 0 = A- B +C - E - G & x = 0 \end{cases}$$ इसका समाधान हमारे पास है:

$$\begin{cases} C = 1 \\ F =0, G =1 \\ E = A-B\end{cases}$$ इन मानों का उपयोग करके हम लिख सकते हैं:

$$\begin{align} &2x^6-4x^5+5x^4-3x^3+x^2+3x \\[4pt] ={}& A\left(x-1\right)^2 \left(x^2+1\right)^2 + B\left(x-1\right)\left(x^2+1\right)^2 + \left(x^2 + 1\right)^2 + \left(Dx + \left(A-B\right)\right)\left(x-1\right)^3 \left(x^2+1\right) + \left(x-1\right)^3 \\[4pt] ={}& \left(A + D\right) x^6 + \left(-A - 3D\right) x^5 + \left(2B + 4D + 1\right) x^4 + \left(-2B - 4D + 1\right) x^3 + \left(-A + 2B + 3D - 1\right) x^2 + \left(A - 2B - D + 3\right) x \end{align}$$ हम x के गुणांकों की तुलना करते हैं6 और x5 दोनों तरफ और हमारे पास:

$$\begin{cases} A+D=2 \\ -A-3D = -4 \end{cases} \quad \Rightarrow \quad A= D = 1.$$ इसलिए:

$$2x^6-4x^5+5x^4-3x^3+x^2+3x = 2x^6 -4x^5 + (2B + 5) x^4 + (-2B - 3) x^3 + (2B +1) x^2 + (- 2B + 3) x$$ जो हमें B = 0 देता है। इस प्रकार आंशिक अंश अपघटन द्वारा दिया जाता है:

$$f(x)=x^2+3x+4+\frac{1}{(x-1)} + \frac{1}{(x - 1)^3} + \frac{x + 1}{x^2+1}+\frac{1}{(x^2+1)^2}.$$ वैकल्पिक रूप से, विस्तार करने के बजाय, कुछ डेरिवेटिव्स की गणना करने वाले गुणांक पर अन्य रैखिक निर्भरता प्राप्त कर सकते हैं $$x = 1, \imath$$ उपरोक्त बहुपद पहचान में। (इसके लिए, याद रखें कि x = a का अवकलज (x - a)mp(x) गायब हो जाता है यदि m > 1 और m = 1 के लिए सिर्फ p(a) है।) उदाहरण के लिए x = 1 पर पहला व्युत्पन्न देता है

$$ 2\cdot6-4\cdot5+5\cdot4-3\cdot3+2+3  = A\cdot(0+0) + B\cdot( 4+ 0) + 8 + D\cdot0 $$ यानी 8 = 4B + 8 तो B = 0।

उदाहरण 4 (अवशेष विधि)
$$ f(z)=\frac{z^{2}-5}{(z^2-1)(z^2+1)}=\frac{z^{2}-5}{(z+1)(z-1)(z+i)(z-i)}$$ इस प्रकार, f(z) को परिमेय कार्यों में विघटित किया जा सकता है जिनके हर z+1, z−1, z+i, z−i हैं। चूँकि प्रत्येक पद की घात एक है, −1, 1, −i और i सरल ध्रुव हैं।

इसलिए, प्रत्येक ध्रुव से जुड़े अवशेष, द्वारा दिए गए हैं $$\frac{P(z_i)}{Q'(z_i)} = \frac{z_i^2 - 5}{4z_i^3},$$ हैं $$ 1, -1, \tfrac{3i}{2}, -\tfrac{3i}{2},$$ क्रमशः, और

$$ f(z)=\frac{1}{z+1}-\frac{1}{z-1}+\frac{3i}{2}\frac{1}{z+i}-\frac{3i}{2}\frac{1}{z-i}. $$

उदाहरण 5 (सीमा विधि)
आंशिक अंश अपघटन खोजने के लिए सीमा (गणित) का उपयोग किया जा सकता है। निम्नलिखित उदाहरण पर विचार करें:

$$ \frac{1}{x^3 - 1}$$ सबसे पहले, भाजक का गुणनखंड करें जो अपघटन को निर्धारित करता है:

$$ \frac{1}{x^3 - 1} = \frac{1}{(x - 1)(x^2 + x + 1)} = \frac{A}{x - 1} + \frac{Bx + C}{x^2 + x + 1}.$$ से गुणा करना $$x-1$$, और जब सीमा ले रहा है $$x \to 1$$, हम पाते हैं

$$\lim_{x \to 1} \left((x-1)\left ( \frac{A}{x-1} + \frac{Bx + C}{x^2 + x + 1} \right )\right) = \lim_{x \to 1} A + \lim_{x \to 1}\frac{(x-1)(Bx + C)}{x^2 + x + 1} =A.$$ वहीं दूसरी ओर,

$$\lim_{x \to 1} \frac{(x-1)}{(x - 1)(x^2 + x + 1)} = \lim_{x \to 1}\frac{1}{x^2 + x + 1} = \frac13,$$ और इस तरह:

$$A = \frac{1}{3}.$$ से गुणा करना $3x = −2Bx$ और जब सीमा ले रहा है $$x \to \infty$$, अपने पास

$$\lim_{x \to \infty} x\left( \frac{A}{x-1} + \frac{Bx + C}{x^2 + x + 1} \right )= \lim_{x \to \infty} \frac{Ax}{x-1} + \lim_{x \to \infty} \frac{Bx^2+Cx}{x^2+x+1}= A+B,$$ और

$$\lim_{x \to \infty} \frac{x}{(x - 1)(x^2 + x + 1)} =0.$$ यह संकेत करता है $A$ इसलिए $$B = -\frac{1}{3}$$.

के लिए $B$, हम पाते हैं $$-1 = -A + C,$$ और इस तरह  $$C = -\tfrac{2}{3}$$.

सब कुछ एक साथ रखकर, हम अपघटन प्राप्त करते हैं

$$\frac{1}{x^3 -1} = \frac{1}{3} \left( \frac{1}{x - 1} + \frac{-x -2}{x^2 + x + 1} \right ).$$

उदाहरण 6 (अभिन्न)
मान लीजिए हमारे पास अनिश्चितकालीन अभिन्न है:

$$\int \frac{x^4+x^3+x^2+1}{x^2+x-2} \,dx$$ अपघटन करने से पहले, यह स्पष्ट है कि हमें बहुपद लंबे विभाजन और भाजक का गुणनखंडन करना चाहिए। ऐसा करने का परिणाम होगा:

$$\int \left(x^2 + 3 + \frac{-3x+7}{(x+2)(x-1)}\right) dx$$ इस पर, अब हम आंशिक अंश अपघटन कर सकते हैं।

$$\int \left(x^2+3+ \frac{-3x+7}{(x+2)(x-1)}\right) dx = \int \left(x^2+3+ \frac{A}{(x+2)}+\frac{B}{(x-1)}\right) dx$$ इसलिए: $$A(x-1)+B(x+2)=-3x+7$$. हमारे मानों को प्रतिस्थापित करने पर, इस मामले में, जहाँ x=1 को B के लिए हल करना है और x=-2 को A के लिए हल करना है, हम इसका परिणाम प्राप्त करेंगे:

$$A=\frac{-13}{3} \, B=\frac{4}{3} $$ यह सब वापस हमारे अभिन्न अंग में प्लग करने से हमें उत्तर खोजने की अनुमति मिलती है:

$$\int \left(x^2+3+ \frac{-13/3}{(x+2)}+\frac{4/3}{(x-1)}\right) \,dx = \frac{x^3}{3} \ + 3x-\frac{13}{3} \ln(|x+2|)+\frac{4}{3} \ln(|x-1|)+C $$

टेलर बहुपद की भूमिका
एक परिमेय फलन का आंशिक अंश अपघटन टेलर के प्रमेय से निम्नानुसार संबंधित हो सकता है। होने देना

$$P(x), Q(x), A_1(x),\ldots, A_r(x)$$ वास्तविक या जटिल बहुपद हो ये मान लीजिए

$$Q=\prod_{j=1}^{r}(x-\lambda_j)^{\nu_j},$$ संतुष्ट $$\deg A_1<\nu_1, \ldots, \deg A_r<\nu_r, \quad \text{and} \quad \deg(P)<\deg(Q)=\sum_{j=1}^{r}\nu_j.$$ परिभाषित भी करें

$$Q_i=\prod_{j\neq i}(x-\lambda_j)^{\nu_j}=\frac{Q}{(x-\lambda_i)^{\nu_i}}, \qquad 1 \leqslant i \leqslant r.$$ तो हमारे पास हैं

$$\frac{P}{Q}=\sum_{j=1}^{r}\frac{A_j}{(x-\lambda_j)^{\nu_j}}$$ यदि, और केवल यदि, प्रत्येक बहुपद $$A_i(x)$$ का टेलर बहुपद है $$\tfrac{P}{Q_i}$$ आदेश की $$\nu_i-1$$ बिंदु पर $$\lambda_i$$:

$$A_i(x):=\sum_{k=0}^{\nu_i-1} \frac{1}{k!}\left(\frac{P}{Q_i}\right)^{(k)}(\lambda_i)\ (x-\lambda_i)^k. $$ टेलर का प्रमेय (वास्तविक या जटिल मामले में) तब आंशिक अंश अपघटन के अस्तित्व और विशिष्टता का प्रमाण प्रदान करता है, और गुणांकों का लक्षण वर्णन करता है।

प्रमाण का रेखाचित्र
उपरोक्त आंशिक अंश अपघटन का अर्थ है, प्रत्येक 1 ≤ i ≤ r के लिए, एक बहुपद विस्तार

$$\frac{P}{Q_i}=A_i + O((x-\lambda_i)^{\nu_i}), \qquad \text{for } x\to\lambda_i,$$ इसलिए $$A_i$$ का टेलर बहुपद है $$\tfrac{P}{Q_i}$$, क्रम के बहुपद विस्तार की एकता के कारण $$\nu_i-1$$, और धारणा से $$\deg A_i<\nu_i$$.

इसके विपरीत, यदि $$A_i$$ टेलर बहुपद हैं, प्रत्येक पर उपरोक्त विस्तार $$\lambda_i$$ पकड़ो, इसलिए हमारे पास भी है

$$P-Q_i A_i = O((x-\lambda_i)^{\nu_i}), \qquad \text{for } x\to\lambda_i,$$ जिसका अर्थ है कि बहुपद $$ P-Q_iA_i$$ से विभाज्य है $$ (x-\lambda_i)^{\nu_i}.$$ के लिए $$ j\neq i, Q_jA_j$$ से विभाज्य भी है $$(x-\lambda_i)^{\nu_i}$$, इसलिए

$$ P- \sum_{j=1}^{r}Q_jA_j$$ से विभाज्य है $$Q$$. तब से

$$ \deg\left( P- \sum_{j=1}^{r}Q_jA_j \right) < \deg(Q)$$ हमारे पास है

$$ P- \sum_{j=1}^{r}Q_jA_j=0,$$ और हम आंशिक अंश अपघटन को विभाजित करके पाते हैं $$ Q$$.

पूर्णांकों के अंश
आंशिक अंशों के विचार को अन्य अभिन्न डोमेनों के लिए सामान्यीकृत किया जा सकता है, जैसे कि पूर्णांकों की अंगूठी जहां अभाज्य संख्याएँ अलघुकरणीय भाजक की भूमिका लेती हैं। उदाहरण के लिए:

$$\frac{1}{18} = \frac{1}{2} - \frac{1}{3} - \frac{1}{3^2}. $$

बाहरी कड़ियाँ

 * Make partial fraction decompositions with Scilab.
 * Make partial fraction decompositions with Scilab.
 * Make partial fraction decompositions with Scilab.