आंशिक भिन्न

बीजगणित में, आंशिक भिन्न प्रसार (partial fraction expansion) एक विधि है जो किसी परिमेय भिन्न के अंश या हर के डेग्री (degree) को कम करने के काम आती है।

सांकेतिक रूप में, निम्नलिखित परिमेय भिन्न को आंशिक भिन्नों में तोड़ा जा सकता है-

$\frac{f(x)}{g(x)}$

जहाँ ƒ और g बहुपद (polynomials) है। इसके आंशिक भिन्न निम्नवत होंगे-

$\sum _j\frac{f_j(x)}{g_j(x)}$

जहाँ g_j (x) बहुपद हैं और ये g(x) के गुणखण्ड हैं।

उदाहरण -

$\frac{25}{(x+2)(x^2+1{)}^2}$को आंशिक भिन्नों में बदलकर निम्नलिखित प्रकार से भी लिखा जा सकता है-

$\frac{1}{x+2}+\frac{-x+2}{x^2+1}+\frac{-5x+10}{(x^2+1{)}^2}.$

विधि

माना दिया हुआ भिन्न $R(s)=\frac{P(s)}{Q(s)}$ है तो:

विधि 1

जब दिये हुए भिन्न के हर को $x-a$ जैसे रैखिक गुणनखण्ड हो सकें ; जहाँ n >=1

$R(s)=\frac{P(s)}{(x-a{)}^n}=\frac{A1}{(x-a)}+\frac{A2}{(x-a{)}^2}+...+\frac{An}{(x-a{)}^n}$

विधि 2

जब दिये हुए भिन्न के हर का रैखिक गुणनखण्ड न हो बल्कि $(x-a{)}^2+b^2$ जैसे द्विघात गुणखण्ड हो (जहाँ n >= 1) :

$R(s)=\frac{P(s)}{[(x-a{)}^2+b^2{]}^n}=\frac{A1}{[(x-a{)}^2+b^2]}+\frac{A2}{[(x-a{)}^2+b^2{]}^2}+...+\frac{An}{[(x-a{)}^2+b^2{]}^n}$

उदाहरण

उदाहरण १

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

Here, the denominator splits into two distinct linear factors:

$q(x)=x^2+2x-3=(x+3)(x-1)$

so we have the partial fraction decomposition

$f(x)=\frac{1}{x^2+2x-3}=\frac{A}{x+3}+\frac{B}{x-1}$

Multiplying through by x² + 2x − 3, we have the polynomial identity

$1=A(x-1)+B(x+3)$

Substituting x = −3 into this equation gives A = −1/4, and substituting x = 1 gives B = 1/4, so that

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

उदाहरण २

$f(x)=\frac{x^3+16}{x^3-4x^2+8x}$

After long-division, we have

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

Since (−4)² − 4×8 = −16 < 0, the factor x² − 4x + 8 is irreducible, and the partial fraction decomposition over the reals has the shape

$\frac{4x^2-8x+16}{x(x^2-4x+8)}=\frac{A}{x}+\frac{Bx+C}{x^2-4x+8}$

Multiplying through by x³ − 4x² + 8x, we have the polynomial identity

$4x^2-8x+16=A(x^2-4x+8)+(Bx+C)x$

Taking x = 0, we see that 16 = 8A, so A = 2. Comparing the x² coefficients, we see that 4 = A + B = 2 + B, so B = 2. Comparing linear coefficients, we see that −8 = −4A + C = −8 + C, so C = 0. Altogether,

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

The following example illustrates almost all the "tricks" one would need to use short of consulting a computer algebra system.

उदाहरण ३

$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}$

After long-division and factoring the denominator, we have

$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}$

The partial fraction decomposition takes the form

$\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}$

Multiplying through by (x − 1)³(x² + 1)² we have the polynomial identity

$\begin{array}{cc}& 2x^6-4x^5+5x^4-3x^3+x^2+3x\\ & =A(x-1{)}^2(x^2+1{)}^2+B(x-1)(x^2+1{)}^2+C(x^2+1{)}^2+(Dx+E)(x-1{)}^3(x^2+1)+(Fx+G)(x-1{)}^3\end{array}$

Taking x = 1 gives 4 = 4C, so C = 1. Similarly, taking x = i gives 2 + 2i = (Fi + G)(2 + 2i), so Fi + G = 1, so F = 0 and G = 1 by equating real and imaginary parts. With C = G = 1 and F = 0, taking x = 0 we get A − B + 1 − E − 1 = 0, thus E = A − B.

