Langevin equation: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
imported>Kacc26353815
imported>BunnysBot
Fix CW Errors with GenFixes (T1)
 
Line 1: Line 1:
{{Short description|Stochastic differential equation}}
{{Short description|Stochastic differential equation}}
In physics, a '''Langevin equation''' (named after [[Paul Langevin]]) is a [[stochastic differential equation]] describing how a system evolves when subjected to a combination of deterministic and fluctuating ("random") forces. The dependent variables in a Langevin equation typically are collective (macroscopic) variables changing only slowly in comparison to the other (microscopic) variables of the system. The fast (microscopic) variables are responsible for the stochastic nature of the Langevin equation.  One application is to [[Brownian motion]], which models the fluctuating motion of a small particle in a fluid.  
In physics, a '''Langevin equation''' (named after [[Paul Langevin]]) is a [[stochastic differential equation]] describing how a system evolves when subjected to a combination of deterministic and fluctuating ("random") forces. The dependent variables in a Langevin equation typically are collective (macroscopic) variables changing only slowly in comparison to the other (microscopic) variables of the system. The fast (microscopic) variables are responsible for the stochastic nature of the Langevin equation.  One application is to [[Brownian motion]], which models the fluctuating motion of a small particle in a fluid.


== Brownian motion as a prototype ==
== Brownian motion as a prototype ==
Line 8: Line 8:
Here, <math>\mathbf{v}</math> is the velocity of the particle, <math>\lambda</math> is its damping coefficient, and <math>m</math> is its mass. The force acting on the particle is written as a sum of a viscous force proportional to the particle's velocity ([[Stokes' law]]), and a [[Wiener process|''noise term'']] <math>\boldsymbol{\eta}\left( t\right)</math> representing the effect of the collisions with the molecules of the fluid. The force <math>\boldsymbol{\eta}\left( t\right)</math> has a [[Gaussian distribution|Gaussian probability distribution]] with correlation function
Here, <math>\mathbf{v}</math> is the velocity of the particle, <math>\lambda</math> is its damping coefficient, and <math>m</math> is its mass. The force acting on the particle is written as a sum of a viscous force proportional to the particle's velocity ([[Stokes' law]]), and a [[Wiener process|''noise term'']] <math>\boldsymbol{\eta}\left( t\right)</math> representing the effect of the collisions with the molecules of the fluid. The force <math>\boldsymbol{\eta}\left( t\right)</math> has a [[Gaussian distribution|Gaussian probability distribution]] with correlation function
<math display="block">\left\langle \eta_{i}\left( t\right)\eta_{j}\left( t'\right) \right\rangle =2\lambda k_\text{B}T\delta _{i,j} \delta \left(t-t'\right) ,</math>
<math display="block">\left\langle \eta_{i}\left( t\right)\eta_{j}\left( t'\right) \right\rangle =2\lambda k_\text{B}T\delta _{i,j} \delta \left(t-t'\right) ,</math>
where <math>k_\text{B}</math> is the [[Boltzmann constant]], <math>T</math> is the temperature and <math>\eta_i\left( t\right)</math> is the i-th component of the vector <math>\boldsymbol{\eta}\left( t\right)</math>. The [[Dirac delta function|<math>\delta</math>-function]] form of the time correlation means that the force at a time <math>t</math> is uncorrelated with the force at any other time.  This is an approximation: the actual random force has a nonzero correlation time corresponding to the collision time of the molecules. However, the Langevin equation is used to describe the motion of a "macroscopic" particle at a much longer time scale, and in this limit the <math>\delta</math>-correlation and the Langevin equation becomes virtually exact.
where <math>k_\text{B}</math> is the [[Boltzmann constant]], <math>T</math> is the temperature and <math>\eta_i\left( t\right)</math> is the i-th component of the vector <math>\boldsymbol{\eta}\left( t\right)</math>. The [[Dirac delta function|<math>\delta</math>-function]] form of the time correlation means that the force at a time <math>t</math> is uncorrelated with the force at any other time.  This is an approximation: the actual random force has a nonzero correlation time corresponding to the collision time of the molecules. However, the Langevin equation is used to describe the motion of a "macroscopic" particle at a much longer time scale, and in this limit the <math>\delta</math>-correlation and the Langevin equation becomes virtually exact. This approximation of delta-correlated (white) noise breaks down under certain conditions, especially in the presence of external driving forces that bring the system out of equilibrium, such as shear flow<ref>{{Cite journal | last1=Pelargonio | first1=Sara | last2=Zaccone | first2=Alessio | title=Generalized Langevin equation with shear flow and its fluctuation-dissipation theorems derived from a Caldeira-Leggett Hamiltonian | journal=Physical Review E | volume=107 | article-number=064102 | year=2023 | doi=10.1103/PhysRevE.107.064102| hdl=2434/1107844 | hdl-access=free }}</ref> or for dense charged systems under AC external drive.<ref>{{Cite journal | last1=Cui | first1=Bingyu | last2=Zaccone | first2=Alessio | title=Generalized Langevin equation and fluctuation-dissipation theorem for particle-bath systems in external oscillating fields | journal=Physical Review E | volume=97 | issue=6 | pages=060102(R) | year=2018 | doi=10.1103/PhysRevE.97.060102| arxiv=1802.09848 }}</ref> This is also the case of the Langevin equation for relativistic systems, where the delta-correlated noise assumption is in tension with the principle of locality.<ref>{{Cite journal | last1=Petrosyan | first1=Aleksandr | last2=Zaccone | first2=Alessio | title=Relativistic Langevin equation derived from a particle-bath Lagrangian | journal=Journal of Physics A: Mathematical and Theoretical | volume=55 | issue=1 | page=015001 | year=2022 | doi=10.1088/1751-8121/ac3a33| arxiv=2107.07205 }}</ref>


