1 基本概念
1.1 定义
相空间是用来刻画一个系统全部可能状态的抽象空间。对于任一给定系统，只要能够用一组状态变量完整描述其瞬时情况，就可以把这些变量视为相空间中的坐标。系统处于某一状态时，对应相空间中的一个点；当系统随时间变化时，这个点也会在空间中连续移动，从而形成轨迹。
相空间的核心作用在于把“状态”转化为几何对象，使系统演化过程能够通过图像化方式加以研究。这一思想在经典力学、动力系统和统计物理中尤为重要。
1.2 状态点与状态轨迹
相空间中的单个点称为状态点，表示系统在某一时刻的完整状态。若系统的状态变量不随时间改变，该点保持静止；若状态发生演化，点便沿某条路径移动，这条路径称为状态轨迹。
状态轨迹不仅记录系统如何变化，也常用于判断系统是否趋于稳定、是否存在周期运动，或者是否表现出复杂的非线性行为。通过比较不同初始状态对应的轨迹，还可以分析系统对初值的敏感程度。
1.3 维度与自由度
相空间的维度通常由系统自由度决定。每个自由度往往需要若干个变量来描述，在经典力学中，常见做法是用位置和动量共同作为坐标，因此相空间维数通常是自由度数目的两倍。
自由度越多，相空间越高维，系统行为往往越难以直观表示。不过，高维相空间仍然是统一描述复杂系统的重要工具，因为它能完整保留系统演化所需的信息。
1.4 相空间与构型空间的区别
构型空间只包含描述系统几何位置所需的变量，例如粒子的位置或机构的姿态；相空间则进一步加入与运动状态相关的变量，如动量或速度。因此，相空间比构型空间包含的信息更完整。
二者的关系可以理解为：构型空间回答“系统在哪里”，相空间回答“系统在哪里且以何种方式运动”。在研究动力学时，相空间通常比构型空间更适合直接分析运动规律。
2 经典力学中的相空间
2.1 正则坐标
在经典力学中，相空间最常见的坐标形式是正则坐标，即由广义坐标与广义动量成对组成的一组变量。这种表示方式与哈密顿力学相匹配，便于写出统一的运动方程。
正则坐标的优点在于，它不依赖于某一种具体的几何坐标系，而是适用于更一般的约束系统和多粒子系统。
2.1.1 广义坐标
广义坐标用来描述系统的构型，可不局限于直角坐标或笛卡尔坐标。例如，摆的角度、刚体的转角、机械臂各关节的转动量，都可以作为广义坐标。
选择合适的广义坐标可以显著简化系统描述，尤其在存在约束时更为方便。
2.1.2 广义动量
广义动量与广义坐标相对应，通常由拉格朗日量对广义速度求偏导得到。它并不总是等同于通常意义上的线动量，但在哈密顿表述中起着同等重要的作用。
广义动量与广义坐标共同构成相空间坐标，使动力学方程能够写成规范形式。
2.2 哈密顿力学表述
在哈密顿力学中，系统状态由一组广义坐标和广义动量决定，系统演化由哈密顿方程给出。哈密顿量通常对应系统总能量或与能量密切相关的量。
这一表述的显著特点是把运动看成相空间中的流动过程。相比直接研究加速度形式的方程，哈密顿形式更便于分析守恒量、对称性和几何结构。
2.3 相轨迹与守恒量
相轨迹是系统状态点在相空间中随时间形成的曲线。对于守恒系统，轨迹常受能量守恒等条件限制，只能分布在特定的能量面上。
守恒量越多，轨迹受到的约束通常越强。某些简单系统的轨迹呈闭合曲线，表示周期运动；而在更复杂的系统中，轨迹可能呈现准周期或非周期特征。
2.4 刘维尔定理
刘维尔定理是哈密顿系统中的重要结论，说明相空间中的体积元素在系统演化下保持不变。这一性质反映了哈密顿流的特殊几何结构。
该定理在统计物理和动力学理论中都具有基础意义，因为它表明相空间中的密度分布不会因时间演化而任意压缩或膨胀。
2.4.1 体积守恒
体积守恒指相空间中任意一团初始体积在演化过程中保持等体积，只是形状可能发生拉伸、扭曲或折叠。对于守恒系统，这一结论是理解相空间分布演化的关键。
它并不意味着轨迹彼此固定不变，而是意味着整体“占据范围”在几何上受到严格限制。
2.4.2 相空间流
相空间流描述状态点随时间在相空间中连续运动的方式。每个时刻的速度方向由动力学方程决定，整体上形成一个流场。
在哈密顿系统中，相空间流具有保体积性质；在非保守系统中，流场则可能表现出收缩或扩散，进而导致吸引子等现象。
3 动力系统中的相空间
3.1 相图
相图是相空间中轨迹和关键结构的几何表示，用于展示系统状态如何随时间演化。对于二维系统，相图尤其直观，常可直接观察轨迹围绕平衡点的走向。
相图能够帮助识别系统的周期运动、衰减过程、振荡模式以及长期行为，因此在非线性动力系统分析中十分常用。
3.2 平衡点与稳定性
平衡点是系统在相空间中保持不变的状态点。若系统处于平衡点附近，轨迹是靠近、远离还是围绕该点运动，就反映了稳定性特征。
通过线性化分析或直接考察相图，可以判断平衡点的性质，并据此了解系统对微小扰动的响应。
3.2.1 稳定平衡
稳定平衡表示系统受到小扰动后仍倾向于回到原来的状态点或其附近区域。相图中，这类平衡点常表现为轨迹向内收敛。
在工程和自然系统中，稳定平衡通常意味着系统具有一定的恢复能力。
3.2.2 不稳定平衡
不稳定平衡则表示系统一旦被微小扰动，就会远离原平衡点。相图中，轨迹往往从该点发散出去。
这种性质说明系统对初始条件较为敏感，且难以长期停留在该状态附近。
3.3 极限环
极限环是相空间中的闭合轨道，表示系统进入稳定或不稳定的周期振荡。与普通闭合轨迹相比，极限环具有吸引或排斥附近轨道的能力。
它常见于非线性振荡系统，例如某些自激振荡模型。极限环的出现说明系统可能在远离初始瞬态后进入固定振幅的周期运动。
3.4 分岔现象
分岔是指系统参数变化到某一临界点时，原有的相空间结构发生质变。此时，平衡点数量、轨道类型或稳定性可能突然改变。
分岔通常标志着系统动力学性质的转折，是非线性系统研究中的重要现象。
3.4.1 参数变化
当外部参数或系统参数逐渐改变时，原本平稳的相图结构可能发生变形。参数变化到一定程度后，系统会从一种运动模式转入另一种模式。
这类变化常出现在振动、生态、控制和工程模型中。
3.4.2 轨道拓扑改变
轨道拓扑改变指相空间中轨迹的连接方式、闭合方式或分布格局发生变化。例如，原先存在的单一平衡点可能分裂为多个平衡点，或周期轨道失去稳定性。
这种变化往往意味着系统的长期行为将显著不同。
4 统计物理中的相空间
4.1 微观状态与宏观状态
在统计物理中，相空间中的一个点对应系统的一个微观状态，即全部粒子位置和动量的具体组合。宏观状态则是对大量微观状态的整体描述，如温度、压强和能量等。
同一宏观状态通常对应相空间中的大量微观点，因此统计物理的关键任务之一，是研究这些微观状态的分布规律。
4.2 相空间体积
相空间体积反映某类状态所占据的范围大小。对于给定宏观条件，相关微观状态可能分布在相空间的某个区域内，该区域的体积常与系统可达状态数有关。
在热力学和统计力学中，相空间体积的大小与熵、概率以及可逆性问题密切相关。
4.3 玻尔兹曼熵
玻尔兹曼熵将熵与微观状态数联系起来，常写成与相空间中可达状态数的对数成正比的形式。其思想是：可实现的微观状态越多，系统的无序程度或不确定性越高。
这一观点使熵具有了明确的统计含义，也为宏观热力学量提供了微观解释。
4.4 系综理论
系综理论把大量性质相同、但微观状态不同的系统看作一个集合来研究。通过考察系综中各成员在相空间内的分布，可以推导出宏观热力学性质。
系综方法在平衡统计物理中极为重要，能够将概率思想引入对物质系统的分析。
4.4.1 微正则系综
微正则系综用于描述孤立系统，系统总能量、粒子数和体积通常固定。此时，系统只能在满足这些约束的相空间区域中取值。
该系综常被视为最基本的平衡系综之一，适合研究封闭系统的统计性质。
4.4.2 正则系综
正则系综描述与热库接触、可交换能量但粒子数不变的系统。系统能量不再固定，而是按照一定概率分布在相空间中取值。
这种处理方式尤其适用于温度恒定的情形，便于计算配分函数和热力学量。
5 量子理论中的相关表述
5.1 相空间表象
在量子理论中，相空间表象试图用类似经典相空间的方式表示量子态。由于量子状态不能同时具有确定的位置和动量，因此这种表述通常不是直接的概率图，而是带有特殊数学结构的表示法。
相空间表象为研究量子与经典极限之间的联系提供了便利，也常用于量子光学和半经典分析。
5.2 量子态的准概率分布
量子态在相空间中的表示往往不是普通概率分布，而是准概率分布。它可以取负值或呈现非经典特征，从而反映量子干涉和不确定性。
这类分布在形式上借用了经典相空间的坐标语言，但其物理含义更为复杂。
5.2.1 Wigner函数
Wigner函数是最常见的相空间准概率分布之一，用于把量子态映射到位置—动量平面上。它在某些情况下可取负值，这是其区别于经典概率分布的重要特征。
Wigner函数常用于量子态重构、量子光学和半经典近似分析。
5.2.2 Husimi表示
Husimi表示通常比Wigner函数更平滑，常被视为经过平滑处理后的相空间分布。它具有较好的数值稳定性，便于观察量子态在相空间中的整体形态。
由于平滑化的缘故，Husimi表示更适合展示大尺度结构，但对局部细节的分辨率相对较低。
5.3 不确定性原理与相空间限制
不确定性原理限制了位置和动量不能同时被任意精确地确定，因此量子态无法像经典粒子那样被定位为相空间中的一个单独点。相应地，量子态只能占据具有一定面积或体积的区域。
这一限制说明量子相空间不是简单的经典复制，而是受到基本物理规律约束的扩展表述。
6 数学性质与结构
6.1 辛结构
辛结构是相空间上的一种几何结构，用来编码哈密顿系统的基本性质。它决定了坐标之间的特殊配对关系，并为守恒流和规范变换提供几何基础。
在辛结构下，许多动力学性质不依赖具体坐标形式，而是具有坐标不变性。
6.2 泊松括号
泊松括号是描述相空间中两个函数之间关系的重要运算，广泛用于哈密顿力学。它能够刻画变量之间的变化联系，并用于写出运动方程和守恒条件。
若某个量与哈密顿量的泊松括号为零，则该量通常为守恒量。
6.3 规范变换
规范变换是在保持相空间基本结构不变的前提下，对坐标和动量进行的一类变换。它不会改变系统的物理内容，但可以使方程形式更简洁。
这类变换在解析力学中非常重要，因为它有助于寻找更适合求解问题的变量组合。
6.4 流形观点
从现代数学角度看，相空间常被视为一个流形，即局部上类似欧氏空间、整体上可能具有更复杂结构的几何对象。这种观点使得相空间可以自然地与微分几何和拓扑方法结合。
6.4.1 相空间流形
相空间流形强调状态变量构成的空间并不一定是简单平面或普通三维空间，而可能具有更高维、弯曲或分层结构。其几何性质会影响动力学分析方法。
在一些复杂系统中，流形结构有助于理解约束、守恒和局部坐标拼接问题。
6.4.2 局部坐标系
局部坐标系是用来在流形的局部邻域内描述状态的坐标系统。虽然全局结构可能复杂，但在足够小的范围内，仍可用有限个坐标变量进行近似表达。
局部坐标系使得相空间中的微分方程、稳定性分析和轨道研究得以具体展开。
7 应用领域
7.1 天体力学
在天体力学中，相空间常用于研究行星、卫星和小天体的运动。通过分析轨道在相空间中的分布，可以判断引力系统的长期稳定性和共振现象。
它也有助于理解多体系统中复杂轨道的形成与演化。
7.2 非线性振动
非线性振动问题中，相空间是分析振荡行为的重要工具。通过相图可识别简谐振动、阻尼振动、自激振动和多稳态等现象。
这种方法在机械系统、电子电路和材料响应分析中都很常见。
7.3 混沌系统
混沌系统通常在相空间中表现为对初值极端敏感、轨迹结构复杂的运动形式。尽管其演化由确定性方程支配，但长期行为却可能难以精确预测。
相空间分析能够揭示混沌吸引子、分形结构以及轨道缠绕特征。
7.4 控制理论
在控制理论中，相空间用于研究系统在控制输入作用下的状态变化。通过设计控制律，可以使轨迹收敛到期望平衡点或保持在目标区域内。
这种方法广泛应用于自动控制、机器人、飞行器姿态调节等领域。
7.5 计算机模拟与数值分析
数值模拟中，相空间用于展示离散时间步进下系统状态的变化规律。通过计算机可视化，研究者能够观察轨迹、吸引域和稳定区域。
在复杂模型中，相空间分析还可帮助验证数值结果是否符合理论预期，并辅助发现隐藏的动力学结构。
8 相关概念
8.1 构型空间
构型空间是描述系统几何位置或形态的空间，不包含动量等运动信息。它是构成相空间的重要基础。
8.2 状态空间
状态空间是更一般的概念，通常指任何能完整描述系统状态的变量集合所形成的空间。相空间可以看作状态空间的一种特定形式。
8.3 轨道空间
轨道空间通常指系统状态在演化中形成的轨迹集合，强调运动路径及其整体性质。它与相空间中的轨迹概念密切相关，但侧重点略有不同。
8.4 参数空间
参数空间由决定模型性质的参数构成，如阻尼系数、频率、耦合强度等。它不直接描述系统瞬时状态，而是用于研究不同参数下相空间结构如何变化。