Equazione di Langevin

In fisica statistica, un'equazione di Langevin (da Paul Langevin) è un'equazione differenziale stocastica che descrive l'evoluzione di un sistema soggetto a una combinazione di forzanti deterministiche e casuali. Le variabili dipendenti in un'equazione di Langevin sono tipicamente variabili collettive (macroscopiche) che variano lentamente rispetto alle altre variabili (microscopiche) del sistema. Le variabili veloci (microscopiche) sono responsabili della natura stocastica dell'equazione di Langevin. Un esempio è il caso del moto browniano, in cui si considera il moto irregolare di una particella mesoscopica in un fluido.

Moto browniano come archetipo modifica

L'equazione di Langevin originale[1] descrive il moto browniano, ossia il movimento apparentemente casuale di una piccola particella immersa in un fluido, dovuto alle collisioni con le molecole di tale fluido (delle quali è molto più grande),

 

Dove   è la velocità della particella, e   è la sua massa. La forza totale che agisce sulla particella è espressa come la somma di una forza viscosa proporzionale alla velocità della particella (legge di Stokes) e di un termine di rumore   che rappresenta l'effetto delle collisioni con le molecole del fluido. La forza   ha una distribuzione di probabilità gaussiana, con funzione di correlazione

 

dove   è la costante di Boltzmann,   è la temperatura e   è la i-esima componente del vettore  . La   (delta di Dirac) nella funzione di correlazione temporale significa che la forza al tempo   non è correlata con la forza in qualsiasi altro tempo. Questa è un'approssimazione: la forza casuale effettiva ha in realtà un tempo di correlazione diverso da zero, corrispondente al tempo di collisione delle molecole. Tuttavia, l'equazione di Langevin viene usata per descrivere il moto di una particella "macroscopica" su una scala temporale molto più lunga, e in questo limite si ha la   -correlazione, e l'equazione di Langevin diventa virtualmente esatta.

Un'altra caratteristica comune dell'equazione di Langevin è la presenza del coefficiente di attrito viscoso   nella funzione di correlazione della forza casuale, che in un sistema di equilibrio è espressione di una relazione di Einstein.

Aspetti matematici modifica

Da un punto di vista matematicamente rigoroso la forza casuale   caratterizzata da una   - correlazione non può essere considerata una funzione, e nemmeno la derivata   è rigorosamente definita in questo limite. Questo problema scompare quando l'equazione di Langevin viene scritta in forma integrale  

Pertanto, la forma differenziale deve essere vista come una semplice abbreviazione del suo integrale temporale. Il termine matematico generale per equazioni di questo tipo è "equazione differenziale stocastica".

Un'altra ambiguità matematica si verifica per le equazioni di Langevin con rumore moltiplicativo, in cui i termini di rumore vengono moltiplicati per una funzione non costante delle variabili dipendenti,  . Se un rumore moltiplicativo è intrinseco al sistema, la sua definizione è ambigua, in quanto è altrettanto valido interpretarlo secondo l'interpretazione alla Stratonovich o alla Ito (vedi calcolo alla Itō). Tuttavia, le osservabili fisiche sono indipendenti dall'interpretazione, a condizione che quest'ultima venga applicata in modo coerente durante tutta la manipolazione dell'equazione. Ciò è necessario perché le regole simboliche del calcolo differiscono a seconda dello schema di interpretazione. Se il rumore è esterno al sistema, l'interpretazione appropriata è quella di Stratonovich.[2][3]

Equazione di Langevin generica modifica

Esiste una derivazione formale di una generica equazione di Langevin a partire dalla meccanica classica.[4][5] Questa equazione generica gioca un ruolo centrale nella teoria della dinamica critica, e in altre aree della meccanica statistica del non equilibrio.[6] L'equazione per il moto browniano precedente è un caso particolare.

