Por qu no se puede calcular e x dx ?

Dirce Braccialarghe

En las primeras fases del desarrollo del Clculo muchos matemticos trataron de
encontrar, en forma explcita o exacta, la funcin integral o primitiva para toda funcin
continua dada explcitamente. Pas algn tiempo hasta que se comprendi que, en
general, este problema no tiene solucin. En efecto, para algunos integrandos bastante
elementales la funcin integral no puede ser expresada en trminos de funciones
elementales. Qu quiere decir esto? Simplemente que no puede expresarse a partir de
la variable x y de las constantes, mediante un nmero finito de operaciones (adicin,
multiplicacin, composicin, potenciacin, extraccin de races) entre funciones
polinmicas, trigonomtricas y sus inversas, funciones exponenciales y logartmicas. Es
arctan( x + log( x 3 + 5)
as que la funcin cuya ley viene expresada por resulta (aunque
x 2 / 3 cos 3 x
no lo parezca) elemental.
Intentos de expresar integrales indefinidas tales como (para n > 2 )
dx
a0 + a1 x + ... + a n x n
, a 0 + a1 x + ... + a n x n dx ,

o bien
1
e e log x dx , sen( x e
x ex 2 x2
log x dx , dx , ) dx , sen x dx , dx

por medio de un nmero finito de operaciones sobre funciones elementales han fallado.
En el siglo XIX finalmente se prob que es realmente imposible llevar a cabo
estas integraciones en trminos de funciones elementales. La demostracin de que una
determinada integral no puede calcularse no es tarea fcil. Quien realiz numerosos
aportes en el tema, entre los aos 1833 y 1841, fue el matemtico francs Joseph
Liouville.
Es importante recordar que la funcin integral de toda funcin continua existe
como un lmite (Teorema Fundamental del Clculo) y es ella misma una funcin
continua, ya sea que pueda ser obtenida en trminos de funciones elementales o no.
En el artculo Funciones sin primitiva elemental de Carlos Ivorra (4) se
desarrolla el tema minuciosamente utilizando funciones de variable compleja. All
puede encontrarse la definicin rigurosa de funcin elemental (primero se introduce la
definicin de funcin elemental compleja para posteriormente definir funcin elemental
real) y los principales resultados (se hace uso de los conceptos de funcin meromorfa y
de la teora de extensiones de cuerpo) relacionados con funciones elementales.
En la seccin 3 del trabajo se demuestra que la suma, producto, cociente y
composicin de funciones elementales es una funcin elemental. Adems all puede
verse que los polinomios a coeficientes reales y las funciones e x , log x , sen x , cos x ,
arcsen x , arccos x , arctan x , las funciones hiperblicas (y sus inversas) son tambin
funciones elementales.
En la seccin 4 se da una condicin necesaria y suficiente para que una funcin tenga
una primitiva elemental.
En la seccin 5 se demuestran los siguientes resultados:
a) Si g (x) es un polinomio de grado 2 , la integral e g ( x ) dx no es elemental.

dt ex
b) log t y (cambio de variable mediante) x dx no son elementales.
sen x
c) x
dx no es elemental.

d) Si f ( x) es un polinomio de grado 2 , las integrales sen f ( x) dx y

cos f ( x) dx no son elementales.

En la seccin 7 se demuestra:
dx
a) Si 0 < k < 1 , la integral (1 x )(1 k 2 x 2 )
2
no es elemental.

b) x 3 1 dx no es elemental.

c) La integral x k (b + ax h ) q dx donde a, b R, h, k , q Q son todos no nulos,

k +1 k +1
es elemental si y slo si al menos uno de los tres nmeros q, , q+ es entero.
h h

Las funciones sin primitiva elemental aparecen a menudo. Aqu, algunos

ejemplos:
I) La funcin de densidad de la distribucin normal (con media 0 y desviacin tpica 1)
1 t 2 / 2
viene dada por la funcin f (t ) = e . Esto significa que la probabilidad de que
2
una variable aleatoria con dicha distribucin tome su valor en un intervalo [a, b] viene
b
1
e
2
t /2
dada por la integral dt .
2 a

II) El teorema de los nmeros primos afirma que la funcin ( x) definida como el
nmero de nmeros primos menores o iguales a x es asintticamente igual a la integral
logartmica:
x
dt
( x) ( x) =
2
log t

III) La curva , llamada espiral de Cornu, definida por la funcin vectorial

 t t
r 2 r r
r (t ) = cos u du i + sen u 2 du j , t R0+ .
0 2 0 2

es utilizada como curva de transicin en la construccin de rutas.

IV) Las integrales elpticas. Estas son integrales en las que el integrando depende
racionalmente de la raz cuadrada de un polinomio de tercer o cuarto grado. Entre estas
s
dx
integrales, la funcin u ( s ) = ha llegado a ser particularmente
2 2 2
0 (1 x )(1 k x )
importante. Su funcin inversa s (u ) prototipo de las llamadas funciones elpticas,
tambin desempea un papel importante.
Notemos que para k = 0 se obtiene u ( s ) = arcsen s y s (u ) = sen u .

(1) Introduccin al Clculo y al Anlisis Matemtico (Vol 1) Courant-John-Ed.

Limusa, Mxico, 1979
(2) Brand, Clculo avanzado.
(3) http://personal.us.es/freniche/docencia/am1_06_07/lec2sin_primitivas.pdf
(4) http://www.uv.es/~ivorra/Libros/Primitivas.pdf