We now have the identity

$\begin{array}{cc}& 2x^6-4x^5+5x^4-3x^3+x^2+3x\\ & =A(x-1{)}^2(x^2+1{)}^2+B(x-1)(x^2+1{)}^2+(x^2+1{)}^2+(Dx+(A-B))(x-1{)}^3(x^2+1)+(x-1{)}^3\\ & =A((x-1{)}^2(x^2+1{)}^2+(x-1{)}^3(x^2+1))+B((x-1)(x^2+1)-(x-1{)}^3(x^2+1))+(x^2+1{)}^2+Dx(x-1{)}^3(x^2+1)+(x-1{)}^3\end{array}$

Expanding and sorting by exponents of x we get

$\begin{array}{cc}& 2x^6-4x^5+5x^4-3x^3+x^2+3x\\ & =(A+D)x^6+(-A-3D)x^5+(2B+4D+1)x^4+(-2B-4D+1)x^3+(-A+2B+3D-1)x^2+(A-2B-D+3)x\end{array}$

We can now compare the coefficients and see that

$\begin{array}{ccc}A+D& =& 2\\ -A-3D& =& -4\\ 2B+4D+1& =& 5\\ -2B-4D+1& =& -3\\ -A+2B+3D-1& =& 1\\ A-2B-D+3& =& 3,\end{array}$

with A = 2 − D and −A −3 D =−4 we get A = D = 1 and so B = 0, furthermore is C = 1, E = A − B = 1, F = 0 and G = 1.

The partial fraction decomposition of ƒ(x) is thus

$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}.$

Alternatively, instead of expanding, one can obtain other linear dependences on the coefficients computing some derivatives at x=1 and at x=i in the above polynomial identity. (To this end, recall that the derivative at x=a of (x−a)^mp(x) vanishes if m > 1 and it is just p(a) if m=1.) Thus, for instance the first derivative at x=1 gives

$2\cdot 6-4\cdot 5+5\cdot 4-3\cdot 3+2+3=A\cdot (0+0)+B\cdot (4+0)+8+D\cdot 0$

that is 8 = 4B + 8 so B=0.

उदाहरण ४ (residue method)

$f(z)=\frac{z^2-5}{(z^2-1)(z^2+1)}=\frac{z^2-5}{(z+1)(z-1)(z+i)(z-i)}$

Thus, f(z) can be decomposed into rational functions whose denominators are z+1, z−1, z+i, z−i. Since each term is of power one, −1, 1, −i and i are simple poles.

Hence, the residues associated with each pole, given by

$\frac{P(z_i)}{Q^{\prime }(z_i)}=\frac{z_i^2-5}{4z_i^3}$,

are

$1,-1,\frac{3i}{2},-\frac{3i}{2}$,

respectively, and

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

उदाहरण ५ (limit method)

Limits can be used to find a partial fraction decomposition.

$f(x)=\frac{1}{x^3-1}$

First, factor the denominator:

$f(x)=\frac{1}{(x-1)(x^2+x+1)}$

The decomposition takes the form of

$\frac{1}{(x-1)(x^2+x+1)}=\frac{A}{x-1}+\frac{Bx+C}{x^2+x+1}$

As $x\to 1$, the A term dominates, so the right-hand side approaches $\frac{A}{x-1}$. Thus, we have

$\frac{1}{(x-1)(x^2+x+1)}=\frac{A}{x-1}$

$A=\underset{x\to 1}{\lim }\frac{1}{x^2+x+1}=\frac{1}{3}$

As $x\to \mathrm{\infty }$, the right-hand side is

$\underset{x\to \mathrm{\infty }}{\lim }\frac{A}{x-1}+\frac{Bx+C}{x^2+x+1}=\frac{A}{x}+\frac{Bx}{x^2}=\frac{A+B}{x}.$

$\frac{A+B}{x}=\underset{x\to \mathrm{\infty }}{\lim }\frac{1}{x^3-1}=0$

Thus, $B=-\frac{1}{3}$.

At $x=0$, $-1=-A+C$. Therefore, $C=-\frac{2}{3}$.

The decomposition is thus $\frac{\frac{1}{3}}{x-1}+\frac{-\frac{1}{3}x-\frac{2}{3}}{x^2+x+1}$.

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

• साँचा:MathWorld