随机游走模型形式简单,但通过它可以导出丰富的结果,它是物理中各种扩散模型的基础之一,它也等价于随机过程中的布朗运动.

笔者所阅的文献表明,数学家已经对对称随机游走问题作了充分研究[2],也探讨了随机游走问题与偏微分方程的关系[3],并且还研究过不对称随机游走问题[4]. 然而,已有结果的不足之处有:1、在推导随机游走问题的概率分布或者偏微分方程之时,所用的方法不够简洁明了;2、没有研究更一般的不对称随机游走问题.

本章弥补了这一不足,首先通过母函数和傅里叶变换的方法,推导出了不对称随机游走问题所满足的偏微分方程,并且提出,由于随机游走容易通过计算机模拟,因此通过随机游走来模拟偏微分方程的解是一种有效的数值途径.

模型简介 #

本节通过一个本质上属于二项分布的走格子问题来引入随机游走.

考虑实数轴上的一个粒子,在t=0时刻它位于原点,每秒钟它以相等的概率向前或向后移动一格(+11),问n秒后它所处位置的概率分布.

这是一个独立重复实验,可以用母函数法来解决,其中每秒的行走可用函数描述为12z+12z1,其中12z项表示以12的概率向正方向移动1,12z1则是以12 的概率向负方向移动1. 由于运动是独立重复的,所以n秒后的运动分布情况可以用
\left(\frac{z+z^{-1}}{2}\right)^n=\sum_{k=0}^{n}\frac{1}{2^n}\binom{n}{k}z^{2k-n}\tag{1}
来描述,z^{n-2k}的系数\frac{1}{2^n}\binom{n}{k}表示粒子位于n-2k的概率是\frac{1}{2^n}\binom{n}{k}. 可见,这是一个二项分布问题.

随机游走模型是上面的问题的细致化:

考虑实数轴上的一个粒子,在t=0时刻它位于原点,每\Delta t秒以相等的概率向前或向后移动\Delta s格(+\Delta s-\Delta s),考虑\Delta t,\Delta s\to 0,问t秒后它所处位置的概率分布.

同样地,用母函数技巧,我们得到
\left(\frac{z^{\Delta s}+z^{-\Delta s}}{2}\right)^{t/\Delta t},\tag{2}
e^{-i\omega}代替z,得到用傅里叶变换描述的母函数:
\left(\frac{e^{i\omega\Delta s}+e^{-i\omega\Delta s }}{2}\right)^{t/\Delta t},\tag{3}
同样地,e^{-i\omega x}的系数表示概率,但是这时候系数要通过傅里叶逆变换求得. 由于\Delta t,\Delta s\to 0,使用欧拉公式进一步化简得
\left(\frac{e^{i\omega\Delta s }+e^{-i\omega\Delta s }}{2}\right)^{t/\Delta t}= \cos^{t/\Delta t}\left(\omega\Delta s \right)\approx\left(1-\frac{\omega^2 \Delta s ^2 }{2}\right)^{t/\Delta t},\tag{4}
为了得到意义明显的结果,取\Delta s^2 =\alpha \Delta t,\Delta t\to 0,得到
\exp\left(\frac{-\omega^2 \alpha t }{2}\right),\tag{5}
上式就是随机游走问题概率分布的傅里叶变换结果. 也就是说,假如t秒后,粒子位于[x,x+dx]处的概率是 P (x,t)dx,那么就有
\exp\left(\frac{-\omega^2 \alpha t }{2}\right)=\int_{-\infty}^{+\infty} P (x,t) \exp\left(-i\omega x\right)dx,\tag{6}
通过傅里叶变换的逆变换,得到
P (x,t)=\frac{1}{\sqrt{2\pi \alpha t}}\exp\left(-\frac{x^2}{2\alpha t }\right).\tag{7}

这就是随机游走的概率分布,跟已有文献[2]的结果是一样的. 结果表明粒子的位置服从正态分布. 在概率论中,我们已经知道正态分布应用广泛,因此这从侧面反映了随机游走模型的重要意义.

非对称随机游走 #

上一节的例子中,每一步都是独立重复试验,即向左向右的概率都是\frac{1}{2},所以我们可以通过求极限的方法得到概率分布. 现在考虑粒子处于(x,t)时,它以概率\frac{1-p(x,t)\Delta s/\alpha}{2}向左移动\Delta s,以概率\frac{1+p(x,t)\Delta s/\alpha}{2}向右移动\Delta s(为什么不直接将/\alpha整合到p(x,t)的定义中呢?这里事实上涉及到量纲的问题,笔者这样定义,目的是让p(x,t)有速度的量纲,从而跟后面随机微分方程的结果一致. ). 这时上述过程就不能描述为独立重复试验,但是傅里叶变换方法依然适用.

