在数学及经典力学中,泊松括号是哈密顿力学重要的运算,在哈密顿表述的动力系统中时间推移的定义起着中心角色。在更一般的情形,泊松括号用来定义一个泊松代数,泊松流形是一个特例。它们都是以泊松(Siméon-Denis Poisson)而命名。
正则坐标
在相空间里,用正则坐标
,两个函数
的泊松括号具有如下形式:
![{\displaystyle \{f,g\}=\sum _{i=1}^{N}\left[{\frac {\partial f}{\partial q^{i}}}{\frac {\partial g}{\partial p_{i}}}-{\frac {\partial f}{\partial p_{i}}}{\frac {\partial g}{\partial q^{i}}}\right].}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/fb7c845fdc056a07b87896e831f6b4c897bb2c21)
定义
泊松括号是双线性映射把两个在辛流形(symplectic manifold)中可微分的函数映射到一个函数。具体来讲,如果我们有两个函数f和g,则

这里的 ω 是辛形式(symplectic form),
是双向量,使得若把 ω 看成为从向量到微分形式的映射,
则是从微分形式到向量的线性映射,对所有微分形式 α满足
,这里d表示外导数。双向量
有时称为辛流形上的泊松结构。
李代数
泊松括号符合反交换律。满足雅戈比恒等式。这使得辛流形上的光滑函数空间成为无限维的李代数,以泊松括号为李括号。相应的李群是辛流形的辛同胚群(称为正则变换)。
给定一个可微分的切丛上的向量场 X,令
为其共轭动量。这个从场到共轭动量的映射为李代数 从泊松括号到李括号的反同态:
。
这个重要结构值得我们给个简短证明。记组态空间的 q 点的向量场 X 为

其中
是局部坐标系。X的共轭动量的表达式为

这里
为和坐标共轭的动量函数。这样就有,对相空间的每点
,

![{\displaystyle =-\sum _{i}p_{i}\;[X,Y]^{i}(q)}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/604325784f517d88a8dbdc3c6c16c6bf6cbe461d)
![{\displaystyle =-P_{[X,Y]}(q,p)\,}](https://wikimedia.org/zhwiki/api/rest_v1/media/math/render/svg/2a40987db396ad06f228de74295360335b1a3cc6)
以上对所有
成立,证毕。
时间演变
辛流形上的函数f的随时间的演变可以辛同胚的单参数族的形式给出,时间 t 就是那个参数。对时间的全微分如下

这里的H是一个用作该系统的哈密顿量的函数。
泊松代数
参考