|
Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat. |
En àlgebra, la descomposició en fraccions parcials és un mètode que s'utilitza per reduir el grau del numerador o del denominador (només un dels dos) d'una funció racional. Simbòlicament, es pot fer servir la descomposició en fraccions parcials per canviar una funció racional de la forma
on ƒ i g són polinomis, en una funció de la forma
on gj (x) són polinomis que són factors de g(x) i, en general, són de grau inferior.
La descomposició en fraccions parcials es pot considerar, doncs, com el procediment invers de l'operació més elemental d'addició de fraccions, la qual dona com a resultat una única funció racional amb un numerador i denominador normalment de grau més elevat. La descomposició completa en fraccions parcials va fins al final, és a dir, es factoritza g tant com sigui possible. El resultat obtingut en aquest cas expressa la funció original com una suma de fraccions on:
- el denominador de cada terme és la potència d'un polinomi irreductible no factoritzable, i
- el numerador de cada terme és un polinomi de grau inferior que el polinomi irreductible.
La motivació principal per descompondre una funció racional en una suma de fraccions més simples és que llavors és més fàcil dur a terme operacions lineals. És per això, doncs, que el problema de calcular derivades, antiderivades, integrals, sèries de potències, sèries de Fourier, residus i transformacions lineals es pot reduir gràcies a la descomposició en fraccions parcials, de tal manera que es faci el càlcul sobre cada element en comptes de fer-ho sobre l'element original. Vegeu, per exemple, Integració de fraccions racionals.
La decisió de quins polinomis són irreductibles depèn de quin cos d'escalars s'adopti. Si es treballa amb nombres reals, llavors els polinomis irreductibles són de grau 1 o 2. Si es permeten nombres complexos, només els polinomis de primer grau són irreductibles. Finalment, si es permeten només nombres racionals, o un cos finit, llavors els graus dels polinomis irreductibles poden ser més elevats.
Donats dos polinomis i , on les αi són diferents constants i el grau P < n, les fraccions parcials generalment s'obtenen suposant que
i resolent per les constants ci (per substitució) igualant els coeficients de termes que van acomponyats de les potències de x. Es tracta, de fet, d'una variant del mètode dels coeficients indeterminats.
Un càlcul més directe molt relacionat amb la interpolació polinòmica de Lagrange consisteix a escriure
on és la derivada del polinomi .
Aquesta aproximació es pot modificar perquè s'ajusti a molts altres casos:
- Si grau P grau Q, llavors és necessari fer la divisió euclidiana de P per Q (vegeu Divisió de polinomis), la qual cosa dona P(x) = E(x) Q(x) + R(x) amb grau R < n. Dividint per Q(x) s'obté
- i llavors s'intenten buscar les fraccions parcials per la fracció residu (que, per definició, satisfà grau R < grau Q).
- Si Q(x) conté factors que són irreductibles en el cos donat, llavors el numerador N(x) de cada fracció parcial amb tal factor F(x) al denominador s'ha de buscar com un polinomi amb grau N < grau F, i no pas com una constant. Per exemple, si es pren la següent descomposició sobre R:
- Se suposa Q(x) = (x − α)rS(x) i S(α) ≠ 0. Llavors Q(x) té un zero α de multiplicitat r, i en la descomposició en fraccions parcials, r fraccions parcials involucraran les potències de (x − α). Per exemple, si es pren S(x) = 1 s'obté la següent descomposició:
Per exemplificar l'aplicació d'aquest procediment, (3x + 5)/(1 − 2x)² es pot descompondre en la forma
Si se simplifiquen els denominadors s'obté que 3x + 5 = A + B(1 − 2x). Desenvolupant aquesta igualtat i igualant els coeficients de les potències de x s'obté:
Resolent el sistema d'equacions per A i B s'obté el resultat A = 13/2 i B = −3/2. Llavors
Se suposa, sobre els nombres complexos, que ƒ(x) és una fracció racional pròpia, i es pot descompondre en
Sigui
llavors, segons la unicitat de la sèrie de Laurent, aij és el coeficient del terme (x − xi)−1 en l'expansió de Laurent de gij(x) en el punt xi, és a dir, el seu residu.
Això ve donat directament per la fórmula
o en el cas especial que xi és una arrel simple,
quan
Cal notar que P(x) i Q(x) poden ser, o no, polinomis.
El denominador se separa en dos factors lineals diferents:
S'obté la descomposició en fraccions parcials:
Si es multiplica a la dreta per x² + 2x - 3, s'obté la identitat polinomial:
Substituint x = -3 en aquesta equació s'obté A = -1/4, i substituint x = 1 s'obté B = 1/4, de tal manera que
S'efectua la divisió de polinomis i s'obté:
Com que (−4)² − 4(8) = −16 < 0, x² − 4x + 8 és irreductible, i per tant:
Si es passa a multiplicar x3 − 4x² + 8x a la dreta, s'obté la identitat polinomial:
Prenent x = 0, es pot veure que 16 = 8A, so A = 2. Comparant els coeficients de x², s'obté que 4 = A + B = 2 + B, per la qual cosa B = 2. Comparant els coeficients lineals (dit d'una altra manera, de x0) s'obté que −8 = −4A + C = −8 + C, i per tant C = 0. Ajuntant-ho tot:
Després de fer la divisió i factoritzar, s'obté:
La descomposició en fraccions parcials pren la forma següent:
Multiplicant a les dues bandes per (x − 1)3(x² + 1)² s'obté la identitat polinomial:
Prenent x = 1 es té 4 = 4C, i per tant C = 1. D'una manera similar, prenent x = i s'obté 2 + 2i = (Fi + G)(2 + 2i), de tal manera que Fi + G = 1, per tant F = 0 i G = 1 (igualant les parts reals i complexes). Amb C = G = 1 i F = 0, prenent x = 0 s'obté A - B + 1 - E - 1 = 0, i per tant E = A - B.
Ara es té la identitat:
Si s'expandeix i s'ordena segons l'exponent de x s'obté:
Ara es poden comparar els coeficients i veure que:
Amb A = 2 - D i -A -3 D =-4 s'obté A = D = 1 i, per tant, B = 0; continuant, C = 1, E = A - B = 1, F = 0 i G = 1.
Llavors, la descomposició en fraccions parcials de ƒ(x) és:
Exemple 4 (mètode dels residus)
[modifica]
Per això, f(z) es pot descompondre en funcions racionals els denominadors de les quals són z+1, z-1, z+i, z-i. Com que cada terme és de grau 1, -1, 1, -i i i són pols simples. Llavors, els residus associats amb cada pol, que estan donats per:
Són, respectivament:
I: