Disponible en: http://www.redalyc.org/articulo.oa?

id=84911639045


Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Sistema de Informacin Cientfica
ALEJANDRO MARTNEZ A.
DESCOMPOSICIN EN FRACCIONES PARCIALES
Scientia Et Technica, vol. XII, nm. 31, agosto, 2006, pp. 259-264,
Universidad Tecnolgica de Pereira
Colombia
Cmo citar? Fascculo completo Ms informacin del artculo Pgina de la revista
Scientia Et Technica,
ISSN (Versin impresa): 0122-1701
scientia@utp.edu.co
Universidad Tecnolgica de Pereira
Colombia
www.redalyc.org
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
Scientia et Technica Ao XII, No 31, Agosto de 2006 UTP. ISSN 0122-1701 259

Fecha de Recepcin: 31 Enero de 2006
Fecha de Aceptacin: 04 Mayo de 2006

DESCOMPOSICIN EN FRACCIONES PARCIALES
RESUMEN
En este artculo se estudia el mtodo de Heaviside para descomponer una
fraccin propia ) ( / ) ( ) ( x q x p x f = , es decir, p y q son polinomios, y
)) ( grado( )) ( grado( x q x p < . 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,
por ejemplo
3
3
1
2
3 2
3 5
2

+
+
=


x x x x
x
.
PALABRAS CLAVES: Fraccin propia., fracciones parciales.
ABSTRACT
This paper studies the Heaviside method for decomposing an own fraction
) ( / ) ( ) ( x q x p x f = . That is to say, p and q are polynomials and
)) ( ree( deg )) ( ree( deg x q x p < . 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
3
3
1
2
3 2
3 5
2

+
+
=


x x x x
x
.
KEYWORDS: Own fraction, partial fractions.
ALEJANDRO MARTNEZ A.
Licenciado en Educacin con
Especialidad en Matemticas.
Profesor Auxiliar
Universidad Tecnolgica de Pereira.
amartinez@utp.edu.co

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 ) (x p y ) (x q tienen
coeficientes reales.
2. CONTENIDO.
Empezamos el desarrollo considerando los posibles caso
que se presentan en la factorizacin de ) (x q .
2.1. Mtodo algebraico
Este es el mtodo ms comnmente utilizado. A
continuacin se analizan los casos posibles.
CASO 1. a x = es una raz real simple de ) (x q , es
decir, ) ( ) ( ) ( x t a x x q
a
= , con 0 ) ( a t
a
. Entonces
existe una funcin
a
w
1
tal que
) ( ) ( x w
a x
A
x f
a
+

= , (1)
y A se calcula de la siguiente manera:
Paso 1. Se multiplica en ambos lados de (1) por x a
para obtener
) ( ) (
) (
) (
x w a x A
x t
x p
a
a
+ = .
Paso 2. Se asigna a x el valor de a, de donde
) (
) (
a t
a p
A
a
= .
Este procedimiento se repite para cada raz simple de
q(x).
Ejemplo 1. Calcule dx
x x x
x

+
+
6
1
2 3
.

1
Los ndices en las funciones
a
t y
a
w se usan para indicar que
dichas funciones dependen de la raz a.
Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP


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

+ =
x
C
x
B
x
A
x f .
Como 1 ) ( + = x x p y x x x x q 6 ) (
2 3
+ = . Al factorizar
q(x) se tiene ) 3 )( 2 ( ) ( + = x x x x q . Luego,
,
6
1
) 2 0 )( 3 0 (
1 0
) 0 (
) 0 (
0
=
+
+
= =
t
p
A
,
10
3
) 3 2 ( 2
1 2
) 2 (
) 3 (
2
=
+
+
= =
t
p
B
,
15
2
) 2 3 ( 3
1 3
) 3 (
) 3 (
3
=

+
=

t
p
C
Luego
) 3 ( 15
2
) 2 ( 10
3
6
1
) (
+

=
x x x
x f .
Por lo tanto,
C x x x dx x f + + + =

3 ln
15
2
2 ln
10
3
ln
6
1
) (
CASO 2. Si a x = es una raz real de multiplicidad
1 > m de q(x), es decir, ) ( ) ( ) ( x t a x x q
a
m
= . Entonces

,
) ( ) ( ) (
) (
1
2
2
1
1
a x
A
a x
A
a x
A
a x
A
x f
m
m
m
m

+ +

(2)
en donde A
m
, A
m1
, , A
1
se calculan de la siguiente
manera
Paso 1. Se multiplica a ambos lados de (2) por
m
a x ) ( ,
para obtener
) ( ) (
) ( ) (
) (
) (
1
1 1
x w a x
a x A a x A A
x t
x p
a
m
m
m m
a
+
+ + + + =

Paso 2. Se asigna a x el valor de a, de donde
) (
) (
a t
a p
A
a
m
=
Paso 3. Se multiplica en ambos lados de (3) por
) ( ) ( x t a x
a
m
, para obtener
). ( )] ( ) (
) ( ) ( [ ) (
1
1 1
x t x w a x
a x A a x A A x p
a a
m
m
m m
+
+ + + + =

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
1 2 1
, , , A A A
m

.
CASO 3. Si i a x + = = es una raz compleja
simple. En este caso tambin lo es i a x = = ,
puesto que ) (x q tiene coeficientes reales. Es decir,
) ( ] ) [( ) (
2 2
x t x x q
a
+ = . Entonces
) (
) (
) (
) (
2 2
x w
x
B x A
x f
a
+
+
+
=


, (3)
en donde A y B se calculan de la siguiente manera
Paso1. Se multiplica en ambos lados de (3) por
2 2
) ( + x para obtener
) ( ] ) [( ) (
) (
) (
2 2
x w x B x A
x t
x p
a
a
+ + + =
Paso 2. Se asigna a x el valor de , de donde
) (
) (
) (
2

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




, (4)
en donde A, B, C y D se calculan de la siguiente manera
Paso 1. Se multiplica a ambos lados de (4) por
2 2 2
] ) [( + x para obtener
) ( ] ) [(
] ) ( [ ] ) [(
) (
) (
) (
2 2 2
2 2
x w x
x C x
B x A
x t
x p
a
a

+ +
+ + +
+ =

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
Teorema 1. Suponga que
) (
) (
) (
x q
x p
x f = y que a x = es
una raz real simple de ) (x q , es decir,
) ( ) ( ) ( x t a x x q
a
= , con 0 ) ( a t
a
.Entonces existe una
constante A tal que
) ( ) ( x w
a x
A
x f
a
+

= ,
en donde
) (
) (
a t
a p
A
a
= o bien
) ( '
) (
a q
a p
A = .
Demostracin.

Sea ) ( ) ( ) ( x f a x x h
a
= . De acuerdo con la teora de
fracciones parciales, existe una constante A tal que

) (
) ( ) (
) (
) (
) (
) ( x w
a x
A
x t a x
x p
x q
x p
x f
a
a
+

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

) ( ) (
) (
) (
) (
) ( ) (
) ( ) ( ) (
x w a x A
x t
x p
x q
x p a x
x f a x x h
a
a
a
+ = =

= =

Al tomar lmites se tiene
) (
) (
) (
) (
lim
) ( ) ( lim ) ( lim
a t
a p
x t
x p
x f a x x h A
a a
a x
a x
a
a x
= =
= =

.
Al aplicar la regla de LHpital se tiene
.
) ( '
) (
) ( '
) ( ' ) ( ) (
lim
) ( '
' )] ( ) [(
lim
) (
) ( ) (
lim(
) ( ) ( lim ) ( lim
a q
a p
x q
x p a x x p
x q
x p a x
x q
x p a x
x f a x x h A
a x
a x
a x
a x
a
a x
=
+
=

=
= =

Corolario 1. Supongamos que
) (
) (
) (
x q
x p
x f = y
) ( ) )( ( ) (
2 1 n
a x a x a x x q = con
j i
a a para
j i . Entonces
n
n
a x
A
a x
A
a x
A
x f

+ +

=
2
2
1
1
) ( ,
en donde
) ( ) ( lim x f a x A
i
a x
i
i
=

para i = 1,2, , n.
Teorema 2. Suponga que
) (
) (
) (
x q
x p
x f = y que a x = es
una raz real de multiplicidad 1 > m de q(x), es decir,
) ( ) ( ) ( x t a x x q
a
m
= . Entonces
) (
) ( ) (
) (
2
2 1
x w
a x
A
a x
A
a x
A
x f
a
m
m
+

+ +

= ,
en donde

) (
) (
) ( ) ( lim
a t
a p
a h x h A
a
a a
a x
m
= = =

) (
) (
!
1
lim
x t
x p
dx
d
k
A
a
k
k
a s
k m

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

k
a a
a x
a
k m
a x
x t x r x p
a t
A
) (
) ( ) ( ) (
lim
) (
1

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

1
1 1
) ( ) ( ) (

+
+ + =
k
k m m m a
a x A a x A A x r .
Demostracin.
Sea
) (
) (
) ( ) ( ) (
x t
x p
x f a x x h
a
m
a
= = . Existen constantes
m
A A A , , ,
2 1
tales que
) (
) ( ) (
) (
) ( ) (
) (
) (
) (
) (
1
1
2
2 1
x w
a x
A
a x
A
a x
A
a x
A
x t a x
x p
x q
x p
x f
a
m
m
m
m
a
m
+

+
+ +

= =

(2)
Al multiplicar por
m
a x ) ( en ambos lados de (2) se
tiene
) ( ) (
) ( ) (
) ( ) ( ) ( ) (
1
1
2
2
1
x w a x
A a x A a x
A a x A x f a x x h
a
m
m
m
m m
m
a
+
+ + + +
+ + = =

Despejando
m
A , haciendo
) ( ) (
) ( ) ( ) (
1
1
1 2 1
x w a x
a x A a x A A x s
a
m
m
m m a

+
+ + + + =

y tomando el lmite se obtiene
Scientia et Technica Ao XII, No 31, Agosto de 2006. UTP


262

.
) (
) (
) (
) (
lim ) ( lim
)] ( ) ( ) ( [ lim
a t
a p
x t
x p
x h
x s a x x h A
a a
a x
a
a x
a a
a x
m
= = =
=

Una vez hallado
m
A , procedemos a encontrar
k m
A


para k = 1, 2 , , m 2, m 1.
Al derivar ) (x h
a
con respecto a x se tiene
[ ]
) ( ) ( ) ( ) (
) ( ' ) ( ) )( 1 (
) ( 2 ) (
1
1
1
2
2 1
x r a x A x w a x m
x w a x A a x m
A a x A x h
dx
d
a m
m
m m
m m a
+ = +
+ + +
+ + + =

Al despejar
1 m
A y tomar el lmite se tiene
( )

= =

) (
) (
lim ) ( lim
1
x t
x p
dx
d
x h
dx
d
A
a x
a
a x
m

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

m
a x y despejar se obtiene

) ( ) ( ) (
) (
1
) ( ) (
1
1
2
2 1
1
x w a x A a x
A a x A
x
A
x f a x
a
m m
m m
m m

+ +
+ + + +

=

[ ]
.
) ( ) (
) ( ) (
) ( ) (
) (
) ( ) (
) ( ) (
) (
) ( ) (
1
2
1
3
2
1
1
x t a x
x t A x p
a x
A
x t a x
x p
a x
A
x t a x
x p a x
(x) w a) (x A a) (x A a x
a x
A
x f a x A
a
a m
m
a
m
a
m
m
a
m m
m
m m
m

=
+ +

Al tomar el lmite se tiene

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

( )
) (
) ( ' ) ( '
) ( ) ( ' lim
) (
1
1
a t
a t A a p
x t A x p
a t
A
a
a m
a m
a x
a
m

= =

.
Derivando nuevamente, despejando y tomando lmites se
tiene
( ) ) ( ' ' ) ( lim 2
2
2
2
a h x h
dx
d
A
a a
a x
m
= =

.
De donde

= =

) (
) (
lim
2
1
) ( ' '
2
1
2
2
2
x t
x p
dx
d
a h A
a
a x
a m

Tambin

2
1
2
) (
) ( ) ( ) ( ) (
lim
) (
1
a x
x t a x A x t A x p
a t
A
a m a m
a x
a
m
.
El ltimo lmite se puede evaluar mediante la regla de
LHpital porque es de la forma
0
0
. Este procedimiento
se generaliza para llegar a la siguiente expresin

) (
) (
!
1
lim
x t
x p
dx
d
k
A
a
k
k
a x
k m
, para 1 , , 2 , 1 = m k .
Corolario. Si
) (
) (
) (
x q
x p
x f = y
m
a x x q ) ( ) ( = , entonces
m
m
a x
A
a x
A
a x
A
x f
) ( ) (
) (
2
2 1

+ +

= ,
en donde
) (a P A
m
= , ) ( '
1
a P A
m
=

,
) ( ' '
2
1
2
a P A
m
=

, ) (
!
1
) (
a p
k
A
k
k m
=

,
para 1 , , 2 , 1 = m k .
Ejemplo 2. Descomponga
4
3
) 1 (
2 2
) (
+
+
=
x
x x
x f en
fracciones parciales
Solucin.
, 6 ) ( ' ' , 2 3 ) ( ' , 2 2 ) (
2 3
x x p x x p x x x p = = + =
6 ) ( ' ' ' = x p . Luego
4
4
3
3
2
2 1
4
3
) 1 ( ) 1 ( ) 1 (
1
) 1 (
2 2
+
+
+
+
+
+
+
=
+
+
x
A
x
A
x
A
x
A
x
x x

. 1 ) 1 ( ' ' '
, 3 ) 1 ( ' ' , 1 ) 1 ( ' , 3 ) 1 (
6
1
1
2
1
2 3 4
= =
= = = = = =
P A
P A P A P A

Luego

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

+
=
x x x
x
x f .
Scientia et Technica Ao XII, No 31, Agosto de 2006. U.T.P


263
Ejemplo 3. Hallar

3
2 3
1
) 1 )( 2 (
9 15 9 2
s s
s s s
L , donde L
-1

denota la transformada inversa de Laplace.
Solucin. Aqu
3
2 3
) 1 )( 2 (
9 15 9 2
) (

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

=
s
D
s
C
s
B
s
A
s F (I)
Entonces
1
) 1 (
9 15 9 2
lim ) ( ) 2 ( lim
3
2 3
1 2
=

+
= =

s
s s s
s F s A
s s

1
) 2 (
9 15 9 2
lim ) ( ) 1 ( lim
2 3
1
3
1
=

+
= =
s
s s s
s F s D
s s
.
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
1 1 2
1
) 0 (

+ +

=
C B
F
1
2
1
2
9
+ =

C B
de donde
3 = C B (1)

8
1
4 2 3
1
) 1 (

+ +

=
C B
F

8
1
4 2 3
1
24
35
+ =
C B
,
de donde
4 2 = C B (2)
Resolviendo el sistema formado por (1) y (2) se obtiene
1 = B y C = 2.
Luego
3 2
) 1 (
1
) 1 (
2
1
1
2
1
) (

=
s s
s s
s F .
Por lo tanto,
{ }
t t t t
e t te e e s F L
2 2 1
2
1
) ( + + + =

.
Teorema 3. Suponga que
) (
) (
) (
x q
x p
x f = y que
i a x + = = es una raz compleja simple. En este
caso tambin lo es i a x = = , puesto que asumimos
que ) (x q tiene coeficientes reales. Es decir,
) ( ] ) [( ) (
2 2
x t x x q + = . Entonces
) (
) (
) (
) (
2 2
x w
x
B x A
x f
a
+
+
+
=


,
en donde
( )

= =
) (
) (
Re ) ( Re
a t
a p
a h B
a

y
( )

= =
) (
) (
Im
1
) ( Im
1
a t
a p
a h A
a

,
donde ) ( ] ) [( ) (
2 2
x f x x h
a
+ =
Teorema 4. Suponga que
) (
) (
) (
x q
x p
x f = y que
i a x + = = es una raz compleja doble. En este
caso tambin lo es i a x = = , es decir,
) ( ] ) [( ) (
2 2 2
x t x x q
a
+ = . Entonces
[ ]
) (
) (
) (
) (
) (
) (
2
2 2
2 2
2 2
1 1
x w
x
B x A
x
B x A
x f
a
+
+
+
+
+
+
=




,
en donde
( )

= =
) (
) (
Re ) ( Re
2
a t
a p
a h B
a
a

( )

= =
) (
) (
Im
1
) ( Im
1
2
a t
a p
a h A
a
a

,
( ) ) ( ' Im
2
1
1
a h B
a

=
y
( ) [ ] ) ( ' Re
2
1
2
2
1
a h A A
a
=

,
donde ) ( ] ) [( ) (
2 2 2
x f x x h
a
+ =
Ejemplo 5. Encuentre la descomposicin en fracciones
parciales de
[ ] 1 ) 1 ( ) 4 (
4 3 2
) (
2 2
2
+ +
+
=
x x
x x
x f
Solucin.
[ ] 1 ) 1 (
) 1 (
4 1 ) 1 ( ) 4 (
4 3 2
) (
2 2 2 2
2
+
+
+
+
+
=
+ +
+
=
x
D x C
x
B Ax
x x
x x
x f .
Luego
1 ) 1 (
4 3 2
) ( ) 4 ( ) (
2
2
2
2
+
+
= + =
x
x x
x f x x h
i
, y

1 ) 1 (
] ) 1 ( )[ (
) (
2
2
2
+
+ +
+ + =
x
D x C a x
B Ax x h
i

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


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


=
+ +

=
+
+
=

B i A x h
i
+ = ) 2 ( ) (
2

De ah,
5
8
10
1
B y = = A .
[ ]
[ ][ ]
.
4
) 1 (
4
1 ) 1 (
4
4 3 2
) ( 4 ) 1 ( ) (
2 2
2
2
2
2
1
+
+
+
+
+ +
=
+
+
= + =
+
x
D x C
x
B Ax x
x
x x
x f x x h
i

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

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

=
+
=
+
+
=
+
+
=
+
+ +

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

=
1 ) 1 (
3 ) 1 (
10
1
4
16
10
1
) (
2 2
x
x
x
x
x f .
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
m
a x x q ) ( ) ( = .
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.
[3] Zill, Dennis, G. y Cullen, Michael R. Ecuaciones
Diferenciales con problemas de valores en la
frontera, Quinta Edicin, Thomson, 2002.