Scientia et Technica Ao XII, No 31, Agosto de 2006 UTP.

ISSN 0122-1701

259

DESCOMPOSICIN EN FRACCIONES PARCIALES

RESUMEN En este artculo se estudia el mtodo de Heaviside para descomponer una fraccin propia f ( x) = p( x) / q( x) , es decir, p y q son polinomios, y grado( p( x)) < grado(q ( x)) . Este tipo de descomposicin se utiliza en el clculo de integrales de funciones racionales y para encontrar algunas transformadas inversas de Laplace y se basa en un teorema del lgebra avanzada, el cual establece que cada funcin racional, sin importar que tan complicada sea, puede rescribirse como una suma de fracciones ms simples, 5x 3 2 3 por ejemplo 2 . = + x +1 x 3 x 2x 3 PALABRAS CLAVES: Fraccin propia., fracciones parciales. ABSTRACT This paper studies the Heaviside method for decomposing an own fraction f ( x) = p( x) / q( x) . That is to say, p and q are polynomials and deg ree( p( x)) < deg ree(q( x)) . This type of decomposition is used to calculate integrals of rational functions and to find some inverse Laplace transforms and its based in a theorem of advanced algebra, which it establishes that each rational function, no matter what complicated it was, can rewrites as a sum of fractions most simples, by example 5x 3 2 3 . = + 2 x +1 x 3 x 2x 3 KEYWORDS: Own fraction, partial fractions. 1. INTRODUCCIN. La descomposicin en fracciones parciales de una fraccin propia es un procedimiento utilizado muy frecuentemente cuando se va hallar una antiderivada de una funcin racional o cuando se quiere encontrar la transformada inversa de Laplace. En la mayora de los textos de Clculo no se hace un tratamiento detallado de este tema. En [3] se hacen algunas observaciones sobre el mtodo de Heaviside, pero no se profundiza. Este tema se encuentra desarrollado en [1] y [2] de una manera ms formal, de donde se ha tomado y se ha ampliado. En este artculo se asume que los polinomios p(x) y q(x) tienen coeficientes reales. 2. CONTENIDO. Empezamos el desarrollo considerando los posibles caso que se presentan en la factorizacin de q(x) . 2.1. Mtodo algebraico Este es el mtodo ms comnmente utilizado. continuacin se analizan los casos posibles. A Ejemplo 1. Calcule CASO 1. x = a es una raz real simple de q(x) , es decir, q( x) = ( x a )t a ( x) , con t a (a) 0 . Entonces existe una funcin wa 1 tal que A + wa ( x ) , f ( x) = xa y A se calcula de la siguiente manera: ALEJANDRO MARTNEZ A. Licenciado en Educacin con Especialidad en Matemticas. Profesor Auxiliar Universidad Tecnolgica de Pereira. amartinez@utp.edu.co

(1)

Paso 1. Se multiplica en ambos lados de (1) por x a para obtener

p ( x) = A + ( x a ) wa ( x) . t a ( x)
Paso 2. Se asigna a x el valor de a, de donde
A= p(a) t a (a )

Este procedimiento se repite para cada raz simple de q(x).

x +1
3

+ x 2 6x

dx .

Los ndices en las funciones

ta

wa

se usan para indicar que

dichas funciones dependen de la raz a. Fecha de Recepcin: 31 Enero de 2006 Fecha de Aceptacin: 04 Mayo de 2006

260 Solucin. Hay que encontrar la descomposicin en x +1 fracciones parciales de f ( x) = 3 . Es decir, x + x 2 6x hay que hallar constantes A, B y C tales que
f ( x) = A B C . + + x x2 x+3
3 2

Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

Paso 4. Se efectan los clculos en el lado derecho para obtener un polinomio Paso 5. Se igualan los coeficientes de las potencias correspondientes de x y se resuelven las ecuaciones resultantes para los coeficientes Am1 , , A2 , A1 . CASO 3. Si x = a = + i es una raz compleja simple. En este caso tambin lo es x = a = i ,

Como p ( x) = x + 1 y q( x) = x + x 6 x . Al factorizar q(x) se tiene q( x) = x( x 2)( x + 3) . Luego,

