# Meccanica analitica/Il principio variazionale di Hamilton, condizioni alla Dirichlet

Meccanica analitica
Copertina Tutti i moduli · Sviluppo
Meccanica lagrangiana
* Introduzione alla meccanica lagrangianaMeccanica analitica/Introduzione alla meccanica lagrangiana
* Vincoli, virtualismi, variabili lagrangianeMeccanica analitica/Vincoli, virtualismi, variabili lagrangiane
* Equazione simbolica di d'AlembertMeccanica analitica/Equazione simbolica di d'Alembert
* La lagrangiana e le equazioni di Eulero-LagrangeMeccanica analitica/La lagrangiana e le equazioni di Eulero-Lagrange
* Quantità conservateMeccanica analitica/Quantità conservate
* Punti di equilibrioMeccanica analitica/Punti di equilibrio
* Piccole oscillazioni attorno a punti di equilibrio stabiliMeccanica analitica/Piccole oscillazioni attorno a punti di equilibrio stabili
Meccanica hamiltoniana
* Hamiltoniana, equazioni canoniche di HamiltonMeccanica analitica/Hamiltoniana, equazioni canoniche di Hamilton
* Spazi delle fasiMeccanica analitica/Spazi delle fasi
* Prede e predatori: le equazioni di Lotka e VolterraMeccanica analitica/Prede e predatori: le equazioni di Lotka e Volterra
* Parentesi di PoissonMeccanica analitica/Parentesi di Poisson
* Quantità conservate e quantità compatibili attraverso le parentesi di PoissonMeccanica analitica/Quantità conservate e quantità compatibili attraverso le parentesi di Poisson
* Il problema della brachistocrona, elementi di analisi funzionaleMeccanica analitica/Il problema della brachistocrona, elementi di analisi funzionale
* Il principio variazionale di Hamilton, condizioni alla DirichletMeccanica analitica/Il principio variazionale di Hamilton, condizioni alla Dirichlet
* Il principio variazionale di Hamilton ampliatoMeccanica analitica/Il principio variazionale di Hamilton ampliato
* Funzione principale di HamiltonMeccanica analitica/Funzione principale di Hamilton
* Trasformazioni canonicheMeccanica analitica/Trasformazioni canoniche
* Parentesi di Poisson e trasformazioni canonicheMeccanica analitica/Parentesi di Poisson e trasformazioni canoniche
* Metodo di Hamilton-JacobiMeccanica analitica/Metodo di Hamilton-Jacobi
* Il confine tra meccanica hamiltoniana e meccanica statisticaMeccanica analitica/Il confine tra meccanica hamiltoniana e meccanica statistica
* La corda vibranteMeccanica analitica/La corda vibrante
Relatività speciale
* La fisica dopo MaxwellMeccanica analitica/La fisica dopo Maxwell
* Esperienza di Michelson-Morley e l'ipotesi di EinsteinMeccanica analitica/Esperienza di Michelson-Morley e l'ipotesi di Einstein
* Trasformazioni di Lorentz e composizione delle velocitàMeccanica analitica/Trasformazioni di Lorentz e composizione delle velocità
* Conseguenze dell'ipotesi di Einstein: dilatazione dei tempi e contrazione delle lunghezzeMeccanica analitica/Conseguenze dell'ipotesi di Einstein: dilatazione dei tempi e contrazione delle lunghezze
* Spazio di MinkowskyMeccanica analitica/Spazio di Minkowsky
* Cinematica relativisticaMeccanica analitica/Cinematica relativistica
* Dinamica relativisticaMeccanica analitica/Dinamica relativistica
* Lagrangiana in relatività e l'effetto ComptonMeccanica analitica/Lagrangiana in relatività e l'effetto Compton
Modifica il sommario
Riprendiamo in questo modulo il discorso concluso nello scorso; come abbiamo visto, dato una generica funzione $L(q,{\dot {q}},t)$, il funzionale definito come:
$I=\int _{a}^{b}dtL(q(t),{\dot {q}}(t),t)$
è stazionario solo se la funzione $L$ soddisfa l'equazione differenziale
${\frac {\partial L}{\partial q}}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}}}=0$
Ora, di solito, per indicare una funzione si usa la notazione $f(x(t),{\dot {x}}(t),t)$. Se abbiamo chiamato la nostra funzione $L(q(t),{\dot {q}}(t),t)$ non è per confondervi, perché quella può essere, anzi, è la lagrangiana. Quello che abbiamo dimostrato nello scorso modulo si chiama principio variazionale di Hamilton, e ora lo vedremo e spiegheremo più nel dettaglio. Prima di tutto, in meccanica hamiltoniana si definisce il seguente funzionale formale:
Definizione
Si definisce azione di un sistema fisico il funzionale:
$A[q]=\int _{t_{0}}^{t}dt\,L{\bigq(t),{\dot {q}}(t);t{\big )}$
$L(q(t),{\dot {q}}(t),t)$
Nello scorso modulo abbiamo dimostrato che, se la lagrangiana soddisfa l'equazione differenziale scritta sopra, allora questo funzionale è stazionario. Quell'equazione corrisponde esattamente alle equazioni di Eulero-Lagrange. Quindi, ciò che abbiamo fatto è stato dimostrare che, se la lagrangiana di un sistema fisico rispetta le equazioni di Eulero-Lagrange, allora il funzionale azione resta stazionario. Questo è esprimibile anche nel seguente modo.

