Integrales no elementales

(¿se puede resolver esta integral?)

Miguel Mata Pérez

30 de mayo de 2019

Resumen
Dada una función f (x), no siempre es posible encontrar una función antiderivada, es decir, una
función g(x) cuya derivada g ′ (x) sea igual a f (x), y cuando es posible dicha solución no siempre
se puede expresar en forma elemental . En este trabajo recopilamos una lista de funciones cuyas
integrales no son elementales. También presentamos, sin demasiado rigor, algunos conceptos
generales y algunas ideas que nos permitan identificar otras funciones sin integral elemental .

1. Introducción
R
Sean f (x) y g(x) funciones tales que g ′ (x) = f (x) (lo cual también implica que f (x) dx =
g(x) + c), entonces se dice que g(x) es una «primitiva», «antiderivada» o «integral» de f (x).

Es sabido que existen funciones que no tienen primitiva. También existen funciones cuya primitiva
existe, pero que no es posible expresarla en forma elemental . Se suele decir que la integral de
tales funciones «no se puede resolver»: no es que no se esté empleando la técnica correcta, o que
dicha técnica aún no haya sido inventada, sino que ninguna técnica puede ni podrá conseguir que
tales integrales sean expresadas en términos de funciones elementales y eso está demostrado
matemáticamente.

El problema de identificar las funciones sin primitiva elemental lo abordó por primera vez Laplace
en 1812. Entre los años 1833 y 1841, Liouville se encargo de continuar dicho trabajo y desarrolló
importantes resultados. En 1853, Chebyshev logró generalizar cierto tipo de funciones algebraicas
que no tienen primitiva elemental. En 1916, Hardy aplicó el teorema de Liouville para caracterizar
un tipo especial de funciones logarítmicas que no tienen primitiva elemental.

2. Conceptos básicos
Función elemental: Una función se dice que es elemental si puede ser expresada mediante un
número finito de sumas, restas, productos, cocientes o composiciones de:

Potencias:
x, x2 , x3 , . . .
Exponenciales:
ex , ax (a 6= 1).
Funciones trigonométricas:
sen x, cos x, tan x, . . .
Funciones hiperbólicas:
senh x, cosh x, tanh x, . . .
Raíces:
√ √ √
x, 3 x, 4 x, . . .
Logaritmos:
ln x, loga x (a 6= 1).
Funciones trigonométricas inversas:
arc sen x, arc cos x, . . .
Funciones hiperbólicas inversas:
arg senh x, arg cosh x, . . .

1
Integrales no elementales M. MATA 2

esen x p
Ejemplos: f1 (x) = √ , f2 (x) = x4 − cos ln(1 + x2 ).
x−x 3

Función integrable: Se dice que una función es integrable si satisface la definición formal de la
integral (por ejemplo, mediante sumas de Riemann).

Observaciones: Existen funciones no integrables. También existen funciones integrables cuya in-
tegral no se puede escribir mediante una función elemental.
2 2 2
Ejemplo: x ex es integrable y de hecho x ex dx = 21 ex + c.
R

2 2
Ejemplo: ex es integrable, pero ex dx no es expresable mediante una función elemental.
R

Observación: Toda función continua es integrable, pero no toda función continua tiene integral
elemental.

3. Algunas integrales no elementales

Esta sección es la motivación principal de este trabajo. En ella se presenta un listado de funciones
integrables que no tienen primitiva elemental. La intención es presentar una lista que sirva como guía
para identificar funciones no integrables en términos elementales.

3.1. Funciones algebraicas

Toda una familia de funciones algebráicas, entre las que se destacan las elípticas, no tienen integral
elemental; en particular las siguientes:
√
Z
1. axn + b dx (a, b ∈ R no nulos, n ∈ Q, n > 2)
Z
dx
2. √ (a, b ∈ R no nulos, n ∈ Q, n > 2)
axn + b
Z Z
dx dθ
3. p ≡ √ (0 < k < 1)
2 2
(1 − x )(1 − k x ) 2 1 − k 2 sen2 θ
Z √
1 − k 2 x2
Z p
4. √ dx ≡ 1 − k 2 sen2 θ dθ (0 < k < 1)
1 − x2
P (x) dx
Z
gr(Q)
5. p (P (x) y Q(x) polinomios, Q sin raíces repetidas, gr(Q) ≥ 3 y gr(P ) < 2 −1)
Q(x)
Z
6. xm (axn + b)p dx (a, b ∈ R, m, n, p ∈ Q, a, b, n 6= 0 y p, m+1 m+1
n , n + p 6∈ Z)

