1 C.I.

JORGE GABRIEL CHI GARCA

MTODOS AVANZADOS DE
INTEGRACIN
Cuando se es estudiante, ya sea nivel bachillerato o universitario, se nos ensea una
herramienta matemtica formidable: las integrales. Y se nos brindan algunos
mtodos de integracin que debemos de dominar, por ejemplo el mtodo de
sustitucin, por partes, sustitucin trigonomtrica y fracciones parciales. Pero
desafortunadamente no se nos ensean ms mtodos.

El alumno queda a veces frustrado por la falta de material que existe en el campo de
las integrales. Es mi intencin, a travs de este curso, transmitirles a todos ustedes
algunos mtodos de integracin novedosos que he descubierto a lo largo de los aos
y que difcilmente podrn encontrar en un libro de texto. Pero para poder
adentrarnos en este maravilloso mundo de las integrales, se requieren de ciertos
conceptos de matemticas que necesitan dominar. A saber son los siguientes:

-Mtodo de Heaviside
-Funcin Gamma
-Funcin Beta
-Series Hipergeomtricas

Estos temas sern el punto de partida de este curso y que nos servirn de base para
conocer otros mtodos de integracin avanzados. El mayor peso que le dar al curso
sern las llamadas integrales elpticas, que son muy utilizadas hoy en da en distintas
disciplinas de la ciencia y la tecnologa, por lo que se requiere un estudio profundo
sobre estas integrales tan enigmticas. Debido a la poca informacin disponible
sobre estas integrales, me he dado a la tarea de reunir informacin, tcnicas
especiales, aprendizaje y experiencia propia sobre las integrales elpticas y se
requiere que el amable lector tenga bases slidas en materias como Algebra,
Trigonometra, Clculo Diferencial e Integral, Nmeros Complejos, Funciones
Hiperblicas, entre otras cosas.

As que sean todos bienvenidos a este curso sobre integrales.

Atte:
C.I. Gabriel Chi.
2 C.I. JORGE GABRIEL CHI GARCA

CAPTULO 1
1.1 FRACCIONES PARCIALES

Muchos de ustedes han de conocer la tcnica de fracciones parciales, pero pocos

saben que existe una tcnica avanzada para calcular los coeficientes de manera
rpida y sencilla. Esa tcnica es el mtodo de Heaviside.

Mtodo de Heaviside
Si , , , , son races de la ecuacin ( ) = 0 y si , , ,, son sus
correspondientes multiplicidades, de manera que

( ) = ( ) ( ) ( ) ( )

( )
Entonces ( )
se puede descomponer en la siguiente expansin de fracciones
parciales:

( )
= + + + + + + + +
( ) ( ) ( ) ( ) ( )
+ + ++
( ) ( )

donde los numeradores de las fracciones individuales estn determinados por las
siguientes frmulas:

( ) ( ) ( )
( ) ( ) ( )
= ( )!
, = ( )!
, , = ( )!

( )( ) ( )( ) ( )( )
( )= , ( )= , , ( )=
( ) ( ) ( )

Hay que darse cuenta que si , , , , son races simples, entonces:

= = = = =1

En el caso en que , , , , sean imaginarios, se agrupan con sus pares conjugados,

de manera que se pueda representar en forma real de la forma:

+ + +
+ ++
+2 + ( +2 + ) ( +2 + )

Veamos unos ejemplos para que el lector visualice lo prctico que es ste mtodo.
3 C.I. JORGE GABRIEL CHI GARCA

Ejemplo 1
Expandir en fracciones parciales la siguiente fraccin:

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

Se observa que todas sus races del denominador son simples, por lo que:

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

Para calcular , de acuerdo a lo anterior:

( + 1)( + 2) 1
= lim =
( + 2)( + 3)( + 4) 2

El clculo de y es algo similar:

( + 1)( + 3)
= lim =2
( + 2)( + 3)( + 4)

( + 1)( + 4) 3
= lim =
( + 2)( + 3)( + 4) 2

De modo que:
+1 1 2 2 3
2
= +
( + 2)( + 3)( + 4) +2 +3 +4

De esta manera, la expansin en fracciones parciales es muy simple.

Ejemplo 2
Expandir en fracciones parciales la siguiente fraccin:

+1
( + 2)

En este ejemplo se nota que una raz del denominador es simple y las otras dos son
repetidas, de modo que:
4 C.I. JORGE GABRIEL CHI GARCA

+1
= + +
( + 2) +2 ( + 2)

Para calcular , se tiene que:

( + 1) 1
= lim =
( + 2) 4

Para obtener y , es de acuerdo a lo siguiente:

( ) +1 1
= lim = lim =
1 2

( ) 1 1
= lim = lim =
1 4

De manera que:

+1 1 1 1
= 4+ 2 4
( + 2) + 2 ( + 2)

Ejemplo 3
Expandir en fracciones parciales la siguiente fraccin:

( + 4)( + 9)

En este ejemplo, se da uno cuenta que las races del denominador son imaginarias.
De forma que:

= + + +
( + 4)( + 9) +2 2 +3 3

Ahora se procede a calcular los valores de , , y :

1
= lim =
( 2 )( + 9) 10

1
= lim =
( + 2 )( + 9) 10
5 C.I. JORGE GABRIEL CHI GARCA

1
= lim =
( 3 )( + 4) 10

1
= lim =
( + 3 )( + 4) 10

Por lo tanto:

1 1 1 1
= 10 + 10 10 10
( + 4)( + 9) +2 2 +3 3

