5.5 哈密正则方程.docVIP

§5.5 哈密顿正则方程 教学目的 学会勒蘘特变换，掌握哈密顿正则方程及其应用。 重点难点 哈密顿正则方程 教学过程 引入：拉格朗日方程是二阶常微分方程组，经过将中的广义速度等换乘广义动量就可使方程组由二阶降为一阶，这种变换就是勒襄特变换。 勒襄特变换 在§5.3中，我们知道拉氏函数是及的函数，并可由此得 出保守力系拉格朗日方程式。有时，为了使其更富有物理意义，我们需要把中的变数更换一下。首先，我们先来看一下勒襄特变换的数学形式，然后再看怎样把这种变换应用到我们的问题上来。 考虑两个变数的函数，则 ， 式中 。（5.5.1） 这里是用作为独立变数，如果把当作独立变数，则 （5.5.2） 此时函数亦可改用表出，记为，即： （5.5.3） 则 （5.5.4） 如果引入另一函数，使得 ，（5.5.5） 那么 ，（5.5.6） 而又可写为 ，（5.5.7） 故 。（5.5.8） 由此可以看出：可用对及对的偏微商表出，它可从两个变量推广到多个变量。这种由一组独立变数变为另一组独立变数的变换，叫做勒襄特变换(Legendre transformation). 现在回到我们的问题。在保守力系拉氏方程中，如令 （）（5.5.9） 作为独立变数，则 （）（5.5.10） 而由（5.5.8）式可解出广义速度，使是、（）及的函数，即 （5.5.11） （这是因为原就是、、的函数，而也仍然应是、、的函数）。 将（5.5.10）式代入拉氏函数中，则也将变成、、的函数，以表之，即 （5.5.12） 上式中的相当于，而则相当于。如此一来，便把拉氏方程由二阶降为一阶。进一步的研究表明，当独立变量改变时，函数本身亦宜随之改变为另一种形式的函数才好计算。在今后的热力学及其他学科中，还要经常碰到这种情况。 （2） 正则方程 可以看出，即使通过勒襄特变换，拉氏函数中的一种独立变量由（）变为（）后，拉氏函数也并不是很恰当的函数。因此，哈密顿在1834年给出了另一函数，它相当于（5.5.5）式中的。 使 （5.5.13） 称为哈密顿函数(Hamiltonian function)或哈密顿量（Hamiltonian）. 考虑在无限小的时间变化内，哈密顿量的改变 （5.5.14） 而 （5.5.15） 这里用到了保守力系拉氏方程和广义动量的定义式（5.5.9）。将（5.5.15）式（5.5.14）式，即得 （5.5.16） 又 （5.5.17） 比较（5.5.16）和（5.5.17）两式，由于和都是独立的，故得 （5.5.18） 此称哈密顿正则方程（Hamiltonian canonical），简称正则方程。“正则”的意思是说形式简单而对称。 另外，我们还可得出 它指出是否显含时间完全视是否显含时间而定。 注意(5.5.13)所定义的哈密顿函数必须是用广义坐标和广义动量表出的，并且注意其中的和（）与拉格朗日函数中的和一样，描写的是约束条件所允许的一切可能运动。通常称、（）为正则变量，并用它们代表由广义坐标和广义动量所组成的维相宇（或说相空间）中的一个相点。 （3）能量积分与循环积分 在一定条件下，哈密顿正则方程也和拉氏方程一样，可以给出能量积分与循环积分。 先讲能量积分。我们知道，哈密顿函数中的宗量、（）都是时间的函数，故求对时间的微商时，应按照高等数学中复合函数求微商的法则来进行，即 把哈密顿正则方程代入上式中，得 因此若中不显含，则因，故也等于0，因而正则方程这时有一积分 （为积分常数）（5.5.19） 如果约束为稳定约束，可将动能表为广义速度的二次齐次函数，则由哈密顿函数的定义 及二次齐次函数的欧勒公式 可得 可见式（5.5.19）代表能量积分，在稳定约束时就等于力学系统的总能量=常量。 如果动能不是广义速度的二次齐次函数，即系统所受的约束是不稳定约束，则式（5.5.19）将代表广义能量积分。 总之，哈密顿函数也是力学体系的特性函数。若为稳定约束，它就是力学体系的动能和势能之和；若为不稳定约束，则它等于。 从上面的计算可以看出：由正则方程得出能量积分，比由拉格朗日方程得出的要简便得多。由于正则方程是、的一阶常微分方程，故这能量积分也就是正则方程的一个积分（即方程的一个最终解）。 再讲循环积分。如果力学系的广义坐标有一些在哈密顿函数中不出现，即可得到相应的广义动量积分。例如设不出现，则由正则方程得 即得到相应的广义动量积分： 常量 在哈密顿函数中不出现的那些广义坐标，显然也不会出现在拉格朗日函数中，它们都是循环坐标；相应的广义动量积分就是循