跳转到内容

泊松括號:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
修正链接
刻意留言 | 贡献
无编辑摘要
第4行: 第4行:
}}
}}


在數學及经典力學中,'''泊松括號'''是[[哈密顿力學]]重要的運算,在哈密頓表述的[[動力系統]]中時間推移的定義起着中心角色。在更一般的情形,泊松括号用来定义一个[[泊松代数]],[[泊松流形]]是一个特例。它们都是以[[泊松]](Siméon-Denis Poisson)而命名。
在數學及经典力學中,'''泊松括號'''是[[哈密顿力學]]重要的運算,在哈密頓表述的[[動力系統]]中時間推移的定義起着中心角色。在更一般的情形,泊松括号用来定义一个[[泊松代数]],[[泊松流形]]是一个特例。它们都是以[[西莫恩·德尼·泊松]]而命名。


==正則坐標==
==正則坐標==
第22行: 第22行:


==李代數==
==李代數==
'''泊松括號'''符合[[反交換律]]滿足[[雅比恒等式]]。这使得[[辛流形]]上的[[光滑函数]]空间成为無限維的[[李代數]],以泊松括號为[[李代數|李括號]]。相应的[[李群]]是辛流形的[[辛同胚]]群(稱為[[正則變換]])。
'''泊松括號'''[[反交換律|反交换的]],也滿足[[雅比恒等式]]。这使得[[辛流形]]上的[[光滑函数]]空间成为無限維的[[李代數]],以泊松括號为[[李代數|李括號]]。相应的[[李群]]是辛流形的[[辛同胚]]群(稱為[[正則變換]])。


给定一个可微分的[[切丛]]上的[[向量场]] ''X'',令<math>P_X</math>为其[[共轭动量]]。这个从场到共轭动量的映射为[[李代數]] 从泊松括號到[[李括號]]的反同态:
给定一个可微[[切丛]]上的[[向量场]] ''X'',令<math>P_X</math>为其[[共轭动量]]。这个从场到共轭动量的映射为从泊松括號到[[李括號]]的[[李代數]]反同态:


:<math>\{P_X,P_Y\}=-P_{[X,Y]} \,</math>。
:<math>\{P_X,P_Y\}=-P_{[X,Y]} \,</math>。


这个重要结值得我们给个简短证明。记[[组态空间]]的 ''q'' 点的向量场 ''X'' 为
这个重要结值得我们给个简短证明。记[[组态空间]]的 ''q'' 点的向量场 ''X'' 为


:<math>X_q=\sum_i X^i(q) \frac{\partial}{\partial q^i}</math>
:<math>X_q=\sum_i X^i(q) \frac{\partial}{\partial q^i}</math>


其中<math>\partial /\partial q^i</math> 是局部坐标系。''X''的共轭动量的表达式为
其中 <math>\partial /\partial q^i</math> 是局部坐标系。''X''的共轭动量的表达式为


:<math>P_X(q,p)=\sum_i X^i(q) \;p_i</math>
:<math>P_X(q,p)=\sum_i X^i(q) \;p_i</math>


这里<math>p_i</math>为和坐标共轭的动量函数。这样就有,对[[相空间]]的每点<math>(q,p)</math>,
这里 <math>p_i</math> 为和坐标共轭的动量函数。这样就有,对[[相空间]]的每点 <math>(q,p)</math>,


:<math>\{P_X,P_Y\}(q,p)= \sum_i \sum_j \{X^i(q) \;p_i, Y^j(q)\;p_j \}</math>
:<math>\{P_X,P_Y\}(q,p)= \sum_i \sum_j \{X^i(q) \;p_i, Y^j(q)\;p_j \}</math>
第45行: 第45行:
:::<math>= - P_{[X,Y]}(q,p) \,</math>
:::<math>= - P_{[X,Y]}(q,p) \,</math>


以上对所有<math>(q,p)</math>成立,证毕。
以上对所有 <math>(q,p)</math> 成立,证毕。


==時間演變==
==時間演變==

2008年12月26日 (五) 11:40的版本

在數學及经典力學中,泊松括號哈密顿力學重要的運算,在哈密頓表述的動力系統中時間推移的定義起着中心角色。在更一般的情形,泊松括号用来定义一个泊松代数泊松流形是一个特例。它们都是以西莫恩·德尼·泊松而命名。

正則坐標

相空间里,用正則坐標 ,两个函数泊松括號具有如下形式:

定義

泊松括號雙線性映射把兩個在辛流形(symplectic manifold)中可微分的函數映射到一个函數。具体来讲,如果我们有两个函数fg,则

這裡的 ω 是辛形式(symplectic form), 双向量,使得若把 ω 看成為從向量微分形式的映射, 则是从微分形式向量的线性映射,对所有微分形式 α满足,这里d表示外导数。双向量 有时称为辛流形上的泊松結構

李代數

泊松括號反交换的,也滿足雅可比恒等式。这使得辛流形上的光滑函数空间成为無限維的李代數,以泊松括號为李括號。相应的李群是辛流形的辛同胚群(也稱為正則變換)。

给定一个可微切丛上的向量场 X,令为其共轭动量。这个从场到共轭动量的映射为从泊松括號到李括號李代數反同态:

这个重要结果值得我们给个简短证明。记组态空间q 点的向量场 X

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

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

以上对所有 成立,证毕。

時間演變

辛流形上的函数f的随时间的演变可以辛同胚的单参数族的形式给出,时间 t 就是那个参数。对时间的全微分如下

这里的H是一个用作该系统的哈密顿量的函数。

泊松代數

參考