Another common feature of the Langevin equation is the occurrence of the damping coefficient <math>\lambda</math> in the correlation function of the random force, which in an equilibrium system is an expression of the [[Einstein relation (kinetic theory)|Einstein relation]].
Another common feature of the Langevin equation is the occurrence of the damping coefficient <math>\lambda</math> in the correlation function of the random force, which in an equilibrium system is an expression of the [[Einstein relation (kinetic theory)|Einstein relation]].
Line 14: Line 14:
== Mathematical aspects ==
== Mathematical aspects ==
A strictly <math>\delta</math>-correlated fluctuating force <math>\boldsymbol{\eta}\left( t\right)</math> is not a function in the usual mathematical sense and even the derivative <math>\mathrm d\mathbf{v}/\mathrm{d}t</math> is not defined in this limit. This problem disappears when the Langevin equation is written in integral form  
A strictly <math>\delta</math>-correlated fluctuating force <math>\boldsymbol{\eta}\left( t\right)</math> is not a function in the usual mathematical sense and even the derivative <math>\mathrm d\mathbf{v}/\mathrm{d}t</math> is not defined in this limit. This problem disappears when the Langevin equation is written in integral form  
<math display="block">m\mathbf{v} = \int^t \left( -\lambda \mathbf{v} + \boldsymbol{\eta}\left( t\right)\right)\mathrm{d}t.</math>  
<math display="block">m\mathbf{v} = \int^t \left( -\lambda \mathbf{v} + \boldsymbol{\eta}\left( t\right)\right)\mathrm{d}t.</math>


Therefore, the differential form is only an abbreviation for its time integral. The general mathematical term for equations of this type is "[[stochastic differential equation]]".<ref>{{cite journal | last1 = Huang | first1 = Yunfei. | display-authors = etal | year = 2022 | title = Sparse inference and active learning of stochastic differential equations from data | journal = Scientific Reports | volume = 12 | number = 1| page = 21691 | doi = 10.1038/s41598-022-25638-9  | pmid = 36522347 | doi-access = free| pmc = 9755218 }}</ref>
Therefore, the differential form is only an abbreviation for its time integral. The general mathematical term for equations of this type is "[[stochastic differential equation]]".


Another mathematical ambiguity occurs for Langevin equations with multiplicative noise, which refers to noise terms that are multiplied by a non-constant function of the dependent variables, e.g., <math>\left|\boldsymbol{v}(t)\right| \boldsymbol{\eta}(t)</math>. If a multiplicative noise is intrinsic to the system, its definition is ambiguous, as it is equally valid to interpret it according to Stratonovich- or Ito- scheme (see [[Itô calculus]]). Nevertheless, physical observables are independent of the interpretation, provided the latter is applied consistently when manipulating the equation. This is necessary because the symbolic rules of calculus differ depending on the interpretation scheme. If the noise is external to the system, the appropriate interpretation is the Stratonovich one.<ref name="vanKampen1981">{{cite journal | last=van Kampen | first=N. G. | title=Itô versus Stratonovich | journal=Journal of Statistical Physics | publisher=Springer Science and Business Media LLC | volume=24 | issue=1 | year=1981 | issn=0022-4715 | doi=10.1007/bf01007642 | pages=175–187| bibcode=1981JSP....24..175V | s2cid=122277474 }}</ref><ref name="Stochastic Processes in Physics and Chemistry 2007 p.">{{cite book | last=van Kampen | first=N. G. | title=Stochastic Processes in Physics and Chemistry | publisher=Elsevier | year=2007 | isbn=978-0-444-52965-7 | doi=10.1016/b978-0-444-52965-7.x5000-4 }}</ref>
Another mathematical ambiguity occurs for Langevin equations with multiplicative noise, which refers to noise terms that are multiplied by a non-constant function of the dependent variables, e.g., <math>\left|\boldsymbol{v}(t)\right| \boldsymbol{\eta}(t)</math>. If a multiplicative noise is intrinsic to the system, its definition is ambiguous, as it is equally valid to interpret it according to Stratonovich- or Ito- scheme (see [[Itô calculus]]). Nevertheless, physical observables are independent of the interpretation, provided the latter is applied consistently when manipulating the equation. This is necessary because the symbolic rules of calculus differ depending on the interpretation scheme. If the noise is external to the system, the appropriate interpretation is the Stratonovich one.<ref name="vanKampen1981">{{cite journal | last=van Kampen | first=N. G. | title=Itô versus Stratonovich | journal=Journal of Statistical Physics | publisher=Springer Science and Business Media LLC | volume=24 | issue=1 | year=1981 | issn=0022-4715 | doi=10.1007/bf01007642 | pages=175–187| bibcode=1981JSP....24..175V | s2cid=122277474 }}</ref><ref name="Stochastic Processes in Physics and Chemistry 2007 p.">{{cite book | last=van Kampen | first=N. G. | title=Stochastic Processes in Physics and Chemistry | publisher=Elsevier | year=2007 | isbn=978-0-444-52965-7 | doi=10.1016/b978-0-444-52965-7.x5000-4 }}</ref>


