泊松括号

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

泊松括号

点击查看词条快照

在数学及经典力学中，泊松括号是哈密顿力学中重要的运算，在哈密顿表述的动力系统中时间演化的定义起着中心角色。在更一般的情形，泊松括号用来定义一个泊松代数，而泊松流形是一个特例。它们都是以西莫恩·德尼·泊松命名的。正则坐标. 在正则坐标formula_1表示中，相空间内两个函数formula_2的泊松括号具有如下形式： formula_3。运动方程. 哈密顿-雅可比运动方程有一个使用泊松括号的等价表示。这可最直接地用坐标系表示。假设formula_4是流形上一个函数，则我们有 formula_5。然后，取formula_6与formula_7为哈密顿-雅可比方程formula_8与formula_9的解，我们有 formula_10。从而，辛流形上一个函数"f"的演化可用辛同胚单参数族给出，以时间"t"为参数。丢掉坐标系，我们有 formula_11。算子formula_12称为刘维尔算子。运动常数. 一个可积动力系统可能有能量以外的运动常数。这样的运动常数在泊松括号下将与哈密顿量交换。假设某个函数formula_13是一个运动常数。这意味着如果formula_14是哈密顿运动方程的一条轨迹或解，则沿着轨迹有formula_15。这样我们有 formula_16 这里中间步骤利用运动方程得到。这个方程称为刘维尔方程。刘维尔定理描述了如上给出的一个测度（或相空间上分布函数）的时间演化。为了使一个哈密顿系统完全可积，所有的运动常数必须互相对合。定义. 设"M"是一个辛流形，即流形上带有一个辛形式（闭的非退化2-形式）：formula_17，这就是说formula_18且当其视一个映射formula_19，formula_17有逆映射formula_21。这里formula_22是流形"M"上内蕴的外导数运算，而formula_23是内乘或缩并运算，在1-形式formula_24这等价于formula_25。由外微分的公理，我们由： formula_26 这里formula_27表示光滑向量场的李括号，其性质本质上定义了"M"上流形结构。如果"v"使得formula_28，我们称之为formula_17-闭（或称余闭）。类似地，如果formula_30对所有函数"f"成立，我们称"v" formula_17-恰当（或余恰当）。已知formula_18，上面的表达式蕴含着两个余闭向量场总是一个余恰当向量场，因为当"v"和"w"都余闭时，表达式中惟一非零项是formula_33。又因为外导数满足formula_34，所有余恰当向量场是余闭的；所以李括号对余闭向量场空间与其子空间余恰当向量场都是封闭。用抽象代数的话来说，余闭向量场组成了"M"上光滑向量场李代数的一个子代数，而余恰当向量场组成这个子代数的一个代数理想。假设存在逆映射formula_35，"M"上每个光滑实值函数"f"可以与一个余恰当向量场相伴formula_36（两个函数与同一个向量场相伴当且仅当它们的差是"d"的核，即在"M"的任何连通分支上是常数）。这样我们定义formula_37上的泊松括号，为可微函数上一个双线性运算，在泊松括号下formula_38（光滑）函数组成一个代数。它由下式给出： formula_39 泊松括号的反对称性由外导数的公理与条件formula_40保证。映为映射formula_35是逐点线性和反对称的，一些作者将它们和一个双向量联系起来，这不是外微分中常见的对象。这种形式它称为这个辛流形上泊松双向量或泊松结构，泊松括号简单地写做formula_42。光滑函数上的泊松括号对应于余恰当向量场上的李括号并继承了它的性质。从而它满足雅可比恒等式： formula_43 关于一个特定的数量场"f"的泊松括号formula_44对应于关于formula_36的李导数。从而，它是一个导子，即它满足莱布尼兹法则： formula_46 这是流形的一个基本性质，关于两个向量场的李导数运算的交换子等价于关于某个向量场的李导数，即它们的李括号。泊松括号中平行的脚色显然是雅可比恒等式的一个变形： formula_47 如果"f"和"g"的泊松括号消失（formula_48），则"f"与"g"称为互相对合（-- ），并有关于"f"和"g"取泊松括号的运算交换。李代数. 泊松括号是反交换的，也满足雅可比恒等式。这使得辛流形上的光滑函数空间成为无限维的李代数，以泊松括号为李括号。相应的李群是辛流形的辛同胚群（也称为正则变换）。给定一个可微切丛上的向量场"X"，令formula_49为其共轭动量。这个从场到共轭动量的映射为从泊松括号到李括号的李代数反同态： formula_50。这个重要结果值得我们给个简短证明。记位形空间的"q"点的向量场"X"为 formula_51 其中formula_52是局部坐标系。"X"的共轭动量的表达式为 formula_53 这里formula_54为和坐标共轭的动量函数。这样就有，对相空间的每点formula_55， formula_56 formula_57 formula_58 formula_59 以上对所有formula_55成立，证毕。

戚本禹

李轨

广州市第五中学

扶桑

文曲星

五轮书

生物分子列表

语态

人称

历史比较语言学

家用电器

伊莱克斯