## Principio variazionale di Hamilton

Sia un sistema fisico descritto da una curva $q(t)$; se la lagrangiana di questa curva soddisfa le equazioni di Eulero-Lagrange, ovvero se il sistema compie il suo moto naturale, la curva $q(t)$ rende stazionario il funzionale azione, di solito lo minimizza. In altre parole, un sistema fisico segue una traiettoria che rende sempre stazionaria l'azione.
Ora, quello che abbiamo appena detto (e dimostrato) è, in tutti i sensi, un modo diverso di vedere la realtà. Ciò che il principio variazionale afferma è che, se voi prendete un oggetto e lo lanciate in faccia a qualcuno, questo seguirà sempre quella particolare traiettoria che rende minima l'azione. In pratica, nella natura, tutto ciò che segue il suo moto naturale rende minimo un numero puramente formale, ovvero creato ad hoc, caratteristico di quel sistema. Se non vi è ben chiaro il messaggio, consigliamo fortemente di rileggere questo paragrafo. Se, invece, vi è chiaro, benvenuti nel nuovo modo di vedere le cose.
Quando abbiamo parlato delle parentesi di Poisson, abbiamo fatto l'esempio della meccanica quantistica e del suo utilizzo in quell'ambito, dicendo anche che il formalismo hamiltoniano era alla base della teoria quantomeccanica. Ovviamente, in questa teoria, anche l'azione ha un'importanza rilevante, soprattutto nella teoria ondulatoria di Schrödinger: vediamo come.
Quando passiamo allo studio meccanico delle particelle (trascurando gli effetti relativistici e gli effetti elettromagnetici, in pratica studiando gli effetti secondo la teoria classica della meccanica quantistica) non ha più senso parlare di traiettoria descritta da una particella: si parla, infatti, di ampiezza di probabilità che quella particella compia una determinata traiettoria per arrivare da un punto a un altro dello spazio. Quest'ampiezza di probabilità è determinata dalla somma di tutte le possibili traiettorie che la particella può compiere, pesate per la loro probabilità di essere compiute. Quest'ampiezza è descritta come
$e^{{\frac {\imath }{\hbar }}A}$
$A$ rappresenta l'azione della particella. Questo significa che la traiettoria che minimizza l'azione è quella con più probabilità di essere compiuta. Ancora una volta, il modo di vedere le cose cambia totalmente, e questo è un altro motivo, forse il più importante, del perché il formalismo hamiltoniano è così importante: pur descrivendo fenomeni classici di meccanica, questo nuovo modo di vedere le cose, oltre a essere intrigante di per sé, rende anche il passaggio alla fisica quantistica meno drammatico.

