Il teorema di Liouville ovvero perchè “non esiste” la primitiva di ex2
De Lellis, Camillo
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 7 (2014), p. 55-97 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

La primitiva della funzione x↦ex2 non è esprimibile in termini elementari: si tratta di un fatto ben noto, dimostrato per la prima volta da Liouville nel diciannovesimo secolo. Ciononostante la dimostrazione è poco conosciuta. In questa nota mi propongo di dame un resoconto completo, ponendo l’accento sulle idee più importanti, ma includendo anche una trattazione il più elementare possibile di tutti i dettagli tecnici. Questo lavoro è l’elaborazione di una conferenza tenuta dall’autore il 29 settembre 2012 presso il Liceo cantonale di Bellinzona, nell’ambito del convegno “L’eredità di Evariste Galois, matematico erivoluzionario. Convegno sulla Teoria di Galois e le sue applicazioni”, organizzato dalla Commissione di Matematica della Svizzera Italiana. La nota è già apparsa nel periodico “Il Volterriano”, una pubblicazione curata da alcuni professori di matematica del Liceo di Mendrisio, che ne ha gentilmente concesso la riproduzione su questa rivista.

It is well known that the primitive of the real function x↦ex2 cannot be expressed in terms of “elementary functions”. This theorem was first proved by Liouville in the nineteenth century. Nonetheless it seems that very few mathematicians know how it is proved. In this manuscript I explain the proof, following a modern version of Liouville’s ideas and based on the works of Rosenlicht and Ostrowski. The most important points are explained in a quite elementary way, but on the other hand the interested reader will find also a complete and quite detailed account of all the aspects, including the most technical ones. This note is indeed the written acount of a lecture given in the Liceo Cantonale di Bellinzona, as part of the conference “L’eredità di Evariste Galois, matematico e rivoluzionario. Convegno sulla teoria di Galois e le sue applicazioni”, organized by the Commissione di Matematica della Svizzera Italiana. It has already appeared in “Il Volterriano”, a journai published by the mathematics teachers from the Liceo di Mendrisio, who have kindly allowed me to publish it also here in a slightly modified form.

Publié le : 2014-04-01
@article{RIUMI_2014_1_7_1_55_0,
     author = {Camillo De Lellis},
     title = {Il teorema di Liouville ovvero perch\`e ``non esiste'' la primitiva di $e^{x^2}$},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {7},
     year = {2014},
     pages = {55-97},
     mrnumber = {3235967},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2014_1_7_1_55_0}
}

De Lellis, Camillo. Il teorema di Liouville ovvero perchè “non esiste” la primitiva di $e^{x^2}$. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 7 (2014) pp. 55-97. http://gdmltest.u-ga.fr/item/RIUMI_2014_1_7_1_55_0/

[1] Acquistapace, P., Conti, F. and Savojni, A., Analisi matematica. Teoria e applicazioni. McGraw Hill, Milano, 2001.

[2] Atijah, M. F. and Macdonald, I. G., Introduction to commutative algebra. Addison-Wesley series in mathematics. Westview Press, 1969. | MR 3525784

[3] Czaport, S. R., Geddes, G. O. and Labahn, G., Algorithms for computer algebra. Kluwer Academic Publishers, 1992. | MR 1256483

[4] Griffiths, P. and Harris, J., Principles of algebraic geometry. Wiley classic library. Wiley, New York, 1994. | MR 1288523

[5] Hardy, G. H., The integration of functions of a single variable. Cambridge Univ. Tracts in Mathematics and Mathematical physics. Cambridge University Press, Cambridge, 1916. | MR 349924 | Zbl 46.1461.03

[6] Herstein, I. N., Algebra. Editori Riuniti, 1999.

[7] Liouville, J., Mémoire sur les Trascendantes Elliptiques et sur l'impossibilité d'exprimer les racines de certaines équations en fonction finie explicite des coefficients. J. Math. Pures Appl.2 pp. 124-193 (1837).

[8] Magid, A. R., Lectures on differential Galois theory. University Lecture Series, 7. American Mathematical Society, Providence, RI, 1994. | MR 1301076 | Zbl 0855.12001

[9] Magid, A. R., Differential Galois theory. Notices Amer. Math. Soc.46 (9) pp. 1041-1049 (1999). | MR 1710665 | Zbl 1047.12501

[10] Mordukhai-Boltovskoj, D. D., Sur la résolution des équations différentielles du premier ordre en forme finie. Rend. Circ. Mat. Palermo61 pp. 49-72 (1937).

[11] Ostrowski, A., Sur l'intégrabilité élémentaire de quelques classes d'expressions. Comm. Math. Helv.18 pp. 283-308 (1946). | MR 16763 | Zbl 0063.06063

[12] Van Der Put, M. and Singer, M. F., Galois theory of linear differential equations. Grundlehren der Mathematischen Wissenschaften, 328. Springer-Verlag, Berlin, 2003. | MR 1960772 | Zbl 1036.12008

[13] Risch, R. H., The solution of the problem of integration in finite terms. Bull. Amer. Math. Soc.76 pp. 605-608 (1970). | MR 269635 | Zbl 0196.06801

[14] Ritt, J. F., Integration in finite terms: Liouville's theory of elementary models. Columbia Univ. Press, New York, 1948. | MR 24949 | Zbl 0031.20603

[15] Rosenlicht, M., Integration in finite terms. Amer. Math. Monthly79 (9) pp. 963-972 (1972). | MR 321914 | Zbl 0249.12106

[16] Shabat, B. V., Introduction to complex analysis. American Mathematical Society, Providence, RI, 1992. | MR 1192135 | Zbl 0799.32001