== Generic Langevin equation ==
== Generic Langevin equation ==
There is a formal derivation of a generic Langevin equation from classical mechanics.<ref name="Kawasaki1973">{{cite journal | last=Kawasaki|first=K.|year=1973|title=Simple derivations of generalized linear and nonlinear Langevin equations | journal=J. Phys. A: Math. Nucl. Gen.|volume=6|issue=9|pages=1289–1295|bibcode=1973JPhA....6.1289K|doi=10.1088/0305-4470/6/9/004}}<!--| accessdate = 2014-05-30 --></ref><ref name="den2015">{{cite arXiv |last=Dengler |first=R. |eprint=1506.02650v2 |title=Another derivation of generalized Langevin equations | year=2015 |class=physics.class-ph }}</ref> This generic equation plays a central role in the theory of [[Critical phenomena|critical dynamics]],<ref name="HH1977">{{cite journal |title=Theory of dynamic critical phenomena |journal=[[Reviews of Modern Physics]] |year=1977 |first1=P. C. |last1=Hohenberg |first2=B. I. |last2=Halperin |volume=49 |issue=3 |pages=435–479 |doi=10.1103/RevModPhys.49.435 |bibcode = 1977RvMP...49..435H |s2cid=122636335 }}</ref> and other areas of nonequilibrium [[statistical mechanics]]. The equation for Brownian motion above is a special case.
There is a formal derivation of a generic Langevin equation from classical mechanics.<ref name="Kawasaki1973">{{cite journal | last=Kawasaki|first=K.|year=1973|title=Simple derivations of generalized linear and nonlinear Langevin equations | journal=J. Phys. A: Math. Nucl. Gen.|volume=6|issue=9|pages=1289–1295|bibcode=1973JPhA....6.1289K|doi=10.1088/0305-4470/6/9/004}}<!--| access-date = 2014-05-30 --></ref><ref name="den2015">{{cite arXiv |last=Dengler |first=R. |eprint=1506.02650v2 |title=Another derivation of generalized Langevin equations | year=2015 |class=physics.class-ph }}</ref> This generic equation plays a central role in the theory of [[Critical phenomena|critical dynamics]],<ref name="HH1977">{{cite journal |title=Theory of dynamic critical phenomena |journal=[[Reviews of Modern Physics]] |year=1977 |first1=P. C. |last1=Hohenberg |first2=B. I. |last2=Halperin |volume=49 |issue=3 |pages=435–479 |doi=10.1103/RevModPhys.49.435 |bibcode = 1977RvMP...49..435H |s2cid=122636335 }}</ref> and other areas of nonequilibrium [[statistical mechanics]]. The equation for Brownian motion above is a special case.


An essential step in the derivation is the division of the degrees of freedom into the categories ''slow'' and ''fast''. For example, local thermodynamic equilibrium in a liquid is reached within a few collision times, but it takes much longer for densities of conserved quantities like mass and energy to relax to equilibrium. Thus, densities of conserved quantities, and in particular their long wavelength components, are slow variable candidates. This division can be expressed formally with the [[Zwanzig projection operator]].<ref>{{cite journal |title=Memory effects in irreversible thermodynamics |journal=[[Physical Review|Phys. Rev.]] |year=1961 |first=R. |last=Zwanzig |volume=124 |issue=4 |pages=983–992 |doi=10.1103/PhysRev.124.983 |bibcode = 1961PhRv..124..983Z }}</ref> Nevertheless, the derivation is not completely rigorous from a mathematical physics perspective because it relies on assumptions that lack rigorous proof, and instead are justified only as plausible approximations of physical systems.
An essential step in the derivation is the division of the degrees of freedom into the categories ''slow'' and ''fast''. For example, local thermodynamic equilibrium in a liquid is reached within a few collision times, but it takes much longer for densities of conserved quantities like mass and energy to relax to equilibrium. Thus, densities of conserved quantities, and in particular their long wavelength components, are slow variable candidates. This division can be expressed formally with the [[Zwanzig projection operator]].<ref>{{cite journal |title=Memory effects in irreversible thermodynamics |journal=[[Physical Review|Phys. Rev.]] |year=1961 |first=R. |last=Zwanzig |volume=124 |issue=4 |pages=983–992 |doi=10.1103/PhysRev.124.983 |bibcode = 1961PhRv..124..983Z }}</ref> Nevertheless, the derivation is not completely rigorous from a [[mathematical physics]] perspective because it relies on assumptions that lack rigorous proof, and instead are justified only as plausible approximations of physical systems.


Let <math>A=\{A_i\}</math> denote the slow variables. The generic Langevin equation then reads
Let <math>A=\{A_i\}</math> denote the slow variables. The generic Langevin equation then reads
Line 62: Line 62:
<math display="block"> m\frac{dv}{dt} = -\lambda v + \eta (t)-k x </math>
<math display="block"> m\frac{dv}{dt} = -\lambda v + \eta (t)-k x </math>


A particle in a fluid is described by a Langevin equation with a potential energy function, a damping force, and thermal fluctuations given by the [[fluctuation dissipation theorem]]. If the potential is quadratic then the constant energy curves are ellipses, as shown in the figure. If there is dissipation but no thermal noise, a particle continually loses energy to the environment, and its time-dependent [[phase portrait]] (velocity vs position) corresponds to an inward spiral toward 0 velocity. By contrast, thermal fluctuations continually add energy to the particle and prevent it from reaching exactly 0 velocity. Rather, the initial ensemble of stochastic oscillators approaches a steady state in which the velocity and position are distributed according to the [[Maxwell–Boltzmann distribution]]. In the plot below (figure 2), the long time velocity distribution (blue) and position distributions (orange) in a harmonic potential (<math display="inline"> U = \frac{1}{2} k x^2 </math>) is plotted with the Boltzmann probabilities for velocity (green) and position (red). In particular, the late time behavior depicts thermal equilibrium.  
A particle in a fluid is described by a Langevin equation with a potential energy function, a damping force, and thermal fluctuations given by the [[fluctuation dissipation theorem]]. If the potential is quadratic then the constant energy curves are ellipses, as shown in the figure. If there is dissipation but no thermal noise, a particle continually loses energy to the environment, and its time-dependent [[phase portrait]] (velocity vs position) corresponds to an inward spiral toward 0 velocity. By contrast, thermal fluctuations continually add energy to the particle and prevent it from reaching exactly 0 velocity. Rather, the initial ensemble of stochastic oscillators approaches a steady state in which the velocity and position are distributed according to the [[Maxwell–Boltzmann distribution]]. In the plot below (figure 2), the long time velocity distribution (blue) and position distributions (orange) in a harmonic potential (<math display="inline"> U = \frac{1}{2} k x^2 </math>) is plotted with the Boltzmann probabilities for velocity (green) and position (red). In particular, the late time behavior depicts thermal equilibrium.