Un passaggio essenziale nella derivazione è la suddivisione dei gradi di libertà nelle categorie lenti e veloci. Ad esempio, l'equilibrio termodinamico locale in un liquido viene raggiunto entro pochi tempi di collisione, ma ci vuole molto più tempo affinché le densità di quantità conservate come massa ed energia si rilassino all'equilibrio. Pertanto, le densità delle quantità conservate, e in particolare le loro componenti di grande scala, sono candidate a variabili lente. Questa divisione può essere espressa formalmente con l'operatore di proiezione di Zwanzig.[7] Tuttavia, la derivazione non è completamente rigorosa dal punto di vista della fisica matematica, perché si basa su ipotesi che mancano di prove rigorose e che invece sono giustificate solo come approssimazioni plausibili di sistemi fisici.

Siano   le variabili lente. L'equazione di Langevin generica avrà allora la forma:

 

La forza random   obbedisce a una distribuzione di probabilità gaussiana avente funzione di correlazione:

 

Ciò implica la relazione reciproca di Onsager   per i coefficienti di smorzamento  . La derivata   è trascurabile nella maggior parte dei casi. Il simbolo   denota l'hamiltoniana del sistema, dove   è la distribuzione di probabilità di equilibrio delle variabili  . Infine,   è la proiezione delle parentesi di Poisson delle variabili lente   e   nello spazio delle variabili lente.

Nel caso del moto browniano si avrebbe  ,   o   e  . L'equazione del moto   per   è esatta: non è presente la forza stocastica   e nessun coefficiente di smorzamento  .

Esempi modifica

Rumore termico in una resistenza elettrica modifica

 
Un circuito elettrico costituito da un resistore e da un condensatore

Esiste una corrispondenza matematica tra la paradigmatica particella browniana discussa in precedenza e il rumore di Johnson, ossia la tensione elettrica generata dalle fluttuazioni termiche in un resistore.[8] Lo schema mostra un circuito elettrico costituito da un resistore   e un condensatore  . La variabile lenta è la tensione   tra le estremità del resistore. L'hamiltoniana di questo sistema è  , e l'equazione di Langevin è quindi:

 

Questa equazione può essere utilizzata per ricavare la funzione di correlazione

 

che diventa rumore bianco (rumore di Johnson) quando la capacità   diventa abbastanza piccola da essere trascurabile.

Dinamica critica modifica

La dinamica del parametro d'ordine   di una transizione di fase del secondo ordine rallenta in prossimità del punto critico, e può essere descritta con un'equazione di Langevin.[9] Il caso più semplice è quello della classe di universalità "modello A" con parametro di ordine scalare non conservato, che si ottiene ad esempio in ferromagneti assiali,

 

Altre classi di universalità contengono un parametro d'ordine con diffusione, parametri d'ordine con più componenti, altre variabili critiche e/o contributi da parentesi di Poisson.[9]

Oscillatore armonico in un fluido modifica

 

Una particella mesoscopica immersa in un fluido può essere descritta da un'equazione di Langevin, in cui è presente un termine di potenziale, una forza di smorzamento e le fluttuazioni termiche che obbediscono al teorema di fluttuazione-dissipazione. Se il potenziale è quadratico, allora le curve di energia costante nello spazio delle fasi sono ellissi, come mostrato in figura. Se c'è dissipazione ma nessun rumore termico (se la particella è troppo grande per esserne affetta), la particella perde continuamente energia nell'ambiente, e la sua traiettoria nello spazio delle fasi (momento vs posizione) corrisponde a una spirale verso lo stato con 0 velocità. Al contrario, le fluttuazioni termiche aggiungono continuamente energia alla particella, e le impediscono di fermarsi del tutto. Piuttosto, l'insieme iniziale di tutte le possibili traiettorie tende a uno stato stazionario in cui la velocità e la posizione sono distribuite secondo la distribuzione di Maxwell-Boltzmann. Nel grafico sottostante (figura 2), si confrontano gli stati asintotici della distribuzione di velocità (arancione) e della distribuzione delle posizioni (blu) in un potenziale armonico ( ), confrontati con le distribuzioni di Boltzmann per la velocità (rosso) e la posizione (verde). In particolare, il comportamento a tempi lunghi corrisponde all'equilibrio termico.

   

