Dimostrazione dell'eterno ritorno... (Teorema di Poincarè)

[nyky93]

CIao a tutti =) vorrei discutere con voi di un teorema di meccanica razionale, che visto da alcuni punti di vista può dare spunti anche a discussioni di carattere filosofico (Nietzsche, eterno ritorno, ... ). Si tratta del teorema di Poincarè.
Comunque il mio è un problema puramente tecnico. Ora mi spiego.

Il teorema dice:

Consideriamo un sistema hamiltoniano autonomo (cioè con hamiltoniana non dipendente dal tempo) per il quale sia accessibile soltanto una regione limitata dello spazio delle fasi- Prendiamo un punto qualunque e consideriamo un intorno comunque piccolo di tale punto.
Facciamo evolvere tale intorno secondo le equazioni di Hamilton: .

Allora qualunque sia esiste un tale che

Dimostrazione:

Indichiamo con l'evoluto di al tempo . E' chiaro che devono esistere due distinti per i quali gli insiemi e hanno intersezione non nulla, altrimenti si arriva a un assurdo .

Infatti se gli insiemi fossero tutti con intersezione reciproca nulla, la misura



(con indiachiamo la misura dell'insieme), per il Teorema di Lioville tutti gli hanno la stessa misura e quindi, per il membro di destra tende all'infinito.
Dall'altra parte

e quindi e quest'ultimo

è minore di infinito per ipotesi. SIamo arrivati a un assurdo!

(Fin qui tutto chiaro) Il problema tecnico arriva ora:

Osserviamo ora che



per ogni k, perché il sistema è autonomo e quindi il campo delle velocità nello spazio delle fasi non cambia nel tempo e l'intersezione va nell'intersezione. Infine basta scegliere k come il minore tra e per aver dimostrato il teorema

Questa ultima parte non l'ho proprio capita! Avete qualche suggerimento per arrivare a una spiegazione di questa ultima parte della dimostrazione?

[DirtyDeeds]

quindi il campo delle velocità nello spazio delle fasi non cambia nel temp

Questo è vero perché il campo delle velocità è il gradiente dell'Hamiltoniana rispetto alle variabili canoniche (con qualche segno meno ...).

l'intersezione va nell'intersezione.

Su questo ci devo pensare.

[nyky93]

Ok, quindi si vuole concludere semplicemente la dimostrazione facendo notare che, una volta stabilito che l'intersezione esiste (per un numero infinite di volte!), queste avranno misure tutte uguali in quanto, l'indipendenza dal tempo garantisce valori univoci in ogni punto dello spazio delle fasi

Il fatto che intersezioni vanno in intersezioni, credo voglia semplicemente dire che, dato un determinato tempo, il mio sistema avrà compiuto un'evoluzione tale da essere già tornato in un punto in cui era già stato

Può essere un'interpretazione corretta?

Come esempio io immagino un gas ideale che evolve nello spazio delle fasi bidimensionale. Quindi sul piano abbiamo questo intorno che rappresenta il mio sistema, e questo evolvendo compie una traiettoria infinita, ma la limitatezza dello spazio delle fasi lo "obbliga" a tornare infinite volte per un determinato stato iniziale

[DirtyDeeds]

Il fatto che intersezioni vanno in intersezioni, credo voglia semplicemente dire che, dato un determinato tempo, il mio sistema avrà compiuto un'evoluzione tale da essere già tornato in un punto in cui era già stato

Eh, no, purtroppo, scritta così, vuole dire qualcosa di più forte, ed è su questo che ho qualche dubbio. Ma non solo: il fatto che le intersezioni vengano mappate in intersezioni è una condizione più forte dell'uguaglianza delle misure. Può darsi che mi sfugga qualcosa, o che manchi qualche dettaglio nella dimostrazione. In particolare, se i sono una successione arbitraria di tempi, la scrittura



non avrebbe poi molto senso, perché e sarebbero poi due tempi arbitrari, e il fatto che compaia in entrambi gli U sarebbe ininfluente. Su che testo state studiando?

Purtroppo quando studiai meccanica analitica quel teorema ci fu solo enunciato, senza dimostrazione (era tanto tempo fa, Poincaré non l'aveva ancora dimostrato ), e poi non ho più avuto occasione di ritornarci (ecco, appunto) sopra.

[nyky93]

Su che testo state studiando?

Sono appunti scritti dal professore del mio corso. Ho riportato fedelmente tutti passaggi.

Non credo sia un passaggio complicato, il problema è che non si capisce proprio cosa voglia dire. Sto leggendo un po di testi, vedo se riesco a tirare fuori qualcosa e poi ti faccio sapere

[DirtyDeeds]

Non credo sia un passaggio complicato, il problema è che non si capisce proprio cosa voglia dire.

Più che altro, scritto così, sembra proprio sbagliato Considera le evoluzioni di a due tempi generici, e : ottieni due sottoinsiemi dello spazio delle fasi e , dove è il flusso del sistema dinamico (la mappa che preserva le aree). Ora considera l'intersezione , come possiamo interpretare la frase l'"intersezione va nell'intersezione"? Quel "va" può far pensare che il flusso mappi nell'intersezione di altre due evoluzioni, ma il flusso dipendente dagli intervalli di tempo, se il sistema è autonomo, è se i tempi sono arbitrari la frase perde di significato.

Se si guarda, per esempio, a questo enunciato del teorema e alla corrispondente dimostrazione, si vede che la mappa è sempre la stessa (il fatto che lì consideri uno spazio di probabilità non ha importanza, l'importante è che la misura sia finita): ciò corrisponderebbe, nel caso della dimostrazione data dal tuo prof., a considerare i tempi equispaziati. Se i tempi fossero equispaziati di un intervallo , allora



per ogni e allora sì che si può dire



cioè che un'intersezione è effettivamente mappata in un'intersezione.

[nyky93]

Quindi se noi supponiamo che tale dimostrazioni sia data per un tempo discretizzato, tutto torna. Però ancora non ho ben chiaro perché effettivamente intersezioni vengono mappate in intersezioni, e perché basta scegliere k=n1 o ne per dimostrare il teorema?

Cioè immaginando questo cerchio che evolve nello spazio delle fasi bidimensionale...cosa succede?

[DirtyDeeds]

Però ancora non ho ben chiaro perché effettivamente intersezioni vengono mappate in intersezioni,

Tieni presente che per qualunque funzione e insiemi si ha



e, inoltre,



se e solo se è iniettiva. Come probabilmente avete studiato, un flusso nello spazio delle fasi, per un sistema autonomo, gode delle seguenti proprietà:

1. (la mappa identica);
2. 

Da queste proprietà si ha che il flusso è invertibile, , e quindi è una funzione iniettiva. Allora, per ogni e per ogni , si ha



Ora, dalla prima parte di dimostrazione si sono trovati due tempi e tali che . D'altra parte, supponendo



Quindi esiste tale che .

Così è come leggo io la dimostrazione data. Purtroppo non mi piace neanche così: nella prima parte di dimostrazione, per esempio, non viene detta una cosa secondo me importante in riferimento a questo:

E' chiaro che devono esistere due distinti per i quali gli insiemi e hanno intersezione non nulla, altrimenti si arriva a un assurdo .

Di queste coppie non ne deve esistere solo una (come sembra dalla frase sopra), ma infinite Altrimenti non si potrebbe dire (neretto mio):

Allora qualunque sia esiste un tale che

.

Insomma, come dimostrazione non mi convince e mi sembra migliorabile: purtroppo non posso confrontarla con una standard perché nei libri di meccanica classica che ho sottomano non c'è. Appena riesco a dedicarci del tempo con calma provo a pensare a qualche miglioria.

Nota:

Cioè immaginando questo cerchio che evolve nello spazio delle fasi bidimensionale.

Non pensare agli solo come a dei cerchi, ricordati che anche partendo da un cerchio, in generale, l'azione del flusso lo deforma. Delle belle immagini che mostrano l'azione del flusso nel caso di un pendolo si trovano alle p. 140-141 del libro

F. Scheck, Mechanics, Springer, 2007.

[nyky93]

Ok era proprio il seguente punto che non riuscivo a capire



e rileggendo nell'insieme le proprietà che hai elencato credo di avere almeno ora una visione completa della dimostrazione.

Comunque hai ragione, nella dimostrazione da me data mancano sicuramente dei dettagli fondamentali

[nyky93]

Per chi volesse dargli un'occhiata ho trovato questi due pdf dove è spiegata abbastanza bene

Pag 26 - Ricorrenza di Poincarè 1

Pag 18 - Ricorrenza di Poincarè 2