Observación: Las integrales (1) y (2) son un caso particular de (6).

Integrales no elementales M. MATA 3

3.2. Funciones trigonométricas

Las siguientes integrales que involucran funciones trigonométricas no tienen primitiva elemental:
Z
7. sen(P (x)) dx (P (x) polinomio con gr(P ) ≥ 2)
Z
8. cos(P (x)) dx (P (x) polinomio con gr(P ) ≥ 2)
Z
p+1 q−1 p+q
9. senp (x) cosq (x) dx (p, q ∈ Q, 2 , 2 , 2 6∈ Z)

sen x cos x
Z Z
10. dx 11. dx
x x
Z Z
1
12. sen x dx 13. cos x1 dx
Z Z
14. sen x12 dx 15. cos x12 dx

√ √
Z Z
16. x sen x dx 17. x cos x dx

sen x cos x
Z Z
18. √ dx 19. √ dx
x x
√ √
Z Z
20. sen x dx 21. cos x dx
Z Z
x
22. sen(e ) dx 23. cos(ex ) dx
Z Z
24. ln x sen x dx 25. ln x cos x dx
Z Z
26. x tan x dx 27. x cot x dx
Z Z
28. x sec x dx 29. x csc x dx

√ √
Z Z
30. sec x dx 31. csc x dx
Z Z
2
32. arc sen(x ) dx 33. arc cos(x2 ) dx

√ √
Z Z
34. arc sen x dx 35. arc cos x dx
Z Z
36. arc sec2 x dx 37. arc csc2 x dx

arc sen x arc cos x

Z Z
38. dx 39. dx
x x
R√ R√ R√
Observación: Las integral tan x dx sí es elemental, a pesar de que sen x dx y cos x dx
no lo son.
Integrales no elementales M. MATA 4

R R
Observación: Las integrales
R y sen(ln x) dxRy y cos(ln x) dx son elementales: el cambio de variable
y = ln x las transforma en e sen y dy y e cos y dy que se resuelven por doble aplicación de
integración por partes.

Observación: Las integral (9) es un caso particular de (6), haciendo sen x = u y, por tanto,
1
cos x = (1 − u2 ) /2 .

3.3. Funciones exponencial y logaritmo

Las siguientes integrales que involucran la función exponencial y su función inversa, el logaritmo
natural, no tienen primitiva elemental:
Z Z √
x2
40. e dx 41. ln x dx
Z Z
1
/x dx
42. e dx 43.
ln x
Z Z
1
/x2 dx
44. e dx 45. √
ln x
Z Z
ex
46. e dx 47. ln(ln x) dx

√ ax eax
Z Z
48. x e dx (a 6= 0) 49. √ dx (a 6= 0)
x
Z Z
50. ex ln x dx 51. xx dx

Más aún, se cuenta con algunas reglas más generales:

Z
52. eP (x) dx (P (x) polinomio con gr(P ) ≥ 2)
Z
2
53. x2n eax dx (n ∈ Z, a ∈ R, a 6= 0)

eax+b
Z
54. dx (n ∈ Z+ , a, b ∈ R, a 6= 0)
xn
Z
55. eax lnn (bx) dx (n ∈ Z+ , a, b ∈ R, a, b 6= 0)
Z
56. lnn (ln(axk )) dx (n ∈ Z, n 6= 0, a, k ∈ R, a, k 6= 0)

ln(axn + b)
Z
57. dx (n ∈ Z+ , a, b ∈ R+ )
x
ln x
Z
58. dx (P (x) polinomio sin raíces repetidas y gr(P ) ≥ 2)
P (x)

Observación: Es claro que la integral (40) es un caso particular de la (52), pero también de la (53)
tomando a = 1, b = 0 y n = 0. También la intergal (47) es un caso particular de la (56) y la (50)
de la (55).
Integrales no elementales M. MATA 5

3.4. Funciones hiperbólicas

Atendiendo a las definiciones senh x = 12 (ex − e−x ) y cosh x = 12 (ex + e−x ), es posible intuir otras
expresiones no elementales. Por ejemplo, senh x
dx y cosh x
R R
x x dx no pueden ser ambas elementales
x
e senh x cosh x
porque si lo fueran, x = x + x tendría integral elemental, pero tal razonamiento no descarta
que una de ellas pudiera ser elemental y la otra no.

