相空间在数学与物理学中,是一个用以表示出一系统所有可能状态的空间;系统每个可能的状态都有一相对应的相空间的点。
概念解释
系统的相空间通常具有极大的
维数,其中每一点代表了包括系统所有细节的整个物理态(系统每个粒子的位置和动量坐标)。
作为一个巨大维数的空间,它上面的每个点代表我们考虑的系统全部可能的态。
按方程方法
我们如何按照相
空间来
摹想哈密顿
方程呢?首先,我们要记住相空间的单独的点Q实际代表什么。它代表所有位置坐标x1,x2,…和所有
动量坐标p1,p2,…的一种特别的值。也就是说,Q表示我们整个物理系统,指明组成它的所有单独粒子的特定的
运动状态。当我们知道它们现在的值时,哈密顿方程告诉我们所有这些坐标的变化率是多少,亦即它控制所有单独的粒子如何移动。
翻译成相空间语言,该方程告诉我们,如果给定单独的点Q在相空间的现在位置的话,它将会如何移动。为了描述我们整个系统随时间的变化,我们在相空间的每一点都有一个小箭头,更准确地讲,一个矢量,它告诉我们Q移动的方式。
这整体箭头的排列构成了所谓的
矢量场。哈密顿
方程就这样地在相
空间中定义了一个矢量场。
决定论
我们看看如何按照相
空间来解释物理的决定论。对于时间t=0的初始数据,我们有了一组指明所有位置和
动量坐标的特定值;也就是说,我们在相空间特别选定了一点Q。为了找出此系统随时间的变化,我们就跟着箭头走好了,这样,不管一个系统如何复杂,该系统随时间的整个演化在相空间中仅仅被描述成一点沿着它所遭遇到的特定的箭头移动。
“长”的箭头表明Q移动得快,而“短”的箭头表明Q的运动停滞。只要看看Q以这种方式随着箭头在时间t移动到何处,即能知道我们
物理系统在该时刻的状态。很清楚,这是一个决定性的过程。Q移动的方式由哈密顿
矢量场所完全决定。
系统演化
哈密顿方程的形式允许我们以一种非常强而有力的一般方式去“
摹想”经典系统的演化。想象一个多维“
空间”,每一维对应于一个坐标x1,x2,…p1,p2,…(数学空间的
维数,通常比3大得多。)此空间称之为相空间。对于n个无约束的粒子。相空间就有6n维(每个粒子有三个位置坐标和三个动量坐标)。读者或许会担心,甚至只要有一个单独粒子,其维数就是他或她通常所能摹想的二倍!不必为此沮丧!尽管
六维的确是能比明了画出的更多的维数,但是即使我们真的把它画出也无太多用处。仅仅就一满屋子的气体,其相空间的维数大约就有10,000,000,000,000,000,000,000,000,000
去准确地
摹想这么大的
空间是没有什么希望的!既然这样,秘诀是甚至对于一个粒子的相空间都不企图去这样做。只要想想某种含糊的
三维(或者甚至就只有
二维)的区域,再看看图就可以了。
可计算性
关于可计算性又如何呢?如果我们从相
空间中的一个可计算的点(亦即从一个其位置和
动量坐标都为可计算数的点)出发,并且等待可计算的时间t,那么一定会终结于从t和初始数据计算得出的某一点吗?答案肯定是依赖于
哈密顿函数H的选择。实际上,在H中会出现一些物理常数,诸如
牛顿的引力常数或
光速--这些量的准确值视单位的选定而被决定,但其他的量可以是纯粹数字--并且,如果人们希望得到肯定答案的话,则必须保证这些常数是可计算的数。如果假定是这种情形,那我的猜想是,答案会是肯定的。这仅仅是一个猜测。然而,这是一个有趣的问题,我希望以后能进一步考察之。
另一方面,由于类似于我在讨论有关撞球世界时简要提出的理由,对我来说,这似乎不完全是相关的问题。为了使一个相
空间的点是不可计算的断言有意义,它要求无限精确的坐标??亦即它的所有小数位!(一个由
有限小数描述的数总是可以计算的。)一个数的小数展开的有限段不能告诉我们任何关于这个数整个展开的可计算性。但是,所有物理测量的精度都是有限的,只能给出有限位小数点的信息。在进行物理测量时,这是否使“可计算数”的整个概念化成泡影?”
的确,一个以任何有用的方式利用某些物理定律中(假想的)不可计算因素的仪器不应依赖于无限精确的测量。也许我在这里有些过分苛刻了。假定我们有一台物理仪器,为了已知的理论原因,模拟某种有趣的非算法的
数学过程。如果此仪器的行为总可以被精密地确定的话,则它的行为就会给一系列数学上有趣的没有算法的是非问题以正确答案。任何给定的算法都会到某个阶段失效。而在那个阶段,该仪器会告诉我们某些新的东西。该仪器也许的确能把某些
物理常数测量到越来越高的精度。而为了研究一系列越来越深入的问题,这是需要的。然而,在该仪器的有限的精度阶段,至少直到我们对这系列问题找到一个改善的算法之前,我们得到某些新的东西。然而,为了得到某些使用改善了的算法也不能告诉我们的东西,就必须乞求更高的精度。
性质
精度
尽管如此,不断提高
物理常数的精度看来仍是一个棘手和不尽人意的信息编码的方法。以一种分立(或“数字”)形式得到信息则好得多。如果考察越来越多的分立单元,也可重复考察分立单元的固定集合,使得所需的无限的信息散开在越来越长的时间间隔里,因此能够回答越来越深入的问题。(我们可以将这些分立单元想象成由许多部分组成,每一部分有“开”和“关”两种状态,正如在第二章描述的图灵机的0和1状态一样。)为此看来我们需要某种仪器,它能够(可区别地)接纳分立态,并在系统按照动力学定律演化后,又能再次接纳一个分立态集合中的一个态。如果事情是这样的话,则我们可以不必在任意高的精度上考察每一台仪器。
行为
那么,
哈密顿系统的行为确实如此吗?某种行为的稳定性是必须的,这样才能清晰地确定我们的仪器实际上处于何种分立态。一旦它处于某状态,我们就要它停在那里(至少一段相当长的时间),并且不能从此状态滑到另一状态。不但如此,如果该系统不是很准确地到达这些状态,我们不要让这种不准确性累积起来;我们十分需要这种不准确性随时间越变越小。我们现在设想的仪器必须由粒子(或其他子元件)所构成。需要以连续参数来描述粒子,而每一个可区别的“分立”态覆盖连续参数的某个范围。(例如,让粒子停留在二个盒子中的一个便是一种表达分立双态的方法。为了指明该粒子确实是在某一个盒子中,我们必须断定其位置坐标在某个范围之内。)用相
空间的语言讲,这表明我们的每一个“分立”的态必须对应于相空间的一个“区域”,同一区域的相空间点就对应于我们仪器的这些可选择的同一态。
现在假定仪器在开始时的态对应于它的相空间中的某一个范围R0。我们想象R0随着时间沿着哈密顿
矢量场被拖动,到时刻t该区域变成Rt。在画图时,我们同时想象对应于同一选择的所有可能的态的时间演化。关于稳定性的问题(在我们感兴趣的意义上讲)是,当t增加时区域Rt是否仍然是定域性的,或者它是否会向相空间散开去。如果这样的区域在时间推进时仍是定域性的,我们对此系统就有了稳定性的量度。在相空间中相互靠近的点(这样它们对应于相互类似的系统的细致的物理态)将继续靠得很近,给定的态的不准确性不随时间而放大。任何不正常的弥散都会导致系统行为的等效的非预测性。
定律
我们对于
哈密顿系统可以一般地说什么呢?相
空间的区域究竟是否随时间散开呢?似乎对于一个如此广泛的问题,很少有什么可说的。然而,人们发现了一个非常漂亮的定理,它要归功于杰出的法国数学家约瑟夫·刘维尔(1809--1882)。该定律讲,相空间中的任何区域的体积在任何哈密顿演化下必须保持常数。(当然,由于我们的相空间是高维的,所以“体积”必须是在相应高维意义上来说的。)这样,每一个R1的体积必须和原先的R0的体积一样。初看起来,这给了我们的稳定性问题以肯定的答案。在相空间体积的这层意义上,我们区域的尺度不能变大,好像我们的区域在相空间中不会散开似的。
然而,这是使人误解的。我们在深思熟虑之后就会感到,很可能情况刚好与此相反!我想表示人们一般预料到的那种行为。我们可以将初始区域R0想象成一个小的、“合理的”,亦即较圆的而不是细长的形状。这表明属于R0的态在某种方面不必赋予不合情理的精确性。然而,随着时间的发展,区域R1开始变形并拉长--初看起来有点像变形虫,然后伸长到相
空间中很远的地方,并以非常复杂的方式纠缠得乱七八糟。体积的确是保持不变,但这个同样小的体积会变得非常细,再发散到相空间的巨大区域中去。这和将一小滴墨水放到一大盆水中的情形有点类似。虽然墨水物质的实际体积不变,它最终被稀释到整个容器的容积中去。区域Rt在相空间中的行为与此很类似。它可能不在全部相空间中散开(那是称之为“爱哥狄克”的极端情况),但很可能散开到比原先大得极多的区域去。(可参阅戴维斯(1974)的进一步讨论。)
缺点
麻烦在于保持体积并不意味就保持形状:小区域会被变形,这种变形在大距离下被放大。由于在高维时存在区域可以散开去的多得多的“方向”,所以这问题比在低维下严重得多。事实上,
刘维尔定理远非“帮助”我们将区域Rt控制住,而是向我们提出了一个基本问题!若无刘维尔定理,我们可以
摹想相
空间中区域的毫无疑义的发散趋势可由整个空间的缩小而补偿。然而,这一个定律告诉我们这是不可能的,而我们必须面对这个惊人的含义——这个所有正常类型的经典动力学(哈密顿)系统的普适的特征9!
预言
鉴于这种发散到整个相
空间去的行为,我们会问,经典力学怎么可能作出预言?这的确是一个好问题。这种弥散所告诉我们的是,不管我们多么精确地(在某一合理的极限内)知道系统的初始态,其不确定性将随着时间而不断增大,而我们原始的信息几乎会变得毫无用处。在这个意义上讲,经典力学基本上是不可预言的。(回想前面考虑过的“混沌”概念)
动力学
那么,何以迄今为止
牛顿动力学显得如此之成功呢?在
天体力学中(亦即在引力作用下的天体)其原因在于,第一,有关的凝聚的物体数目相对很少(太阳、行星和月亮),这些物体的质量相差悬殊?这样在估量近似值时,可以不必管质量更小物体的微扰效应,而处理更大的物体时,仅仅需要考虑它们相互作用的影响。第二,可以看到,适用于构成这些物体的个别粒子的动力学定律,也可以在这些物体本身上的水平上适用--这使得在非常好的近似下,太阳、行星和月亮实际上可以当作粒子来处理,我们不必去为构成天体的单独粒子的运动的微小细节去担忧。我们再次只要考虑“很少”的物体,其在相
空间中的弥散不重要。
除了
天体力学和投掷物行为(它其实是天体力学的一个特例)之外,只牵涉到小数目的粒子的简单系统的研究,
牛顿力学所用的主要方法是根本不管这些细节的“可决定性地预言的”方面。相反地,人们利用一般的
牛顿理论做模型,从这些模型可以推导出整体行为。某些诸如能量、动量和
角动量守恒定律的准确推论的确在任何尺度下都有效。此外,存在可与制约单独粒子的
动力学规律相结合的统计性质,它能对有关的行为作总体预言。(参阅关于热力学的讨论;我们刚讨论过的相
空间弥散效应和
热力学第二定律有紧密的关系。我们只要相当仔细,便可利用这些观念作预言。)牛顿本人所做的空气声速的计算(1个世纪后拉普拉斯进行了微小的修正)便是一个好例子。然而,经典动力学(牛顿~拉格朗日~哈密顿的演变)中忽略微小扰动的思维模式在近代物理学上实际上适用的机会非常稀少。
相关概念
相
空间弥散效应还有一个惊人的含义。它告诉我们,经典力学不能真正地描述我们的世界!我说得有点过分了一些,但是并不太过分。经典力学可以很好地适用于流体--特别是气体的行为,在很大的程度上适用于液体--此处人们只关心粒子系统的“平均”性质,但是在对固体作计算时就出了毛病,这里要求知道更细节的组织结构。固体由亿万颗点状的粒子所组成,由于相空间弥散其排列的有序性应不断地降低,何以保持其形状大致不变呢?正如我们已经知道的,量子力学在理解固体的实在结构时是不可或缺的。
量子效应可多多少少防止相空间的弥散。
这也和制造“计算机器”的问题相关。相空间弥散是某种必须控制的东西。相
空间中对应于一个电脑的“分立”态的区域(例如前述的R0)不应允许其过度弥散开来。我们记得,甚至弗列得钦--托弗里“撞球电脑”需要某种外围的固体墙才能工作。包括许多粒子的物体的“
刚性”正是需要量子力学起作用的某种东西。
以相空间重构理论为基础,采用Takens定理重构语音信号相空间并提取相似序列重复度(RPT)特征参数,利用清浊音RPT参数的差异,提出并实现了一种采用BP神经网络进行非线性清浊音判决的方法,得到了明显优于传统算法的结果,本文方法为语音
特征提取和识别研究提供了新的途径。