查看“︁朗之万方程”︁的源代码

{{noteTA
|G1=Math
|G2=Physics
}}
{{Rough translation||||time=}}
在统计物理中， '''朗之万公式'''（[[保羅·朗之萬|保罗·朗之万]]，1908年) 是一个描述自由度的子集的时间演化的[[隨機微分方程|随机微分方程]]。 这些自由度，通常是那些在与系统的其他（微观的）变量相比，变化较缓慢的集体（宏观的）变量。 快速变化（微观）的变量导致了朗之万公式的随机性。

== 布朗运动为原型 ==
原朗之万公式<ref>{{cite journal|title=Sur la théorie du mouvement brownien [On the Theory of Brownian Motion]|last=Langevin|first=P.|journal=C. R. Acad. Sci. (Paris)|accessdate=|year=1908|volume=146|pages=530–533|id=}}</ref> 描述了[[布朗运动]]，因受到流体分子的碰撞，粒子在流体中做无规则运动，
: <math>m\frac{d^{2}\mathbf{x}}{dt^{2}}=-\lambda \frac{d\mathbf{x}}{dt}+\boldsymbol{\eta}\left( t\right).</math>
这里，自由度是粒子的位置 <math>\mathbf{x}</math> ，<math>m</math> 表示粒子的质量。作用在粒子上的力表达成正比于粒子速度（斯托克斯定律）的粘滞力，和一个表示流体分子碰撞影响的噪声项<math>\boldsymbol{\eta}\left( t\right)</math> （随机微分方程中表示随机过程的术语在物理背景中的命名）的和。这个力（涨落力）<math>\boldsymbol{\eta}\left( t\right)</math> 具有高斯分布，其相关函数
: <math>\left\langle \eta_{i}\left( t\right)\eta_{j}\left( t^{\prime}\right) \right\rangle =2\lambda k_{B}T\delta _{i,j}\delta \left(t-t^{\prime }\right) ,</math>
其中 <math>k_B</math> 是玻尔兹曼常数,  <math>T</math>是温度， <math>\eta_i\left( t\right)</math> 是矢量 <math>\boldsymbol{\eta}\left( t\right)</math>的第 i 分量， [[狄拉克δ函数|δ-函数]]形式的时间相关性，表示假设该力在时刻 t， 与其他任何时刻完全不相关。这是一个近似，实际上随机力有一个与分子碰撞时长相对应的非零的相关时间。但是，朗之万方程是用来描述“宏观”微粒在很长时间尺度下的运动，并且在这种极限情况下 <math>\delta</math>-相关 和朗之万方程是精确的。

朗之万方程的另一个典型特征是在随机力的相关函数中导致了阻尼系数<math>\lambda</math> 出现，这一现象也被称为[[爱因斯坦关系]]。

== 数学方面 ==
一个严格的 <math>\delta</math>-关系的涨落力 <math>\boldsymbol{\eta}\left( t\right)</math> 不是通常数学意义上的可微函数，即使它的一阶导数  <math>d\mathbf{x}/dt</math> 在这种极限下也没有定义。 要求朗之万方程在这种情况下的解释，可参见条目[[伊藤积分]]。

== 一般朗之万方程 ==
经典力学有一个对一般朗之万方程的形式推导<ref name="Kawasaki1973">{{cite journal|title=Simple derivations of generalized linear and nonlinear Langevin equations|last=Kawasaki|first=K.|journal=J. Phys. A: Math. Nucl. Gen.|doi=10.1088/0305-4470/6/9/004|year=1973|volume=6|pages=1289|bibcode=1973JPhA....6.1289K|id=}}<!--| 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 }}</ref> 。这个一般方程在临界动力学<ref name="HH1977">{{cite journal |title=Theory of dynamic critical phenomena |journal=[[Reviews of Modern Physics]] |year=1977 |first=P. C. |last=Hohenberg |first2=B. I. |last2=Halperin |volume=49 |issue=3 |pages=435–479 |doi=10.1103/RevModPhys.49.435 |bibcode = 1977RvMP...49..435H }}</ref> 和非平衡统计力学的其他领域扮演了核心角色。上述描述布朗运动的方程是一般朗之万方程的特殊情况。