Más útil que lo anterior, atendiendo a las relaciones senh x = −i sen(ix) y cosh x = cos(ix),
mediante un simple cambio de variable resulta en que todas las integrales no elementales (7) a (25)
tampoco lo son para sus versiones hiperbólicas.

Como ejemplos, las siguientes integrales no son elementales:

senh x cosh x
Z Z
59. dx 60. dx
x x
Z Z
61. senh x1 dx 62. cosh x1 dx

√ √
Z Z
63. x senh x dx 64. x cosh x dx

senh x cosh x
Z Z
65. √ dx 66. √ dx
x x
Z Z
x
67. senh e dx 68. cosh ex dx
Z Z
69. ln x senh x dx 70. ln x cosh x dx

Z
71. senh(P (x)) dx (P (x) polinomio con gr(P ) ≥ 2)
Z
72. cosh(P (x)) dx (P (x) polinomio con gr(P ) ≥ 2)

4. Comprendiendo mejor a las funciones elementales

Teorema (funciones elementales): Sean f y g funciones elementales, entonces f + g, f − g,
f · g, fg (g 6≡ 0) y f ◦ g son elementales.

R R R
Proposición: Sean Rf , g y h funciones tales que h es elemental y f = h − g, entonces f es
elemental si y sólo si g lo es.
R R
Observación: Lo anterior se sigue de que, si g esR elemental, entonces f es la R resta de dos
funciones elementales,
R por lo tanto
R es elemental. Y si g no es elemental, entonces f tampoco lo
es, pues si lo fuera g = h − f sería la resta de dos funciones elementales por lo que tendría que
ser elemental, llevando a una contradicción.

Observación: Dado lo anterior, la técnica de integración por partes será de gran utilidad para
saber si una integral es elemental o no a partir de otra conocida.
R
Teorema (función inversa):
R −1 Sea f (x) elemental e invertible y f −1 (y) su inversa. f (x) dx es
elemental si y sólo si f (y) dy es elemental.
Integrales no elementales M. MATA 6

Observación: El teorema anterior se sigue de la aplicación de la integración por partes, haciendo

u = f (x) y dv = dx, y observando que x = f −1 (y) y dy = f ′ (x) dx:
Z Z Z
f (x) dx = x f (x) − x f ′ (x) dx = x f (x) − f −1 (y) dy.

R R
Observación: La integral f (g(x)) g ′ (x) dx es elemental si y sólo si f (z) dz lo es. Por ello, la
técnica de cambio de variable también será de utilidad para saber si una integral es elemental o
no a partir de otra conocida.

sen x2 dx no es elemental.
R
En los siguientes tres ejemplos, daremos por sabido que
R sen x √
Ejemplo: √ dx no es elemental. Haciendo el cambio de variable z =
x
x, entonces x = z 2 y
dx = 2z dz, con lo que la integral se transforma en 2 sen z 2 dz, que no es elemental.
R

R√ √
Ejemplo: x cos x dx no es elemental. Haciendo z = x, entonces x = z 2 y dx = 2z dz, con
lo que la integral se transforma en z cos zR2 2z dz, ahora haciendo u = z y dv = cos z 2 2z dz para
R

integrar por partes, se obtiene −z cos z 2 + sen z 2 dz, que no es elemental.

R√ √
Ejemplo: arc sen x dx no es elemental. Haciendo y = arc sen xRentonces
√ la relación inversa
está dada por x = sen y 2 , que no tiene integral elemental, por lo que arc sen x dx tampoco es
elemental.
R √ √
Ejemplo: sen
R x dx es elemental. Sea z = x, entonces dx = 2z dz, con lo que la integral se
transforma en 2z sen z dz, que se puede resolver por integración por partes.

R 2 2 √
REjemplo:
√ Se sabe que ex dx no es elemental. Haciendo y = ex entonces x = ln y, por lo que
ln y dy tampoco es elemental.

√
Se sabe que sec2 x dx es elemental. Haciendo y = sec2 x entonces x = arc sec y, por
R
Ejemplo:
R √
lo que arc sec y dy también es elemental.

Función elemental básica: Aunque existe una definición formal de función elemental (que esca-
pa al alcance de este trabajo) y en la sección 2 hemos dado la definción más popularmente empleada,
para fines técnicos la única función elemental básica es ex (y su inversa ln x). El resto de las funciones
elementales mencionadas antes se obtienen a partir de éstas:
Potencias: xa = ea ln x .
Funciones hiperbólicas: sinh x = 12 (ex − e−x ), cosh x = 12 (ex + e−x ).
1
Funciones trigonométricas: sin x = 2i (e
ix
− e−ix ), cos x = 12 (eix + e−ix ).
Y, por lo tanto, las funciones inversas de cada una de ellas, como ya se vio.