p(0) 0 +1 1 = = , t 0 (0) (0 + 3)(0 2) 6 p(3) 2 +1 3 B= = = , t 2 (2) 2(2 + 3) 10 A=

puesto que q(x) tiene coeficientes reales. Es decir,

q ( x) = [( x ) 2 + 2 ] t a ( x) . Entonces

f ( x) =

A( x ) + B (x ) 2 + 2

+ wa ( x) ,

(3)

en donde A y B se calculan de la siguiente manera

Paso1. Se multiplica en ambos lados de (3) por ( x ) 2 + 2 para obtener
p( x) = A( x ) + B + [( x ) 2 + 2 ] wa ( x) t a ( x)

C=

3 + 1 2 p(3) = = , 15 t 3 (3) 3(3 2)

Luego

f ( x) = Por lo tanto,

1 3 2 + . 6 x 10( x 2) 15( x + 3)

Paso 2. Se asigna a x el valor de , de donde

B= p( ) 2 wa ( ) . t a ( )

f ( x)dx = 6 ln x + 10 ln x 2 15 ln x + 3 + C
1 3 2

Paso 3. Se asigna otro valor de x y se despeja A. CASO 4. Si x = a = + i es una raz compleja doble. En este caso tambin lo es x = a = i . Es decir,
q( x) = [( x ) 2 + 2 ] t a ( x) . Entonces A( x ) + B [( x ) + ]
2 2 2

CASO 2. Si x = a es una raz real de multiplicidad

m > 1 de q(x), es decir, q ( x) = ( x a ) m t a ( x) . Entonces f ( x) = Am ( x a)
m

( x a) A + 1 , xa

Am 1
m 1

A2 ( x a)
2

(2)

f ( x) =

C(x ) + D (x ) 2 + 2

+ wa ( x) , (4)

en donde A, B, C y D se calculan de la siguiente manera

Paso 1. Se multiplica a ambos lados de (4) por [( x ) 2 + 2 ] 2 para obtener
p( x) = A( x ) + B t a ( x) + [( x ) 2 + 2 ] [C ( x ) + ] + [( x ) 2 + 2 ] 2 wa ( x)

en donde Am, Am1, , A1 se calculan de la siguiente manera

Paso 1. Se multiplica a ambos lados de (2) por ( x a ) m , para obtener
p( x) = Am + Am1 ( x a ) + t a ( x) + A1 ( x a ) m 1 +

+ ( x a ) m wa ( x )

Paso 2. Se asigna a x el valor de a, de donde

Am = p(a) t a (a)

Paso 3. Se multiplica en ambos lados de (3) por ( x a) m t a ( x) , para obtener

p( x) = [ Am + Am 1 ( x a ) + + A1 ( x a) m 1 + + ( x a ) m wa ( x)] t a ( x ).

Paso 2. Despejar p(x) en la expresin anterior, efectuar los productos en el lado derecho para formar un polinomio, igualar coeficientes y luego resolver el sistema resultante en A, B , C y D. Una forma alternativa es asignar valores adecuados a x para formar un sistema en A, B, C y D y luego resolver el sistema resultante. 2.2 Mtodo de Heaviside

El mtodo de Heaviside es similar al mtodo algebraico. Los casos se enuncian como teoremas.

Scientia et Technica Ao XII, No 31, Agosto de 2006. U.T.P

261
q ( x) = ( x a ) m t a ( x) . Entonces

Teorema 1. Suponga que f ( x) =

p( x) y que x = a es q ( x)

q(x) , es decir, una raz real simple de q( x) = ( x a )t a ( x) , con t a (a) 0 .Entonces existe una constante A tal que A f ( x) = + wa ( x ) , xa p(a) p (a ) en donde A = o bien A = . t a (a) q' (a)

f ( x) =

A1 A2 + + x a ( x a) 2

Am ( x a) m

+ wa ( x) ,

en donde
Am = lim ha ( x) = ha (a ) =
xa

p (a ) t a (a) ,

Demostracin.

Am k = lim

1 dk s a k! dx k

p ( x) t ( x) a

