Teorema de Liouville (álgebra diferencial)

En álgebra diferencial, el teorema de Liouville, formulado por Joseph Liouville en una serie de trabajos sobre funciones elementales entre 1833 y 1841, y generalizado en su forma actual por Maxwell Rosenlicht en 1968, que plantea condiciones para que una función primitiva pueda expresarse como una combinación de funciones elementales.También muestra en particular que numerosas primitivas de funciones usuales, como la función error de Gauss, que es una primitiva de la función campana de Gauss,, no se pueden expresar así.El teorema dice así: Teorema del álgebra diferencial de LiouvilleSi{\displaystyle \int f(x)e^{g(x)}dx}cociente de polinomios yno constante, es una función elemental, entonces es de la formatambién es un cociente de polinomios.es la derivada de alguna función elemental, en esta debe aparecer, además de alguna función racionalTambién se cumple la formulacón recíproca:[nota 1]​ Este teorema permite probar, por ejemplo, la no elementalidad de las primitivas de una función muy conocida:(La campana de Gauss).Si se supone que la integral es elemental, al ser de la forma{\displaystyle \int f(x)e^{g(x)}dx}, racionales, sería, por el teorema de Liouville,simplificada al máximo, es decir,Derivando la anterior igualdad, se obtienese llega ano fuera constante, el teorema fundamental del álgebra asegura que tiene al menos una raíz(posiblemente compleja) de multiplicidad n. Es decir, en el polinomio de la izquierda aparecerá el factorcon exponente mayor o igual que n y en el de la derecha aparecerá con exponente n - 1 puesserá raíz de multiplicidad n - 1 de Q'(x) (véase[nota 2]​) y no es raíz de P(x).Como esto no es posible, el polinomio Q(x) debe ser constante y, obviamente, se puede suponer Q(x) = 1.fuera una función elemental se habría llegado a la igualdad, igualdad que no es posible puesg r a dg r a d{\displaystyle \mathrm {grad} (P(x))>\mathrm {grad} (P'(x))}De forma análoga se prueba la no elementalidad de