Equazione di Langevin

Da testwiki.
Vai alla navigazione Vai alla ricerca

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),

md𝐯dt=λ𝐯+η(t).

Dove 𝐯 è la velocità della particella, e m è 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 η(t) che rappresenta l'effetto delle collisioni con le molecole del fluido. La forza η(t) ha una distribuzione di probabilità gaussiana, con funzione di correlazione

ηi(t)ηj(t)=2λkBTδi,jδ(tt),

dove kB è la costante di Boltzmann, T è la temperatura e ηi(t) è la i-esima componente del vettore η(t). La δ (delta di Dirac) nella funzione di correlazione temporale significa che la forza al tempo t 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 η(t) caratterizzata da una δ - correlazione non può essere considerata una funzione, e nemmeno la derivata d𝐯/dt è rigorosamente definita in questo limite. Questo problema scompare quando l'equazione di Langevin viene scritta in forma integrale m𝐯=t0t(λ𝐯+η(t))dt.

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, |𝒗(t)|η(t). 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 A={Ai} le variabili lente. L'equazione di Langevin generica avrà allora la forma:

dAidt=kBTj[Ai,Aj]ddAjjλi,j(A)ddAj+jdλi,j(A)dAj+ηi(t).

La forza random ηi(t) obbedisce a una distribuzione di probabilità gaussiana avente funzione di correlazione:

ηi(t)ηj(t)=2λi,j(A)δ(tt).

Ciò implica la relazione reciproca di Onsager λi,j=λj,i per i coefficienti di smorzamento λ. La derivata dλi,j/dAj è trascurabile nella maggior parte dei casi. Il simbolo =ln(p0) denota l'hamiltoniana del sistema, dove p0(A) è la distribuzione di probabilità di equilibrio delle variabili A. Infine, [Ai,Aj] è la proiezione delle parentesi di Poisson delle variabili lente Ai e Aj nello spazio delle variabili lente.

Nel caso del moto browniano si avrebbe =𝐩2/(2mkBT), A={𝐩} o A={𝐱,𝐩} e [xi,pj]=δi,j. L'equazione del moto d𝐱/dt=𝐩/m per 𝐱 è esatta: non è presente la forza stocastica ηx e nessun coefficiente di smorzamento λx,p.

Esempi

Rumore termico in una resistenza elettrica

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 R e un condensatore C. La variabile lenta è la tensione U tra le estremità del resistore. L'hamiltoniana di questo sistema è =E/kBT=CU2/(2kBT), e l'equazione di Langevin è quindi:

dUdt=URC+η(t),η(t)η(t)=2kBTRC2δ(tt).

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

U(t)U(t)=(kBT/C)exp(|tt|/RC)2RkBTδ(tt),

che diventa rumore bianco (rumore di Johnson) quando la capacità C 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,

φ(𝐱,t)t=λδδφ+η(𝐱,t),=ddx[12r0φ2+uφ4+12(φ)2],η(𝐱,t)η(𝐱,t)=2λδ(𝐱𝐱)δ(tt).

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

mdvdt=λv+η(t)kx

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 (U=12kx2), 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.

Figura 1: Ritratto di fase di un oscillatore armonico che mostra la diffusione dovuta all'equazione di Langevin. Figura 2: Probabilità di equilibrio per la dinamica di Langevin nel potenziale armonico

Traiettorie di particelle browniane libere

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

md𝐯dt=𝐯μ+η(t),

dove 𝐯=d𝐫/dt è la velocità della particella, μ è la mobilità, e η(t)=m𝐚(t) è una forza che fluttua rapidamente la cui media temporale diventa nulla oltre una scala temporale caratteristica tc, legata alle collisioni con le molecole del fluido, ossia η(t)=0. La soluzione generale dell'equazione del moto è

𝐯(t)=𝐯(0)et/τ+0t𝐚(t)e(tt)/τdt,

dove τ=mμ è 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 0, 3kBT/m e 6kBT/m, con 3kBT/m come valore di equipartizione all'equilibrio termico. Le curve colorate in primo piano denotano invece gli spostamenti quadratici medi.
Rvv(t1,t2)𝐯(t1)𝐯(t2)=v2(0)e(t1+t2)/τ+0t10t2Raa(t1,t2)e(t1+t2t1t2)/τdt1dt2v2(0)e|t2t1|/τ+[3kBTmv2(0)][e|t2t1|/τe(t1+t2)/τ],