Sea ha ( x) = ( x a) f ( x) . De acuerdo con la teora de fracciones parciales, existe una constante A tal que
p( x) p( x) A f ( x) = = = + wa ( x) . q ( x) ( x a )t a ( x) x a

para k = 1,2, , m 1 . o bien

(1)

Am k =

Al multiplicar por ( x a) a ambos lados de (1) se tiene

ha ( x ) = ( x a) f ( x) = ( x a ) p ( x) q ( x)

p( x) ra ( x) t a ( x) 1 lim t a (a) x a ( x a) k

para k = 1,2, , m 1 , donde

ra ( x) = Am + Am 1 ( x a ) + Am k +1 ( x a ) k 1 .

p( x) = = A + ( x a ) wa ( x) t a ( x)

Demostracin.

Al tomar lmites se tiene A = lim ha ( x) = lim ( x a ) f ( x)

xa xa

Sea ha ( x) = ( x a ) m f ( x) =
.
A1 , A2 , , Am tales que f ( x) = = +

p( x) . Existen constantes t a ( x)

= lim

p( x) p(a) = x a t a ( x) t a (a)

Al aplicar la regla de LHpital se tiene

A = lim ha ( x) = lim( x a ) f ( x)
xa xa

p( x) p( x) = q ( x) ( x a ) m t a ( x) A1 A2 + + x a ( x a) 2 Am 1 ( x a)
m 1

+ + wa ( x)

(2)

[( x a) p ( x)] ' ( x a) p( x) = lim xa q( x) q' ( x) p ( x) + ( x a ) p ' ( x) p (a) = lim = . xa q' ( x) q' (a ) = lim(
xa

Am ( x a) m

Corolario

1.

Supongamos

que con

f ( x) =

p( x) q ( x)

y para

Al multiplicar por ( x a ) m en ambos lados de (2) se tiene

ha ( x ) = ( x a) m f ( x) = Am + ( x a) Am 1 + + ( x a ) 2 Am 2 + + ( x a ) m wa ( x) + ( x a) m 1 A1 +

q( x) = ( x a1 )( x a 2 ) ( x a n ) i j . Entonces f ( x) = A1 A2 + + x a1 x a 2

ai a j

An , x an

Despejando Am , haciendo
s a ( x) = Am 1 + Am 2 ( x a ) + + A1 ( x a ) m 1 + + ( x a ) m 1 w a ( x)

en donde
Ai = lim ( x a i ) f ( x) para i = 1,2, , n.
x ai

p( x) y que x = a es q ( x) una raz real de multiplicidad m > 1 de q(x), es decir,

Teorema 2. Suponga que f ( x) =

y tomando el lmite se obtiene

262
Am = lim[ha ( x) ( x a) s a ( x)]
xa

Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

p( x) p(a) = lim ha ( x) = lim = . xa x a t a ( x) t a (a )

2 Am 2 = lim De donde
Am 2 =

d2 dx 2

xa

(ha ( x)) = ha ' ' (a) .

p( x) t ( x) a

Una vez hallado Am , procedemos a encontrar Am k para k = 1, 2 , , m 2, m 1. Al derivar ha (x) con respecto a x se tiene
d [ha ( x)] = Am1 + 2( x a) Am 2 + dx +

1 1 d2 ha ' ' (a ) = lim 2 2 2 x a dx

Tambin
p( x) Am t a ( x ) Am 1 ( x a )t a ( x) 1 . lim t a (a ) x a ( x a) 2 El ltimo lmite se puede evaluar mediante la regla de Am 2 =

+ (m 1)( x a ) m 2 A1 + ( x a) m w ' ( x ) + + m( x a ) m 1 w( x ) = Am 1 + ( x a)ra ( x)

Al despejar Am1 y tomar el lmite se tiene Am1 = lim d (ha ( x)) = lim d p( x) x a dx x a dx t ( x )

LHpital porque es de la forma

0 . Este procedimiento 0
, m 1.

se generaliza para llegar a la siguiente expresin

Am k = lim 1 dk x a k! dx k p( x) t ( x) , para k = 1,2, a

Por otro lado, al multiplicar a ambos lados de (2) por

