朗之万方程

✍ dations ◷ 2024-12-22 23:26:29 #随机微分方程,方程,统计力学

在统计物理中, 朗之万公式(保罗·朗之万,1908年) 是一个描述自由度的子集的时间演化的随机微分方程。 这些自由度,通常是那些在与系统的其他(微观的)变量相比,变化较缓慢的集体(宏观的)变量。 快速变化(微观)的变量导致了朗之万公式的随机性。

原朗之万公式 描述了 布朗运动,因受到流体分子的碰撞,粒子在流体中做无规则运动,

这里,自由度是粒子的位置  x {\displaystyle \mathbf {x} }  , m {\displaystyle m} 表示粒子的质量。作用在粒子上的力表达成正比于粒子速度(斯托克斯定律)的粘滞力,和一个表示流体分子碰撞影响的噪声项 η ( t ) {\displaystyle {\boldsymbol {\eta }}\left(t\right)} (随机微分方程中表示随机过程的术语在物理背景中的命名)的和。这个力(涨落力) η ( t ) {\displaystyle {\boldsymbol {\eta }}\left(t\right)} 具有高斯分布,其相关函数

其中 k B {\displaystyle k_{B}} 是玻尔兹曼常数,   T {\displaystyle T} 是温度, η i ( t ) {\displaystyle \eta _{i}\left(t\right)} 是矢量 η ( t ) {\displaystyle {\boldsymbol {\eta }}\left(t\right)} 的第 i 分量, δ-函数形式的时间相关性,表示假设该力在时刻 t, 与其他任何时刻完全不相关。这是一个近似,实际上随机力有一个与分子碰撞时长相对应的非零的相关时间。但是,朗之万方程是用来描述“宏观”微粒在很长时间尺度下的运动,并且在这种极限情况下  δ {\displaystyle \delta } -相关 和朗之万方程是精确的。

朗之万方程的另一个典型特征是在随机力的相关函数中导致了阻尼系数 λ {\displaystyle \lambda }  出现,这一现象也被称为爱因斯坦关系。

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

经典力学有一个对一般朗之万方程的形式推导 。这个一般方程在临界动力学 和非平衡统计力学的其他领域扮演了核心角色。上述描述布朗运动的方程是一般朗之万方程的特殊情况。

一个推导一般朗之万方程的必要条件是对自由度不同快慢类型的标准划分(熵理论认为影响系统的变量可以分为快变量和慢变量)。例如,在液体中可以在几次碰撞时间内达到局部热力学平衡,但对于守恒量的密度,比如质量和能量,却需要长得多的时间去达到平衡。因此守恒量的密度,尤其是它们的长波分量,是慢变量的候选者。技术上来说这种划分是以Zwanzig投影算子 来实现的,它是推导中的必要工具。 推导不完全严格,因为它依赖于(貌似可信的)假设,类似于其他基本的统计力学中的假设。

令  A = { A i } {\displaystyle A=\{A_{i}\}} 表示慢变量。 则一般朗之万式表示为

涨落力 η i ( t ) {\displaystyle \eta _{i}\left(t\right)} 服从高斯分布,其相关函数为

这暗示了阻尼系数 λ {\displaystyle \lambda } 具有昂萨格倒易关系 λ i , j = λ j , i {\displaystyle \lambda _{i,j}=\lambda _{j,i}} d λ i , j / d A j {\displaystyle d\lambda _{i,j}/dA_{j}} A {\displaystyle A} 的依赖性在大多数情况下可以忽略不计。符号 H = l n ( p 0 ) {\displaystyle {\mathcal {H}}=-ln\left(p_{0}\right)} 表示了系统的哈密顿量,其中 p 0 ( A ) {\displaystyle p_{0}\left(A\right)} 是变量 A {\displaystyle A} 的平衡概率分布。最后, {\displaystyle } 是慢变量 A i {\displaystyle A_{i}} A j {\displaystyle A_{j}} 的泊松括号在慢变量空间投影。

