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
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 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
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
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
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
Rumore termico in una resistenza elettrica
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
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
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
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 è 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.
Recupero della statistica di Boltzmann
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
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
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
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 è
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
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]
^(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.
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.