Théorème de Liouville (algèbre différentielle)

Un corps différentiel est un corps commutatif K, muni d'une dérivation, c'est-à-dire d'une application ${\displaystyle \partial }$ de K dans K, additive (telle que ${\displaystyle \partial (u+v)=\partial u+\partial v}$), et vérifiant la « règle du produit » :

${\displaystyle \partial (uv)=u\,\partial v+v\,\partial u}$.

Si K est un corps différentiel, le noyau de ${\displaystyle \partial }$, à savoir ${\displaystyle \operatorname {Ker} (\partial )=\{u\in K:\partial (u)=0\},}$ est appelé le corps des constantes, et noté Con(K) ; c'est un sous-corps de K.

Étant donnés deux corps différentiels F et G, on dit que G est une extension logarithmique de F si G est une extension transcendante simple de F, c'est-à-dire que G = F(t) pour un élément transcendant t, et s'il existe un s de F tel que ${\displaystyle \partial t=\partial s/s}$.

Cette condition a la forme d'une dérivée logarithmique ; on peut donc interpréter t comme une sorte de logarithme de l'élément s de F.

De façon analogue, une extension exponentielle de F est une extension transcendante simple de F telle qu'il existe un s de F vérifiant ${\displaystyle \partial t=t\partial s}$ ; là encore, t peut être interprété comme une sorte d'exponentielle de s.

Enfin, on dit que G est une extension différentielle élémentaire de F s'il existe une chaîne finie de sous-corps allant de F à G, telle que chaque extension de la chaîne soit algébrique, logarithmique ou exponentielle.

Autrement dit, les seules fonctions ayant des « primitives élémentaires » (c'est-à-dire des primitives appartenant à des extensions élémentaires de F) sont celles de la forme prescrite par le théorème.

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. La plupart des éléments de ce corps n'y ont pas de primitives ; par exemple ${\displaystyle {1}/{x}}$ n'en admet pas, parce que ses primitives ln x + C ont une vitesse de croissance à l'infini plus faible que celle de toute fraction rationnelle non bornée ; de même, on montre que les primitives de ${\displaystyle {1}/(x^{2}+1)}$, de la forme arctan(x) + C, n'appartiennent pas à K. Cependant, dans ces deux cas, il existe une primitive dans une extension de K ; respectivement, il s'agit de l'extension logarithmique K${\displaystyle [\ln x]}$ et de l'extension logarithmique K${\displaystyle [\ln((1+ix)/(1-ix))]}$ : en effet, utilisant les formules d'Euler, on peut écrire

${\displaystyle {\begin{aligned}e^{2i\theta }&={\frac {e^{i\theta }}{e^{-i\theta }}}={\frac {\cos \theta +i\sin \theta }{\cos \theta -i\sin \theta }}={\frac {1+i\tan \theta }{1-i\tan \theta }}\\[8pt]2i\theta &=\ln \left({\frac {1+i\tan \theta }{1-i\tan \theta }}\right){\rm {\ et\ donc\ }}\arctan x={\frac {1}{2i}}\ln \left({\frac {1+ix}{1-ix}}\right)\end{aligned}}}$

On sait d'ailleurs (d'après la décomposition en éléments simples) que tout élément de K admet une primitive dans une extension élémentaire de K (et même, en fait, dans une extension qui est obtenue par une suite d'extensions logarithmiques).

En revanche, la plupart des extensions élémentaires de K ne vérifient pas cette propriété de stabilité. Ainsi, si on prend pour corps différentiel L = K(exp(-x²)) (qui est une extension exponentielle de K), la fonction d'erreur erf, primitive de la fonction gaussienne exp(-x²) (à la constante 2/${\displaystyle {\sqrt {\pi }}}$ près), n'est dans aucune extension différentielle élémentaire de K (ni, donc, de L), c'est-à-dire qu'elle ne peut s'écrire comme composée de fonctions usuelles. La démonstration repose sur l'expression exacte des dérivées données par le théorème, laquelle permet de montrer qu'une primitive serait alors nécessairement de la forme P(x)/Q(x)exp(-x²) (avec P et Q polynômes) ; on conclut en remarquant que la dérivée de cette forme ne peut jamais être exp(-x²). On montre de même que de nombreuses fonctions spéciales définies comme des primitives, telles que le sinus intégral Si, ou le logarithme intégral Li, ne peuvent s'exprimer à l'aide des fonctions usuelles.

On présente parfois le théorème de Liouville comme faisant partie de la théorie de Galois différentielle, mais cela n'est pas tout à fait exact : il peut être démontré sans aucun appel à la théorie de Galois. 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 (ce ne sont pas des fonctions liouvilliennes). De manière analogue (mais sans utiliser la théorie de Galois différentielle), Joseph Ritt a obtenu en 1925 une caractérisation des fonctions élémentaires dont la bijection réciproque est également élémentaire[1].

• (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).
• (en) Daniel Bertrand, « Review of "Lectures on differential Galois theory" by Andy R. Magid », Bull. Amer. Math. Soc., vol. 33, n^o 2,‎ 1996 (lire en ligne)
• (en) Alister D. Fitt et G. T. Q. Hoare, « The closed-form integration of arbitrary functions », Math. Gazette,‎ 1993, p. 227-236 (lire en ligne)
• (en) Keith O. Geddes (en), Stephen R. Czapor et George Labahn, Algorithms for Computer Algebra, Boston/Dordrecht/London, Kluwer Academic Publishers, 1992, 585 p. (ISBN 0-7923-9259-0, lire en ligne)
• Joseph Liouville, « Mémoire sur l'intégration d'une classe de fonctions transcendantes », J. reine angew. Math., vol. 13,‎ 1835, p. 93-118 (lire en ligne)
• Joseph Liouville, « Remarques nouvelles sur l'équation de Riccati », J. math. pures appl., 1^re série, vol. 6,‎ 1841, p. 1-13 (lire en ligne)
• (en) Andy R. Magid, Lectures on differential Galois theory, AMS, coll. « University Lecture Series » (n^o 7), 1994, 105 p. (ISBN 978-0-8218-7004-4, MR 1301076, lire en ligne)
• (en) Andy R. Magid, « Differential Galois theory », Notices Amer. Math. Soc., vol. 46, n^o 9,‎ 1999, p. 1041-1049 (MR 1710665, lire en ligne)
• (en) Maxwell Rosenlicht, « Liouville's Theorem on Functions with Elementary integral », Pacific J. Math., vol. 24,‎ 1968, p. 153-161 (lire en ligne)
• (en) Marius van der Put (de) et Michael F. Singer, Galois theory of linear differential equations, Springer-Verlag, coll. « Grund. math. Wiss. » (n^o 328), 2003, 438 p. (ISBN 978-3-540-44228-8, MR 1960772, lire en ligne)