## Condizioni alla Dirichlet

Abbiamo visto che, dato un sistema di cui è possibile scrivere la lagrangiana, questo, tra tutte le traiettorie possibili, compie l'unica che rende minima l'azione. Il fatto che sia unica non è banale, e non sempre è vero. Le condizioni al contorno che abbiamo dato nello studio della variazione dell'azione, infatti, non sono le classiche condizioni alla Cauchy, bensì sono diverse: si chiamano condizioni alla Dirichlet.
Definizione
Si chiamano condizioni alla Dirichlet di un'equazione differenziale le condizioni del tipo:
${\begin{cases}&q(a)=A\\&q(b)=B\end{cases}}$
$a,b$
$A,B$
Per quanto riguarda le condizioni alla Cauchy, sappiamo che queste fanno sì che la soluzione sia unica. Per le condizioni alla Dirichlet, invece, nessuno ce lo assicura; se però riuscissimo a dimostrare che sono equivalenti, allora anche le condizioni alla Dirichlet renderebbero unica la soluzione. Facciamo due esempi diversi.
Consideriamo anzitutto un grave in caduta libera. L'equazione del suo moto è:
$x(t)=v_{0}t+{\frac {1}{2}}gt^{2}$
Secondo le condizioni alla Cauchy, date $x_{0},v_{0}$ sappiamo con precisione come evolve il sistema in tutti i tempi. Se dessimo, invece, delle condizioni alla Dirichlet? Poniamo:
${\begin{cases}&x(a)=v_{0}a+{\frac {1}{2}}ga^{2}\\&x(b)=v_{0}b+{\frac {1}{2}}gb^{2}\end{cases}}$
È immediato notare che possiamo facilmente, da queste condizioni, ricavare $v_{0}$, riportandoci quindi alle condizioni alla Cauchy. Ne concludiamo che, in questo caso, le due condizioni sono equivalenti e la soluzione è unica per entrambe, coincidente.
Nel secondo esempio, come sistema fisico prendiamo un oscillatore armonico, per semplicità non smorzato né forzato. L'equazione del suo moto è:
$x(t)=x_{0}\cos(\omega t)+{\frac {v_{0}}{\omega }}\sin(\omega t)$
In questo caso, poiché sono presenti funzioni periodiche, se dessimo delle condizioni alla Dirichlet non troveremmo un'unica soluzione, bensì ne troveremmo tante diverse. In questo caso, le condizioni alla Dirichlet non assicurano l'unicità della soluzione.
L'ultimo esempio considerato rappresenta proprio il naturale passaggio alla meccanica quantistica, dove abbiamo a che fare con sistemi altamente oscillanti (ovvero che oscillano sempre, non che oscillano più forte); in quei casi, non esistono più traiettorie certe, bensì esisterà solo la probabilità di trovarsi in $B$ al tempo $t=b$.

## Soluzione al problema della brachistocrona

Non ci siamo dimenticati del problema da cui siamo partiti, e ora torniamo sui nostri passi e diamo la soluzione al problema. Lo scivolo di forma migliore che minimizzi il tempo impiegato è un ramo di cicloide, descritto dalle funzioni:
${\begin{cases}&z=r(1-\cos(\theta ))\quad \theta \geq 0\\&x=r(\theta -\sin(\theta ))\quad r={\mbox{cost}}\end{cases}}$
Una cicloide ha una forma simile alla seguente:
Ovviamente, se il punto di arrivo si trova oltre il punto in cui la curva si arrotola su se stessa, la soluzione cercata non è quella (nessuno scivolo ragionevole si arrotola su se stesso), ma ne esisterà comunque un'altra che renderà minimo il tempo di discesa.