一个推导一般朗之万方程的必要条件是对自由度不同快慢类型的标准划分（熵理论认为影响系统的变量可以分为快变量和慢变量）。例如，在液体中可以在几次碰撞时间内达到局部热力学平衡，但对于守恒量的密度，比如质量和能量，却需要长得多的时间去达到平衡。因此守恒量的密度，尤其是它们的长波分量，是慢变量的候选者。技术上来说这种划分是以[[Zwanzig投影算子]]<ref>{{cite journal|title=Memory effects in irreversible thermodynamics|last=Zwanzig|first=R.|journal=[[Physical Review|Phys. Rev.]]|issue=4|doi=10.1103/PhysRev.124.983|year=1961|volume=124|pages=983–992|bibcode=1961PhRv..124..983Z}}</ref> 来实现的，它是推导中的必要工具。 推导不完全严格，因为它依赖于(貌似可信的)假设，类似于其他基本的统计力学中的假设。

令 <math>A=\{A_i\}</math> 表示慢变量。 则一般朗之万式表示为
: <math>\frac{dA_{i}}{dt}=k_{B}T\sum\limits_{j}{\left[ {A_{i},A_{j}}\right] \frac{{d}\mathcal{H}}{{dA_{j}}}}-\sum\limits_{j}{\lambda _{i,j}\left( A\right) \frac{d\mathcal{H}}{{dA_{j}}}+}\sum\limits_{j}{\frac{d{\lambda _{i,j}\left(A\right) }}{{dA_{j}}}}+\eta _{i}\left( t\right).</math>
涨落力 <math>\eta_i\left( t\right)</math> 服从[[正态分布|高斯分布]]，其相关函数为
: <math>\left\langle {\eta _{i}\left( t\right) \eta _{j}\left( t^{\prime }\right) }\right\rangle =2\lambda _{i,j}\left( A\right) \delta \left( t-t^{\prime}\right).</math>
这暗示了阻尼系数 <math>\lambda</math> 具有昂萨格倒易关系 <math>\lambda_{i,j}=\lambda_{j,i}</math> 。 <math>d\lambda_{i,j}/dA_j</math>  对 <math>A</math> 的依赖性在大多数情况下可以忽略不计。符号 <math>\mathcal{H}=-ln\left(p_0\right)</math>表示了系统的哈密顿量，其中<math>p_0\left(A\right)</math> 是变量 <math>A</math> 的平衡概率分布。最后，<math>[A_i,A_j]</math>是慢变量 <math>A_i</math> 和 <math>A_j</math> 的泊松括号在慢变量空间投影。

在布朗运动的例子中，一个系统的状态可以有 <math>\mathcal{H}=\mathbf{p}^2/\left(2mk_BT\right)</math>，<math>A=\{\mathbf{p}\}</math> 或 <math>A=\{\mathbf{x}, \mathbf{p}\}</math> ， <math>[x_i, p_j]=\delta_{i,j}</math> 。 对 <math>\mathbf{x}</math> 的运动方程 <math>d\mathbf{x}/dt=\mathbf{p}/m</math> 是精确的， 其中没有涨落力 <math>\eta_x</math> 和阻尼力 <math>\lambda_{x,p}</math>.

== 例子 ==
[[File:Oscillator_phase_portrait.svg|右|缩略图|250x250像素|一个谐振子相图展示了由郎之万方程决定的相空间传播]]

=== 流体中的谐振子 ===
一个不理想的谐振子会受到某些阻尼影响，由于涨落耗散定理，系统中一定会有一些波动。右图展示的是动量 <math>p=mv</math> 以及谐振子的位置 <math>r</math> 随时间演化的[[相圖 (動態系統)|相图]]。 确定性的运动会沿着这条椭圆轨迹演化，并且不能与其他任何一条轨道交叉而不改变其能量。某些形式的阻尼的存在，例如分子流体环境（由扩散项和阻尼项为代表），会不断地从系统中得到或失去动能，导致一个谐振子的初始系综（图中虚线圈）会逐渐发散开，并最终成为[[正则系综]]（热平衡）。
[[File:ResistorCapacitance.png|右|缩略图|250x250像素|包含一个电阻和一个电容的电路]]

