Vai al contenuto

Meccanica analitica/Trasformazioni canoniche

Wikibooks, manuali e libri di testo liberi.
Indice del libro

Trasformazioni canoniche e condizione di Lie

[modifica | modifica sorgente]

Usciamo per un momento dalla descrizione quantitativa dello stato dinamico di un sistema fisico, tornando alle variabili attraverso cui esso è descritto. Sappiamo che è possibile scrivere, per un sistema, la funzione hamiltoniana e si può descrivere l'evoluzione temporale del sistema attraverso le equazioni canoniche, che sono un set di equazioni differenziali nelle variabili canoniche.

Se invece volessimo cambiare set di variabili canoniche, passando alle nuove variabili , in che modo possiamo esser certi che queste rispettino ancora le equazioni canoniche di Hamilton? Purtroppo, non c'è un modo per sapere immediatamente se questo accade; necessitiamo di trovare una trasformazione che ci faccia passare dalle vecchie variabili, in cui valgono le equazioni canoniche, alle nuove, mantenendo invariata la struttura delle equazioni canoniche, ovvero una trasformazione dalle alle che gode della proprietà che esista una funzione tale che questa descriva l'evoluzione temporale del sistema descritto da . Se esiste, questa trasformazione prende il nome di trasformazione canonica:

Questa trasformazione deve quindi essere biunivoca e devono valere le equazioni canoniche sia nelle variabili descritte con la funzione , sia nelle nuove variabili descritte dalla funzione . Un caso particolare è quanto : in questo caso la trasformazione si dice completamente canonica. Affinché quindi una trasformazione sia canonica deve essere il determinante jacobiano della trasformazione non nullo, ovvero:

Detto questo, quale condizione deve soddisfare la trasformazione affinché sia canonica?

Teorema (condizione di Lie)

[modifica | modifica sorgente]

Affinché una trasformazione sia canonica, deve valere la condizione di Lie:

Questa condizione è necessaria e sufficiente affinché la trasformazione sia canonica. Il coefficiente è un numero reale e le due funzioni sono due qualsiasi funzioni dello spazio delle fasi, ovvero funzioni delle variabili e .

Osserviamo come la costante tenga conto delle dimensioni fisiche: nel passaggio dalle alle si può passare da qualsiasi dimensione fisica a qualsiasi altra, e la costante sistema le dimensioni affinché la trasformazione abbia senso dimensionalmente. La condizione di Lie può essere scritta anche nella forma seguente:

In questo caso notiamo come sia un differenziale esatto. La funzione viene chiamata funzione generatrice della trasformazione canonica.

Dimostrazione

[modifica | modifica sorgente]

Dimostriamo solo che la condizione di Lie è sufficiente. Ricordiamo che, se le variabili soddisfano le equazioni di Hamilton, queste rendono minimo il funzionale azione ampliata:

Nell'espressione del funzionale, sostituiamo al posto di la condizione di Lie; per semplicità di notazione, consideriamo , un solo grado di libertà; nel caso generale la dimostrazione è identica, basta tener conto della sommatoria.

Chiamo ; considerato questo:

L'ultimo membro dell'addizione è dato dal teorema fondamentale del calcolo: . Consideriamo proprio questo valore. Per l'azione ampliata valgono . Se è una funzione solo delle , allora . Ma se fosse funzione anche delle , studiando l'azione non ampliata, in cui anche , allora si ha che in qualsiasi caso. Allora, il funzionale azione ampliata nelle nuove variabili hamiltoniane è stazionario:

Quindi le nuove variabili rispettano le equazioni canoniche di Hamilton.

Il calcolo della funzione generatrice di una trasformazione canonica è identico al verificare che un campo vettoriale sia conservativo o meno.

Funzioni generatrici notevoli

[modifica | modifica sorgente]

Studieremo ora delle trasformazioni canoniche con diverse funzioni generatrici note. Consideriamo una generica trasformazione , questa sarà canoniche se esiste tale che:

Inoltre, la condizione necessaria e sufficiente affinché sia canonica è la condizione di Lie:

Consideriamo allora diverse funzioni generatrici. Partiamo dal primo caso, quello in , ovvero funzione solo delle e . Da qui in avanti considereremo un solo grado di libertà, con l'osservazione che in più gradi basta aggiungere la sommatoria. Scriviamoci le nuove variabili in funzione delle vecchie:

Allora possiamo scrivere il differenziale esatto :

Sostituendolo nella condizione di Lie:

Supponiamo che sia soddisfatta la condizione di Lie; devono quindi valere le condizioni:

Ricordando che abbiamo che: . Le tre relazioni scritte qui sopra possono essere sfruttate per esplicitare le nuove variabili in funzione delle vecchie.

Cambiamo funzione generatrice e prendiamo , funzione delle e delle . Per far ciò, partiamo da e sostituiamo le con le attraverso la trasformata di Legendre:

Da cui otteniamo che:

Sostituendolo nella condizione di Lie (scritta sopra lì):

Otteniamo la nuova condizione

Esplicitando :

Otteniamo le nuove relazioni:

Passiamo adesso alla funzione ; con la trasformata di Legendre, vale:

Da cui:

Sostituendo nella condizione di Lie:

Otteniamo l'espressione:

Le relazioni riguardo questa funzione generatrice sono:

La quarta combinazione di variabili si riassume nella funzione . Abbiamo:

Il differenziale è:

Sostituendo come al solito nella condizione di Lie:

Otteniamo le relazioni:

Esempi di trasformazioni canoniche

[modifica | modifica sorgente]

Diamo qualche esempio di trasformazione canonica e vediamone le caratteristiche; ricordiamo che, per calcolare la funzione generatrice di una trasformazione canonica, il procedimento da usare è lo stesso del dover verificare che un campo sia conservativo o meno. Vediamo un paio di esempi.

Esempio 1. Sia la funzione generatrice ; valgono allora:

Abbiamo quindi che le due hamiltoniane sono le stesse e sono relazionate tra loro come segue:

Le equazioni canoniche sono inoltre:

Ovvero questa trasformazione porta le coordinate canoniche nei rispettivi momenti coniugati e viceversa. Questa è un'altra prova della flessibilità del formalismo hamiltoniano.

Esempio 2. Consideriamo ora la funzione generatrice , e l'evoluzione temporale di un sistema fisico. Se prendiamo come funzione generatrice la funzione principale di Hamilton, ponendo e , ovvero , definita come:

Sappiamo che la funzione principale soddisfa le equazioni di Hamilton-Jacobi, ma che deve anche soddisfare le equazioni della funzione generatrice ; abbiamo quindi che, ricordando :

Quindi le nuove variabili canoniche sono costanti del moto, ovvero:

In generale, per un sistema la cui hamiltoniana è indipendente dal tempo, abbiamo che l'evoluzione temporale del sistema è una trasformazione canonica con funzione generatrice la funzione principale di Hamilton. Questo punto sarà molto importante in seguito.