Observación: Para las funciones trigonométricas se está aceptando el dominio complejo, que es
en realidad en el dominio que las funciones elementales son formalmente definidas.

4.1. Teoremas que caracterizan las funciones elementales

Todo cociente de polinomios puede integrarse mediante el algortimo de Bernoulli (fracciones sim-
ples). En el intento de encontrar una técnica para integrar una función algebraica en general fueron
encontradas las primeras funciones no elementales.
Integrales no elementales M. MATA 7

Teorema de Liouville: Una función algebraica f es elemental si y sólo si existen funciones alge-
braicas u0 , u1 , u2 , . . . , un y constantes c1 , c2 , . . . , cn tales que
n
X u′k
f = u′0 + ck .
uk
k=1

Z n
X n
Y
Observación: En el teorema anterior es claro que f = u0 + ck ln uk = u0 + ln u k ck .
k=1 k=1

Teorema de la integral binomia de Chevyshev: La integral xm (b + axn )p dx con a, b ∈ R,

R
m, n, p ∈ Q y a, b, n 6= 0, es elemental si y sólo si al menos uno de los tres números p, m+1 m+1
n , n +p
es entero.
√ m+1
x3 x2 + 1 dx es elemental pues
R
Ejemplo: La integral n = 2.
q
x
Ejemplo: La función 3
x2 +1 no tiene integral elemental pues m = 13 , n = 2 y p = − 13 .

R√
Ejemplo: La integral sen x dx no es elemental pues haciendo u = sen x la integral se transforma
R 1/
en u 2 (1 − u2 ) /2 du, que no es elemental.
−1

Teorema del R álgebra diferencial de Liouville: Sean f (x) y g(x) cociente de polinomios y g no
constante, f (x)eg(x) dx es elemental si y sólo si existe una función R(x) cociente de polinomios
tal que f (x) = R′ (x) + R(x) g ′ (x).

f (x)eg(x) dx = R(x)eg(x) + c.
R
Observación: El teorema anterior implica, de hecho, que
R x2
Ejemplo: e dx no es elemental. En el teorema anterior, si f (x) = 1 y g(x) = x2 , no es difícil
P (x)
comprobar que no existen P (x) y Q(x) polinomios sin factores comunes tales que R(x) = Q(x) y
1 = R′ (x) + 2x R(x).
R
Teorema de Liouville-Hardy: Si f (x) es un cociente de polinomios, f (x) ln x dx es elemental si
y sólo si existe una función R(x) cociente de polinomios y una constante k tal que f (x) = xk +R′ (x).

Observación: El teorema anterior implica que f (x) ln x dx = k2 ln2 x + R(x) ln x − R(x)

R R
x dx,
donde la última integral, al resultar ser un cociente de polinomios, se resuelve mediante el algoritmo
de Bernoulli.
R ln x 1
Ejemplo: x2 dx no es elemental. En el teorema anterior, si f (x) = x2 , no es difícil comprobar que
P (x)
no existen P (x) y Q(x) polinomios sin factores comunes tales que R(x) = Q(x) y x12 = xk + R′ (x).

5. Alternativas de solución
Si una función f (x) es integrable, pero no en términos elementales, por el teorema fundamental del
cálculo siempre se puede afirmar que
Z Z x
f (x) dx = F (x) + c donde F (x) = f (u) du
a

para cualquier valor a en el dominio donde f es integrable. Aunque correcta, esta solución es poco
satisfactoria por la posible dificultad de resolver la integral definida para cualquier valor de x requerido.
Integrales no elementales M. MATA 8

5.1. Expansión mediante series de Taylor

En algunos casos, es posible encontrar una expresión para la evaluación de integrales no elementales,
a través de su serie de Taylor, cuando ésta existe.

Serie de Taylor: Sea f (x) una función infinitamente diferenciable y a un punto del dominio de f ,
la serie de Taylor de f centrada en a se define por
∞
X f (n) (a)
(x − a)n
n=0
n!

y es igual a f (x) si la serie converge.

En el caso particular de que a = 0, la serie se conoce como serie de MacLaurin.

Observación: Por medio de la serie de Taylor es posible aproximar el valor de la función tanto
como se desee. De hecho, gracias al residuo de Taylor , es posible calcular qué tan buena es la
aproximación o cuántos términos son necesarios para alcanzar una precisión deseada.