( x a) m 1 y despejar se obtiene
Corolario. Si f ( x) =
( x a) m 1 f ( x) = Am + Am 1 + ( x a ) Am 2 + x 1 +

p( x) y q ( x) = ( x a ) m , entonces q ( x) + Am ( x a) m

+ ( x a ) m 2 A1 + ( x a) m 1 wa ( x) Am 1 = ( x a ) m 1 f ( x) ( x a) Am 2 + = = ( x a) m 1 p ( x ) ( x a ) m t a ( x) Am xa Am A p ( x) = m x a ( x a)t a ( x) x a

f ( x) =

A1 A2 + + x a ( x a) 2

en donde

(x a) m 3 A1 + (x a) m 2 wa (x)

Am = P (a ) , Am 1 = P ' (a ) , Am 2 = 1 1 P ' ' (a ) , Am k = p ( k ) (a ) , k! 2 , m 1.

p( x) Am t a ( x) . ( x a )t a ( x)

para k = 1,2,
Ejemplo 2.

Descomponga

f ( x) =

x 3 2x + 2 ( x + 1) 4

en

Al tomar el lmite se tiene Am 1 = 1 p( x) Am t a ( x) lim . x a t a (a) xa

fracciones parciales
Solucin. p( x) = x 3 2 x + 2, p ' ( x) = 3x 2 2, p ' ' ' ( x) = 6 . Luego
x 3 2x + 2 ( x + 1)
4

p ' ' ( x ) = 6 x,

