Ainsi h peut être étendu à une fonction bornée entière qui par le théorème de Liouville implique qu'elle est constante. Si f est inférieur ou égal à un scalaire multiplié par son entrée, alors il est linéaire Supposons que f soit entier et | f ( z)| est inférieur ou égal à M | z |, pour M un nombre réel positif. On peut appliquer la formule intégrale de Cauchy; nous avons ça où I est la valeur de l'intégrale restante. Cela montre que f′ est borné et entier, il doit donc être constant, par le théorème de Liouville. L'intégration montre alors que f est affine et ensuite, en se référant à l'inégalité d'origine, on a que le terme constant est nul. Les fonctions elliptiques non constantes ne peuvent pas être définies sur ℂ Le théorème peut également être utilisé pour déduire que le domaine d'une fonction elliptique non constante f ne peut pas être Supposons qu'il l'était. Alors, si a et b sont deux périodes de f telles que une / b n'est pas réel, considérons le parallélogramme P dont les sommets sont 0, a, b et a + b. Alors l'image de f est égale à f ( P).
De plus, le groupe de Galois d'une primitive donnée est soit trivial (s'il n'est pas nécessaire d'étendre le corps pour l'exprimer), soit le groupe additif des constantes (correspondant à la constante d'intégration). Ainsi, le groupe de Galois différentiel d'une primitive ne contient pas assez d'information pour déterminer si elle peut ou non s'exprimer en fonctions élémentaires, ce qui constitue l'essentiel du théorème de Liouville. Inversement, la théorie de Galois différentielle permet d'obtenir des résultats analogues, mais plus puissants, par exemple de démontrer que les fonctions de Bessel, non seulement ne sont pas des fonctions élémentaires, mais ne peuvent même pas s'obtenir à partir de primitives de ces dernières. De manière analogue (mais sans utiliser la théorie de Galois différentielle), Joseph Ritt (en) a obtenu en 1925 une caractérisation des fonctions élémentaires dont la bijection réciproque est également élémentaire [ 1]. Références (en) Cet article est partiellement ou en totalité issu de l'article de Wikipédia en anglais intitulé « Liouville's theorem (differential algebra) » (voir la liste des auteurs).
Exemples Le corps K = C ( x) des fractions rationnelles à une variable, muni de la dérivée usuelle, est un corps différentiel; son corps des constantes s'identifie à C.