Funciones sin primitiva elemental

Introduccin
Como seguro recordaris hace unos meses fuimos capaces de calcular el valor de la
integral de la funcin de densidad de una variable aleatoria con funcin de densidad
(distribucin normal con media 0 y desviacin tpica 1). En dicho desarrollo
comentamos que la integral no tiene primitiva, vamos, que no podemos encontrar una
funcin que se pueda expresar en forma de funciones elementales cuya derivada sea tal
funcin de densidad. Esto es:
No existe una funcin expresable como combinacin de funciones elementales tal que
su derivada sea .
Eso no significa que dicha funcin no se pueda integrar, ya que sabemos que cualquier
funcin continua (y sta lo es) es integrable. Lo que ocurre es que no podemos expresar
dicha integral de una forma sencilla (por ejemplo, en funcin de exponenciales, senos,
cosenos, logaritmos).
Esta caracterstica no es propiedad de esta funcin nicamente, sino que la tiene otros
tipos de funciones. En este artculo vamos a mostrar algunas ms.

Qu es una funcin elemental
La primera pregunta que puede surgir es la siguiente:
Estamos diciendo que la primitiva de cierta funcin no puede expresarse como
combinacin de funciones elementales, pero qu funciones son las que consideramos
elementales?
Aunque ms o menos todos podemos tener una idea de lo que consideramos funcin
elemental en realidad la definicin y las demostraciones pertinentes no son demasiado
sencillas, al menos las que aparecen en el documento en el que se basa esta artculo
(enlazado al final). Por ello vamos a dedicar esta seccin simplemente a enumerar qu
funciones se consideran elementales:
La suma y el producto de funciones elementales en un intervalo es
elemental en . Lo mismo ocurre con el cociente de funciones elementales
siempre que el denominador no se anule en .
La composicin de funciones elementales en es elemental en .
Los polinomios son funciones elementales en cualquier intervalo .
Los cocientes de polinomios cuyo denominador no se anula en un intervalo
son funciones elementales en el intervalo .
La funcin es una funcin elemental en todo intervalo .
Si , la funcin es elemental en .
Las funciones y son funciones elementales en todo intervalo .
Por ello, la funcin tambin es elemental.
La funcin es elemental en todo intervalo . En consecuencia, las
funciones y tambin son funciones elementales.
Las funciones hiperblicas y y sus inversas son
funciones elementales.
Por tanto decimos que una funcin no tiene primitiva elemental si el resultado de
integrarla no puede expresarse como combinacin de algunas de estas funciones.
Vamos ahora a dar unos cuantos ejemplos de funciones que no tienen primitiva
elemental.
Funciones trascendentes sin primitiva elemental
En el desarrollo del documento en el que se basa este artculo la variable compleja es
fundamental. De hecho es la base de dicho documento (demostramos cosas en y para
demostrarlas en nos trasladamos a los complejos). Por ello uno de los criterios
prcticos para comprobar si una funcin tiene primitiva elemental es el siguiente:
Sea un dominio, y supongamos que no es constante y no tiene
polos en . Entonces existe una funcin elemental tal que si y
slo si existe tal que .
Utilizando este hecho (junto con una generalizacin del mismo entre otras cosas) se
puede demostrar lo que hemos comentado sobre las siguientes funciones trascendentes:
Si es un polinomio de grado , entonces la integral

no es elemental.
Por ello, la integral que comentbamos al comenzar este artculo no puede
expresarse como combinacin de funciones elementales.
La funcin , definida como la cantidad de nmeros primos menores o
iguales a , es asintticamente igual a la integral logartmica

Pues bien, la integral siguiente:

tampoco es elemental.
La siguiente integral:

tampoco es expresable como combinacin de funciones elementales.
Si es un polinomio de grado , entonces las siguientes integrales:

no son elementales (es curioso el hecho de que si tomamos ,
funcin ms compleja que un polinomio, las integrales s sean elementales).
La integral

no tiene primitiva elemental.
La integral

tampoco es elemental.
La integral

tampoco puede expresarse en como combinacin de funciones elementales.
Funciones algebraicas sin primitiva elemental
Pero no slo las funciones trascendentes pueden presentar esta caracterstica. Tambin
hay funciones algebraicas cuya primitiva no es elemental. Vamos con ellas:
Si es un polinomio con yque slo tiene races simples y
es otro polinomio tal que , entonces la integral

no es elemental.
Si , la integral elptica

no puede expresarse como combinacin de funciones elementales.
La integral

no es elemental.
La integral binomia

con y es elemental si y slo si al menos uno de los tres
nmeros

es entero.
As, por ejemplo, la integral

es elemental, ya que , pero la integral

no lo es.
Conclusin
As que ya sabis, si alguna vez os encontris con alguna de estas integrales y lo que
tenis que hacer es calcular una primitiva no lo intentis, ya que no podris hacerlo.