Meccanica analitica/Trasformazioni canoniche

Trasformazioni canoniche e condizione di Lie

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 $H(q/p/t)$ e si può descrivere l'evoluzione temporale del sistema attraverso le equazioni canoniche, che sono un set di $2n$ equazioni differenziali nelle variabili canoniche.

Se invece volessimo cambiare set di variabili canoniche, passando alle nuove variabili $(Q_1,\cdots ,Q_n,P_1,\cdots ,P_n)$, 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 $(q,p)$ alle $(Q,P)$ che gode della proprietà che esista una funzione $H^{\prime }$ tale che questa descriva l'evoluzione temporale del sistema descritto da $(Q,P)$. Se esiste, questa trasformazione prende il nome di trasformazione canonica:

$(q,p)\leftrightarrow (Q,P)$

Questa trasformazione deve quindi essere biunivoca e devono valere le equazioni canoniche sia nelle variabili $(q,p)$ descritte con la funzione $H$, sia nelle nuove variabili $(Q,P)$ descritte dalla funzione $H^{\prime }$. Un caso particolare è quanto $H(q(Q,P),p(Q,P))=H^{\prime }(Q,P)$: 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:

$\det \left(\frac{\partial (Q,P)}{\partial (q,p)}\right)=\det \Vert \begin{array}{cccccc}\frac{\partial q_1}{\partial Q_1}& \cdots & \frac{\partial q_n}{\partial Q_1}& \frac{\partial p_1}{\partial P_1}& \cdots & \frac{\partial p_n}{\partial P_1}\\ ⋮& \cdots & ⋮& ⋮& \cdots & ⋮\\ \frac{\partial q_n}{\partial Q_n}& \cdots & \frac{\partial q_n}{\partial Q_n}& \frac{\partial p_1}{\partial P_n}& \cdots & \frac{\partial p_n}{\partial P_n}\end{array}\Vert \ne 0$

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

Teorema (condizione di Lie)

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

$\sum _{h=1}^n{p}_{h}d{q}_h\to \lambda \left(\sum _{h=1}^n{P}_{h}d{Q}_h\right)+\mathrm{\Psi }dt+dF$

Questa condizione è necessaria e sufficiente affinché la trasformazione sia canonica. Il coefficiente $\lambda \in ℝ$ è un numero reale e le due funzioni $\psi ,F$ sono due qualsiasi funzioni dello spazio delle fasi, ovvero funzioni delle variabili $\psi (q/p/t)$ e $F(q/p/t)$.

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

$\sum _{h=1}^n{p}_{h}d{q}_h-\lambda \sum _{h=1}^n{P}_{h}d{Q}_h-\mathrm{\Psi }dt=dF$

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

Dimostrazione

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

$\delta A^{\prime }=\delta \underset{t_0}{\overset{t_1}{\int }}dt(\sum _{h=1}^n{p}_h{\dot{q}}_h-H)=0$

Nell'espressione del funzionale, sostituiamo al posto di $\sum _{h=1}^n{p}_h{\dot{q}}_h$ la condizione di Lie; per semplicità di notazione, consideriamo $n=1$, un solo grado di libertà; nel caso generale la dimostrazione è identica, basta tener conto della sommatoria.

$\delta \underset{t_0}{\overset{t_1}{\int }}dt(P\dot{Q}-H+\mathrm{\Psi }+\frac{dF}{dt})$

Chiamo $-(H-\mathrm{\Psi })=H^{\prime }$; considerato questo:

$\delta \underset{t_0}{\overset{t_1}{\int }}dt(P\dot{Q}-H^{\prime }+\frac{dF}{dt})=\delta \underset{t_0}{\overset{t_1}{\int }}dt(P\dot{Q}-H^{\prime })+[\delta F{]}_{t_0}^{t_1}$

