跳转到内容

泊松括號:修订间差异

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


==定義==
==定義==
'''泊松括號'''是[[雙線性]]映射把兩個在[[辛流形]](symplectic manifold)中[[可微分的]]函數映射到一个函數。具体来讲,如果我们有两个[[函数]]''f''和''g'', 则
'''泊松括號'''是[[雙線性]]映射把兩個在[[辛流形]](symplectic manifold)中[[光滑函数|可微分的]]函數映射到一个函數。具体来讲,如果我们有两个[[函数]]''f''和''g'', 则


:<math>\{f,g\}=\tilde{\omega}(df,dg)</math>
:<math>\{f,g\}=\tilde{\omega}(df,dg)</math>


這裡的 &omega; 是[[辛形式]](symplectic form), <math>\tilde{\omega}</math>是[[多向量|双向量]],使得若把 &omega; 看成為從[[向量]]到[[微分形式]]的映射, <math>\tilde{\omega}</math> 则是从[[微分形式]]到[[向量]]的线性映射,对所有[[微分形式]] &alpha;满足<math>\omega(\tilde{\omega}(\alpha))= \alpha</math>,这里d表示[[外导数]]. 双向量 <math>\tilde{\omega}</math> 有时称为辛流形上的'''泊松結構'''。
這裡的 &omega; 是[[辛形式]](symplectic form), <math>\tilde{\omega}</math>是[[多向量|双向量]],使得若把 &omega; 看成為從[[向量]]到[[微分形式]]的映射, <math>\tilde{\omega}</math> 则是从[[微分形式]]到[[向量]]的线性映射,对所有[[微分形式]] &alpha;满足<math>\omega(\tilde{\omega}(\alpha))= \alpha</math>,这里d表示[[外导数]]. 双向量 <math>\tilde{\omega}</math> 有时称为辛流形上的'''泊松結構'''。



==李代數==
==李代數==

2008年11月5日 (三) 10:35的版本

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

正則坐標

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

定義

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

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

李代數

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

给定一个可微分的切丛上的向量场 X, 令为其共轭动量(conjugate momentum). 这个从场到共轭动量的映射为李代數 从泊松括號到李括號的反同态(anti-homomorphism):

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

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

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

以上对所有成立,证毕.

時間演變

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

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

泊松代數

參考