方便起见,记 P (x,t)的傅里叶变换为
\mathcal{F}_{ P } (t)=\mathcal{F}[ P (x,t)]=\int_{-\infty}^{+\infty} P (x,t)e^{-i\omega x}dx .\tag{8}
假如粒子目前位于(x,t),那么可以通过下面的母函数(近似)描述它下一步的随机游走
\begin{aligned}&\left(\frac{1-p(x,t)\Delta s/\alpha}{2}\right)e^{i\omega \Delta s}+\left(\frac{1+p(x,t)\Delta s/\alpha}{2}\right)e^{-i\omega \Delta s}\\ =&\cos\omega \Delta s-i p(x,t)\Delta s \sin\omega\Delta s/\alpha\\ \approx &1-\frac{\omega^2 \Delta s^2}{2}-i \omega p(x,t)\Delta s^2/\alpha\\ =&1-\frac{\omega^2 \alpha \Delta t}{2}-i \omega p(x,t)\Delta t\end{aligned} .\tag{9}
母函数的乘法对应着概率的合成,因此
\mathcal{F}_{ P } (t+\Delta t)\approx\int_{-\infty}^{+\infty}\left[1-\frac{\omega^2 \alpha \Delta t}{2}-i \omega p(x,t)\Delta t\right] P (x,t)e^{-i\omega x}dx ,\tag{10}
取极限即
\frac{\partial \mathcal{F}_{ P }(t)}{\partial t}= -\frac{\omega^2 \alpha }{2}\mathcal{F}_{ P }(t)-i \omega \mathcal{F}[p(x,t) P (x,t)] ,\tag{11}
进行逆傅里叶变换,就得
\frac{\partial P }{\partial t}= \frac{\alpha }{2}\frac{\partial^2 P }{\partial x^2}-\frac{\partial}{\partial x}(p P ) .\tag{12}
特别地,对称随机游走有p\equiv 0,那么上述方程变为扩散方程
\frac{\partial P }{\partial t}= \frac{\alpha }{2}\frac{\partial^2 P }{\partial x^2}. .\tag{13}

简化形式 #

考虑简化问题,可以通过变换消去 P x的一阶偏导数项. 由(12)
\alpha\frac{\partial P }{\partial t}= \frac{\alpha^2}{2}\frac{\partial^2 P }{\partial x^2}-\alpha \frac{\partial p}{\partial x} P -\alpha p\frac{\partial P }{\partial x} ,\tag{14}

P (x,t)=\phi(x,t) \xi(x,t),代入得
\begin{aligned} \alpha\frac{\partial \phi}{\partial t}\xi=& \frac{\alpha^2}{2}\left(\frac{\partial^2 \phi}{\partial x^2}\xi+2\frac{\partial \phi}{\partial x}\frac{\partial \xi}{\partial x}+\phi\frac{\partial^2 \xi}{\partial x^2}\right)\\ &-\alpha \frac{\partial p}{\partial x}\phi\xi-\alpha p\left(\frac{\partial \phi}{\partial x}\xi+\frac{\partial \xi}{\partial x}\phi\right)-\alpha\phi\frac{\partial \xi}{\partial t}\\ =&\left(\frac{\alpha^2}{2}\frac{\partial^2 \phi}{\partial x^2}+\eta(x,t)\frac{\partial \phi}{\partial x}+V(x,t)\phi\right)\xi\end{aligned} ,\tag{15}
其中
\begin{aligned}&\eta(x,t)=\alpha^2\frac{1}{\xi}\frac{\partial \xi}{\partial x}-\alpha p,\\ &V(x,t)=-\frac{1}{\xi}\left(\alpha\frac{\partial p}{\partial x}\xi+\alpha p\frac{\partial \xi}{\partial x}-\frac{1}{2}\alpha^2\frac{\partial^2 \xi}{\partial x^2}+\alpha\frac{\partial \xi}{\partial t}\right)\end{aligned},\tag{16}
\eta(x)\equiv 0,得到
\xi(x,t)=\exp\left(\frac{1}{\alpha}\int p(x,t) dx\right),\tag{17}
并且求得
V(x,t)=-\frac{1}{2}\left(\alpha\frac{\partial p}{\partial x}+p^2\right)-\int \frac{\partial p}{\partial t} dx ,\tag{18}
此时,关于\phi的方程就是
\alpha\frac{\partial \phi}{\partial t}=\frac{\alpha^2}{2}\frac{\partial^2 \phi}{\partial x^2}+ V\phi .\tag{19}
这是研究得比较多、且相对来说易于研究的形式,对应于量子力学的薛定谔方程. 当然,可以把\phi(x,t)也想象为相对概率分布,但必须明确, P 才是真实的概率分布.

如果pt无关,那么
V(x)=-\frac{1}{2}\left(\alpha\frac{\partial p}{\partial x}+p^2\right),\tag{20}
特别地,如果p=0,那么将导致V=0,于是得到扩散方程
\frac{\partial \phi}{\partial t}=\frac{\alpha }{2}\frac{\partial^2 \phi}{\partial x^2}.\tag{21}

计算机模拟 #

既然随机游走对应着偏微分方程(19),而随机游走在编程上是容易实现的,那么我们通过模拟随机游走的方法求解偏微分方程(19)的数值近似,这在很多时候是非常有效的. 肖柳青和周石鹏的《随机模拟方法与应用》一书中关于随机游走的章节,就有这样的案例。

转载到请包括本文地址:https://spaces.ac.cn/archives/3750

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (May. 30, 2016). 《路径积分系列:2.随机游走模型 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/3750

@online{kexuefm-3750,
        title={路径积分系列:2.随机游走模型},
        author={苏剑林},
        year={2016},
        month={May},
        url={\url{https://spaces.ac.cn/archives/3750}},
}