登录 注册 发布

小蜜蜂

什么是相空间?



推荐

在牛顿力学,我们学习到牛顿第二定律

这样一个重要的公式。其中,

是是在物体上的力(我们先讨论单个质点),而

是物体的加速度,

是力和加速度的比例系数,叫做质量。

注意,这个公式告诉我们,经典力学系统的力学方程是有关位置的二阶导数(i.e 我们没必要知道位移的三阶导数,当然,某些广义相对论的一些运动方程是依赖高阶导数的.),结合微分方程理论,我们必须知道物理的初始位移和初始速度才能对体系进行预测

但是,解二阶微分方程是非常讨厌的,因此物理学家通过以下定义,将一个二阶微分方程化作两个一阶微分方程:

这样,我们解决这个微分方程组需要的初始条件就是初始位移和初始速度,方程被有效的简化了。

那么对于我们的一个已知运动的质点,其运动轨迹就应该由六个参数来标定,他们分别是:

这几个参数张开的空间,就是一种相空间,但是我们生活在一个三维空间中,去表示一个6维的相空间是很困难的,我们常常选取某几个(

)坐标(或者它们的线性组合)来作图出轨迹,这样做出来的图叫做庞加莱截面。

为了讨论多质点的问题,在更深一步的理论力学中,我们利用以下方程来预言物理体系:

,其中

是广义坐标,

是广义动量,

是泊松括号。

注意到这个方程具有非常优美的对称性,实际上,对于任何力学量都有

,其中

是刘维尔算符。

而注意到大多数我们关心的力学量往往都是广义坐标和广义动量的组合,我们就可以定义一个相空间,其中的自变量分别是广义坐标和广义动量,其截面(也就是取几个坐标或者其线性组合)叫做庞加莱截面。

因此,相空间在理论力学中是一个很基本的物理事实,我下面举出两个非常简单的例子来说明为什么相空间能给物理学家一个清晰的物理图像。

刘维尔定理说的是,在初始时刻任意选取一块相体积(例如一个球),在某个力学系统的演化方程的作用下,这个相体积的形状会变(例如拉扯为椭圆、矩形等),但是体积是守恒的。

如图:

e.g 2:混沌性质

下面是一个蔡氏电路的庞加莱截面图.

具体什么是蔡氏电路和他的哈密顿描述,有兴趣的同学可以自行Wiki或者推导.下面给出(a)图的作图方法。

量子力学中的相空间是一种准概率理论,对于作图和代码有兴趣的可以看我的文章:

下面我简单的介绍一下量子力学里的相空间方法是怎么发展出来的。

首先,量子力学中类似哈密顿方程的是

,我们列出其坐标和动量的方程,但是,量子力学中坐标和动量都是算符(矩阵),不能作为坐标轴,那怎么办呢?我们可以退一步,利用最接近量子态的相干态对应的数量,相干数来构造横轴和纵轴,其上绘出所谓的准经典概率分布。但是这样的描述一般用于玻色子,描述玻色子的相干数都是复数,因此可以把相干数的横轴和纵轴取为相干数的实部和虚部,这构成了准概率分布的重要方法,Wigner Function.

而描述费米子的相干数是Grassman代数,它的相空间描述要稍微麻烦一点,不是分布函数而是分布泛函

从这里我们看到,对于费米子的只有不同的自旋才能取到同样的相空间的值点(泡利不相容原理)(除了真空模式)。

【其他评论】---------------------------------------------------------

丁同仁,李承志,《常微分方程》第八章,以及书中推荐阅读材料。此书有高数和线代(但愿和我学的线代isometric)的基础就可阅读,而且第八章相对独立,容易懂。

这么重要的物理/数学概念当然有历史故事/八卦可看:Physics Today 63, 4, 33 (2010)


数学家Liouville早在1837年提出了Liouville定理,但那时候的定理完全没有物理啥事,就是研究常微方程得到的,说的是一阶常微方程组,初条件已知,解的Jacobian=1.

历史上讲,“相空间”最早被引入是一件物理的事:

1873年Boltzmann用了BewegungsartBewegungsphase两个字来区分“运动的kind和phase”。kind表示平动、转动、振动等,phase表示坐标和动量数值的改变。这是“相”这个字第一次进入物理学。L. Boltzmann, Wien. Ber. 66, 275 (1872)

这个字是如此之妙以至于1879年Maxwell赶紧拿来用了。J. C. Maxwell, Trans. Cambridge Philos. Soc. 12, 547 (1879)

数学家仍然跟物理没什么交集,H. Poincare写的Les méthodes nouvelles de la

mécanique céleste, Gauthier-Villars, Paris (1892–99) 第三卷引入了大量相空间的分析,但是完全没提Boltzmann的工作,也就没用相空间这个词。

1907年,Felix Klein编写数学大百科全书,想要总结Boltzmann的工作,但是后者已经自尽身亡,就找来他的学生P. Ehrenfest,写下了名著

P. Ehrenfest, T. Ehrenfest, in Encyklopädie der mathematischen Wissenschaften, vol. 4, part 32, B. G. Teubner, Liepzig, Germany (1911).

也就是现在花60多块钱就能买到的

The Conceptual Foundations of the Statistical Approach in Mechanics

书里第一次用了Phasenraum,也就是phase space,相空间。这里Paul还发明了

-空间等常用名词。

显然,“相”指的是现代的概念state,而跟波函数/复变量的相位没有任何关系。

刚发现T. Tao有一个关于相空间的讲稿,真是棒。

具有正则辛形式的构型空间中流形的余切丛,Nice and Accurate.

543

评论