在布朗运动的例子中,一个系统的状态可以有 H = p 2 / ( 2 m k B T ) {\displaystyle {\mathcal {H}}=\mathbf {p} ^{2}/\left(2mk_{B}T\right)} A = { p } {\displaystyle A=\{\mathbf {p} \}} A = { x , p } {\displaystyle A=\{\mathbf {x} ,\mathbf {p} \}} = δ i , j {\displaystyle =\delta _{i,j}} 。 对 x {\displaystyle \mathbf {x} } 的运动方程 d x / d t = p / m {\displaystyle d\mathbf {x} /dt=\mathbf {p} /m} 是精确的, 其中没有涨落力 η x {\displaystyle \eta _{x}} 和阻尼力 λ x , p {\displaystyle \lambda _{x,p}} .

一个不理想的谐振子会受到某些阻尼影响,由于涨落耗散定理,系统中一定会有一些波动。右图展示的是动量 p = m v {\displaystyle p=mv} 以及谐振子的位置 r {\displaystyle r} 随时间演化的相图。 确定性的运动会沿着这条椭圆轨迹演化,并且不能与其他任何一条轨道交叉而不改变其能量。某些形式的阻尼的存在,例如分子流体环境(由扩散项和阻尼项为代表),会不断地从系统中得到或失去动能,导致一个谐振子的初始系综(图中虚线圈)会逐渐发散开,并最终成为正则系综(热平衡)。

上述的典型布朗颗粒,与约翰逊-奈奎斯特噪声,即由每个电阻中的热力学涨落引起的电压,有一个相似的类比。右图展示了包含一个电阻R和电容C的电路。这个电路的慢变量是电阻两端的的电压。其哈密顿量表示为 H = E / k B T = C U 2 / ( 2 k B T ) {\displaystyle {\mathcal {H}}=E/k_{B}T=CU^{2}/(2k_{B}T)} ,朗之万方程则表示为

这个方程可以用来确定相关函数

当电容C小可以忽略不计时成为白噪声(约翰逊噪声)。

二级相变的序参量的动力学在接近临界点时变慢,并且可以用朗之万方程描述。最简单的例子是具有非保守标量阶参量的普适类 “model A”,在轴向铁磁体中的实现

