|
|
第22行: |
第22行: |
|
|
|
|
|
==李代數== |
|
==李代數== |
|
'''泊松括號'''符合[[反交換律]]。滿足[[雅戈比恒等式]].这使得[[辛流形]]上的[[平滑函數]]空间成为無限維的[[李代數]],以泊松括號为[[李代數|李括號]].相应的[[李群]]是辛流形的[[辛同胚]]群(稱為[[正則變換]]). |
|
'''泊松括號'''符合[[反交換律]]。滿足[[雅戈比恒等式]].这使得[[辛流形]]上的[[光滑函数]]空间成为無限維的[[李代數]],以泊松括號为[[李代數|李括號]]。相应的[[李群]]是辛流形的[[辛同胚]]群(稱為[[正則變換]])。 |
|
|
|
|
|
给定一个可微分的[[切丛]]上的[[向量场]] ''X'', 令<math>P_X</math>为其[[共轭动量]](conjugate momentum). 这个从场到共轭动量的映射为[[李代數]] 从泊松括號到[[李括號]]的反同态(anti-homomorphism): |
|
给定一个可微分的[[切丛]]上的[[向量场]] ''X'', 令<math>P_X</math>为其[[共轭动量]](conjugate momentum). 这个从场到共轭动量的映射为[[李代數]] 从泊松括號到[[李括號]]的反同态(anti-homomorphism): |
在數學及傳統力學中,泊松括號是哈密顿力學重要的運算,是哈密頓表述的動力系統中時間推移的定義。因泊松(Siméon-Denis Poisson)而命名。
定義
泊松括號是雙線性映射把兩個在辛流形(symplectic manifold)中可微分的函數映射到一个函數。具体来讲,如果我们有两个函数f和g, 则
這裡的 ω 是辛形式(symplectic form), 是双向量,使得若把 ω 看成為從向量到微分形式的映射, 则是从微分形式到向量的线性映射,对所有微分形式 α满足,这里d表示外导数. 双向量 有时称为辛流形上的泊松結構。
正則坐標
在相空间里,用正則坐標 ,两个函数 的泊松括號記作:
- .
李代數
泊松括號符合反交換律。滿足雅戈比恒等式.这使得辛流形上的光滑函数空间成为無限維的李代數,以泊松括號为李括號。相应的李群是辛流形的辛同胚群(稱為正則變換)。
给定一个可微分的切丛上的向量场 X, 令为其共轭动量(conjugate momentum). 这个从场到共轭动量的映射为李代數 从泊松括號到李括號的反同态(anti-homomorphism):
- 。
这个重要结构值得我们给个简短证明. 记组态空间的q点的向量场X为
其中 是局部坐标系. X的共轭动量的表达式为
这里为和坐标共轭的动量函数. 这样就有,对相空间的每点,
-
以上对所有成立,证毕.
時間演變
辛流形上的函数f的随时间的演变可以辛同胚的单参数族的形式给出,时间t就是那个参数.对时间的全微分如下
这里的H是一个用作该系统的哈密顿量的函数。
泊松代數
參考