Traiettorie di particelle browniane libere modifica

Si consideri una particella libera di massa   la cui equazione del moto è:

 

dove   è la velocità della particella,   è la mobilità, e   è una forza che fluttua rapidamente la cui media temporale diventa nulla oltre una scala temporale caratteristica  , legata alle collisioni con le molecole del fluido, ossia  . La soluzione generale dell'equazione del moto è

 

dove   è il tempo di correlazione del termine di rumore termico. Si può anche dimostrare che la funzione di autocorrelazione della velocità   della particella è data da:[10]

 
Quadrati degli spostamenti di particelle browniane libere simulate (curve irregolari sullo sfondo), in funzione del tempo, per tre possibili quadrati di velocità iniziali, che sono rispettivamente  ,   e  , con   come valore di equipartizione all'equilibrio termico. Le curve colorate in primo piano denotano invece gli spostamenti quadratici medi.
 

dove è stata sfruttata la proprietà che le variabili   e   siano non correlate per separazioni temporali   . Inoltre, il valore del limite   è stato imposto essere pari a   in modo da obbedire al teorema di equipartizione. Se il sistema è inizialmente già all'equilibrio termico con  , allora si avrà   per tutti i tempi  , il che significa che il sistema rimane sempre nello stato di equilibrio termico.

La velocità   della particella browniana può essere integrata per ottenere la sua traiettoria  . Se inizialmente è posta nell'origine con probabilità 1, il risultato è

 

Per cui lo spostamento medio   tende asintoticamente a   mentre il sistema si rilassa all'equilibrio. Lo spostamento quadratico medio può essere ricavato in modo simile:

 

Questa espressione implica che  , ossia che il movimento delle particelle browniane a scale temporali molto più brevi del tempo di rilassamento   del sistema è (approssimativamente) invariante rispetto a inversioni temporali. D'altro canto, a tempi lunghi si ha  , indice di un processo irreversibile e dissipativo.

 
Questo grafici corrispondono alle soluzioni dell'equazione di Langevin completa ottenuta utilizzando il metodo di Eulero-Maruyama. Il pannello di sinistra mostra l'evoluzione temporale nello spazio delle fasi di un oscillatore armonico a diverse temperature. Il pannello di destra cattura le corrispondenti distribuzioni di probabilità di equilibrio. A temperatura zero, la velocità decade rapidamente dal suo valore iniziale (il punto rosso) a zero a causa dello smorzamento. Per temperature diverse da zero, la velocità può essere spinta a valori maggiori di quella iniziale a causa delle fluttuazioni termiche. A tempi lunghi, la velocità rimane diversa da zero e la posizione e la distribuzione della velocità corrispondono a quelle dell'equilibrio termico.

Recupero della statistica di Boltzmann modifica

Se il potenziale esterno è conservativo e il termine di rumore deriva da un reservoir in equilibrio termico, allora la soluzione s tempi lunghi dell'equazione di Langevin deve ricondursi alla distribuzione di Boltzmann, che è la funzione di distribuzione di probabilità per particelle in equilibrio termico. Nel caso particolare di dinamica sovrasmorzata, l'inerzia della particella è trascurabile rispetto alla forza di smorzamento e la traiettoria   è quindi descritta dall'equazione di Langevin sovrasmorzata:

 

dove   è la costante di smorzamento. Il termine   è il rumore bianco termico, caratterizzato da   (da un punto di vista matematico, un processo di Wiener). Un modo per risolvere questa equazione è introdurre una funzione di prova   e calcolarne la media. La media di   dovrebbe essere indipendente dal tempo per traiettoria   finita, per cui

 

Il lemma di Itô per il processo di deriva-diffusione di Itô   dice che il differenziale di una funzione   due volte differenziabile è dato da

 

