第四章哈密顿力学(中) 4.4.正则变换 引言 【例1】广义坐标间的坐标变换对正则方程的影响 义坐标的变换q→Q=f(q1),其逆变换为qn=2(Q,), 广义速度同时相应变换。-2a,,一,出而保持 agrange方程和 Lagrange力学的理论体系不变(具体形式当然有变化) 14)=(q(21)4(2②))=(2Q d a aL 0→ dt dq dt a0. a0 0(a,B=12…,s)(见3.5.) 如果在新的和老的两组广义坐标(由广义坐标间的坐标变换联系)下,分别引入广义动量 进行 Legendre变换,这样得到的广义动量和 Hamilton量一般说也互不相同。然而得到的运 动微分方程当然仍然各自为正则方程(虽然具体形式有所不同) OL ah aH pa Paq qa P 句→9(pq) aL PB B=∑PQ m-0.a 这就是说,坐标变换Q=f(q,)和相应的广义动量间的变换 Pm%e=aD.把正则方程变换为新的正则方程,新的哈密顿量为 H=∑PQ-L=∑p Q-L=∑P2 aqe-L=H-2Pa at 利用上述变换的显式可以直接检验上述结论的正确性: 已=∑p+∑P ∑p2+∑ 0.00 aH aH aQa a0 Ba@a at B at ah dq H BagB 0@a p apB 7/%、qn1-Paa q
1 第四章 哈密顿力学 (中) 4.4.正则变换 1.引言: 【例 1】广义坐标间的坐标变换对正则方程的影响。 广义坐标的变换 q Q f q t = ( , ) ,其逆变换为 q Q t = ( , ) , 广义速度同时作相应变换: , f f Q q q Q q t Q t = + = + 而保持 Lagrange 方程和 Lagrange 力学的理论体系不变(具体形式当然有变化): L q q t L q Q t q Q Q t t L Q Q t ( , , , , , , , , , ) = = ( ( ) ( ) ) ( ) 0 0 d L L d L L dt q q dt Q Q − = − = ( , 1,2, , = s) (见 3.5.) 如果在新的和老的两组广义坐标(由广义坐标间的坐标变换联系)下,分别引入广义动量, 进行 Legendre 变换,这样得到的广义动量和 Hamilton 量一般说也互不相同。然而得到的运 动微分方程当然仍然各自为正则方程(虽然具体形式有所不同): ( , , ) , , , q q p q t L H H p H p q L q p q p q → = = − = = − ( , , ) , , , Q Q P Q t L H H P H P Q L Q P Q P Q → = = − = = − 这就是说,坐标变换 Q f q t = ( , ) 和相应的广义动量间的变换 L L q q P p Q Q q Q = = = 把正则方程变换为新的正则方程,新的哈密顿量为 , q q q H P Q L p Q L p q L H p Q t t = − = − = − − = − 利用上述变换的显式可以直接检验上述结论的正确性: 2 2 q q q q q d P p p p p Q Q dt Q Q Q Q Q t = + = + + 2 H H p q q p Q Q Q t Q t = − − ( ) H H q p q q Q p Q = + − p q q Q t + − 2 q p Q t −
aH +p t p a a4 at a0 + p ( j0 P 注意: 0 则可由原来的正则方程成立导出新的正则方程也成立。相仿的推导可对正则方程之另一半进行。 以下诸例讨论拉格朗日函数的不唯一性对哈密顿函数和正则方程的影响。 【例2】考虑两个等价的拉格朗日函数L和L,有关系:L1=L(4为常量)两组同样的广 义坐标:Qa=qn但广义动量不同:Pa cia'psaz aage =λpa哈密顿量也不同 H=∑P29n-L F=|∑P ∑(4pn)-|=H Opg OH. 在新的正则变量和哈密顿函数下,仍有正则方程成立: 【例3】再看另一种情况:考虑两个等价的拉格朗日函数L,L1=L+ d(9)两组同样 的广义坐标:Q=qn但广义动量不同: Pa aqa PB f P 哈 密顿量也不同: ∑P ∑PQa-L af drh_a P 句→9(P,9,) →Q(PQ,) O 在新的正则变量和哈密顿函数下,仍有正则方程成 aH__P 【例4】把上述两种情况综合起来,考虑两个等价的拉格朗日函数L1=L d∫(q,1两组 2
2 2 , H H H q p P p q Q q Q p Q q p q q p Q t Q Q Q + = + + − + − + , { } H H q p q p q p Q q Q p Q Q Q = + + − + H H q p P p q Q q Q p Q Q = + + − + H H q p p q q Q p Q = + + − 注意: 0 P Q = 则可由原来的正则方程成立导出新的正则方程也成立。相仿的推导可对正则方程之另一半进行。 以下诸例讨论拉格朗日函数的不唯一性对哈密顿函数和正则方程的影响。 【例 2】考虑两个等价的拉格朗日函数 L 和 L1 ,有关系: L L 1 = ( 为常量)两组同样的广 义坐标: Q q = 但广义动量不同: 1 , L L L p P p q q Q = = = = 哈密顿量也不同: ( ) ( ) 1 ( ) , , , , , q q p q t Q Q P Q t H p q L H P Q L p q L H → → = − = − = − = 在新的正则变量和哈密顿函数下,仍有正则方程成立: , H H Q P P Q = = − 【例 3】再看另一种情况:考虑两个等价的拉格朗日函数 ( ) 1 , , df q t L L L dt = + 两组同样 的广义坐标: Q q = 但广义动量不同: 1 , L L f f L p P p q Q q q q = = = + = + 哈 密顿量也不同: ( ) ( ) 1 , , , , , * q q p q t Q Q P Q t f df f H p q L H P Q L p q L H q dt t → → = − = − = + − − = − 在新的正则变量和哈密顿函数下,仍有正则方程成立 , H H Q P P Q = = − 【例 4】把上述两种情况综合起来,考虑两个等价的拉格朗日函数 ( ) 1 df q t, L L dt = + 两组
同样的广义坐标:Q=q但广义动量不同: Apa+y哈密顿量也不同: H=∑pn-L H=∑P9-4 >IAp.+ L ZH Q→Q(PQ) 当然,各自都有正则方程成立。O 【例2】【例3】【例4】中的结论也可利用相应变换的显式直接检验 既然H=H(Pq,1)视作2s+1个独立变量p2,qn,t的函数,我们还可以考虑更一般的 变换:“整体地”(不把广义坐标和广义动量分割开来)把一组正则变量Pa,q变换为另一组 新的变量P2,Q,这当然比起上面各例提到的变换要广泛得多,这样的变换能不能保持正 则方程的形式不变呢?回答是可能的,但又必须有一定的条件加以限制,这样的变换就是我 们在下面要引入的正则变换。 2.正则变换的定义 从一组正则变量到另一组正则变量的非异变换,叫正则变换 即:如果通过一组正则变量(P2q)到另一组新变量(P2Q)的变换: jB=P(n…P,q,) (1) Q=Q2(p…p2,q1…q2)a=12… 满足2(P…P.g ≠0,把正则方程 aH H a(P1…P,q…q,) qa paa=1,2…s仍然变 换为正刚方程a2“.a=12,那么这种变换()叫做正刚变换 这一组新变量(P2Q)也是一组正则变量 说明:(1)2个变量{P2,qn}成为正则变量,就要求用它们来描述的力学体系的动力学方 程为正则方程,其中的哈密顿函数为 H=H(n…P24…q,1)=∑2-1(99)P小:新的2个变量{P2Q}也
3 同样的广义坐标: Q q = 但广义动量不同: 1 , L L f f L p P p q q q q Q = = = + = + 哈密顿量也不同: ( ) ( ) , , 1 , , , q q p q t Q Q P Q t H p q L f df f H P Q L p q L H q dt t → → = − = − = + − − = − 当然,各自都有正则方程成立。 , H H Q P P Q = = − 【例 2】【例 3】【例 4】中的结论也可利用相应变换的显式直接检验。 既然 H H p q t = ( , , ) 视作 2 1 s + 个独立变量 p q t , , 的函数,我们还可以考虑更一般的 变换:“整体地”(不把广义坐标和广义动量分割开来)把一组正则变量 p q, 变换为另一组 新的变量 P Q, ,这当然比起上面各例提到的变换要广泛得多,这样的变换能不能保持正 则方程的形式不变呢?回答是可能的,但又必须有一定的条件加以限制,这样的变换就是我 们在下面要引入的正则变换。 2.正则变换的定义 从一组正则变量到另一组正则变量的非异变换,叫正则变换。 即:如果通过一组正则变量 ( p q , ) 到另一组新变量 (P Q , ) 的变换: ( ) ( ) 1 1 1 1 , , , , 1,2 s s s s P P p p q q t Q Q p p q q t s = = = (1) 满足 ( ) ( ) 1 1 1 1 , 0 , s s s s P P Q Q p p q q ,把正则方程 1,2 H H q p s p q = = − = 仍然变 换为正则方程 * * 1,2 H H Q P s P Q = = − = ,那么这种变换(1)就叫做正则变换。 这一组新变量 (P Q , ) 也是一组正则变量。 说明:(1) 2s 个变量 p q , 成为正则变量,就要求用它们来描述的力学体系的动力学方 程为正则方程,其中的哈密顿函数为: ( ) ( ) 1 1 ( , , ) 1 , , , , s H H p p q q t p q L q q t s s q q p q t = = = = − ;新的 2s 个变量 P Q , 也
成为正则变量,就要求用它们来描述的力学体系的动力学方程也是正则方程,但其中的哈密 顿函数:H=H(P…2…Q,)=∑2-C(aa 一般说来不同于原来的,H≠H,并且∑PQ=∑Pn,L(Q.)≠L(91) (2)考虑了正则变换,广义坐标和广义动量间已经没有不可逾越的界限。(见下面的【例6】 【例7】)经过了正则变换的新的哈密顿函数也可能不再代表能量(但必定对新的正则变量 和新的哈密顿函数给出新的正则方程),L可能不再等于T-V(但对于新的广义坐标广义 速度和新的拉格朗日函数给出新的拉格朗日方程)。 本节引言中提到的【例1】一【例4】均为正则变换? 【例5】Q2=7qn,B=BP(a=1,2…,s),y,B是常数且都不为零,是正则变换 新的哈密顿量为H*=mfH。 (为了要论证这个结论,就要证明在 H qa pr a= 成立的前提下,经过变换Q=n,P=BP(a=12,…s)选择适当的H”,有 aH=-户a=1,2…s成立。) aP 【例6】Qa=vPn,P=qn(a=1,2,…,s,v,H是不为零的常数)是正则变换,新的 哈密顿量为H*=-H 例7{=m Pa=ga cot ot (a=12…s)是正则变换。新哈密顿量为 H=-H+ sin ot cos ot e Pa 事实上 aH ah dq QP=∑ PsoaS tan ot+ Q aPa B=l aqB aP sin ot cos at aPa p-l sin ot cos or Q-p ot sin ot cos ot
4 成为正则变量,就要求用它们来描述的力学体系的动力学方程也是正则方程,但其中的哈密 顿函数: ( ) ( ) ( ) * * * 1 1 , , 1 , , , , s H H P P Q Q t P Q L Q Q t s s Q Q P Q t = = = = − 一般说来不同于原来的, H H * ,并且 1 1 s s P Q p q = = , L Q Q t L q q t * , , , , ( ) ( ) (2)考虑了正则变换,广义坐标和广义动量间已经没有不可逾越的界限。(见下面的【例 6】, 【例 7】)经过了正则变换的新的哈密顿函数也可能不再代表能量(但必定对新的正则变量 和新的哈密顿函数给出新的正则方程),L *可能不再等于 T V− (但对于新的广义坐标广义 速度和新的拉格朗日函数给出新的拉格朗日方程)。 本节引言中提到的【例 1】-【例 4】均为正则变换? 【例 5】 Q q P p s = = = , 1,2, , ( ), , 是常数且都不为零,是正则变换。 新的哈密顿量为 H H * = 。 (为了要论证这个结论,就要证明在 1,2 H H q p s p q = = − = 成立的前提下,经过变换 Q q P p s = = = , 1,2, , ( ) 选择适当的 H ,有 * * 1,2 H H Q P s P Q = = − = 成立。) 【例 6】 Q p P q s , ( 1,2, , ; , = = = 是不为零的常数)是正则变换,新的 哈密顿量为 H H * = − 。 【例 7】 ( ) tan 1,2 cot Q p t s P q t = = = 是正则变换。新哈密顿量为 * sin cos 1 s H H Q P t t = = − + 。 事实上 * 1 1 1 tan sin cos sin cos H H s s s q Q P p t Q P q P t t P t t = = = = − + = + 2 cos sin cos Q p Q Q t t t = − + =
ah ∑QP2=-∑0 cot ot P a@, sin t cos ot a@ sin @t cos o in ot sin ot cost 例8(92=4mma=12.s是正则变换,新的哈密顿量为 P H=H+sin ot cost 2o, Pp 事实上 OH=>aH pe+ o ap bi Ops aPa sin ot cos ot OP 20P=29, tan ot+00a sin ot cos ot o tan =O-O Q=o ∑QP=-∑p a@a sin ot cos at oQa B= zB Cot @t P sin ot cos ot - p-Pa cos ot sin ot coser p=-p oct ot 【例5】—【例8】也可不给出新的哈密顿量H*,而要求解题者自行选取,这样题目的难 度就提高了。 3.正则变换的充分条件(判定定理) 判断一个变换(1)是不是正则变换的基本方法当然是利用正则变换的定义,但这未必总是 最方便的方法。因此我们还要寻找其他方法。 判定定理:变换(1)成为正则变换的充分条件为 (Padqa-Pad@)+(H-H)dt=dF, (2) 其中F是某个函数F(qQ,)的恰当微分。H是用新变量PQ以及t表示的 Hamilton函 数。换言之,如果H(Pq)是正则变量p2qn的任一 Hamilton量。(意即正则方程 aH n,a=12…,s成立)并且对于变换(1),存在H*=H*(PQ,)和 母函数F=F(q1Q,1)使(2)成立,那么变换(1)就是正则变换。(意即 aH P g.a0=-Pa=12-s成立)其中F(Q)称为母函数 证明:对于满足条件(2)的F=F(q,Q1)作以下两种变化
5 * 1 1 1 2 cot sin cos sin cos sin sin cos H H s s s p Q P q t P Q p Q t t Q t t P q P P t t t = = = = − + = − + = − − + = − 【例 8】 tan 1,2 cot Q q t s P p t = = = 是正则变换,新的哈密顿量为 * sin cos 1 s H H Q P t t = = + 事实上 * 1 1 1 tan sin cos sin cos H H s s s p Q P q t Q P p P t t P t t = = = = + = + 2 tan sin sin cos t Q Q Q Q t t t = − + = * 1 1 1 2 cot sin cos sin cos cot cos sin cos H H s s s q Q P p t P Q q Q t t Q t t t P P P P t t t = = = = + = − + = − − + = − 【例 5】-【例 8】也可不给出新的哈密顿量 H * ,而要求解题者自行选取,这样题目的难 度就提高了。 3.正则变换的充分条件(判定定理) 判断一个变换(1)是不是正则变换的基本方法当然是利用正则变换的定义,但这未必总是 最方便的方法。因此我们还要寻找其他方法。 判定定理:变换(1)成为正则变换的充分条件为 ( ) ( ) * 1 1 s p dq P dQ H H dt dF = − + − = (2) 其中 1 dF 是某个函数 F q Q t 1 ( , , ) 的恰当微分。H*是用新变量 P Q, 以及 t 表示的 Hamilton 函 数。换言之,如果 H p q t ( , , ) 是正则变量 p q, 的任一 Hamilton 量。(意即正则方程 , , 1,2, , H H q p s p q = = − = 成立)并且对于变换(1),存在 H H P Q t * * , , = ( ) 和 母函数 F F q Q t 1 1 = ( , , ) 使(2)成立,那么变换(1)就是正则变换。(意即 * * 1,2 H H Q P s P Q = = − = 成立)其中 F q Q t 1 ( , , ) 称为母函数。 证明:对于满足条件(2)的 F F q Q t 1 1 = ( , , ) 作以下两种变化:
δ:∑(P2qn-P2Q)+0=6F 注意:t=0 d. dy (P2qn-PQ)=元(F) (3) dt i用d去除(2)式,∑(P2-PQ)+(H-H)= 6:6(m4-(Q+6-8H=F (4) 在=0(等时变分)的条件下,6和d可交换次序:6(4)=d(oq):6和也可交 换次序:F=F1比较(3)和(4)得 5)n)ar(2),)am 左边=∑(Q+280)∑0+B0 aH SP+--50 ai(6+OH Qa同理 aH OH 右边 P Pa 4 由于H是Pa2qn的 Hamilton函数,所以右边=0,从而左边=0,且由于8P,9是独 立的。所以有 aH P=0,p+如=0,这正是正则方程,因此(1)是正则变换。 O 说明: 1)条件(2)的意义是:对于变换(1)和原来的哈密顿函数H,存在新的哈密顿函数H, 使(2)式的左边成为全微分。新的哈密顿函数H是待定的:因此,条件(2)的核心是 在t不变的情况下,∑[p2dn-Pdo]要成为恰当微分,也就是说,条件(2)可以表 为∑(P206qn-PoQ)=6F(t作为参数)(2)
6 i. : ( ) 1 1 0 s p q P Q F = − + = 注意: t = 0 dt d : ( ) ( 1 ) 1 s d d p q P Q F dt dt = − = (3) ii. 用 dt 去除(2)式, ( ) ( ) * 1 1 s p q P Q H H F = − + − = : * 1 1 1 s s p q P Q H H F = = − + − = (4) 在 t = 0 (等时变分)的条件下,和 d 可交换次序: (dq d q ) = ( ) ;和 dt d 也可交 换次序: 1 1 d F F dt = 比较(3)和(4)得 * 1 1 1 1 s s s s d d P Q P Q H p q p q H dt dt = = = = − − = − − 左边 ( ) * * 1 1 1 s s s d H H Q P P Q P Q P Q P Q dt P Q = = = = + − + − + * * 1 1 s s H H Q P P Q P Q = = = − − + 同理 右边 1 1 s s H H q p p q p q = = = − − + 由于 H 是 p q, 的 Hamilton 函数,所以右边=0,从而左边=0,且由于 P Q , 是独 立的。所以有 0 * = − P H Qa , * 0 H P Q + = ,这正是正则方程,因此(1)是正则变换。 说明: 1)条件(2)的意义是:对于变换(1)和原来的哈密顿函数 H ,存在新的哈密顿函数 * H , 使(2)式的左边成为全微分。新的哈密顿函数 * H 是待定的;因此,条件(2)的核心是: 在 t 不变的情况下, 1 s p dq P dQ = − 要成为恰当微分,也就是说,条件(2)可以表 为 ( ) 1 1 s p q P Q F = − = (t 作为参数) (2 )
这是因为,只要使(2)成立的母函数F存在,就可以求出待定的H=H+06,使(2) 【例9】Q=√2 ge cos,P=√2qge'smp,是不是正则变换? 先考虑在t不变的情况下,pd-P能不能表为某个母函数F(qQ,l)的恰当微分F P6q-PQ=p5q-√2 ge sin p √2 2ge sin p6p (p-sin pcos p)aq+ 2q sin pop 8(pq-qsin pcos p) F的宗量应为qQ,t,将p化为p(q1Q,1) F=pq-qsin pcos=F(q, 0,t=qarccos -Q由F求出: aF, O P aF =Oe-272ge2-0=H-H 在以上计算中可利用以下各式:QP=2 gsin p cos p,P2e+Q2e2=2q COS P= sin p Q tanTo qe sin p Q-e q cos p 2 cos2 2)若变换(1)不显含1,则条件(2)可以简化为 ∑[pdn-pdg]=dF 即在变换(1)不显含1,且条件(2)成立的情况下,总可选F=F(q1Q)(不显含1)从 而H=H。 aF. aF 3)由正则变换充分条件(2)可以得到 P o 2 P H-H由前两 式可解得变换(1)式(至于这样得到的(1)式是正则变换的证明已经包含在判定定理的证
7 这是因为,只要使 (2) 成立的母函数 F1 存在,就可以求出待定的 * F1 H H t = + ,使 (2) 成立。 【例 9】 Q qe p P qe p t t 2 cos , 2 sin − = = ,是不是正则变换? 先考虑在 t 不变的情况下, pdq PdQ − 能不能表为某个母函数 F q Q t 1 ( , , ) 的恰当微分 1 dF ( ) ( ) 2 1 2 sin cos 2 sin 2 sin cos 2 sin sin cos t t t p q P Q p q qe p e p q qe p p q p p p q q p p pq q p p − − = − − = − + = − F1 的宗量应为 q Q t , , ,将 p 化为 p q Q t ( , , ): F pq q p p F q Q t 1 1 = − = sin cos , , ( ) 2 2 2 arccos 2 2 2 t t t Q Q q e qe Q qe − = − − 由 F1 求出: 1 arccos 2 t F Q p q qe = = , 1 2 2 2 2 F t t e qe Q P Q − = − − = − 1 2 2 2 * 2 F t t Qe qe Q H H t − = − = − (在以上计算中可利用以下各式: QP q p p = 2 sin cos , 2 2 2 2 2 t t P e Q e q − + = 2 2 2 2 cos 2 t t t t Q Qe p e q P e Q e − − − = = + , 2 2 2 2 sin t t t Pe p P e Q e− = + 2 2 sin tan 2 cos t t t P Pe qe p p e Q Q q p = = = , 2 2 2 2 2 2 2cos 2sin t t Q e P e q p p − = = ) 2) 若变换(1)不显含 t ,则条件(2)可以简化为 1 1 s p dq P dQ dF = − = 即在变换(1)不显含 t ,且条件(2)成立的情况下,总可选 F F q Q 1 1 = ( , ) (不显含 t )从 而 H H = 。 3)由正则变换充分条件(2)可以得到 F1 p q = , F1 P Q = − 和 F1 * H H t = − 由前两 式可解得变换(1)式(至于这样得到的(1)式是正则变换的证明已经包含在判定定理的证
明中),由此可见,正则变换也可以借助母函数给出:但并非任何形式的F函数都能给出正 则变换,例如 【思考】F1(qQ1)=q2+Q能不能给出正则变换?为什么?能够作为母函数的函数应满 足怎样的条件? aF 4)由于=H-H,母函数所能确定的只是新旧哈密顿函数的差,而不是某个哈密 顿函数,正则变换并不局限于某一哈密顿量所刻划的力学体系 5)用条件(2)去判断例8和例9是正则变换,比前面的方法方便得多;但【例5】,【例 6】和【例7】三个题虽然我们已经根据定义判断它们是正则变换,却不满足条件(2)。 这是因为(2)是充分条件,不是必要条件。正则变换的充要条件为 (2”) (2)的充分性可以依照(2)的证明充分性的方法证明,其必要性的证明,用到 Poincare Cartan积分不变量性质,应用相对线性积分不变量的李华中定理,参阅资料2和 6)学习了哈密顿原理以后,可以从另一角度来证明正则变换的充分条件。(教材256页) 4.正则变换的充分条件(判定定理)的其他形式(见258页)。一共有四种表述方式。 说明 1)这四种不同表述方式,由于采用不同的独立变量(母函数的独立变量的选法有其共 同点:旧变量、新变量各占一半;每一对共轭的正则变量中,必有一个,且只有一 个),因而母函数也不同,它们之间的关系是 Legendre变换。对每一种表述方式均 可平行地进行前面的讨论 【例10】正则变换P=q+e+lnpQ=pe=1可以不同方式选取母函数: pdg-Pdo=d(@-@ g)=dF (a,@ po+P=exp(P-q-e")d+exp(P-e)dP=dexp(P-e)=(qP) -P=(np-lmg)-ng+=d(phnp-p-plng-hnQ+g)=F(pQ) qc+QdPq(PP)由隐函数P=q+e+lnP给出,难以求出显式;但可以 证明 所以-q4+QP=F;(p,P)是全微分 2)对每个偏导数的含义要弄清楚,例如=2=的=的=H-H,而
8 明中),由此可见,正则变换也可以借助母函数给出;但并非任何形式的 F 函数都能给出正 则变换,例如: 【思考】 ( ) 2 4 1 F q Q t q Q , , = + 能不能给出正则变换?为什么?能够作为母函数的函数应满 足怎样的条件? 4)由于 F1 * H H t = − ,母函数所能确定的只是新旧哈密顿函数的差,而不是某个哈密 顿函数,正则变换并不局限于某一哈密顿量所刻划的力学体系。 5)用条件(2)去判断例 8 和例 9 是正则变换,比前面的方法方便得多;但【例 5】,【例 6】和【例 7】三个题虽然我们已经根据定义判断它们是正则变换,却不满足条件(2)。 这是因为(2)是充分条件,不是必要条件。正则变换的充要条件为 ( ) * 1 1 1 , , s s p dq Hdt H dt P dQ dF q Q t = = − + − = (2 ) (2 )的充分性可以依照(2)的证明充分性的方法证明,其必要性的证明,用到 Poincaré -Cartan 积分不变量性质,应用相对线性积分不变量的李华中定理,参阅资料 2 和 13。 6)学习了哈密顿原理以后,可以从另一角度来证明正则变换的充分条件。(教材 256 页) 4.正则变换的充分条件(判定定理)的其他形式(见 258 页)。一共有四种表述方式。 说明: 1) 这四种不同表述方式,由于采用不同的独立变量(母函数的独立变量的选法有其共 同点:旧变量、新变量各占一半;每一对共轭的正则变量中,必有一个,且只有一 个),因而母函数也不同,它们之间的关系是 Legendre 变换。对每一种表述方式均 可平行地进行前面的讨论。 【例 10】正则变换 ln 1 q q P q e p Q pe − = + + = = 可以不同方式选取母函数: ( ln , ) 1 ( ) q pdq PdQ d Q Qe Q Q dF q Q − − = − − = exp exp exp , ( ) ( ) ( ) 2 ( ) q q q pdq QdP P q e dq P e dP d P e dF q P − − − + = − − + − = − = (ln ln ln ln ln ln , ) ( ) 3 ( ) p qdp PdQ p Q dp Q dQ d p p p p Q Q Q Q F p Q Q − − = − − + = − − − + = − + qdp QdP q p P ( , ) 由隐函数 ln q P q e p − = + + 给出,难以求出显式;但可以 证明 ( ) 1 1 q p P q Q P p e − − − = = − 所以 − + qdp QdP = dF p P 4 ( , ) 是全微分 2)对每个偏导数的含义要弄清楚,例如 F F F 1 2 4 F3 * H H t t t t = = = = − ,而
aF at at at p, s P ot t ot 3)并非对每一个正则变换,四种形式的母函数均存在。例如:下面的【例1】坐标变换 F,F均恒等于零;因而不能由此给出恒等变换。为此我们可以考虑一个更一般的情况: P=ng cosa+- psin a 是单价正则变换,四种母函数都存在,但当a=n(x/2),n Q=isin a--pcosa 为整数,有些母函数就没有意义。 4)还有多种母函数混合的形式:(参阅习题8.7.(4)) 【思考】正则变换分别应满足怎样的条件,母函数才存在。(分别研究各种情况。) 5)上述各例中的母函数: 【例1】坐标变换。F(q,P,1)=∑f(q,1)PF(pQ)=∑PΦ2(Q) OF Q f(q,1) (Q) aF ∑P 特别,若f(q,)=qn,即2(Q,)=Q则为恒等变换。 【例2】广义坐标不变,动量改变,利用充要条件(含参数2) F=∑qP-f(q,) F=-2∑P。Q-f(2 f aq la aF a=-4n.-9(Q0=-31n-( aF O H'=__af C=∑--∑|412+可1a-M+y=2+g
9 3 3 1 1 1 1 1 1 1 s s pQ pQ s pQ s s qQ qQ Qt pQ pQ F F F p q t t t t F F F F q q p t q t t t t = = = = − = + − = = 3)并非对每一个正则变换,四种形式的母函数均存在。例如:下面的【例 1】坐标变换。 1 4 F F, 均恒等于零;因而不能由此给出恒等变换。为此我们可以考虑一个更一般的情况: = − = + cos 1 sin sin 1 cos Q q p P q p 是单价正则变换,四种母函数都存在,但当 = n( / 2) ,n 为整数,有些母函数就没有意义。 4)还有多种母函数混合的形式:(参阅习题 8.7.(4)) 【思考】正则变换分别应满足怎样的条件,母函数才存在。(分别研究各种情况。) 5)上述各例中的母函数: 【例 1】坐标变换。 F q P t f q t P 2 ( , , , ) ( ) = F p Q t p Q t 3 ( , , , ) ( ) = − ( ) 2 , F Q f q t P = = , ( ) 3 , F q Q t p − = = − 2 F f p P q q = = F3 P p Q Q − = = − 特别,若 f q t q ( , ) = ,即 = (Q t Q , ) 则为恒等变换。 【例 2】广义坐标不变,动量改变,利用充要条件(含参数 ) F q P f q t 2 ( , ) = − F p Q f Q t 3 ( , ) = − − 2 2 F f p P q q F Q q P = = − = = ( ) ( ) 3 3 F f Q t f q t , , P p p Q Q q F q Q p − = = − − = − − − = = − * f H H t = − * * f f df L P Q H p q H L q t dt = − = + − + = +
【例3】利用充要条件(含参数)F2(qP)=∑qP,F(qP)=-2∑PQ aF P P 【例4】利用充要条件(含参数λ) F2=∑qP-f(q2) F=-2∑P2。Q2-f() aF aF Pn P o(0)=-xn-9(92 no aF? =人 =∑-H=∑412+2 2H + d 【例5】利用充分条件(含参数A=By) F2=∑9P F=-B∑PQ P aF3 B Q H=2H+ sh、 C=∑2Q=∑4+(4、9)=+y 【例6】利用充分条件(含参数=V)
10 【例 3】利用充要条件(含参数 ) F q P t q P 2 ( , , ) = , F q P t p Q 3 ( , , ) = − 2 2 F p P q F Q q P = = = = 3 3 F q Q p F P p Q − = = − − = = − 【例 4】利用充要条件(含参数 ) F q P f q t 2 ( , ) = − F p Q f Q t 3 ( , ) = − − 2 2 F f p P q q F Q q P = = − = = ( ) ( ) 3 3 F f Q t f q t , , P p p Q Q q F q Q p − = = − − = − − − = = − * F2 f H H H t t = + = − * * f f df L P Q H p q H L q t dt = − = + − − = + 【例 5】利用充分条件(含参数 = ) F q P 2 = F p Q 3 = − 2 2 F p P q F Q q P = = = = 3 3 F P p Q F q Q p − = = − − = = − * F2 f H H H t t = + = − * * f f df L P Q H p q H L q t dt = − = + − − = + 【例 6】利用充分条件(含参数 = )