dove è stata sfruttata la proprietà che le variabili 𝐚(t1) e 𝐚(t2) siano non correlate per separazioni temporali t2t1tc . Inoltre, il valore del limite limtv2(t)=limtRvv(t,t) è stato imposto essere pari a 3kBT/m in modo da obbedire al teorema di equipartizione. Se il sistema è inizialmente già all'equilibrio termico con v2(0)=3kBT/m, allora si avrà v2(t)=3kBT/m per tutti i tempi t, il che significa che il sistema rimane sempre nello stato di equilibrio termico.

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

𝐫(t)=𝐯(0)τ(1et/τ)+τ0t𝐚(t)[1e(tt)/τ]dt.

Per cui lo spostamento medio 𝐫(t)=𝐯(0)τ(1et/τ) tende asintoticamente a 𝐯(0)τ mentre il sistema si rilassa all'equilibrio. Lo spostamento quadratico medio può essere ricavato in modo simile:

r2(t)=v2(0)τ2(1et/τ)23kBTmτ2(1et/τ)(3et/τ)+6kBTmτt.

Questa espressione implica che r2(tτ)v2(0)t2, 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 r2(tτ)6kBTτt/m=6μkBTt=6Dt, 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

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 x(t) è quindi descritta dall'equazione di Langevin sovrasmorzata:

λdxdt=V(x)x+η(t)V(x)x+2λkBTdBtdt,

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

df(x(t))dt=0.

Il lemma di Itô per il processo di deriva-diffusione di Itô dXt=μtdt+σtdBt dice che il differenziale di una funzione f(x,t) due volte differenziabile è dato da

df=(ft+μtfx+σt222fx2)dt+σtfxdBt.

Applicandolo al calcolo di f(x(t)) si ha

f(x)Vx+kBTf(x)=0.

Questa media può essere riscritta utilizzando la densità di probabilità p(x);

(f(x)Vxp(x)+kBTf(x)p(x))dx=(f(x)Vxp(x)kBTf(x)p(x))dx=0,

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

Vxp(x)+kBTp(x)=0,

ottenendo quindi la distribuzione di Boltzmann:

p(x)exp(V(x)kBT).

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 P(A,t), di variabili stocastiche A. L'equazione di Fokker-Planck generica, corrispondente alla generica equazione di Langevin descritta in precedenza è la seguente:[11]

P(A,t)t=i,jAi(kBT[Ai,Aj]Aj+λi,jAj+λi,jAj)P(A,t).

La distribuzione di equilibrio P(A)=p0(A)=costante×exp() è 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:

𝐫˙=𝐩m𝐩˙=ξ𝐩V(𝐫)+2mξkBTη(t),ηT(t)η(t)=𝐈δ(tt)

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

ft+1m𝐩𝐫f=ξ𝐩(𝐩f)+𝐩(V(𝐫)f)+mξkBT𝐩2f

dove 𝐫 e 𝐩 sono gli operatore nabla rispetto a r e p, e 𝐩2 è il laplaciano rispetto a p.

Nello spazio libero d-dimensionale, corrispondente a V(𝐫)=costante su d, questa equazione può essere risolta usando il metodo della trasformata di Fourier. Se la particella ha come stato iniziale a t=0 posizione 𝐫 e momento 𝐩, corrispondente a una distribuzione di probabilità f(𝐫,𝐩,0)=δ(𝐫𝐫)δ(𝐩𝐩), allora la soluzione è[13][14]

f(𝐫,𝐩,t)=1(2πσXσP1β2)dexp[12(1β2)(|𝐫μX|2σX2+|𝐩μP|2σP22β(𝐫μX)(𝐩μP)σXσP)]

con

σX2=kBTmξ2[1+2ξt(2eξt)2];σP2=mkBT(1e2ξt)β=kBTξσXσP(1eξt)2μX=𝐫+(mξ)1(1eξt)𝐩;μP=𝐩eξt.

In tre dimensioni spaziali, lo spostamento quadratico medio è

𝐫(t)2=f(𝐫,𝐩,t)𝐫2d𝐫d𝐩=μX2+3σX2

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 P(η)(η)dη della forza stocastica η in una distribuzione di probabilità delle variabili lente:

P(A)dA=P(η)(η(A))det(dη/dA)dA.

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

P(A,A~)dAdA~=Nexp(L(A,A~))dAdA~,

dove N è una costante di normalizzazione e

L(A,A~)=i,j{A~iλi,jA~jA~i{δi,jdAjdtkBT[Ai,Aj]ddAj+λi,jddAjdλi,jdAj}}dt.

è 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

Bibliografia

  • 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

Collegamenti esterni

Template:Portale