Applicandolo al calcolo di   si ha

 

Questa media può essere riscritta utilizzando la densità di probabilità  ;

 

dove il secondo termine è stato integrato per parti (da cui il segno negativo). Poiché questo deve valere per funzioni arbitrarie  , ne consegue che

 

ottenendo quindi la distribuzione di Boltzmann:

 

Tecniche equivalenti modifica

In alcune situazioni, si è principalmente interessati al comportamento generale dell'equazione di Langevin mediato rispetto al rumore, in contrapposizione alla soluzione per particolari realizzazioni del rumore. Questa sezione descrive le tecniche per ottenere questo comportamento medio, che sono distinte, ma anche equivalenti, rispetto al formalismo del calcolo stocastico con l'equazione di Langevin.

Equazione di Fokker-Planck modifica

Un'equazione di Fokker-Planck è un'equazione deterministica per la densità di probabilità dipendente dal tempo  , di variabili stocastiche  . L'equazione di Fokker-Planck generica, corrispondente alla generica equazione di Langevin descritta in precedenza è la seguente:[11]

 

La distribuzione di equilibrio   è una soluzione stazionaria di tale equazione.

Equazione di Klein-Kramers modifica

L'equazione di Fokker-Planck per una particella browniana sottosmorzata è chiamata equazione di Klein-Kramers.[12][13] Se le equazioni di Langevin hanno la forma:

 

in cui   è la quantità di moto, allora la corrispondente equazione di Fokker-Planck è

 

dove   e   sono gli operatore nabla rispetto a   e  , e   è il laplaciano rispetto a p.

Nello spazio libero  -dimensionale, corrispondente a   su  , questa equazione può essere risolta usando il metodo della trasformata di Fourier. Se la particella ha come stato iniziale a   posizione   e momento  , corrispondente a una distribuzione di probabilità  , allora la soluzione è[13][14]

 

con

 

In tre dimensioni spaziali, lo spostamento quadratico medio è

 

Integrale sui cammini modifica

Un integrale sui cammini equivalente a un'equazione di Langevin può essere ottenuto dalla corrispondente equazione di Fokker-Planck, o trasformando la distribuzione di probabilità gaussiana   della forza stocastica   in una distribuzione di probabilità delle variabili lente:

 .

Il problema del determinante funzionale e delle sottigliezze matematiche associate cadono se l'equazione di Langevin viene discretizzata in modo naturale (causale), ossia con   che dipende da   ma non da  . Risulta inoltre conveniente introdurre variabili di risposta ausiliarie  . L'integrale sui cammini equivalente alla generica equazione di Langevin ha dunque la forma:[15]

 

dove   è una costante di normalizzazione e

 

è la densità lagrangiana del sistema.

La formulazione con gli integrali sui cammini permette di applicare allo studio dei processi stocastici strumenti provenienti dalla teoria quantistica dei campi, come i metodi perturbativi e del gruppo di rinormalizzazione.