其他的普适类(命名方法是像 “model A",..., "model J")包含一个扩散的序参量,有几个分量的序参量,其他临界变量和(或)来自泊松括号的贡献 。

朗之万方程必须能重现玻尔兹曼分布。一维过阻尼布朗运动是一个有启发性的例子。在颗粒的惯性相对于阻尼力来说可以忽略不计时,就实现了过阻尼条件。在势能 V ( x ) {\displaystyle V(x)} 下粒子的轨迹 x ( t ) {\displaystyle x(t)} 用朗之万方程描述

噪音项的特征由 η ( t ) η ( t ) = 2 k B T λ δ ( t t ) {\displaystyle \left\langle \eta (t)\eta (t')\right\rangle =2k_{B}T\lambda \delta (t-t')} 决定,其中 λ {\displaystyle \lambda } 是阻尼系数。我们想要计算经过一段时间粒子位置的分布 p ( x ) {\displaystyle p(x)} 。确定这个分布一个直接的方法是引进一个测试函数 f {\displaystyle f} ,然后看这个函数在所有实现中的平均(统计均值)

如果 x ( t ) {\displaystyle x(t)} 保持有限值那么这个量是没有意义的。此外,使用斯特拉托诺维奇诠释,我们就可以摆脱第二项中的 η {\displaystyle \eta } 从而我们最终得到

这里我们利用了概率密度函数 p ( x ) {\displaystyle p(x)} 。通过显式计算平均值

第二项为分部积分(因此有负号)。因为需要对任意的函数 f {\displaystyle f} 都成立,所以我们必须有

因此恢复为玻尔兹曼函数

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

福克-普朗克方程是关于随机变量 A {\displaystyle A} 的含时概率密度 P ( A , t ) {\displaystyle P\left(A,t\right)} 的一个确定性方程。对应上面一般朗之万方程的福克-普朗克方程可以由标准技巧推导得到

平衡分布 P ( A ) = p 0 ( A ) = c o n s t × exp ( H ) {\displaystyle P(A)=p_{0}(A)=const\times \exp(-{\mathcal {H}})} 是一个平稳解。

一个等价于朗之万方程的路径积分表述可以从相应的福克-普朗克方程得到,或通过将涨落力 η {\displaystyle \eta } 的高斯分布 P ( η ) ( η ) d η {\displaystyle P^{(\eta )}(\eta )d\eta } 转变成慢变量的概率分布,示意为 P ( A ) d A = P ( η ) ( η ( A ) ) det ( d η / d A ) d A {\displaystyle P(A)dA=P^{(\eta )}(\eta (A))\det(d\eta /dA)dA} 。如果以自然的(因果的)方式离散化朗之万方程,式中的函数行列式和相关的数学细节不证自明, A ( t + Δ t ) A ( t ) {\displaystyle A(t+\Delta t)-A(t)} 取决于 A ( t ) {\displaystyle A(t)} 而不是 A ( t + Δ t ) {\displaystyle A(t+\Delta t)} 。引入辅助反应变量 A ~ {\displaystyle {\tilde {A}}} 是方便的。等价于一般朗之万方程的路径积分表述为

N {\displaystyle N} 是归一化因子。路径积分表述没有引进任何新的东西,但它能够使用量子场论的工具,比如微扰论(摄动论)和重整化群方法(如果它们有意义的话)。

延伸阅读

相关

  • 布鲁氏菌病布鲁氏杆菌病,又名地中海弛张热、马耳他热、波浪热(undulant fever)、波状热,是一种人畜共通传染病,由布鲁氏杆菌属(英语:Brucella)引致。这种细菌可寄宿绵羊、山羊、猪和牛等动物
  • 氏部,为汉字索引中的部首之一,康熙字典214个部首中的第八十三个(四划的则为第二十三个)。就繁体和简体中文中,氏部归于四划部首。氏部通常是从上、下、左方均可为部字。且无其他
  • 罗伯·佛契哥特罗伯·佛契哥特(英语:Robert Francis Furchgott,1916年6月4日-2009年5月19日),生于美国南卡罗莱那州的查尔斯顿,美国化学家。佛契哥特于1937年在北卡罗来纳大学化学系学士毕业,并于1
  • 辞修公园坐标:25°03′26″N 121°25′40″E / 25.057361°N 121.427668°E / 25.057361; 121.427668辞修公园,前名“陈诚纪念公园”,位于台湾新北市泰山区同荣里尖冻山丘陵,占地5.5公顷
  • 塞缪尔梅里特大学坐标:37°49′15.53″N 122°15′49.56″W / 37.8209806°N 122.2637667°W / 37.8209806; -122.2637667塞缪尔梅里特大学(Samuel Merritt University)是位于美国加利福尼亚州
  • 人类生殖系统同源器官列表人类两性的生殖系统有相同的胚胎起源,经过分化而演变为不同的器官。以下列出了男性与女性的同源器官。生殖器于胚胎的发育的过程示意图,左侧为男性,右侧为女性。
  • 阿帕奇族阿帕奇族(英语:Apache)是数个文化上有关连的美国原住民部族的一个总称,阿帕奇族的语言是阿帕切语系。以现时的角度排除了有关的纳瓦约族,但纳瓦约族与其他阿帕奇族在文化和语言上
  • 扬·克利门特扬·克利门特(捷克语:Jan Kliment;1993年9月1日-)是一位捷克足球运动员。在场上的位置是中场。他现在效力于德甲球队斯图加特。他也代表捷克国家青年足球队参赛。
  • 巴克法斯特蜂巴克法斯特蜂或布克法斯特蜂(Buckfast bee),英格兰布克法斯特修道院的亚当修士(Brother Adam)培育出抗蜜蜂壁虱病(气管螨)的西方蜜蜂品种,是两个受国际承认的蜜蜂人工培育品系之
  • 科西玛·瓦格纳科西玛·瓦格纳(Cosima Wagner,1837年12月24日-1930年4月1日),出生名弗兰切斯卡·加埃塔纳·科西玛·李斯特(Francesca Gaetana Cosima Liszt),作曲家李斯特·费伦茨之女,先后嫁给指