1 2 2
=
10 +4 +9

1
=
5 +4 +9

1
=
( + 4)( + 9) 5 +4 +9

De esta manera, el mtodo de Heaviside es una tcnica muy efectiva para calcular los
coeficientes de una expansin en fracciones parciales y el amable lector deber tener
presente este mtodo a fin de simplificar clculos engorrosos e innecesarios si uno
aplicara el mtodo tradicional. Esto indica que si el lector desea dominar este
mtodo, tendr que practicar y practicar hasta que lo perfeccione, que en realidad
no es difcil, solo es cuestin de sustituir valores de acuerdo a las frmulas aqu
presentadas, tratando de no equivocarnos en los clculos.
6 C.I. JORGE GABRIEL CHI GARCA

TAREA:
Resolver las siguientes integrales:

1.

2.

3.

4.

5.

6. ( )( )
7 C.I. JORGE GABRIEL CHI GARCA

1.2 FUNCIN GAMMA

La funcin gamma fue introducida por primera vez por el matemtico suizo
Leonhard Euler (1707-1783), con el objetivo de generalizar la funcin factorial a
valores no enteros. Ms tarde, por su gran importancia, esta fue estudiada por
matemticos eminentes tales como Adrien-Marie Legendre (1752-1833), Carl
Friedrich Gauss (1777-1855), Christoph Gudermann (1798-1852), Joseph Liouville
(1809-1882), Karl Weierstrass (1815-1897), Charles Hermite (1822-1901), al igual que
muchos otros.

La funcin gamma pertenece a una categora de funciones transcendentes

especiales, y esta funcin ocurre en algunas constantes matemticas especiales. Esta
aparece en varias reas de estudio, como en las series asintticas, integrales
definidas, series hipergeomtricas, la funcin Zeta de Riemann, teora de nmeros,
entre otras.

Definicin:
La funcin gamma, que se denota ( ), es definida como una extensin de la funcin
factorial de argumentos de nmeros complejos y reales. Se define por

( )= (1)

que es convergente para > 0.

Nos podemos dar cuenta de la definicin (1), que al aplicar integracin por partes,
se obtiene que:

( + 1) = = lim

= lim + = ( ), si >0

Por lo que se concluye que:

( + 1) = ( ), si > 0 (2)

De acuerdo con (1), para = 1:

(1) = = lim (1 )=1

8 C.I. JORGE GABRIEL CHI GARCA

Ahora si se utiliza (2), con = 1, 2, 3, se obtienen los siguientes resultados:

(2) = 1 (1) = 1 = 1!
(3) = 2 (2) = 2 1 = 2!
(4) = 3 (3) = 3 2 = 3!

( + 1) = ! (3)

Es por esto mismo que la funcin Gamma, para valores enteros positivos, puede ser
vista como una extensin de la funcin factorial de nmeros reales positivos no
nulos.

La relacin recurrente (2) es una ecuacin de diferencias que tiene por solucin (1).
Tomando (1) como definicin de ( ) para > 0, se puede generalizar la funcin
gamma para < 0 aplicando (2) en la forma:

( )
( )= (4)

A ste proceso se le llama prolongacin analtica.

Existe una definicin alternativa de la funcin Gamma, debida a Euler, que es la

siguiente:

!
( ) = lim (5)
( ) ( ) ( )

vlidas para todo nmero que no sea un entero negativo.

Es sencillo demostrar que partiendo de la definicin (5) se puede llegar a la relacin

recurrente (2), de modo que:

!
( + 1) = lim
( + 1) ( + 2) ( + 3) ( + 1 + )
!
= lim
( + 1) ( + 2) ( + 3) ( + ) ( + 1 + )
= ( ) lim = ( ) (1) = ( )
+1+

Entonces se concluye que:

( + 1) = ( )
9 C.I. JORGE GABRIEL CHI GARCA

Otras ecuaciones funcionales de la funcin Gamma son la frmula de reflexin de

Euler:

(1 ) ( ) = (6)
( )

Y el teorema de multiplicacin:

( ) + + + = ( 2 ) ( ) (7)

En base a la definicin (1), se puede demostrar que:

1
=
2

Varios tipos de frmulas pueden ser derivadas usando la relacin (2). Las ms
utilizadas son las que se muestran a continuacin, siempre que sea un entero:

1 1 3 5 7 (2 1) 1
+ =
2 2 2

1 1 4 7 10 (3 2) 1
+ =
3 3 3

2 2 5 8 11 (3 1) 2
+ =
3 3 3

1 1 5 9 13 (4 3) 1
+ =
4 4 4

3 3 7 11 15 (4 1) 3
+ =
4 4 2

Ninguna expresin bsica es conocida para y pero se ha probado que esos

nmeros son trascendentales, demostrados por Le Lionnais en 1983 y por
Chudnovsky en 1984.

La teora de funciones gamma, despierta una nueva rama matemtica, similar al

clculo; esto implica que esta teora es un clculo moderno, y a travs de la misma,
se pueden construir muchas nuevas teoras de funciones las cuales se pueden
medir con un nuevo enfoque.
10 C.I. JORGE GABRIEL CHI GARCA

TAREA:

1. Demuestra utilizando la definicin de la funcin gamma que:

1
=
2

2. Evala:
a)
b)
c)
d)
e)
f)
g)

3. Demostrar que:

1 1 3 5 7 (2 1) 1
+ =
2 2 2

4. Calcular las siguientes integrales:

a)
b)
c)
d)

e) (ln )

5. Demuestra que:

1
cos( ) =
2