[[File:Squared_displacements_of_simulated_free_Brownian_particles.png|thumb|right|upright=1.75|
[[File:Squared_displacements_of_simulated_free_Brownian_particles.png|thumb|right|upright=1.75|
Simulated squared displacements of free Brownian particles (semi-transparent wiggly lines) as a function of time, for three selected choices of initial squared velocity which are 0, 3''k''<sub>B</sub>''T''/''m'', and 6''k''<sub>B</sub>''T''/''m'' respectively, with 3''k''<sub>B</sub>''T''/''m'' being the equipartition value in thermal equilibrium. The colored solid curves denote the mean squared displacements for the corresponding parameter choices.]]
Simulated squared displacements of free Brownian particles (semi-transparent wiggly lines) as a function of time, for three selected choices of initial squared velocity which are 0, 3''k''<sub>B</sub>''T''/''m'', and 6''k''<sub>B</sub>''T''/''m'' respectively, with 3''k''<sub>B</sub>''T''/''m'' being the equipartition value in thermal equilibrium. The colored solid curves denote the mean squared displacements for the corresponding parameter choices.]]


Line 96: Line 96:
<math display="block"> \frac{d}{dt} \left\langle f(x(t))\right\rangle = 0,</math>
<math display="block"> \frac{d}{dt} \left\langle f(x(t))\right\rangle = 0,</math>


