泊松恒等式的简捷证明.pdf

第2l卷第2期 镇 江 高 专 学 报 V01．2l No．2 2008年 4月 JournalofZhenjiangCollege Apr．，2008 泊松恒等式的简捷证明 卢 蕊 ，蔡志东。 (1。镇江市高等专科学校 学报编辑部，江苏 镇江 212003； 2．镇江市高等专科学校 教师教育系，江苏丹阳 212300) 摘 要：采用特殊的符号约定以及分组配对的方法可以非常简捷地证明泊松恒等式。 关键词：特殊符号约定；分组配对；泊松恒等式 中图分类号 ：03 文献标识码 ：A 文章编号 ：1008—8148(2008)02—0035—03 0 引 言 众所周知，泊松括号在分析力学和量子力学中都有广泛的应用。泊松括号有许多基本性质，其中非常重 要的一条就是所谓的泊松恒等式。但是一般的分析力学教科书上很少给予证明。有些书上虽然给予了证 明，但是需要引入多个所谓的 “线性微分算子”，其证明过程看似简单实则相当繁琐，而且对初学者而言，理 解起来相当困难 。笔者将根据泊松括号的定义，采用特殊的符号约定 以及分组配对的方法，以非常简捷的方 式证明这一恒等式。 1 泊松恒等式的简捷证明 1．1 泊松括号的定义和泊松恒等式 设有任意两个函数 ， ，它们均为广义坐标 q、广义动量P 和时间t的函数，即 = (q，P，t)，1／／= (q，P ，t)(k=l，2，…，N)，则泊松括号的定义为 c 薹(。01／／一舞。) (1) 设有第三个函数 W=W(q，P，t)(k=l，2，…，Ⅳ)，则有如下的等式成立 [ ，(1／／，W)]十[1／／，(W，)]+[W，( ，1／／)]=0 (2) 式 (2)就是所谓的泊松恒等式。 由于采用常规的书写方式给证明带来 了相当大的麻烦，所 以我们采用一系列的特殊符号约定 以简化书 写和证明。 1．2 符号约定 1．2．1 爱因斯坦求和约定 在任意一个乘积项中，如果有两个指标相 同，则表示求和。这是爱因斯坦首先采用的一种求和缩写方 式。按此约定，式 (1)中的求和符号就可以省略。 1．2．2 函数书写方式约定 按照一般 的书写方式，三个函数分别用三个字母 ， ， 来表示，这种书写方式不容易看出规律，所 以 我们将不再采用这种书写方式。我们分别用字母 ， ， 来表示三个函数，或者更简单些，直接用 l，2，3 这三个数表示三个 函数。 收稿 日期：2007—10—09 作者简介：卢 蕊(1971一)，女，河南新乡人，讲师，硕士，主要从事数学教育研究和编辑学研究；蔡志东 (1962一)，男，江苏常州人，副教授， 主要从事相对论和基础物理教学研究 · 35 · 1．2．3 偏导数符号省略约定 偏导数的符号书写起来相当占地方，在运算过程 中显得十分繁琐，特别是在项 目数量多的时候容易出 错，而且在证明泊松恒等式的过程中只涉及到偏导数，所 以我们可以简化表述，即我们约定： ：= lq：= 1lqk 1q。这里的符号 “：=”表示记作 “……”，符号 “I”表示对 “……”求偏导数。为简化表述，有时连这一 符号以及函数的符号 也可以简化，直接用 1表示函数 ，1后面所跟着的东西就表示 对它求偏导数。 后面有一项表示求一次或一阶偏导数，有两项表示求两阶偏导数或分别对两个变量求偏导数。如 lqkP 或 ~：flqkpk,其真正的意义是毫 ，其他与此相仿。 采用以上三个约定以后，我们就可以把泊松括号的定义式即式(1)简写为 (1，2)=lq2p一1p2q或 (1，2)=lq2p一2qlp (3) 而泊松恒等式即式(2)可以简写为 [1，(2