Liouville Joseph

Liouville Joseph

Liouville 〈liuvìl〉 Joseph [STF] (Saint-Omer, Pas de Calais, 1809 - Parigi 1882) Prof. di matematica nell'École polytecnique (1831) e nel Collège de France (1851), poi di meccanica alla Sorbona (1857). ◆ [PRB] Distribuzione di L.: quella rappresentata dall'equazione di L. (v. oltre). ◆ [ANM] Equazione di L.: l'equazione differenziale ordinaria non lineare del secondo ordine y''+P(x)y'+Q(y) y'2=0, il cui integrale generale è ∫exp[∫Q(y)dy]dy= c₁∫exp[-∫P(x)dx]dx+c₂, dove c₁ e c₂ sono due costanti d'integrazione; interviene in varie questioni riguardanti l'evoluzione di sistemi (per es., v. gas, teoria cinetica dei: II 819 f e gassoso, stato: II 839 c). ◆ [ANM] Equazione di L.-von Neumann: v. termalizzazione in meccanica quantistica: VI 140 d. ◆ [ANM] Integrale di L.-Riemann: v. trasformazione integrale: VI 297 b. ◆ [ANM] Proprietà di L.: v. potenziale, teoria del: IV 570 a. ◆ [ALG] [ANM] Superfici di L.: superfici sulle quali è possibile scegliere un sistema di coordinate curvilinee u, v tali che la prima forma quadratica fondamentale sia: ds2=[f(u)+g(v)][F(u)du2+G(v)dv2]; tali superfici godono di importanti proprietà, come, per es., quella di poterne determinare le geodetiche con sole quadrature; sono superfici di L., per es., le quadriche, le superfici sviluppabili e quelle di rotazione. ◆ [ANM] Teorema di Cauchy-L.: afferma che una funzione analitica di una variabile complessa, che sia regolare e limitata in tutto il piano complesso, compreso il punto all'infinito, si riduce a una costante: v. anche funzione di variabile complessa: II 778 f. ◆ [ANM] Teorema di integrabilità di L.: v. meccanica analitica: III 662 c. ◆ Teorema di L.: (a) [STF] [ANM] la prima dimostrazione (1851), avente carattere costruttivo, dell'esistenza di numeri trascendenti, cioè di numeri irrazionali che non sono radici di alcuna equazione algebrica a coefficienti razionali; (b) [MCS] afferma che il volume dello spazio delle fasi di un sistema meccanico si conserva lungo le soluzioni delle equazioni di Hamilton: v. meccanica statistica: III 724 c. ◆ [ANM] 1-forma di L.: v. meccanica analitica: III 659 e.