=== 电阻中的热噪声 ===
上述的典型布朗颗粒，与[[约翰逊－奈奎斯特噪声]]，即由每个电阻中的热力学涨落引起的电压，有一个相似的类比<ref>J. Johnson, [http://link.aps.org/abstract/PR/v32/p97 "Thermal Agitation of Electricity in Conductors"], Phys. </ref>。右图展示了包含一个[[电阻]]R和[[電容|电容]]C的电路。这个电路的慢变量是电阻两端的的电压。其哈密顿量表示为<math>\mathcal{H}=E/k_BT=CU^2/(2k_BT)</math>，朗之万方程则表示为
: <math>\frac{dU}{dt} =-\frac{U}{RC}+\eta \left( t\right),\;\;
\left\langle \eta \left( t\right) \eta \left( t^{\prime }\right)\right\rangle = \frac{2k_{B}T}{RC^{2}}\delta \left(t-t^{\prime }\right).</math>
这个方程可以用来确定相关函数
: <math>\left\langle U\left(t\right) U\left(t^{\prime }\right) \right\rangle
=\left( k_{B}T/C\right) \exp \left( -\left\vert t-t^{\prime }\right\vert
/RC\right) \approx 2Rk_{B}T\delta \left( t-t^{\prime }\right),</math>
当电容C小可以忽略不计时成为白噪声（约翰逊噪声）。

=== 临界动力学 ===
[[相變|二级相变]]的序参量的动力学在接近临界点时变慢，并且可以用朗之万方程描述<ref name="HH1977" />。最简单的例子是具有非保守标量阶参量的普适类 “model A”，在轴向铁磁体中的实现
: <math>\begin{align}
\frac{\partial\varphi\left(\mathbf{x},t\right)}{\partial t}&=-\lambda\frac{\delta\mathcal{H}}{\delta\varphi}+\eta\left(\mathbf{x},t\right),\\
\mathcal{H}&=\int d^{d}x\left\{ \frac{1}{2}\varphi\left[r_{0}-\nabla^{2}\right]\varphi+u\varphi^{4}\right\} ,\\
\left\langle \eta\left(\mathbf{x},t\right)\eta\left(\mathbf{x}',t'\right)\right\rangle &=2\lambda\delta\left(\mathbf{x}-\mathbf{x}'\right)\delta\left(t-t'\right).
\end{align}</math>
其他的普适类（命名方法是像 “model A",..., "model J"）包含一个扩散的序参量，有几个分量的序参量，其他临界变量和（或）来自泊松括号的贡献<ref name="HH1977" /> 。

=== 重现玻尔兹曼分布 ===
朗之万方程必须能重现[[玻尔兹曼分布]]。一维[[阻尼比|过阻尼]]布朗运动是一个有启发性的例子。在颗粒的惯性相对于阻尼力来说可以忽略不计时，就实现了过阻尼条件。在势能 <math>V(x)</math>下粒子的轨迹 <math>x(t)</math> 用朗之万方程描述
: <math> \lambda \frac{dx}{dt} = - \frac{\partial V(x)}{\partial x} + \eta(t),</math> 
噪音项的特征由 <math>\left\langle\eta(t) \eta(t')\right\rangle = 2 k_B T \lambda \delta(t-t')</math> 决定，其中 <math>\lambda</math> 是阻尼系数。我们想要计算经过一段时间粒子位置的分布 <math>p(x)</math>。确定这个分布一个直接的方法是引进一个测试函数<math>f</math>，然后看这个函数在所有实现中的平均（统计均值）
: <math> \lambda\frac{d \left\langle f(x(t))\right\rangle}{d t} = \left\langle f'(x(t))\lambda\frac{dx}{dt} \right\rangle = \left\langle -f'(x(t))\frac{\partial V}{\partial x} + f'(x(t))\eta(t) \right\rangle.</math>
如果 <math>x(t)</math> 保持有限值那么这个量是没有意义的。此外，使用斯特拉托诺维奇诠释，我们就可以摆脱第二项中的<math>\eta</math>从而我们最终得到
: <math> \left\langle -f'(x)\frac{\partial V}{\partial x} + k_B T  f''(x) \right\rangle=0,</math>
这里我们利用了概率密度函数 <math>p(x)</math>。通过显式计算平均值
: <math> \int \left( -f'(x)\frac{\partial V}{\partial x}p(x) + {k_B T} f''(x)p(x) \right) dx = \int \left( -f'(x)\frac{\partial V}{\partial x} p(x) - {k_B T} f'(x)p'(x) \right) dx = 0,</math>
第二项为分部积分（因此有负号）。因为需要对任意的函数 <math>f</math> 都成立，所以我们必须有
: <math> \frac{\partial V}{\partial x} p(x) + {k_B T} p'(x) = 0,</math>
因此恢复为玻尔兹曼函数
: <math> p(x) \propto\exp \left( {-\frac{  V(x)}{k_B T}}\right).</math>

== 等价的技巧 ==
在涨落力的具体实现中，朗之万方程并不关心其本身的解，它关心的是在对涨落力取平均后慢变量的相关函数。这样的相关函数也可以用其他（等价的）技巧确定。

=== 福克-普朗克方程 ===
[[福克-普朗克方程]]是关于随机变量<math>A</math>的含时概率密度<math>P\left(A,t\right)</math>的一个确定性方程。对应上面一般朗之万方程的福克-普朗克方程可以由标准技巧<ref name="Ichimaru1973">{{citation|last=Ichimaru|first=S.|title=Basic Principles of Plasma Physics|year=1973|pages=231|edition=1st.|location=USA|publisher=Benjamin|isbn=0805387536}}</ref>推导得到
: <math>
\frac{\partial P\left(A,t\right)}{\partial t}=\sum_{i,j}\frac{\partial}{\partial A_{i}}\left(-k_{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>P(A) = p_0(A) = const\times\exp(-\mathcal{H})</math> 是一个平稳解。

=== 路径积分 ===
一个等价于朗之万方程的[[路徑積分表述|路径积分表述]]可以从相应的[[福克-普朗克方程]]得到，或通过将涨落力 <math>\eta</math> 的高斯分布 <math>P^{(\eta)}(\eta)d\eta</math> 转变成慢变量的概率分布，示意为 <math>P(A)dA = P^{(\eta)}(\eta(A))\det(d\eta/dA)dA</math>。如果以自然的（因果的）方式离散化朗之万方程，式中的函数行列式和相关的数学细节不证自明，<math>A(t+\Delta t)-A(t)</math>取决于 <math>A(t)</math> 而不是 <math>A(t+\Delta t)</math>。引入辅助反应变量 <math>\tilde A</math> 是方便的。等价于一般朗之万方程的路径积分表述为<ref name="Janssen1976">{{cite journal|title=Lagrangean for Classical Field Dynamics and Renormalization Group Calculations of Dynamical Critical Properties|last=Janssen|first=H. K.|journal=Z. Phys. B|doi=10.1007/BF01316547|year=1976|volume=23|pages=377|bibcode=1976ZPhyB..23..377J}}</ref>
: <math>\int P(A,\tilde{A})\,dA\,d\tilde{A} = N\int \exp \left( L(A,\tilde{A})\right) dA\,d\tilde{A},</math>
<math>N</math> 是归一化因子。路径积分表述没有引进任何新的东西，但它能够使用[[量子场论]]的工具，比如微扰论（摄动论）和重整化群方法（如果它们有意义的话）。

== 参见 ==
* [[朗之万动力学]]
* [[泛函积分]]

== 阅读 ==
* David Tong. Kinetic Theory Ch. 3.
* Applied Stochastic processes.  M. Scott.

== 参考文献 ==
{{Reflist}}'''延伸阅读'''
* 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.

{{Stochastic processes}}
[[Category:隨機微分方程]]
[[Category:方程]]
[[Category:统计力学]]