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 Serie 1 7 (2014), fasc. n.1, p. 55-97, (Italian)
pdf (466 Kb), djvu (356 Kb). | MR 3235967
Sunto
La primitiva della funzione $x \mapsto e^{x^2}$ 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.
Referenze Bibliografiche
[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. |
fulltext (doi) |
MR 1256483[4]
GRIFFITHS P. and
HARRIS J.,
Principles of algebraic geometry.
Wiley classic library.
Wiley, New York,
1994. |
fulltext (doi) |
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).
[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. Palermo 61 pp. 49-72 (1937).
[12]
VAN DER PUT M. and
SINGER M. F.,
Galois theory of linear differential equations.
Grundlehren der Mathematischen Wissenschaften,
328.
Springer-Verlag, Berlin,
2003. |
fulltext (doi) |
MR 1960772 |
Zbl 1036.12008[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[16]
SHABAT B. V.,
Introduction to complex analysis.
American Mathematical Society, Providence, RI,
1992. |
MR 1192135 |
Zbl 0799.32001