《高等统计物理学》5:非平衡态统计物理初步
知乎链接:《高等统计物理学》5:非平衡态统计物理初步
上一篇文章《高等统计物理学》4:量子系综的实际问题 是统计物理系综的最后一个部分,同时也是平衡态统计物理复习的大结局。下面将开始非平衡态统计物理的复习,在这里笔者只是将相关的概率知识进行罗列,更深层次的非平衡态统计物理的内容待笔者考完试有时间自学后再进行相关的大补充。
四. 非平衡态统计物理初步
1. 中心极限定理
考虑随机变量 X的N次独立测量平均的随机变量 Y ,其概率密度函数为 fY(yN−⟨X⟩)f_Y(y_N-\langle X \rangle)fY(yN−⟨X⟩)。如果 N→∞,N\rightarrow \infty ,N→∞,记 σ2=⟨X2⟩−⟨X⟩2,\sigma^2=\langle X^2 \rangle-\langle X \rangle^2 ,σ2=⟨X2⟩−⟨X⟩2,则有 fY(yN−⟨X⟩)=N2π1σe−N(yN−⟨X⟩)2(2σ2)。f_Y(y_N-\langle X \rangle)=\sqrt{\frac{N}{2\pi}}\frac{1}{\sigma}e^{-\frac{N(y_N-\langle X \rangle)^2}{(2\sigma^2)}} 。fY(yN−⟨X⟩)=2πNσ1e−(2σ2)N(yN−⟨X⟩)2。(因此,不管 fX(x)f_X(x)fX(x) 形式如何,只要它有有限的矩,xxx 的大量独立测量的平均值的分布是中心在 <X><X><X> 的高斯分布,其方差是 X 的概率密度的方差的 1N\frac{1}{N}N1。这就是中心极限定理)
证明:(a)首先我们要清楚随机变量nnn阶矩的定义⟨Xn⟩=∑ixinf(xi)\langle X^n \rangle=\sum_i x_i^nf(x_i)⟨Xn⟩=∑ixinf(xi)或 ⟨Xn⟩=∫dxxnfX(x),\langle X^n \rangle=\int dxx^nf_X(x) ,⟨Xn⟩=∫dxxnfX(x),矩给出了分布函数的范围和形状信息,对连续型随机变量,若所有的矩 ⟨Xn⟩\langle X^n \rangle⟨Xn⟩ 都知道,则概率密度函数被完全确定,特殊地,高斯分布被一阶和二阶矩完全确定(反之也成立)。
(b)然后,我们还要知道特征函数,ϕX(k)=⟨eikx⟩=∫dxeikxfX(x)=∑n=0∞(ik)n⟨Xn⟩n!,\phi_X(k)=\langle e^{ikx}\rangle=\int dx e^{ikx}f_X(x)=\sum_{n=0}^\infty\frac{(ik)^n\langle X^n \rangle}{n!} ,ϕX(k)=⟨eikx⟩=∫dxeikxfX(x)=n=0∑∞n!(ik)n⟨Xn⟩,在上面的积分里以ikikik,在k=0k=0k=0点进行泰勒展开,很容易就可以的到最后的级数表达式(注意级数展开只当高阶矩足够小时才有意义),推导如下: F(ik)=∫eikxf(x)dx=∑nF(0)(n)(ik−0)nn!=∑n(ik)n∫xneikx∣k=0f(x)dxn!=∑n(ik)n∫xnf(x)dxn!=∑n(ik)n⟨Xn⟩n!\begin{aligned} F(ik)&=\int e^{ikx}f(x)dx=\sum_n\frac{F(0)^{(n)}(ik-0)^n}{n!}=\sum_n\frac{(ik)^n\int x^ne^{ikx}|_{k=0}f(x)dx}{n!}\\&=\sum_n\frac{(ik)^n\int x^nf(x)dx}{n!} =\sum_n\frac{(ik)^n \langle X^n \rangle}{n!} \end{aligned} F(ik)=∫eikxf(x)dx=n∑n!F(0)(n)(ik−0)n=n∑n!(ik)n∫xneikx∣k=0f(x)dx=n∑n!(ik)n∫xnf(x)dx=n∑n!(ik)n⟨Xn⟩由上式可见,特征函数及其概率密度函数都由各级矩完全确定(注意n的范围是从0到正无穷)。
(c)下面推导中心极限定理:
注意:任何不为0的数的0次方都为1,上述过程中特征函数的变换和常规的傅立叶变换不一样,这里的指数是正的,相应的逆变换则是负的。因为实际可以观察的物理量都是实数,所以傅立叶变换指数的正负对最后结果没有影响。还有,我们用 yN−⟨X⟩y_N-\langle X\rangleyN−⟨X⟩作为自变量,是因为偏移量相对于平均值可以看作小量,便于做近似计算(前面已经讲过,特征函数的级数表达要求矩无穷小)。
(已解决问题1:推导一下特征函数最后的那个级数表达式)(待解决问题2:独立同分布的中心极限定理、利莫夫-拉普拉斯定理)
2. 大数定律
大数定理以严格的数学形式表现了随机现象最根本的性质之一:平均结果的稳定性。简单地说,大数定律就是当试验次数足够多时,事件发生的频率无穷接近于该事件发生的概率。它的定义为:设有随机变量序列 Y1,Y2,...,Yn,...Y_1,Y_2,...,Y_n,...Y1,Y2,...,Yn,...和实数 a,a ,a,若对于任意正数 ε,limn→∞P(∣Yn−a∣<ε)=1,\varepsilon , \lim_{n\rightarrow \infty}P(|Y_n-a|<\varepsilon)=1 ,ε,limn→∞P(∣Yn−a∣<ε)=1,称 Y1,Y2,...,Yn,...Y_1,Y_2,...,Y_n,...Y1,Y2,...,Yn,... 依概率收敛于常数 aaa ,记为 Yn⟶Pa(n→∞)。Y_n\stackrel{P}\longrightarrow a(n\rightarrow\infty) 。Yn⟶Pa(n→∞)。(这里的 YiY_iYi 就是中心极限定理中的 yNy_NyN吧)
由切比雪夫不等式得 P(∣yN−⟨X⟩∣≥ε)≤σYN2ε2=σX2Nε2,P(|y_N-\langle X\rangle|\geq\varepsilon)\leq\frac{\sigma_{Y_N}^2}{\varepsilon^2}=\frac{\sigma_{X}^2}{N\varepsilon^2} ,P(∣yN−⟨X⟩∣≥ε)≤ε2σYN2=Nε2σX2,当 N→∞N\rightarrow\inftyN→∞ 时,若 σX2\sigma_X^2σX2 有限,则 limN→∞P(∣yN−⟨X⟩∣≥ε)→0。\lim_{N \rightarrow \infty}P(|y_N-\langle X\rangle|\geq\varepsilon)\rightarrow0 。limN→∞P(∣yN−⟨X⟩∣≥ε)→0。
3. 马尔可夫过程
(1)可约性
∫Pn(t1,y1;t2,y2;...;tn,yn)dyn=Pn−1(t1,y1;t2,y2;...,tn−1,yn−1)\int P_n(t_1,y_1;t_2,y_2;...;t_n,y_n)dy_n=P_{n-1}(t_1,y_1;t_2,y_2;...,t_{n-1},y_{n-1}) ∫Pn(t1,y1;t2,y2;...;tn,yn)dyn=Pn−1(t1,y1;t2,y2;...,tn−1,yn−1)(2)归一性
∫P1(t1,y1)dy1=1\int P_1(t_1,y_1)dy_1=1∫P1(t1,y1)dy1=1 (3)条件概率
P2(t1,y1;t2,y2)=P1(t1,y1)P1∣1(t2,y2∣t1,y1)P_2(t_1,y_1;t_2,y_2)=P_1(t_1,y_1)P_{1|1}(t_2,y_2|t_1,y_1)P2(t1,y1;t2,y2)=P1(t1,y1)P1∣1(t2,y2∣t1,y1) 不同时刻概率密度之间的关系: P1(t2,y2)=∫P1(t1,y1)P1∣1(t2,y2∣t1,y1)dy1P_1(t_2,y_2)=\int P_1(t_1,y_1)P_{1|1}(t_2,y_2|t_1,y_1) dy_1P1(t2,y2)=∫P1(t1,y1)P1∣1(t2,y2∣t1,y1)dy1 (4)Chapman-Kolmogorov方程
P1∣1(t3,y3∣t1,y1)=∫dy2P1∣1(t2,y2∣t1,y1)P1∣1(t3,y3∣t2,y2)P_{1|1}(t_3,y_3|t_1,y_1)=\int dy_2P_{1|1}(t_2,y_2|t_1,y_1)P_{1|1}(t_3,y_3|t_2,y_2)P1∣1(t3,y3∣t1,y1)=∫dy2P1∣1(t2,y2∣t1,y1)P1∣1(t3,y3∣t2,y2) 证明:思路大概先后用到条件概率、可约性、条件概率。
(待解决问题3:随机过程书上有个加强版的,看一看)
4. 主方程(马尔可夫过程的时间演化方程)
∂P(t,y)∂t=∫[W(t,x,y)P(t,x)−W(t,y,x)P(t,y)]dx\frac{\partial P(t,y)}{\partial t}=\int[W(t,x,y)P(t,x)-W(t,y,x)P(t,y)]dx∂t∂P(t,y)=∫[W(t,x,y)P(t,x)−W(t,y,x)P(t,y)]dx
证明:首先明白主方程的意义,考虑下面这个方程: P(t2,y)=∫dxP(t1,x;t2,y)=∫dxP(t1,x)P(t2,y∣t1,x),P(t_2,y)=\int dx P(t_1,x;t_2,y)=\int dxP(t_1,x)P(t_2,y|t_1,x) ,P(t2,y)=∫dxP(t1,x;t2,y)=∫dxP(t1,x)P(t2,y∣t1,x),要求 P(t2,y)P(t_2,y)P(t2,y)则需要进行复杂的积分。一般而言,我们对微分方程的研究要多于积分方程,且求解也更加容易,因此,我们尝试将这个麻烦的积分方程转换成易于求解的微分方程,而一般的转换思路就是构造无穷小量,然后对其进行泰勒展开。证明过程如下:
注意,证明过程中得到的 W~(t1,x,y)\tilde W(t_1,x,y)W~(t1,x,y)不适用,是因为归一性条件∫P(t1+ε,y∣t1,x)dx=1\int P(t_1+\varepsilon,y|t_1,x)dx=1∫P(t1+ε,y∣t1,x)dx=1使得 ∫W~(t1,x,y)dx=0\int \tilde W(t_1,x,y)dx=0∫W~(t1,x,y)dx=0的约束存在,而要找到一个这样的W~(t1,x,y)\tilde W(t_1,x,y)W~(t1,x,y)实属不容易。但是,我们引入 W(t1,x,y)W(t_1,x,y)W(t1,x,y)后,就不会再有这样的约束存在了,而引入的方法也是有一定的技巧性在里头,如下所示:
5. 福克-普朗克(Fokker-Planck)方程
当xxx和yyy是连续变量,且从xxx到yyy的改变是以小跳跃的方式进行的时候,可以得到普朗克方程。(要区分,主方程和普朗克方程的时间都是以很小的尺度进行改变的,但是主方程没有限制x到y变化的大小,而普朗克方程则在主方程的基础上考虑x到y变化很小的更为特殊的情况)
∂P(t,y)∂t=−∂∂y[a1(y)P(y,t)]+12∂2∂y2[a2(y)P(y,t)],其中an(y)=∫dξξnW‾(y,ξ)\frac{\partial P(t,y)}{\partial t}=-\frac{\partial}{\partial y}[a_1(y)P(y,t)]+\frac{1}{2}\frac{\partial^2}{\partial y^2}[a_2(y)P(y,t)] ,其中 a_n(y)=\int d\xi \xi^n \overline W(y,\xi) ∂t∂P(t,y)=−∂y∂[a1(y)P(y,t)]+21∂y2∂2[a2(y)P(y,t)],其中an(y)=∫dξξnW(y,ξ)是第n级跃变矩。
证明:
这个证明过程其实非常简单的, 就是第一步根据主方程变出来的那个方程,在思维上转换下就很ok啦。
6. 随机微分方程的福克-普朗克(Fokker-Planck)方程
7. 无规则行走和扩散方程
8. 生灭过程
(1)细菌的线性生灭过程主方程
∂P(t,n)∂t=(n−1)λP(t,n−1)+(n+1)μP(t,n+1)−(nλ+nμ)P(t,n),\frac{\partial P(t,n)}{\partial t}=(n-1)\lambda P(t,n-1)+(n+1)\mu P(t,n+1)-(n \lambda+n \mu)P(t,n) ,∂t∂P(t,n)=(n−1)λP(t,n−1)+(n+1)μP(t,n+1)−(nλ+nμ)P(t,n),其中λ\lambdaλ 和 μ\muμ 是生和灭的概率, nnn 是细菌的个数。
证明:式子很好理解,就是主方程的含义,只是这里相当于给主方程中的转移概率密度赋予了含义。证明过程的思路也很明确:先设参量,再代入主方程原型(特别注意此处对 \delta 函数的应用),再等式单边一个泰勒展开化简整合。过程如下:
(2)细菌的线性生灭过程微分方程
∂F∂t=(z−1)(λz−μ)∂F∂z,\frac{\partial F}{\partial t}=(z-1)(\lambda z-\mu)\frac{\partial F}{\partial z} ,∂t∂F=(z−1)(λz−μ)∂z∂F,其中 F(z,t)=∑n=−∞∞P(n,t)znF(z,t)=\sum_{n=-\infty}^{\infty}P(n,t)z^nF(z,t)=n=−∞∑∞P(n,t)zn 是定义的生成函数。
证明:这里是对依赖于离散随机变量的主方程的求解。
(3)细菌的线性生灭过程微分方程的解
F(z,t)=[(uz−u)e(λ−u)t−λz+u(λz−λ)e(λ−u)t−λz+u]m,F(z,t)=[\frac{(uz-u)e^{(\lambda-u)t}-\lambda z+u}{(\lambda z-\lambda)e^{(\lambda-u)t}-\lambda z+u}]^m ,F(z,t)=[(λz−λ)e(λ−u)t−λz+u(uz−u)e(λ−u)t−λz+u]m,其中mmm是时刻t=0t=0t=0时的细菌数目。
证明:
(4)细菌的非线性生灭过程主方程(马尔萨斯方程)
∂P(t,n)∂t=(n−1)λP(t,n−1)+[(n+1)μ+γn(n+1)Ω]P(t,n+1)−[nλ+nμ++γn(n−1)Ω]P(t,n),\frac{\partial P(t,n)}{\partial t}=(n-1)\lambda P(t,n-1)+[(n+1)\mu+\gamma\frac{n(n+1)}{\Omega} ]P(t,n+1)-[n \lambda+n \mu++\gamma\frac{n(n-1)}{\Omega}]P(t,n) ,∂t∂P(t,n)=(n−1)λP(t,n−1)+[(n+1)μ+γΩn(n+1)]P(t,n+1)−[nλ+nμ++γΩn(n−1)]P(t,n),它和线性生灭过程的不同之处在于它考虑了社会成员间的竞争使得死亡率加大的情况,其中 Ω\OmegaΩ 是系统的大小。
证明:其推导和(1)思路步骤完全一样,只是在这里把(1)中的 μ\muμ 替换为 μ+γm−1Ω,\mu+\gamma\frac{m-1}{\Omega},μ+γΩm−1,这里为m−1m-1m−1是因为当系统中细菌数目为1的时候,它就不存在竞争。
9. 总结
结束了这一部分的学习后,至少要做到:
(1)能够写出矩的表达式和特征函数的级数表达式(提示:在ik=0处泰勒展开);
(2)能够说出中心极限定理的内容,并对其进行证明;
(3)能够说出大数定律的内容,并对其进行解释(提示:切比雪夫不等式);
(4)能够写出马尔可夫过程的“可约性“、“归一性”和“条件概率”(以及不同时刻概率密度之间的关系(主方程推导的“原材料”))数学表达式;
(5)能够写出Chapman-Kolmogorov方程并对其进行证明;
(6)能够写出主方程并对其进行证明(提示:注意中间那一步令 W~(x,y)\tilde W(x,y)W~(x,y)的式子,从结果倒着推);
(7)能够写出普朗克方程并对其进行推导(提示:1. 注意负数项的由来; 2. 将主方程中W直接表示为增量形式,即跃变,且注意推导过程中对谁进行几阶的泰勒展开);
(8)能够写出线性生灭过程满足的主方程形式并证明、引入生成函数后的微分方程、生成函数解的形式,并且进行它们的推导;(提示:后面两点其实是在对依赖于离散随机变量的主方程进行求解)
(9)能够写出非线性生灭过程满足的主方程(马尔萨斯方程)的形式,并且进行相应的推导;
未完待更…
参考资料
【1】 老师的授课PPT
《高等统计物理学》5:非平衡态统计物理初步相关推荐
- 《高等统计物理学》4:量子系综的实际问题
知乎链接:<高等统计物理学>4:量子系综的实际问题 上一篇文章<高等统计物理学>3:量子系综 从经典系综类比到量子系综,而量子系综作为高等统计物理中的一个重点,我们需要更进一步 ...
- 自学脚手架——《热力学·统计物理》 by 汪志诚(第二,三,四,五,六,七,八,九,十,十一章)
文章目录 第二章 均匀物质的热力学性质 2.2 麦氏关系的简单应用 - 热力学正方形(Thermodynamic square) - 外微分形式 2.6 热辐射的热力学理论 - 热辐射的基尔霍夫定律( ...
- 《高等统计物理学》2:经典系综
知乎链接:<高等统计物理学>2:经典系综 对系综思想的理解,读者们有兴趣可以参见我之前写的 <高等统计物理学>1: 领悟系综 一. 从概率论视角推导正则系综和巨正则系综的概率表 ...
- 《高等统计物理学》3:量子系综
知乎链接:<高等统计物理学>3:量子系综 <高等统计物理学>2:经典系综 主要复习了经典统计物理中三大系综(微正则系综,正则系综和巨正则系综)的概率表达式和熵公式的热力学模型推 ...
- 《高等统计物理学》1:领悟系综
知乎链接:<高等统计物理学>1:领悟系综 前言 <高等统计物理学>期末总结系列文章,是笔者在期末复习之际,对本学期所学内容的一次全面性回顾,系统地理清知识的逻辑,获得新的感悟. ...
- 热力学统计物理专题:热力学统计物理(I)知识结构
量子统计部分主要用于描述那些在低温下会显示出基于泡利不相容性原理的量子效应的物质,如低温下的超导体和硬溶胶态物质等.在这些物质中,粒子之间的相互作用非常强,这使得它们的行为由量子统计效应来描述. 具体 ...
- UA MATH575B 数值分析下 计算统计物理例题2
UA MATH575B 数值分析下 计算统计物理例题2 理论解法 C-K方程法 特征值法(近似解) 模拟解法 Rejection Sampling Importance Sampling 一个位于原点 ...
- UA MATH575B 数值分析下 计算统计物理例题1
UA MATH575B 数值分析下 计算统计物理例题1 统计物理方法的解析解 Markov链 理论解 数值解 Monte Carlo模拟. 一道有趣的统计物理的题目.下面这个简单的迷宫中,一只老鼠一开 ...
- UA MATH575B 数值分析下 统计物理的随机模拟方法5
UA MATH575B 数值分析下 统计物理的随机模拟方法5 Ising Model Gibbs Sampling Glauber Dynamics 这一讲介绍Ising Model,它是MCMC与G ...
最新文章
- oracle 取系统当前年份_oracle查询以当前年份为准的近些年数据
- SD-WAN行业发展需要VNF演进
- 基于生成对抗网络(GAN)的人脸变形(附链接) | CSDN博文精选
- oracle删除导入的文件,oracle创建表空间,导入出文件,删除
- 基于Jedis的工具类
- [译]ABP vNext介绍
- 【渝粤教育】国家开放大学2018年春季 7403-21T素质与思想政治教育 参考试题
- Qt4_读取和写入二进制数据
- 腾讯开源业界首个云原生标准的一站式微服务管理框架Femas
- IDEA打包的两种方式及注意事项
- [古文观止]《相州昼锦堂记》(宋·欧阳修)
- STM32 WAVWM8978简介
- 财务记账微信小程序开发
- CVTE嵌入式应用开发长期实习生线上笔试+线上面试(一面)
- Mac系统验证文件的MD5/SHA1/SHA256
- 容联云通讯php短信接口,开发中使用 【容联 云通信】获取短信验证码的 Javascript 接口...
- 微信小程序Ⅴ [获取登录用户信息,重点openID(详解)]
- 基于beaglebone的rtems4.12源码编译生成image镜像并烧入sd卡
- 智能园区中计算机网络结构,工业园区智能化统设计方案.ppt
- 关于常用 软件授权 Licence说明