L'ultimo membro dell'addizione è dato dal teorema fondamentale del calcolo: $\delta \underset{t_0}{\overset{t_1}{\int }}\frac{dF}{dt}=\delta F{|}_{t_0}^{t_1}$. Consideriamo proprio questo valore. Per l'azione ampliata valgono $\delta q_0=\delta q_1=0$. Se $\delta F$ è una funzione solo delle $q$, allora $\delta F=0$. Ma se fosse funzione anche delle $p$, studiando l'azione non ampliata, in cui anche $\delta p_0=\delta p_1=0$, allora si ha che $\delta F=0$ in qualsiasi caso. Allora, il funzionale azione ampliata nelle nuove variabili hamiltoniane è stazionario:

$\delta A^{\prime }=\delta \underset{t_0}{\overset{t_1}{\int }}dt(P\dot{Q}-H^{\prime })=0$

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

Studieremo ora delle trasformazioni canoniche con diverse funzioni generatrici note. Consideriamo una generica trasformazione $(q,p)\to (Q,P)$, questa sarà canoniche se esiste $H^{\prime }$ tale che:

$\begin{array}{cc}& \dot{q}=\frac{\partial H}{\partial p}\\ & \dot{p}=-\frac{\partial H}{\partial q}\end{array}\begin{array}{cc}& \dot{Q}=\frac{\partial H^{\prime }}{\partial P}\\ & \dot{P}=-\frac{\partial H^{\prime }}{\partial Q}\end{array}$

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

$\sum _{h=1}^n{p}_{h}d{q}_h=\sum _{h=1}^n{P}_{h}d{Q}_h+\mathrm{\Psi }dt+dF$

Consideriamo allora diverse funzioni generatrici. Partiamo dal primo caso, quello in $F_1(q,Q,t)$, ovvero funzione solo delle $q$ e $Q$. 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:

$Q(q,p,t)P(q,p,t)$

Allora possiamo scrivere il differenziale esatto $d{F}_1$:

$d{F}_1=\frac{\partial F_1}{\partial q}dq+\frac{\partial F_1}{\partial Q}dQ+\frac{\partial F_1}{\partial t}dt$

Sostituendolo nella condizione di Lie:

$pdq-PdQ=\mathrm{\Psi }dt+\frac{\partial F_1}{\partial q}dq+\frac{\partial F_1}{\partial Q}dQ+\frac{\partial F_1}{\partial t}dt$

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

$\begin{array}{cc}& p=\frac{\partial F_1}{\partial q}\\ & P=-\frac{\partial F_1}{\partial Q}\\ & \mathrm{\Psi }=-\frac{\partial F_1}{\partial t}\end{array}$

Ricordando che $H^{\prime }=H-\mathrm{\Psi }$ abbiamo che: $H^{\prime }=H+\frac{\partial F_1}{\partial t}$. Le tre relazioni scritte qui sopra possono essere sfruttate per esplicitare le nuove variabili in funzione delle vecchie.

Cambiamo funzione generatrice e prendiamo $F_2(q,P,t)$, funzione delle $q$ e delle $P$. Per far ciò, partiamo da $F_1$ e sostituiamo le $Q$ con le $P$ attraverso la trasformata di Legendre:

$F_2(q,P,t)=F_1(q,Q,t)+PQ$

Da cui otteniamo che:

$d{F}_1=d{F}_2-(PdQ+QdP)$

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

$pdq-PdQ=\mathrm{\Psi }dt+d{F}_2-(PdQ+QdP)$

Otteniamo la nuova condizione

$d{F}_2=pdq-Qdp-\mathrm{\Psi }dt$

Esplicitando $d{F}_2$:

$\frac{\partial F_2}{\partial q}dq+\frac{\partial F_2}{\partial P}dP+\frac{\partial F_2}{\partial t}dt+\mathrm{\Psi }dt=pdq-QdP$

Otteniamo le nuove relazioni:

$\begin{array}{cc}& p=\frac{\partial F_2}{\partial q}\\ & Q=\frac{\partial F_2}{\partial P}\\ & \mathrm{\Psi }=-\frac{\partial F_2}{\partial t}\end{array}$

Passiamo adesso alla funzione $F_3(p,Q,t)$; con la trasformata di Legendre, vale:

$F_3(p,Q,t)=F_1-pq$