Itô's lemma for the [[Itô calculus#Itô processes|Itô drift-diffusion process]] <math> dX_t = \mu_t \, dt + \sigma_t \, dB_t </math> says that the differential of a twice-differentiable function {{math|''f''(''t'', ''x'')}} is given by  
[[Itô's lemma]] for the [[Itô calculus#Itô processes|Itô drift-diffusion process]] <math> dX_t = \mu_t \, dt + \sigma_t \, dB_t </math> says that the differential of a twice-differentiable function {{math|''f''(''t'', ''x'')}} is given by  
<math display="block"> df = \left(\frac{\partial f}{\partial t} + \mu_t\frac{\partial f}{\partial x} + \frac{\sigma_t^2}{2}\frac{\partial^2 f}{\partial x^2}\right)dt + \sigma_t\frac{\partial f}{\partial x}\,dB_t. </math>
<math display="block"> df = \left(\frac{\partial f}{\partial t} + \mu_t\frac{\partial f}{\partial x} + \frac{\sigma_t^2}{2}\frac{\partial^2 f}{\partial x^2}\right)dt + \sigma_t\frac{\partial f}{\partial x}\,dB_t. </math>


Line 115: Line 115:


== Equivalent techniques ==
== Equivalent techniques ==
In some situations, one is primarily interested in the noise-averaged behavior of the Langevin equation, as opposed to the solution for particular realizations of the noise. This section describes techniques for obtaining this averaged behavior that are distinct from—but also equivalent to—the stochastic calculus inherent in the Langevin equation.
In some situations, one is primarily interested in the noise-averaged behavior of the Langevin equation, as opposed to the solution for particular realizations of the noise. This section describes techniques for obtaining this averaged behavior that are distinct from—but also equivalent to—the [[stochastic calculus]] inherent in the Langevin equation.


=== Fokker–Planck equation ===
=== Fokker–Planck equation ===
A [[Fokker&ndash;Planck equation]] is a deterministic equation for the time dependent probability density <math>P\left(A,t\right)</math> of stochastic variables <math>A</math>. The Fokker&ndash;Planck equation corresponding to the generic Langevin equation described in this article is the following:<ref name=Ichimaru1973>{{citation|last=Ichimaru|first=S.|title=Basic Principles of Plasma Physics|publisher = Benjamin|year=1973|location=USA|edition=1st.|pages=231|isbn=0805387536}}</ref>
A [[Fokker&ndash;Planck equation]] is a deterministic equation for the time dependent probability density <math>P\left(A,t\right)</math> of stochastic variables <math>A</math>. The Fokker&ndash;Planck equation corresponding to the generic Langevin equation described in this article is the following:<ref name=Ichimaru1973>{{citation|last=Ichimaru|first=S.|title=Basic Principles of Plasma Physics|publisher = Benjamin|year=1973|location=USA|edition=1st.|page=231|isbn=0-8053-8753-6}}</ref>
<math display="block">\frac{\partial P\left(A,t\right)}{\partial t} = \sum_{i,j} \frac{\partial}{\partial A_i} \left(-k_\text{B}T\left[A_i,A_j\right] \frac{\partial\mathcal{H}}{\partial A_j} + \lambda_{i,j} \frac{\partial\mathcal{H}}{\partial A_j} + \lambda_{i,j}\frac{\partial}{\partial A_j}\right) P\left(A,t\right).</math>
<math display="block">\frac{\partial P\left(A,t\right)}{\partial t} = \sum_{i,j} \frac{\partial}{\partial A_i} \left(-k_\text{B}T\left[A_i,A_j\right] \frac{\partial\mathcal{H}}{\partial A_j} + \lambda_{i,j} \frac{\partial\mathcal{H}}{\partial A_j} + \lambda_{i,j}\frac{\partial}{\partial A_j}\right) P\left(A,t\right).</math>
The equilibrium distribution <math>P(A) = p_0(A) = \text{const}\times\exp(-\mathcal{H})</math> is a stationary solution.
The equilibrium distribution <math>P(A) = p_0(A) = \text{const}\times\exp(-\mathcal{H})</math> is a stationary solution.
Line 124: Line 124:
==== Klein–Kramers equation ====
==== Klein–Kramers equation ====
{{Main|Klein–Kramers equation}}
{{Main|Klein–Kramers equation}}
The Fokker–Planck equation for an underdamped Brownian particle is called the [[Klein–Kramers equation]].<ref name="Kramers1940">{{cite journal | last=Kramers | first=H.A. | title=Brownian motion in a field of force and the diffusion model of chemical reactions | journal=Physica | publisher=Elsevier BV | volume=7 | issue=4 | year=1940 | issn=0031-8914 | doi=10.1016/s0031-8914(40)90098-2 | pages=284–304| bibcode=1940Phy.....7..284K | s2cid=33337019 }}</ref><ref name="Risken1989">{{cite book |first=H. |last=Risken |title=The Fokker–Planck Equation: Method of Solution and Applications |publisher=Springer-Verlag |location=New York |year=1989 |isbn=978-0387504988 }}</ref> If the Langevin equations are written as
The Fokker–Planck equation for an underdamped Brownian particle is called the [[Klein–Kramers equation]].<ref name="Kramers1940">{{cite journal | last=Kramers | first=H.A. | title=Brownian motion in a field of force and the diffusion model of chemical reactions | journal=Physica | publisher=Elsevier BV | volume=7 | issue=4 | year=1940 | issn=0031-8914 | doi=10.1016/s0031-8914(40)90098-2 | pages=284–304| bibcode=1940Phy.....7..284K | s2cid=33337019 }}</ref><ref name="Risken1989">{{cite book |first=H. |last=Risken |title=The Fokker–Planck Equation: Method of Solution and Applications |publisher=Springer-Verlag |location=New York |year=1989 |isbn=978-0-387-50498-8 }}</ref> If the Langevin equations are written as
<math display="block">\begin{align}
<math display="block">\begin{align}
\dot{\mathbf{r}} &= \frac{\mathbf{p}}{m}  \\
\dot{\mathbf{r}} &= \frac{\mathbf{p}}{m}  \\
Line 153: Line 153:
where <math>N</math> is a normalization factor and
where <math>N</math> is a normalization factor and
<math display="block">L(A,\tilde{A}) = \int \sum_{i,j} \left\{ \tilde{A}_{i}\lambda_{i,j}\tilde{A}_{j}-\widetilde{A}_{i} \left \{ \delta_{i,j} \frac{\mathrm{d}A_j}{\mathrm{d}t}-k_\text{B}T\left[A_i, A_j\right]\frac{\mathrm{d}\mathcal{H}}{\mathrm{d}A_{j}}+\lambda_{i,j}\frac{\mathrm{d}\mathcal{H}}{\mathrm{d}A_j} - \frac{\mathrm{d}\lambda_{i,j}}{\mathrm{d}A_j} \right \} \right\} \mathrm{d}t.</math>
<math display="block">L(A,\tilde{A}) = \int \sum_{i,j} \left\{ \tilde{A}_{i}\lambda_{i,j}\tilde{A}_{j}-\widetilde{A}_{i} \left \{ \delta_{i,j} \frac{\mathrm{d}A_j}{\mathrm{d}t}-k_\text{B}T\left[A_i, A_j\right]\frac{\mathrm{d}\mathcal{H}}{\mathrm{d}A_{j}}+\lambda_{i,j}\frac{\mathrm{d}\mathcal{H}}{\mathrm{d}A_j} - \frac{\mathrm{d}\lambda_{i,j}}{\mathrm{d}A_j} \right \} \right\} \mathrm{d}t.</math>
The path integral formulation allows for the use of tools from [[quantum field theory]], such as perturbation and renormalization group methods. This formulation is typically referred to as either the Martin-Siggia-Rose formalism <ref name="Martin1973">{{cite journal | title = Statistical Dynamics of Classical Systems | author = Martin, P. C. and Siggia, E. D. and Rose, H. A. | journal = Phys. Rev. A | volume = 8 | issue = 1 | pages =423-437 | year = 1973 | doi = 10.1103/PhysRevA.8.423}}</ref> or the Janssen-De Dominicis <ref name="Janssen1976" /><ref name="DeDominicis">{{cite journal | title = Techniques de Renormalisation de la Théorie des Champs et Dynamique des Phénomènes Critiques | author = De Dominicis, C. | journal = J. Phys. Colloques | year = 1976 | volume = 37 | issue = C1 | pages = 247-253 | doi = 10.1051/jphyscol:1976138}}</ref> formalism after its developers. The mathematical formalism for this representation can be developed on [[abstract Wiener space]].
The path integral formulation allows for the use of tools from [[quantum field theory]], such as perturbation and renormalization group methods. This formulation is typically referred to as either the Martin-Siggia-Rose formalism <ref name="Martin1973">{{cite journal | title = Statistical Dynamics of Classical Systems | author = Martin, P. C. and Siggia, E. D. and Rose, H. A. | journal = Phys. Rev. A | volume = 8 | issue = 1 | pages =423–437 | year = 1973 | doi = 10.1103/PhysRevA.8.423}}</ref> or the Janssen-De Dominicis <ref name="Janssen1976" /><ref name="DeDominicis">{{cite journal | title = Techniques de Renormalisation de la Théorie des Champs et Dynamique des Phénomènes Critiques | author = De Dominicis, C. | journal = J. Phys. Colloques | year = 1976 | volume = 37 | issue = C1 | pages = 247–253 | doi = 10.1051/jphyscol:1976138 | url = https://hal.science/jpa-00216466 }}</ref> formalism after its developers. The mathematical formalism for this representation can be developed on [[abstract Wiener space]].


== See also ==
== See also ==

Latest revision as of 17:03, 17 November 2025

Template:Short description In physics, a Langevin equation (named after Paul Langevin) is a stochastic differential equation describing how a system evolves when subjected to a combination of deterministic and fluctuating ("random") forces. The dependent variables in a Langevin equation typically are collective (macroscopic) variables changing only slowly in comparison to the other (microscopic) variables of the system. The fast (microscopic) variables are responsible for the stochastic nature of the Langevin equation. One application is to Brownian motion, which models the fluctuating motion of a small particle in a fluid.

Brownian motion as a prototype

The original Langevin equation[1][2] describes Brownian motion, the apparently random movement of a particle in a fluid due to collisions with the molecules of the fluid, md𝐯dt=λ𝐯+η(t).

Here, 𝐯 is the velocity of the particle, λ is its damping coefficient, and m is its mass. The force acting on the particle is written as a sum of a viscous force proportional to the particle's velocity (Stokes' law), and a noise term η(t) representing the effect of the collisions with the molecules of the fluid. The force η(t) has a Gaussian probability distribution with correlation function ηi(t)ηj(t)=2λkBTδi,jδ(tt), where kB is the Boltzmann constant, T is the temperature and ηi(t) is the i-th component of the vector η(t). The δ-function form of the time correlation means that the force at a time t is uncorrelated with the force at any other time. This is an approximation: the actual random force has a nonzero correlation time corresponding to the collision time of the molecules. However, the Langevin equation is used to describe the motion of a "macroscopic" particle at a much longer time scale, and in this limit the δ-correlation and the Langevin equation becomes virtually exact. This approximation of delta-correlated (white) noise breaks down under certain conditions, especially in the presence of external driving forces that bring the system out of equilibrium, such as shear flow[3] or for dense charged systems under AC external drive.[4] This is also the case of the Langevin equation for relativistic systems, where the delta-correlated noise assumption is in tension with the principle of locality.[5]

Another common feature of the Langevin equation is the occurrence of the damping coefficient λ in the correlation function of the random force, which in an equilibrium system is an expression of the Einstein relation.

Mathematical aspects

A strictly δ-correlated fluctuating force η(t) is not a function in the usual mathematical sense and even the derivative d𝐯/dt is not defined in this limit. This problem disappears when the Langevin equation is written in integral form m𝐯=t(λ𝐯+η(t))dt.

Therefore, the differential form is only an abbreviation for its time integral. The general mathematical term for equations of this type is "stochastic differential equation".

Another mathematical ambiguity occurs for Langevin equations with multiplicative noise, which refers to noise terms that are multiplied by a non-constant function of the dependent variables, e.g., |v(t)|η(t). If a multiplicative noise is intrinsic to the system, its definition is ambiguous, as it is equally valid to interpret it according to Stratonovich- or Ito- scheme (see Itô calculus). Nevertheless, physical observables are independent of the interpretation, provided the latter is applied consistently when manipulating the equation. This is necessary because the symbolic rules of calculus differ depending on the interpretation scheme. If the noise is external to the system, the appropriate interpretation is the Stratonovich one.[6][7]

Generic Langevin equation

There is a formal derivation of a generic Langevin equation from classical mechanics.[8][9] This generic equation plays a central role in the theory of critical dynamics,[10] and other areas of nonequilibrium statistical mechanics. The equation for Brownian motion above is a special case.

An essential step in the derivation is the division of the degrees of freedom into the categories slow and fast. For example, local thermodynamic equilibrium in a liquid is reached within a few collision times, but it takes much longer for densities of conserved quantities like mass and energy to relax to equilibrium. Thus, densities of conserved quantities, and in particular their long wavelength components, are slow variable candidates. This division can be expressed formally with the Zwanzig projection operator.[11] Nevertheless, the derivation is not completely rigorous from a mathematical physics perspective because it relies on assumptions that lack rigorous proof, and instead are justified only as plausible approximations of physical systems.

Let A={Ai} denote the slow variables. The generic Langevin equation then reads dAidt=kBTj[Ai,Aj]ddAjjλi,j(A)ddAj+jdλi,j(A)dAj+ηi(t).

The fluctuating force ηi(t) obeys a Gaussian probability distribution with correlation function ηi(t)ηj(t)=2λi,j(A)δ(tt).

This implies the Onsager reciprocity relation λi,j=λj,i for the damping coefficients λ. The dependence dλi,j/dAj of λ on A is negligible in most cases. The symbol =ln(p0) denotes the Hamiltonian of the system, where p0(A) is the equilibrium probability distribution of the variables A. Finally, [Ai,Aj] is the projection of the Poisson bracket of the slow variables Ai and Aj onto the space of slow variables.

In the Brownian motion case one would have =𝐩2/(2mkBT), A={𝐩} or A={𝐱,𝐩} and [xi,pj]=δi,j. The equation of motion d𝐱/dt=𝐩/m for 𝐱 is exact: there is no fluctuating force ηx and no damping coefficient λx,p.

Examples

Thermal noise in an electrical resistor

File:ResistorCapacitance.png
An electric circuit consisting of a resistor and a capacitor.

There is a close analogy between the paradigmatic Brownian particle discussed above and Johnson noise, the electric voltage generated by thermal fluctuations in a resistor.[12] The diagram at the right shows an electric circuit consisting of a resistance R and a capacitance C. The slow variable is the voltage U between the ends of the resistor. The Hamiltonian reads =E/kBT=CU2/(2kBT), and the Langevin equation becomes dUdt=URC+η(t),η(t)η(t)=2kBTRC2δ(tt).

This equation may be used to determine the correlation function U(t)U(t)=kBTCexp(|tt|RC)2RkBTδ(tt), which becomes white noise (Johnson noise) when the capacitance Template:Math becomes negligibly small.

Critical dynamics

The dynamics of the order parameter φ of a second order phase transition slows down near the critical point and can be described with a Langevin equation.[10] The simplest case is the universality class "model A" with a non-conserved scalar order parameter, realized for instance in axial ferromagnets, tφ(𝐱,t)=λδδφ+η(𝐱,t),=ddx[12r0φ2+uφ4+12(φ)2],η(𝐱,t)η(𝐱,t)=2λδ(𝐱𝐱)δ(tt). Other universality classes (the nomenclature is "model A",..., "model J") contain a diffusing order parameter, order parameters with several components, other critical variables and/or contributions from Poisson brackets.[10]

File:Oscillator phase portrait.svg
Figure 1: Phase portrait of a harmonic oscillator showing spreading due to the Langevin Equation.
File:Equilibrium Distribution.png
Figure 2: Equilibrium probability for Langevin dynamics in Harmonic Potential

Harmonic oscillator in a fluid

Script error: No such module "Labelled list hatnote". mdvdt=λv+η(t)kx

A particle in a fluid is described by a Langevin equation with a potential energy function, a damping force, and thermal fluctuations given by the fluctuation dissipation theorem. If the potential is quadratic then the constant energy curves are ellipses, as shown in the figure. If there is dissipation but no thermal noise, a particle continually loses energy to the environment, and its time-dependent phase portrait (velocity vs position) corresponds to an inward spiral toward 0 velocity. By contrast, thermal fluctuations continually add energy to the particle and prevent it from reaching exactly 0 velocity. Rather, the initial ensemble of stochastic oscillators approaches a steady state in which the velocity and position are distributed according to the Maxwell–Boltzmann distribution. In the plot below (figure 2), the long time velocity distribution (blue) and position distributions (orange) in a harmonic potential (U=12kx2) is plotted with the Boltzmann probabilities for velocity (green) and position (red). In particular, the late time behavior depicts thermal equilibrium.

File:Squared displacements of simulated free Brownian particles.png
Simulated squared displacements of free Brownian particles (semi-transparent wiggly lines) as a function of time, for three selected choices of initial squared velocity which are 0, 3kBT/m, and 6kBT/m respectively, with 3kBT/m being the equipartition value in thermal equilibrium. The colored solid curves denote the mean squared displacements for the corresponding parameter choices.

Trajectories of free Brownian particles

Consider a free particle of mass m with equation of motion described by md𝐯dt=𝐯μ+η(t), where 𝐯=d𝐫/dt is the particle velocity, μ is the particle mobility, and η(t)=m𝐚(t) is a rapidly fluctuating force whose time-average vanishes over a characteristic timescale tc of particle collisions, i.e. η(t)=0. The general solution to the equation of motion is 𝐯(t)=𝐯(0)et/τ+0t𝐚(t)e(tt)/τdt, where τ=mμ is the correlation time of the noise term. It can also be shown that the autocorrelation function of the particle velocity 𝐯 is given by[13] 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)/τ], where we have used the property that the variables 𝐚(t1) and 𝐚(t2) become uncorrelated for time separations t2t1tc. Besides, the value of limtv2(t)=limtRvv(t,t) is set to be equal to 3kBT/m such that it obeys the equipartition theorem. If the system is initially at thermal equilibrium already with v2(0)=3kBT/m, then v2(t)=3kBT/m for all t, meaning that the system remains at equilibrium at all times.

The velocity 𝐯(t) of the Brownian particle can be integrated to yield its trajectory 𝐫(t). If it is initially located at the origin with probability 1, then the result is 𝐫(t)=𝐯(0)τ(1et/τ)+τ0t𝐚(t)[1e(tt)/τ]dt.

Hence, the average displacement 𝐫(t)=𝐯(0)τ(1et/τ) asymptotes to 𝐯(0)τ as the system relaxes. The mean squared displacement can be determined similarly: r2(t)=v2(0)τ2(1et/τ)23kBTmτ2(1et/τ)(3et/τ)+6kBTmτt.

This expression implies that r2(tτ)v2(0)t2, indicating that the motion of Brownian particles at timescales much shorter than the relaxation time τ of the system is (approximately) time-reversal invariant. On the other hand, r2(tτ)6kBTτt/m=6μkBTt=6Dt, which indicates an irreversible, dissipative process.

File:Phase Potrait and 2D Hist.jpg
This plot corresponds to solutions of the complete Langevin equation for a lightly damped harmonic oscillator, obtained using the Euler–Maruyama method. The left panel shows the time evolution of the phase portrait at different temperatures. The right panel captures the corresponding equilibrium probability distributions. At zero temperature, the velocity slowly decays from its initial value (the red dot) to zero, over the course of a handful of oscillations, due to damping. For nonzero temperatures, the velocity can be kicked to values higher than the initial value due to thermal fluctuations. At long times, the velocity remains nonzero, and the position and velocity distributions correspond to that of thermal equilibrium.

Recovering Boltzmann statistics

If the external potential is conservative and the noise term derives from a reservoir in thermal equilibrium, then the long-time solution to the Langevin equation must reduce to the Boltzmann distribution, which is the probability distribution function for particles in thermal equilibrium. In the special case of overdamped dynamics, the inertia of the particle is negligible in comparison to the damping force, and the trajectory x(t) is described by the overdamped Langevin equation λdxdt=V(x)x+η(t)V(x)x+2λkBTdBtdt, where λ is the damping constant. The term η(t) is white noise, characterized by η(t)η(t)=2kBTλδ(tt) (formally, the Wiener process). One way to solve this equation is to introduce a test function f and calculate its average. The average of f(x(t)) should be time-independent for finite x(t), leading to ddtf(x(t))=0,

Itô's lemma for the Itô drift-diffusion process dXt=μtdt+σtdBt says that the differential of a twice-differentiable function Template:Math is given by df=(ft+μtfx+σt222fx2)dt+σtfxdBt.

Applying this to the calculation of f(x(t)) gives f(x)Vx+kBTf(x)=0.

This average can be written using the probability density function p(x); (f(x)Vxp(x)+kBTf(x)p(x))dx=(f(x)Vxp(x)kBTf(x)p(x))dx=0 where the second term was integrated by parts (hence the negative sign). Since this is true for arbitrary functions f, it follows that Vxp(x)+kBTp(x)=0, thus recovering the Boltzmann distribution p(x)exp(V(x)kBT).

Equivalent techniques

In some situations, one is primarily interested in the noise-averaged behavior of the Langevin equation, as opposed to the solution for particular realizations of the noise. This section describes techniques for obtaining this averaged behavior that are distinct from—but also equivalent to—the stochastic calculus inherent in the Langevin equation.

Fokker–Planck equation

A Fokker–Planck equation is a deterministic equation for the time dependent probability density P(A,t) of stochastic variables A. The Fokker–Planck equation corresponding to the generic Langevin equation described in this article is the following:[14] P(A,t)t=i,jAi(kBT[Ai,Aj]Aj+λi,jAj+λi,jAj)P(A,t). The equilibrium distribution P(A)=p0(A)=const×exp() is a stationary solution.

Klein–Kramers equation

Script error: No such module "Labelled list hatnote". The Fokker–Planck equation for an underdamped Brownian particle is called the Klein–Kramers equation.[15][16] If the Langevin equations are written as 𝐫˙=𝐩m𝐩˙=ξ𝐩V(𝐫)+2mξkBTη(t),ηT(t)η(t)=𝐈δ(tt) where 𝐩 is the momentum, then the corresponding Fokker–Planck equation is ft+1m𝐩𝐫f=ξ𝐩(𝐩f)+𝐩(V(𝐫)f)+mξkBT𝐩2f Here 𝐫 and 𝐩 are the gradient operator with respect to Template:Math and Template:Math, and 𝐩2 is the Laplacian with respect to Template:Math.

In d-dimensional free space, corresponding to V(𝐫)=constant on d, this equation can be solved using Fourier transforms. If the particle is initialized at t=0 with position 𝐫 and momentum 𝐩, corresponding to initial condition f(𝐫,𝐩,0)=δ(𝐫𝐫)δ(𝐩𝐩), then the solution is[16][17] f(𝐫,𝐩,t)=1(2πσXσP1β2)d×exp[12(1β2)(|𝐫μX|2σX2+|𝐩μP|2σP22β(𝐫μX)(𝐩μP)σXσP)] where σ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 three spatial dimensions, the mean squared displacement is 𝐫(t)2=f(𝐫,𝐩,t)𝐫2d𝐫d𝐩=μX2+3σX2

Path integral

A path integral equivalent to a Langevin equation can be obtained from the corresponding Fokker–Planck equation or by transforming the Gaussian probability distribution P(η)(η)dη of the fluctuating force η to a probability distribution of the slow variables, schematically P(A)dA=P(η)(η(A))det(dη/dA)dA. The functional determinant and associated mathematical subtleties drop out if the Langevin equation is discretized in the natural (causal) way, where A(t+Δt)A(t) depends on A(t) but not on A(t+Δt). It turns out to be convenient to introduce auxiliary response variables A~. The path integral equivalent to the generic Langevin equation then reads[18] P(A,A~)dAdA~=Nexp(L(A,A~))dAdA~, where N is a normalization factor and L(A,A~)=i,j{A~iλi,jA~jA~i{δi,jdAjdtkBT[Ai,Aj]ddAj+λi,jddAjdλi,jdAj}}dt. The path integral formulation allows for the use of tools from quantum field theory, such as perturbation and renormalization group methods. This formulation is typically referred to as either the Martin-Siggia-Rose formalism [19] or the Janssen-De Dominicis [18][20] formalism after its developers. The mathematical formalism for this representation can be developed on abstract Wiener space.

See also

References

Template:Reflist

Further reading

  • W. T. Coffey (Trinity College, Dublin, Ireland) and Yu P. Kalmykov (Université de Perpignan, France, The Langevin Equation: With Applications to Stochastic Problems in Physics, Chemistry and Electrical Engineering (Third edition), World Scientific Series in Contemporary Chemical Physics – Vol 27.
  • Reif, F. Fundamentals of Statistical and Thermal Physics, McGraw Hill New York, 1965. See section 15.5 Langevin Equation
  • R. Friedrich, J. Peinke and Ch. Renner. How to Quantify Deterministic and Random Influences on the Statistics of the Foreign Exchange Market, Phys. Rev. Lett. 84, 5224–5227 (2000)
  • L.C.G. Rogers and D. Williams. Diffusions, Markov Processes, and Martingales, Cambridge Mathematical Library, Cambridge University Press, Cambridge, reprint of 2nd (1994) edition, 2000.
  1. Script error: No such module "Citation/CS1".
  2. Script error: No such module "Citation/CS1".
  3. Script error: No such module "Citation/CS1".
  4. Script error: No such module "Citation/CS1".
  5. Script error: No such module "Citation/CS1".
  6. Script error: No such module "Citation/CS1".
  7. Script error: No such module "citation/CS1".
  8. Script error: No such module "Citation/CS1".
  9. Script error: No such module "citation/CS1".
  10. a b c Script error: No such module "Citation/CS1".
  11. Script error: No such module "Citation/CS1".
  12. Script error: No such module "Citation/CS1".
  13. Script error: No such module "citation/CS1".
  14. Script error: No such module "citation/CS1".
  15. Script error: No such module "Citation/CS1".
  16. a b Script error: No such module "citation/CS1".
  17. Script error: No such module "Citation/CS1".
  18. a b Script error: No such module "Citation/CS1".
  19. Script error: No such module "Citation/CS1".
  20. Script error: No such module "Citation/CS1".