Observación: La serie de Taylor tiene la propiedad de que la derivación y la integración puede

hacerse término a término.
R 2
Ejemplo: Expresemos ex dx, que no es elemental, mediante su serie de Taylor. La n-ésima
derivada de f (y) = ey está dada por f (n) (y) = ey , por lo que f (n) (0) = 1, así la serie de Taylor de
ey centrada en cero es:
∞ ∞
X f (n) (0) X yn
f (y) = (y − 0)n =
n=0
n! n=0
n!

evaluada en y = x2 :
∞
2 X x2n
ex = f (x2 ) =
n=0
n!
de donde: ∞ ∞ Z ∞
x2n x2n x2n+1
Z Z X
2 X X
ex dx = dx = dx =
n=0
n! n=0
n! n=0
n!(2n + 1)

5.2. Integrales no elementales notables

Algunas integrales no elementales han sido definidas por su relevancia en algunos ámbitos de la
matemática. A continuación se presentan las más notables, con sus respectivos desarrollos en series.

x ∞
2 2 X (−1)n x2n+1
Z
−t2
Función error: erf(x) = √ e dt = √
π 0 π n=0 n!(2n + 1)

x ∞
et xn
Z X
Integral exponencial: Ei(x) = dt = γ + ln x + (x > 0)
−∞ t n=1
n! n

lnn x
Z x ∞
dt X
Integral logarítmica: li(x) = = Ei(ln x) = γ + ln(ln x) +
0 ln t n=1
n! n
Integrales no elementales M. MATA 9

x ∞
sen t (−1)n x2n+1
Z X
Integral senoidal: Si(x) = dt =
0 t n=0
(2n + 1)!(2n + 1)

x ∞
∞
cos t cos t − 1 (−1)n x2n
Z Z X
Integral cosenoidal: Ci(x) = − dt = γ+ln x+ dt = γ+ln x+
x t 0 t n=1
(2n)! 2n

x ∞
(−1)n x4n+3
Z X
Integrales de Fresnel: S(x) = sen(t2 ) dt =
0 n=0
(2n + 1)! (4n + 3)

x ∞
(−1)n x4n+1
Z X
C(x) = cos(t2 ) dt =
0 n=0
(2n)! (4n + 1)

x ∞
senh t x2n+1
Z X
Integral senoidal hiperbólica: Shi(x) = dt =
0 t n=0
(2n + 1)2 (2n)!

x ∞
cosh t − 1 x2n
Z X
Integral cosenoidal hiperbólica: Chi(x) = γ + ln x + dt = γ + ln x +
0 t n=1
(2n)! 2n

La constante γ que aparece en varias de las integrales anteriores es conocida como constante de
Euler y se define mediante
∞   
X 1 1
γ= − ln 1 + ≈ 0.5772156649.
n=1
n n

6. Para saber más

Algunas de las fuentes históricas del desarrollo de esta teoría:
P. LAPLACE. Oeuvres complétes de Laplace. Tome Septiéme, Gauthier-Villars. Francia, 1820.
J. LIOUVILLE. «Memoire sur l’integration d’une classe de fonctions transcendantes», Journal fi’ir
die reine und angewandte Mathematik. 13, pp. 93-118. 1835.
P. L. CHEBYSHEV. «Sur l’integration des differentielles irrationnelles», Journal de mathematiques.
Series 1, 18, pp. 87-111. 1853.
G. H. HARDY. The Integration of Functions of a Single Variable. 2nd ed., Cambridge University.
Cambridge, Inglaterra, 1916.
Algunas referencias en español disponibles en la red:
W. MORA. «¿Se puede saber si una función tiene primitiva elemental?», Revista digital Matemá-
tica, Educación e Internet. 15(2), 60 págs. Costa Rica, 2015. Disponible en: https://tecdigi
tal.tec.ac.cr/revistamatematica/Secciones/Matematica_Algoritmos_Programacio
n/RevistaDigital_Mora_V15_n2_2015/index.html
C. IVORRA. Funciones sin primitiva elemental. Valencia, España, 2013. Disponible en: http:/
/www.uv.es/ivorra/Libros/Primitivas.pdf
E. E. ESPEJO. «Integración en un número finito de términos», Matemática Enseñanza Univer-
sitaria. 9(1-2), pp. 109-117. Colombia, 2001. Disponible en: http://hdl.handle.net/1089
3/1687