Da cui:

$d{F}_1=d{F}_3+(pdq+qdp)$

Sostituendo nella condizione di Lie:

$pdq-PdQ=\mathrm{\Psi }dt+d{F}_1+pdqqdp$

Otteniamo l'espressione:

$\frac{\partial F_3}{\partial p}dp+\frac{\partial F_3}{\partial Q}dQ+\frac{\partial F_3}{\partial t}dt+\mathrm{\Psi }dt=-qdp-PdQ$

Le relazioni riguardo questa funzione generatrice sono:

$\begin{array}{cc}& q=-\frac{\partial F_3}{\partial p}\\ & P=-\frac{\partial F_3}{\partial Q}\\ & \mathrm{\Psi }=-\frac{\partial F_3}{\partial t}\end{array}$

La quarta combinazione di variabili si riassume nella funzione $F_4(p,P,t)$. Abbiamo:

$F_4(p,P,t)=F_1+(-pq+PQ$

Il differenziale è:

$d{F}_1=d{F}_4+pdq+qdp-PdQ-QdP$

Sostituendo come al solito nella condizione di Lie:

$\begin{array}{cc}pdq-PdQ& =\mathrm{\Psi }dt+d{F}_4+pdq+qdp-PdQ-QdP\\ QdP-PdQ& =\mathrm{\Psi }dt+d{F}_4=\mathrm{\Psi }dt+\frac{\partial F_4}{\partial dp}dp+\frac{\partial F_4}{\partial P}dP+\frac{\partial F_4}{\partial t}dt\end{array}$

Otteniamo le relazioni:

$\begin{array}{cc}& q=-\frac{\partial F_4}{\partial p}\\ & Q=\frac{\partial F_4}{\partial P}\\ & \mathrm{\Psi }=H^{\prime }-H=-\frac{\partial F_4}{\partial t}\end{array}$

Esempi di trasformazioni canoniche

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 $F_1(q,Q)=\sum _{l=1}^n{q}_l{Q}_l$; valgono allora:

$\begin{array}{cc}& p_h=\frac{\partial F_1}{\partial q_h}=Q_h\\ & P_h=-\frac{\partial F_1}{\partial Q_h}=-q_h& \frac{\partial F_1}{\partial t}=0=\mathrm{\Psi }\Rightarrow H^{\prime }=H\end{array}$

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

$H^{\prime }=H(q(P,Q),p(Q,P))=H(-P,Q)$

Le equazioni canoniche sono inoltre:

$|\begin{array}{cc}& {\dot{q}}_h=\frac{\partial H}{\partial p_h}=-{\dot{P}}_h\\ & {\dot{p}}_h=-\frac{\partial H}{\partial q}=\dot{Q}\end{array}|\begin{array}{cc}& {\dot{P}}_h=-\frac{\partial H^{\prime }}{\partial Q_h}\\ & {\dot{Q}}_h=\frac{\partial H^{\prime }}{\partial P_h}\end{array}$

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 $F_1(q,Q,t)$, e l'evoluzione temporale di un sistema fisico. Se prendiamo come funzione generatrice la funzione principale di Hamilton, ponendo $Q=q_0$ e $t_0=0$, ovvero $F_1(q,Q,t)=S(q,Q,t)$, definita come:

$F_1=\underset{0}{\overset{t}{\int }}d\tau (\dot{q}p-H(q,p,t))$

Sappiamo che la funzione principale soddisfa le equazioni di Hamilton-Jacobi, ma che deve anche soddisfare le equazioni della funzione generatrice $F_1$; abbiamo quindi che, ricordando $\frac{\partial S}{\partial t}=-H$:

$H^{\prime }-H=\frac{\partial S}{\partial t}\to H^{\prime }-H=-H\to H^{\prime }=0$

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

$\begin{array}{cc}& \dot{Q}=\frac{\partial H^{\prime }}{\partial P}=0\\ & \dot{P}=-\frac{\partial H^{\prime }}{\partial Q}=0\end{array}$

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. Template:Avanzamento