Introducción
Como seguro recordaréis hace unos meses fuimos capaces de calcular el valor de la integral de la función de densidad de una variable aleatoria con función de densidad (distribución normal con media 0 y desviación típica 1). En dicho desarrollo comentamos que la integral no tiene primitiva, vamos, que no podemos encontrar una función que se pueda expresar en forma de funciones elementales cuya derivada sea tal función de densidad. Esto es:
No existe una función expresable como combinación de funciones elementales tal que su derivada sea
.
Eso no significa que dicha función no se pueda integrar, ya que sabemos que cualquier función continua (y ésta lo es) es integrable. Lo que ocurre es que no podemos expresar dicha integral de una forma sencilla (por ejemplo, en función de exponenciales, senos, cosenos, logaritmos…).
Esta característica no es propiedad de esta función únicamente, sino que la tiene otros tipos de funciones. En este artículo vamos a mostrar algunas más.
¿Qué es una función elemental
La primera pregunta que puede surgir es la siguiente:
Estamos diciendo que la primitiva de cierta función no puede expresarse como combinación de funciones elementales, pero ¿qué funciones son las que consideramos elementales?
Aunque más o menos todos podemos tener una idea de lo que consideramos función elemental en realidad la definición y las demostraciones pertinentes no son demasiado sencillas, al menos las que aparecen en el documento en el que se basa esta artículo (enlazado al final). Por ello vamos a dedicar esta sección 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 composición 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 función
es una función elemental en todo intervalo
.
- Si
, la función
es elemental en
.
- Las funciones
y
son funciones elementales en todo intervalo
. Por ello, la función
también es elemental.
- La función
es elemental en todo intervalo
. En consecuencia, las funciones
y
también son funciones elementales.
- Las funciones hiperbólicas
y
y sus inversas son funciones elementales.
Por tanto decimos que una función no tiene primitiva elemental si el resultado de integrarla no puede expresarse como combinación 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 artículo 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 prácticos para comprobar si una función tiene primitiva elemental es el siguiente:
Sea
un dominio,
y supongamos que
no es constante y no tiene polos en
. Entonces existe una función elemental
tal que
si y sólo si existe
tal que
.
Utilizando este hecho (junto con una generalización 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.
- La función
, definida como la cantidad de números primos menores o iguales a
, es asintóticamente igual a la integral logarítmica
Pues bien, la integral siguiente:
tampoco es elemental.
- La siguiente integral:
tampoco es expresable como combinación de funciones elementales.
- Si
es un polinomio de grado
, entonces las siguientes integrales:
no son elementales (es curioso el hecho de que si tomamos
, función más 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 combinación de funciones elementales.
Por ello, la integral que comentábamos al comenzar este artículo no puede expresarse como combinación de funciones elementales.
Funciones algebraicas sin primitiva elemental
Pero no sólo las funciones trascendentes pueden presentar esta característica. También hay funciones algebraicas cuya primitiva no es elemental. Vamos con ellas:
- Si
es un polinomio con
yque sólo tiene raíces simples y
es otro polinomio tal que
, entonces la integral
no es elemental.
- Si
, la integral elíptica
no puede expresarse como combinación de funciones elementales.
- La integral
no es elemental.
- La integral binomia
con
y
es elemental si y sólo si al menos uno de los tres números
es entero.
Así, por ejemplo, la integral
es elemental, ya que
, pero la integral
no lo es.
Conclusión
Así que ya sabéis, si alguna vez os encontráis con alguna de estas integrales y lo que tenéis que hacer es calcular una primitiva no lo intentéis, ya que no podréis hacerlo.
Fuente:
- Este artículo es un resumen del artículo Funciones sin primitiva elemental del profesor Carlos Ivorra.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com…
Valora en Bitacoras.com: No hay resumen disponible para esta anotación…
Intentad explicar esto a un alumno de 2º de bachillerato, puede llegar a ser realmente complicado.
Me parece que entre las elementales te faltó la función potencial
para cualquier exponente real -con la raíz cuadrada como caso particular.
Y las funciones hiperbólicas están bien, pero son redundantes (son composición de exponenciales y otras elementales).
@hernan: la funcion
(definida solo para
positivo) se puede escribir como
.
Las funciones hiperbolicas solo son expresables en terminos de exponenciales si las defines usando numeros complejos, no como funciones reales de variable real.
@vengoroso: Tienes razón con lo primero, aunque normalmente uno ve (creo yo) a la raíz cuadrada como una función más «elemental».
Con lo segundo, creo que te has confundido con las trigonométricas comunes: son esas las expresables como exponenciales usando complejos. Las hiperbólicas son expresables con exponenciales reales.
@hernan: tienes toda la razon, no se donde tengo la cabeza hoy. Volviendo al tema del post, me parece muy interesante que los alumnos distingas entre «no integrable» y «con primitiva no expresable mediante funciones elementales»; sin embargo, me parece que la distincion entre «funciones elementales» y funciones no elementales es totalmente arbitraria. Supongo que los analistas tendran su propio punto de vista al respecto, pero desde una perspectiva puramente algebraica no se observa ninguna justificacion a la nocion de «funcion elemental». Mientras que la clase de funciones polinomicas esta perfectamente definida a partir de los axiomas de anillo, y… Lee más »
[…] 4 en Funciones sin primitiva elemental […]
muy curioso el apunte de que las funciones
sen(log(x))
cos(log(x))
sean integrables. Realmente me ha sorprendido.
El cambio de variable
log(x)=y
convierte los integrandos en
sen(y)*e^y dy
cos(y)*e^y dy
que se integran aplicando partes dos veces consecutivas…
Muy buen artículo 😀
Yo también (con vengoroso) preferiría que el artículo remarcara más que la clasificación de «funciones elementales» es relativamente arbitraria y convencional. Y preferiría que -tratándose de un artículo de divulgación- no hubiera dejado en negrita la frase «no tiene primitiva» que, de hecho, es tan incorrecta como la expresión «no integrable».
Cierto hernan, esa frase no es correcta. De todas maneras creo que en el resto del artículo queda claro que lo que ocurre es que una primitiva suya no puede expresarse como combinación de funciones elementales.
No es que no se pueda calcular la primitiva de esas funciones, por ejemplo la de Sen(x)/x dependiendo de método que utilicemos nos puede dar pi/2, o aproximado a pi.
Es que hay que saber un poco sobre métodos matemáticos y mucho sobre series y sucesiones.
La de exp(x.^2) se resuelve mediante una serie.. igual la del senx/x etc…
Saludos.
¿No sería el caso ((x^3-1))^1/2 un caso particular de la integral binomia con k=0, a=-1 y b =1?
No sé si alguien todavía está por aquí leyendo algo, pero yo sí que he conseguido resolver las integrales indefinidas. PD: no es coña
@miguel enserio como le has conseguido?
Lo he conseguido en forma de serie infinita, para algunas cosas la expresión es más cómoda.
Obviamente no se puede en forma de función elemental, pero oye, algo es algo.