Meccanica analitica/Hamiltoniana, equazioni canoniche di Hamilton

La meccanica hamiltoniana è un'altra riformulazione della meccanica, diversa sia dalla formulazione newtoniana che da quella lagrangiana, pur partendo però dai risultati raggiunti da questa.

Il formalismo hamiltoniano è, come vedremo, uno strumento molto potente; a differenza di quello lagrangiano, la cui potenza stava nel facilitare lo studio dinamico di un sistema, il formalismo hamiltoniano fornisce un altro punto di vista sulla fisica e sul mondo, cambiando totalmente il modo di vedere le cose. Vedremo pian piano come questo sia possibile, anche senza notevoli difficoltà.

Nella meccanica lagrangiana abbiamo visto che le variabili di interesse erano le coordinate lagrangiane $q_h$ e le loro derivate, ovvero come evolvono nel tempo, $\dot{q_h}$. La meccanica hamiltoniana, invece, prende come variabili di interesse sempre le stesse $q_h$, ma sostituisce le $\dot{q_h}$ con i rispettivi momenti coniugati $p_h$. Per riuscire a sostituire la dipendenza dalle $\dot{q_h}$ con la dipendenza dai $p_h$ dobbiamo compiere una trasformazione, che viene generalmente chiamata trasformata di Legendre.

Per poter passare dalle $\dot{q_h}$ ai $p_h$ occorre poter scrivere:

$\dot{q_h}=f_h(q/p/t)$

quando scriviamo una dipendenza nella forma $f(x/y/z)$, intendiamo che le variabili $x,y,z$ variano negli indici $h=1,\cdots ,n$. Ovviamente, il tempo non ha indici ed è coordinata assoluta. Attraverso questa trasformazione, e partendo dall'energia generalizzata:

$\mathscr{H}=\sum _{h=1}^n\frac{\partial L}{\partial \dot{q_h}}\dot{q_h}-L=\sum _{h=1}^n{p}_h\dot{q_h}-L$

Dove la lagrangiana è funzione $L(q/\dot{q}/t)$. Se invece adesso passo da $\dot{q_h}$ a $f(q/p/t)$, ottengo:

$\mathscr{H}(q/\dot{q}/t)\Rightarrow \mathscr{H}(q/f(q/p/t)/t)$

Questa è la definizione di hamiltoniana, la funzione fondamentale del formalismo hamiltoniano, che sostituisce l'energia generalizzata e che descrive l'evoluzione del sistema fisico. La sua espressione generale è:

$H(q/p/t)=\sum _{h=1}^n{p}_h{f}_h(q/p/t)-L(q/f(q/p/t)/t)$

Vediamo ora come è possibile descrivere il sistema a partire dall'hamiltoniana. Studiamone le variazioni rispetto a un $q_l$ fissato; l'indice $q_h$ è l'indice muto della sommatoria:

$\frac{\partial H}{\partial q_l}=\sum _{i=1}^n\frac{\partial f_h}{\partial q_l}{p}_h-\frac{\partial L}{\partial q_l}-\sum _{h=1}^n\underset{p_h}{\underbrace{\frac{\partial L}{\partial \dot{q_h}}}}\frac{\partial L}{\partial q_l}=-\frac{\partial L}{\partial q_l}$

Dalle equazioni di Eulero-Lagrange, sappiamo che $\frac{d}{dt}\frac{\partial L}{\partial \dot{q_h}}=\frac{\partial L}{\partial q_h}$; sostituendo nell'espressione sopra:

$\frac{\partial H}{\partial q_l}=-\frac{d}{dt}\underset{p_l}{\underbrace{\frac{\partial L}{\partial \dot{q_l}}}}=-\frac{d}{dt}{p}_l=-\dot{p_l}$

Adesso vediamo la variazione rispetto al momento coniugato:

$\frac{\partial H}{\partial p_l}=f_l(q/p/t)+\sum _{h=1}^n{p}_h\frac{\partial f_h}{\partial p_l}-\sum _{h=1}^n\underset{p_l}{\underbrace{\frac{\partial L}{\partial \dot{q_h}}}}\frac{\partial f_h}{\partial p_l}=f_l(q/p/t)=\dot{q_l}$

Otteniamo le cosiddette equazioni canoniche di Hamilton:

$\{\begin{array}{cc}& \dot{p_l}=-\frac{\partial H}{\partial q_l}\\ & \dot{q_l}=\frac{\partial H}{\partial p_l}\end{array}$

Un sistema che compie il suo moto naturale rispetta queste equazioni differenziali; come vedremo, si nascondono molte cose dietro le equazioni canoniche. Template:Avanzamento