Riprendiamo quanto abbiamo già visto riguardo le parentesi di Poisson. Date due funzioni delle coordinate e dei momenti coniugati , la parentesi di Poisson è così definita:
Adesso consideriamo una trasformazione completamente canonica , ottenendo le nuove funzioni ; cosa possiamo dire della parentesi di Poisson nelle nuove variabili?
Ci limiteremo al caso di trasformazione completamente canoniche. Consideriamo un grado di libertà per semplicità di notazione. Prima di procedere, ricordiamo che, tramite le parentesi di Poisson, abbiamo calcolato la derivata totale temporale di una funzione come:
Se, invece, è indipendente dal tempo, la sua derivata è esattamente , poiché la derivata parziale .
Nella nostra parentesi , consideriamo la funzione come se fosse l'hamiltoniana di un qualsiasi sistema fisico; non ci interessa sapere quale sistema sia, possiamo tranquillamente supporre questo, ricordando l'alta flessibilità del formalismo hamiltoniano (abbiamo calcolato l'hamiltoniana dei conigli che vengono mangiati dalle volpi, insomma, non stupiamoci per così poco). Ha senso, posto ciò, scrivere . Questo risultato appena ottenuto va a coincidere proprio con:
Inoltre, poiché abbiamo posto , valgono le equazioni canoniche di Hamilton nelle variabili di partenza:
Inoltre, essendo la trasformazione completamente canonica, abbiamo che , ovvero :
Quindi, deve valere anche che e quindi:
Essendo la trasformazione completamente canonica, vale anche che , per cui , ovvero:
Ovvero le parentesi di Poisson sono invarianti per trasformazioni completamente canoniche.
Assumiamo vero che sia valido in generale per trasformazioni canoniche, saltando la dimostrazione matematica. Possiamo applicare questo risultato interessante a delle parentesi di Poisson notevoli che abbiamo già trattato in passato. Ricordiamole:
Prendiamo ora la seconda. Applichiamo una trasformazione completamente canonica:
Per il teorema prima dimostrato, deve valere . La più interessante da osservare è invece la prima parentesi. Applicando la stessa trasformazione, deve verificarsi:
Questa è un'altra condizione per la canonicità di una trasformazione.
Condizione necessaria e sufficiente affinché una trasformazione sia canonica:
Le trasformazioni canoniche hanno anche particolari proprietà. La più notevole è la seguente.
Teorema (proprietà delle trasformazioni canoniche)
Sfruttiamo il fatto che, dividendo la trasformazione in due passi successivi, non cambia il risultato finale. Cambiamo quindi prima le coordinate lagrangiane e poi i rispettivi momenti, potendo scrivere quindi:
Nella prima matrice la trasformazione è , nella seconda , lasciando le altre invariate in entrambi i passi. Possiamo scrivere:
Al posto del secondo termine abbiamo solo scritto l'inverso. Poiché nel primo resta costante il momento , mentre nel secondo resta costante la coordinata , possiamo scrivere:
Il determinante dello jacobiano sarà quindi dato da:
Da quello che abbiamo visto nel modulo scorso sulle trasformazioni canoniche e funzioni generatrici, vale , da cui
Vale anche , quindi:
Osserviamo che le due matrici sono uguali, quindi il determinante dello jacobiano: