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) resulta (aunque as que la funcin cuya ley viene expresada por x 2 / 3 cos 3 x no lo parezca) elemental. Intentos de expresar integrales indefinidas tales como (para n > 2 )

o bien

dx a0 + a1 x + ... + a n x
n

a 0 + a1 x + ... + a n x n dx ,

log x dx ,

ex

dx ,

log x dx , sen( x

) dx ,

sen x dx ,

x2

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.
b) c) ex dt y (cambio de variable mediante) log t x dx no son elementales.

sen x dx no es elemental. x

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

sen f ( x) dx

cos f ( x) dx

no son elementales.

En la seccin 7 se demuestra: a) Si 0 < k < 1 , la integral

dx (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, es elemental si y slo si al menos uno de los tres nmeros q, k +1 k +1 , 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 dada por la integral

1 2

t e
a

/2

dt .

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) ( x) =

dt log t 2

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+ . 2 2 0 0

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 ( 1 x )( 1 k x ) 0 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