- Théorème de Liouville (algèbre différentielle)
-
Pour les articles homonymes, voir Théorème de Liouville.En mathématiques, et plus précisément en analyse et en algèbre différentielle (en), le théorème de Liouville, formulé par Joseph Liouville dans une série de travaux concernant les fonctions élémentaires (en) entre 1833 et 1841, et généralisé sous sa forme actuelle par Maxwell Rosenlicht (en) en 1968, donne des conditions pour qu'une primitive puisse être exprimée comme combinaison de fonctions élémentaires, et montre en particulier que de nombreuses primitives de fonctions usuelles, telle que la fonction d'erreur, qui est (à une constante près) la primitive de e−x2, ne peuvent s'exprimer ainsi.
Sommaire
Définitions
Un corps différentiel est un corps commutatif K, muni d'une dérivation, c'est-à-dire d'une application
de K dans K, additive (
), et vérifiant la « règle de Leibniz » :
.
Si K est un corps différentiel, le noyau de
, 
, est appelé le corps des constantes, et noté Con(K) ; k 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 qu'il existe un s de F tel que
.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
; 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.
Le théorème fondamental
Théorème de Liouville-Rosenlicht — Soient F et G deux corps différentiels, ayant le même corps des constantes, et tels que G soit une extension différentielle élémentaire de F. Soit a un élément de F, y un élément de G, avec
y = a. Il existe alors une suite c1, ..., cn de Con(F), une suite u1, ..., un de F, et un élément v de F tels queAutrement 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.
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. La plupart des éléments de ce corps n'y ont pas de primitives ; par exemple 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 1 / (x2 + 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[ln x] et de l'extension logarithmique K[ln((1 + ix) / (1 − ix))] : en effet, utilisant les formules d'Euler, on peut écrire
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(-x2)) (qui est une extension exponentielle de K), la fonction erf, primitive de exp(-x2) (à la constante 2/
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(-x2) (avec P et Q polynômes) ; on conclut en remarquant que la dérivée de cette forme ne peut jamais être exp(-x2). 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.Relation avec la théorie de Galois différentielle
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.
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)
- (en) Maxwell Rosenlicht, « Liouville's Theorem on Functions with Elementary integral », dans Pacific Journal of Mathematics, vol. 24, 1968, p. 153–161 [texte intégral]
- (en) A. D. Fitt et G.T.Q. Hoare, « The closed-form integration of arbitrary functions », dans Mathematical Gazette, 1993, p. 227-236
- (en) D. Bertrand, « Review of "Lectures on differential Galois theory" », dans Bulletin of the American Mathematical Society, vol. 33, no 2, 1996 (ISSN 0002-9904) [texte intégral]
- (en) Geddes, Czapor, Labahn, Algorithms for Computer Algebra, Kluwer Academic Publishers, 1992 (ISBN 0-7923-9259-0)
- (en) Andy R. Magid, Lectures on differential Galois theory, vol. 7, American Mathematical Society, 1994 (ISBN 978-0-8218-7004-4) [lire en ligne]
- (en) Andy R. Magid, Differential Galois theory, vol. 46, 1999, 1041–1049 p. [lire en ligne]
- (en) Marius van der Put et Michael F. Singer, Galois theory of linear differential equations, vol. 328, Springer-Verlag, 2003 (ISBN 978-3-540-44228-8) [lire en ligne]
Liens externes
Des exemples plus détaillés et une démonstration du théorème.
Voir aussi
- Algèbre différentielle (en)
- Algorithme de Risch
![\begin{align}
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 \frac{1 + i \tan \theta}{1 - i \tan \theta} {\rm\ et\ donc\ }
\tan^{-1} x = - \frac{1}{2} i \ln \frac{1+ix}{1-ix}
\end{align}](a/bfa65bed8441966a13750198d59f9f0f.png)
Wikimedia Foundation. 2010.