Note modifica

  1. ^ Don S. Lemons e Anthony Gythiel, Paul Langevin’s 1908 paper “On the Theory of Brownian Motion” [“Sur la théorie du mouvement brownien,” C. R. Acad. Sci. (Paris) 146, 530–533 (1908)], in American Journal of Physics, vol. 65, n. 11, 1997-11, pp. 1079–1081, DOI:10.1119/1.18725. URL consultato il 22 febbraio 2022.
  2. ^ (EN) N. G. van Kampen, Itô versus Stratonovich, in Journal of Statistical Physics, vol. 24, n. 1, 1º gennaio 1981, pp. 175–187, DOI:10.1007/BF01007642. URL consultato il 23 febbraio 2022.
  3. ^ Stochastic Processes in Physics and Chemistry, 2007, DOI:10.1016/b978-0-444-52965-7.x5000-4. URL consultato il 23 febbraio 2022.
  4. ^ (EN) K Kawasaki, Simple derivations of generalized linear and nonlinear Langevin equations, in Journal of Physics A: Mathematical, Nuclear and General, vol. 6, n. 9, 1º settembre 1973, pp. 1289–1295, DOI:10.1088/0305-4470/6/9/004. URL consultato il 23 febbraio 2022.
  5. ^ R. Dengler, Another derivation of generalized Langevin equations, in arXiv:1506.02650 [math-ph, physics:physics], 9 luglio 2016. URL consultato il 23 febbraio 2022.
  6. ^ P. C. Hohenberg e B. I. Halperin, Theory of dynamic critical phenomena, in Reviews of Modern Physics, vol. 49, n. 3, 1º luglio 1977, pp. 435–479, DOI:10.1103/RevModPhys.49.435. URL consultato il 23 febbraio 2022.
  7. ^ Robert Zwanzig, Memory Effects in Irreversible Thermodynamics, in Physical Review, vol. 124, n. 4, 15 novembre 1961, pp. 983–992, DOI:10.1103/PhysRev.124.983. URL consultato il 23 febbraio 2022.
  8. ^ J. Johnson, Thermal Agitation of Electricity in Conductors, vol. 32, 1928, DOI:10.1103/PhysRev.32.97.
  9. ^ a b P. C. Hohenberg, Theory of dynamic critical phenomena, vol. 49, 1977, DOI:10.1103/RevModPhys.49.435.
  10. ^ R. K. Pathria, Statistical mechanics,, [1st ed.], Pergamon Press, 1972, ISBN 0-08-016747-0, OCLC 606102. URL consultato il 3 marzo 2022.
  11. ^ Setsuo Ichimaru, Basic principles of plasma physics: a statistical approach, W.A. Benjamin, 1973, ISBN 0-8053-8752-8, OCLC 659079. URL consultato il 3 marzo 2022.
  12. ^ (EN) H. A. Kramers, Brownian motion in a field of force and the diffusion model of chemical reactions, in Physica, vol. 7, n. 4, 1º aprile 1940, pp. 284–304, DOI:10.1016/S0031-8914(40)90098-2. URL consultato il 3 marzo 2022.
  13. ^ a b H. Risken, The Fokker-Planck equation : methods of solution and applications, 2nd ed, Springer-Verlag, 1989, ISBN 0-387-50498-2, OCLC 19127283. URL consultato il 3 marzo 2022.
  14. ^ S. Chandrasekhar, Stochastic Problems in Physics and Astronomy, in Reviews of Modern Physics, vol. 15, n. 1, 1º gennaio 1943, pp. 1–89, DOI:10.1103/RevModPhys.15.1. URL consultato il 3 marzo 2022.
  15. ^ (EN) Hans-Karl Janssen, On a Lagrangean for classical field dynamics and renormalization group calculations of dynamical critical properties, in Zeitschrift für Physik B Condensed Matter, vol. 23, n. 4, 1º dicembre 1976, pp. 377–380, DOI:10.1007/BF01316547. URL consultato il 3 marzo 2022.

Bibliografia modifica

  • W. T. Coffey (Trinity College, Dublino, Irlanda) e Yu P. Kalmykov (Université de Perpignan, Francia), The Langevin Equation: With Applications to Stochastic Problems in Physics, Chemistry and Electrical Engineering (Terza edizione), World Scientific Series in Contemporary Chemical Physics - Vol 27.
  • Reif, F. Fundamentals of Statistical and Thermal Physics, McGraw Hill New York, 1965. Vedere la sezione 15.5 Langevin Equation
  • R. Friedrich, J. Peinke e Ch. Renner. How to Quantify Deterministic and Random Influences on the Statistics of the Foreign Exchange Market, Phys. Rev. Lett. 84, 5224 - 5227 (2000)
  • LCG Rogers e D. Williams. Diffusions, Markov Processes, and Martingales, Cambridge Mathematical Library, Cambridge University Press, Cambridge, ristampa della 2ª edizione (1994), 2000.

Voci correlate modifica