El ltimo lmite se puede evaluar mediante la regla de 0 LHpital porque es de la forma . Recurdese que 0 p(a) Am = . Es decir, t a (a)
p ' (a ) Am t a ' (a) 1 . lim ( p' ( x) Am t a ( x) ) = t a (a) x a t a (a)

A3 A1 A2 A4 + + + 2 3 x + 1 ( x + 1) ( x + 1) ( x + 1) 4
1 2

A4 = P (1) = 3, A3 = P ' (1) = 1, A2 = A1 =

1 6

P ' ' (1) = 3,

P ' ' ' (1) = 1. 1 3 1 3 . + + x + 1 ( x + 1) 2 ( x + 1) 3 ( x + 1) 4

Am 1 =

Luego
f ( x) =

Derivando nuevamente, despejando y tomando lmites se tiene

Scientia et Technica Ao XII, No 31, Agosto de 2006. U.T.P

263 en donde
p(a) B = Re(ha (a ) ) = Re t (a)

2s 3 9 s 2 + 15s 9 -1 Ejemplo 3. Hallar L1 , donde L ( s 2)( s 1) 3 denota la transformada inversa de Laplace.

Solucin. Aqu F ( s ) =

2 s 3 9s 2 + 15s 9 ( s 2)( s 1) 3

y
A= 1

F (s) = Entonces

A B C D + + + s 2 s 1 ( s 1) 2 ( s 1) 3

(I)

Im(ha (a) ) =

p(a) Im t (a) ,

donde ha ( x) = [( x ) 2 + 2 ] f ( x)
Teorema 4. Suponga que
f ( x) = p( x) q ( x)

A = lim ( s 2) F ( s ) = lim
s 2

2 s 3 9s 2 + 15s 9 ( s 1) 3
3 2

s 1

=1

y que

x = a = + i
caso tambin

D = lim( s 1) 3 F ( s ) = lim
s 1

s 1

2s 9 s + 15s 9 =1. ( s 2)

es una raz compleja doble. En este lo es x = a = i , es decir,

A2 ( x ) + B 2
2

q( x) = [( x ) 2 + 2 ] 2 t a ( x) . Entonces f ( x) = A1 ( x ) + B1 (x ) +
2 2

Para el clculo de B y C se evala F(s) en dos valores distintos de s que no sean 1 ni 2 para obtener un sistema 2 2 en B y C, aprovechando que ya se conocen A y D.
1 1 B C + + + F (0) = 2 1 1 1 9 1 = B + C 1 2 2

[( x )

+2

+ wa ( x) ,

en donde
p(a) B 2 = Re(ha (a) ) = Re t (a) a A2 = 1

de donde

Im(ha (a ) ) = B1 =

(1) 1 1 B C + + + F (1) = 3 2 4 8 35 1 B C 1 = + , 24 3 2 4 8 de donde

2B C = 4

BC = 3

p(a) , Im t a (a) 1

1 Im(ha ' (a ) ) 2 1 2 2

y
A1 =

[A2 Re(ha ' (a) )] ,

(2)

Resolviendo el sistema formado por (1) y (2) se obtiene B = 1 y C = 2. Luego

F (s) = 1 1 2 1 . + + s 2 s 1 ( s 1) 2 ( s 1) 3

donde ha ( x) = [( x ) 2 + 2 ] 2 f ( x) Ejemplo 5. Encuentre la descomposicin en fracciones 2 x 2 3x + 4 parciales de f ( x) = 2 ( x + 4) ( x 1) 2 + 1

Solucin.
f ( x) = 2 x 2 3x + 4
2

Por lo tanto,
L
1

( x + 4) ( x 1) + 1
2

Ax + B x +4
2

C ( x 1) + D ( x 1) 2 + 1

Luego

{F (s)} = e

2t

1 + e + te + t 2 e t . 2
t t

h 2 i ( x ) = ( x 2 + 4) f ( x ) =

2 x 2 3x + 4 ( x 1) 2 + 1

,y

Teorema 3. Suponga que

p( x) y que q ( x) x = a = + i es una raz compleja simple. En este caso tambin lo es x = a = i , puesto que asumimos f ( x) = q(x)

h2i ( x) = Ax + B +

( x 2 + a )[C ( x 1) + D] ( x 1) 2 + 1

que

tiene

coeficientes

reales.

Es

decir,

Entonces

q( x) = [( x ) 2 + 2 ] t ( x) . Entonces

f ( x) =

A( x ) + B (x ) 2 + 2

+ wa ( x) ,

264
h2i (2i ) = 2(2i ) 2 3(2i ) + 4
2

Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP

[3]

(2i 1) + 1 4 6i 4 6i 2 + 3i = = = 4 4i + 1 + 1 2 4i 1 + 2i (2 + 3i )(1 2i ) 8 1 = = i (1 + 2i )(1 2i ) 5 5

Zill, Dennis, G. y Cullen, Michael R. Ecuaciones Diferenciales con problemas de valores en la frontera, Quinta Edicin, Thomson, 2002.

h2i ( x) = A(2i ) + B
1 De ah, A = 10 y B = 8 5

.
2

h1+ i ( x ) = ( x 1) 2 + 4 f ( x) =
2

2 x 3x + 4 [ ] x +4 [( x 1) + 1][Ax + B] + C ( x 1) + D . =
2

x2 + 4

x2 + 4

Entonces
h1+i (1 + i ) = 2(1 + i ) 2 3(1 + i ) + 4 (1 + i ) 2 + 4 = Ci + D

2(2i ) 3(1 + i ) + 4 1 + i 1+ i = = 2i + 4 2 + 4i 2(1 + 2i ) (1 + i )(1 2i ) 3 i = = = D + iC. 2(5) 10

3 1 De ah, C = 10 y D = 10 . Por lo tanto,

f ( x) =

1 x 16 1 ( x 1) 3 . 10 x 2 + 4 10 ( x 1) 2 + 1

3. CONCLUSIONES Y RECOMENDACIONES

El mtodo de Heaviside resulta ser un mtodo prctico para calcular los coeficientes en la descomposicin en fracciones parciales de una fraccin propia en el caso de races reales distintas o cuando el polinomio del denominador es una funcin de la forma q ( x) = ( x a ) m . La aplicacin directa de los teoremas en algunos casos puede ser tediosa y a veces es mejor evaluar la funcin en valores adecuados de las variables para obtener un sistema de ecuaciones lineales en las constantes que se deben determinar.
4. BIBLIOGRAFA

[1]

Finney, Thomas, Clculo una variable, Pearson Educacin, 9 Edicin.

[2] Kreyzig, Erwin. Matemticas Avanzadas para Ingeniera, Vol. 1.