En matemáticas , las funciones de Liouvillian comprenden un conjunto de funciones que incluyen las funciones elementales y sus integrales repetidas . Las funciones de Liouvillian pueden definirse recursivamente como integrales de otras funciones de Liouvillian.
Más explícitamente, una función de Liouvillian es una función de una variable que es la composición de un número finito de operaciones aritméticas (+, −, ×, ÷) , exponenciales , constantes , soluciones de ecuaciones algebraicas (una generalización de raíces n ésimas ) y antiderivadas . La función logaritmo no necesita incluirse explícitamente ya que es la integral de .
De la definición se desprende directamente que el conjunto de funciones de Liouvillia está cerrado respecto de operaciones aritméticas, composición e integración. También está cerrado respecto de diferenciación . No está cerrado respecto de límites y sumas infinitas . [ se necesita un ejemplo ]
Las funciones de Liouville fueron introducidas por Joseph Liouville en una serie de artículos entre 1833 y 1841.
Todas las funciones elementales son liouvillianas.
Ejemplos de funciones bien conocidas que son liouvillianas pero no elementales son las antiderivadas no elementales , por ejemplo:
Todas las funciones de Liouvillian son soluciones de ecuaciones diferenciales algebraicas , pero no a la inversa. Ejemplos de funciones que son soluciones de ecuaciones diferenciales algebraicas pero no de Liouvillian incluyen: [1]
Ejemplos de funciones que no son soluciones de ecuaciones diferenciales algebraicas y, por lo tanto, no son liouvillianas incluyen todas las funciones trascendentales , tales como: