[关闭]
@joyphys 2015-09-05T10:42:14.000000Z 字数 6734 阅读 4917

第9讲:相空间流体和吉布斯-刘维尔定理

Blog 物理理论最低基础


莱尼喜欢看河,尤其喜欢看漂浮物顺流而下。他猜想漂浮物如何穿过礁石,如何陷入漩涡。但是河流整体,水量,流切变,河的分流和汇聚,这是莱尼所看不到的。

相空间流体

在经典力学里,注视一个特别的初始条件,再随之在相空间走过特定轨迹,这是很自然的事情。但是还有一个更大的图像,突出强调轨迹的总集合。这个更大的图像可以直观显示所有可能的起点和所有可能的路径。不要再拿着铅笔点住相空间一点,然后沿着一条路径画线,而是做点更有雄心的事情。想象一下,你有无穷多支铅笔,用它们在相空间均匀地点点(均匀在这里的意思是在q,p空间点的密度处处相等)。把这些点看做假想的填充相空间的流体的组成粒子。

每个点都按照哈密顿方程运动:

q˙i=Hpip˙i=Hqi(1)

这样,流体连绵不断地流过相空间。

谐振子是说明相空间流体的好例子。在第8讲,我们看到每个点做匀速圆周运动。(注意:我们谈的是相空间,不是坐标空间,在坐标空间,谐振子做的是一维往复运动。)整个流体做刚性运动,绕着相空间原点做匀速圆周运动。

现在我们回到一般情况。如果坐标数目是N,则相空间就是2N维的。相空间流体以特定的方式流动。流动的特点之一是,每一点的能量值——H(q,p)的值——始终保持不变。能量相等的点组成一个平面,比如能量值为E的平面由以下方程描述:

H(q,p)=E(2)

对于每个E,都有一个关于2N个相空间变量的方程,因此可以定义一个2N1维的面。换言之,每个E都对应一个面,所有的E对应的面可填充整个相空间。你可把相空间看做按方程(2)定义的等能线图,如图1。如果相空间流体的一点位于某等能面上,这点就会一直呆在这个等能面上。这就是能量守恒。


图1 谐振子等能面

对于谐振子,相空间是二维的,能量面是圆,圆的方程为:

ω2(q2+p2)=E(3)

对于一般的力学系统,能量面非常复杂,无法画出来,但是原理是一样的:能量面一层一层填充相空间,相空间流体流动过程中保持各点一直呆在初始时刻所在的能量面内。

简短回顾

我们暂停一下,回顾一下第1讲的内容。在第1讲,我们讨论过硬币、色子,还有运动定律最基本的思想。我们描述这些定律用的方法,是用箭头连着表示系统状态的点,表示系统演化的过程和方向。我们还解释过,有些定律是允许的,有些定律是禁止的,可允许的定律是可逆的。可允许的定律有什么特点?答案是每个点都有一个箭头指向自己,也有一个箭头从自己指向别的点。如果有一点,指向自己的箭头多于从自己指向外部的箭头,则相应的定律是不可逆的。同样地,从自己指向外部的箭头多于指向自己的箭头,相应的定律也是不可逆的。这两种情况都是禁止的。现在我们分析一下相空间流体流动的可逆性。

流和散度

我们考虑通常空间里流体流动的几个简单的例子。暂时先忘掉相空间,只考虑通常的三维空间(坐标轴分别为x,y,z)的普通流体。流动可用速度场描述。空间每一点的速度矢量都标记出来,所有这些速度矢量就组成速度场v(x,yz),如图2所示。


图2. 速度场

我们还可以用速度的分量描述速度场:vx(x,y,z),vy(x,y,z),vz(x,y,z)。一点的速度也可能是依赖时间的,但是我们只考虑不依赖时间的情况,即只考虑定常流

我们还假设流体是不可压缩的,即一定量的流体总占据同样的体积,也即流体密度(单位体积内的分子数)是均匀的并且是保持不变的。考虑如下小立方体盒子:

x0<x<x0+dxy0<y<y0+dyz0<z<z0+dz

不可压缩性意味着每个这么大盒子里的流体粒子数都是一定的,并且单位时间净流入盒子的流体也是0(流入流出的流体正好相等)。单位时间从面x=x0流入盒子的分子数目,正比于穿过此面的流速 vx(x0)

如果vx(x0)=vx(x0+dx),则从x=x0处流入盒子的流体等于从x=x0+dx处流出盒子的流体。但是,如果vx随位置变化,流入流出的流体就不相等,从这两个面净流入盒子的流体分子数正比于

vxxdxdydz

同样的道理也适用于y0y0+dy,也适用于z0z0+dz。把这三项都加起来,即净流入盒子的分子数为

(vxx+vyy+vzz)dxdydz

括号里面的各导数有一个专门的名字:矢量场v(t)散度,记为:

v=(vxx+vyy+vzz)(4)

散度之名恰如其分,表示流体的分子外散而流,增大流体占据的体积。如果流体是不可压缩的,流体的体积不变,因此散度必须为0。

理解不可压缩性的一个方法是,认为流体的各分子,或是流体中的各点,都是不可压缩的,不能压缩进更小的体积,也不可以凭空消失或出现。发挥点想象力,你可以看出不卡压缩性与可逆性非常类似。在第1讲的各例子中,箭头也定义一种流。在某种意义上说,至少在可逆情况下,这种流也是不可压缩的。现在可以提出一个问题,相空间中的流动是不可压缩的吗?答案是,是的,如果系统满足哈密顿方程的话。有一个定理表述了这种不可压缩性,这个定理就是刘维尔定理。

刘维尔定理

我们再回到相空间中的流动,考虑相空间中每点流速的分量。相空间流体不是三维的,而是2N维的,坐标为qipi。因此速度场有2N个分量,NqiNpi,分量记为vqivpi

方程(4)所定义散度概念,很容易推广至任意维空间,相空间流体的散度为以下2N项的和:

v=i(vqiqi+vpipi)(5)

如果流体是不可压缩的,那么方程(5)比为0。要证明这一点,我们需要知道速度场的分量,即假想的相空间流体的组成粒子的速度。

相空间中任意一点的速度的分量为:

vqi=q˙ivpi=p˙i

而且,q˙ip˙i正是哈密顿方程中的量,根据方程(1),有

vqi=Hpivpi=Hqi(6)

把方程(6)带入方程(5),得

v=i(qiHpipiHqi)(7)

二阶导数,如piHqi,结果与求导顺序无关,因此方程(7)中括号中的两项正好抵消,因此有:

v=0

因此,相空间中流体是不可压缩的,这在经典力学中被称为刘维尔定理,尽管与法国数学家约瑟夫·刘维尔几乎没什么关系。这个定理是美国物理学家吉布斯于1903年首先发表的,因此也称为吉布斯-刘维尔定理。

我们前面提到,流体不可压缩意味着每个小盒子的净流入量为0,这也是流体的不可压缩性的定义。这个定义还有个等价的表述。想象某个时刻一定体积的流体,这团流体可以为任何形状。追踪流体中每一点的运动,过一段时间后,这团流体就会呈现出其他形状,但是只要流体是不可压缩的,这团流体的体积就保持不变,在任意时刻的体积都与初始时刻的体积相同。因此刘维尔定理可重新表述为:任意一团相空间流体的体积都不随时间变化。

比如谐振子,相空间流体绕着原点做圆周运动,很明显任意一团相空间流体的体积保持不变,甚至它们连形状也不变。但是形状不变是谐振子的特殊性质。现在我们看另一个例子。考虑如下形式的哈密顿量:

H=pq

你很可能没见过这个哈密顿量,但是这个哈密顿量完全可以存在的。我们先写出运动方程:

q˙=qp˙=p

解出这个微分方程组,可以看出q随时间指数增大,p以同样的速率随时间指数减小。换言之,流沿着p轴压缩,而沿着q轴膨胀,压缩的量与膨胀的量相同。每一团流体沿着q轴被拉伸,沿着p轴被挤压。很明显,流体团形状极端扭曲,但是相空间体积不变。

刘维尔定理是与第1讲中的可逆性最接近的类比。在量子力学里,刘维尔定理被代之以幺正性。

泊松括号

19世纪法国数学家思考力学的时候发明了这些极其漂亮的数学形式,他们在想些什么呢?(哈密顿例外,他是爱尔兰人)他们是如何得到作用量原理、拉格朗日方程、哈密顿量、刘维尔定理?他们是在解物理题吗?他们只是为了玩出漂亮的方程吗?还是只是为了设计新的物理原理?我认为这些因素都有一点,但在各个方面都取得了极大成功。但是这些极大的成功直到20世纪量子力学被发现之后才变得清晰。看起来好像数代人之前的数学家机具洞察力,他们发明了百年之后量子概念的等价概念。

还没完。还有一个力学形式理论,即泊松括号,以法国数学家泊松的名字命名,这好像也是个超越时代的理论。下面我们介绍泊松括号。考虑某个关于qipi的函数,这样的函数有动能、势能、角动量等等,当然还有其他各种我们可能感兴趣的物理量。我们先不指明具体函数,记为F(q,p)

我们现在细致考察F(q,p)。首先,它是相空间中的位置的函数。但是如果我们追踪相空间中任何一点——体系的任何真实的轨迹——都对应一个函数值F,即F的值随沿着轨迹而变。换言之,体系沿着某轨迹的运动使F称为时间的函数。我们现在计算F如何随着给定一点的运动而变,即计算F的时间导数:

F˙=i(Fqiq˙i+Fpip˙i)

代入哈密顿方程,得:

F˙=i(FqiHpiFpiHqi)(8)

我也不知道泊松如何发明了他的括号,我怀疑是方程(8)的右边他写烦了,决定用新的符号简化一下。拿出两个相空间的函数,G(q,p)F(q,p)。先不管它们的物理意义,也不管是不是其中一个是否是哈密顿量。FG的泊松括号定义为:

{F,G}=i(FqiGpiFpiGqi)(9)

泊松再写方程(8)就简洁了,可写为:

F˙={F,H}(10)

方程(10)神奇之处在于它的涵意极其丰富。任何物理量的时间导数都可以写为该物理量与哈密顿量的泊松括号。甚至连哈密顿方程本身也包括在内。要看出这一点,令F为任何一个q,由方程(10),有:

q˙k={qk,H}

把上式中的泊松括号写开,其实只有一项,即qk对自身的求导那一项。由于dqkdqk=1,于是泊松括号{qk,H}恰好等于Hpk,这正是哈密顿方程组中的第一个方程。同理,哈密顿方程组的第二个方程等价于
p˙k={pk,H}

注意到在这个形式理论中,哈密顿方程组的泊松括号形式的这两个方程是同号的,qp分别对应的方程的符号差异隐藏在泊松括号的定义里。

法国人对优雅的迷恋回报丰厚。泊松括号成为量子力学里最基本的量:对易子。

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注