哈密顿-雅可比方程

本条目中,矢量标量分别用粗体斜体显示。例如,位置矢量通常用 表示;而其大小则用 来表示。

物理学里,哈密顿-雅可比方程 (Hamilton-Jacobi equation,HJE) 是经典力学的一种表述。哈密顿-雅可比方程、牛顿力学拉格朗日力学哈密顿力学,这几个表述是互相全等的。而哈密顿-雅可比方程在辨明守恒物理量方面,特别有用处。有时候,虽然物理问题的本身无法完全解析,哈密顿-雅可比方程仍旧能够正确的辨明守恒的物理量。

威廉·哈密顿
卡尔·雅可比

HJE 是经典哈密顿量一个正则变换,经过该变换得到的结果是一个一阶非线性偏微分方程,方程之解描述了系统的行为。与哈密顿运动方程的不同之处在于 HJE 是一个偏微分方程,每个变量对应于一个坐标,而哈密顿方程是一个一阶线性方程组,每两个方程对应于一个坐标。HJE 可以漂亮地解析一些重要问题,例如开普勒问题

HJE 是唯一能够将粒子运动表达为波动的一种力学表述。因此,HJE 满足了一个长久以来理论物理的研究目标(早至 18 世纪,约翰·伯努利和他的学生皮埃尔·莫佩尔蒂的年代);那就是,寻找波传播与粒子运动的相似之处。力学系统的波动方程薛定谔方程很相似;但并不相同。稍后会有详细说明。HJE 被认为是从经典力学进入量子力学最近的门阶。

数学表述

哈密顿-雅可比方程是一个一阶非线性偏微分方程。用数学表达

 

其中, 哈密顿量,未知函数   称为哈密顿主函数 广义坐标  是积分常数,  是时间。

假若能够找到哈密顿主函数   的形式,就可以计算出广义坐标  广义动量   随时间的演变。这样,可以完全地解析物理系统随时间的演化。

各种力学表述的比较

哈密顿-雅可比方程是一个一阶非线性偏微分方程;其中,函数    个广义坐标   ,和   个独立的积分常数  。在 HJE 中,哈密顿主函数   有一个很有意思的属性,它是一种经典作用量

与拉格朗日力学的拉格朗日方程比较,哈密顿力学里使用共轭动量而非广义速度。并且,哈密顿方程乃是一组   个一阶微分方程,用来表示   个广义坐标和   个广义动量随时间的演变,而拉格朗日方程则是一组   个二阶微分方程,用来表示   个广义坐标随时间的演变。

因为 HJE 等价于一个最小积分问题(像哈密顿原理), HJE 可以用于许多关于变分法的问题。更推广地,在数学与物理的其它分支,像动力系统辛几何量子混沌理论,都可以用 HJE 来解析问题。例如,HJE 可以用来找寻黎曼流形测地线,这是黎曼几何一个很重要的变分法问题。

导引

哈密顿力学里,正则变换将一组正则坐标   变换为一组新的正则坐标   ,而同时维持哈密顿方程的型式(称为型式不变性)。旧的哈密顿方程为

 
 

新的哈密顿方程为

 
 

这里,   分别为旧的哈密顿量与新的哈密顿量,  是时间。

假若,使用第二型生成函数   来生成新正则坐标,则新旧正则坐标的关系为

 
 

而新旧哈密顿量的关系为

 

(条目正则变换有更详细的说明。)

哈密顿主函数

假若,可以找到一个第二型生成函数   。这生成函数使新哈密顿量   恒等于 0 。称这个生成函数  哈密顿主函数。那么,新哈密顿量   所有的偏导数都等于 0 。哈密顿方程也变得非常的简单:

 

这样,新正则坐标都成为运动常数   

 
 

由于   ,代入旧哈密顿量,则可得到哈密顿-雅可比方程:

 

解析问题的重要关键是必须找到哈密顿主函数   的方程。一旦找到这方程,因为

 (1)
 (2)

给予    在时间   的初始值,    ,可以求出运动常数    。知道这两组运动常数,立刻可以得到旧正则坐标    随时间的演变。

哈密顿特征函数

假设,哈密顿量不显含时:  。那么,

 

哈密顿量是一个运动常数,标记为  

 
 

哈密顿主函数可以分离成两部分:

 

其中,不含时间的函数   称为哈密顿特征函数

思考一个新的正则变换。设定哈密顿特征函数   为一个第二型生成函数  

 
 

那么,哈密顿-雅可比方程变为

 

由于哈密顿特征函数不显含时,新旧哈密顿量的关系为

 

新正则坐标随时间的导数变为

 
  设定   
   

所以,新正则坐标变为

 
 
 

假若,能找到哈密顿特征函数   ,给予旧广义坐标   与旧广义动量   在时间   的初始值,    ,依照前面所述方法,就可以求出旧正则坐标随时间的演变。

分离变数法

哈密顿-雅可比方程最有用的时候,是当它可以使用分离变数法,来直接地辨明运动常数。假设,HJE 可以分为两部分。一部分只跟广义坐标   、哈密顿主函数的偏导数   有关,标记这部分为   。另一部分跟    无关。对于这状况,哈密顿主函数   可以分离为两个函数。一个函数   除了广义坐标   以外,跟任何其它广义坐标无关。另外一个函数    无关。

 

由于每一个广义动量都是运动常数,  ,函数   只跟广义坐标   有关:

 
 

若将哈密顿主函数   代入 HJE,则可以观察到,  只出现于函数   内部,而不出现于 HJE 的任何其它地方。所以,函数   必须等于常数(在这里标记为  )。这样,可得到一个一阶常微分方程

 

在某些问题里,很幸运地,函数   可以完全的分离为   个函数  

 

这些问题的偏微分方程可以分离为   个常微分方程。

哈密顿主函数   的可分性,相关于哈密顿量和广义坐标的选择。假若,一个物理系统符合施特克尔条件 (Staeckel conditions) ,则哈密顿主函数   可以完全分离。以下为用几种正交坐标来完全分离 HJE 的例子。

球坐标系

采用球坐标   ,假设一个物理系统的哈密顿量为

 

其中,  是广义动量, 位势函数,不含时间。

那么,哈密顿-雅可比方程可以表达为

 

其中,  是哈密顿主函数。

假若,位势函数   的形式可以进一步设定为

 

其中,     ,都是任意函数;则 HJE 是完全可分的。将完全分离的解答   代入 HJE ,会得到方程

 

变数   只出现于公式左手边的第三个方括弧内;其它变数都不出现于公式的这部分。所以,可以将这部分孤立出来,成为一个常微分方程:

 

其中, 运动常数

简化的 HJE 跟   无关:

 

同样地,可以将变数   出现的部分孤立出来,成为一个常微分方程:

 

其中,  是运动常数。

剩下的是一个径向距离函数   的常微分方程。:

 

这样,可以完全地分离 HJE 。

椭圆柱坐标系

采用椭圆柱坐标   ,假设假设一个物理系统的哈密顿量为

 

其中,  是广义动量, 位势函数,不含时间。

那么,哈密顿-雅可比方程可以表达为

 

假若,位势函数   的形式可以进一步设定为

 

其中,    ,都是任意函数;则 HJE 是完全可分的。猜想一个完全分离解答   。将这猜想公式代入 HJE ,

 

公式左手边的前两个项目只跟变量   有关;其它的项目都跟   无关。所以,可以将那两个项目分离出来,成为一个常微分方程:

 

其中,  是运动常数。

简化的 HJE 跟   有关:

 

这公式又可以分离成两个相互独立的常微分方程:

 
 

其中,  是运动常数。

这样,可以完全地分离 HJE 。

抛物柱面坐标系

采用抛物柱面坐标   ,假设假设一个物理系统的哈密顿量为

 

其中,  是广义动量, 位势函数,不含时间。

那么,哈密顿-雅可比方程可以表达为

 

假若,位势函数   的形式可以进一步设定为

 

其中,    ,都是任意函数;则 HJE 是完全可分的。猜想一个完全分离解答   。将这猜想公式代入 HJE ,

 

公式左手边的前两个项目只跟变量   有关;其它的项目都跟   无关。所以,可以将那两个项目分离出来,成为一个常微分方程:

 

其中,  是运动常数。

简化的HJE跟   无关:

 

这公式又可以分离成两个相互独立的常微分方程:

 
 

其中,  是运动常数。

这样,可以完全地分离HJE。

薛定谔方程

 
薛定谔将哈密顿类比延伸至量子力学与波动光学之间。[1]

“哈密顿类比”是威廉·哈密顿在研究经典力学时给出的理论,又称为“光学-力学类比”;哈密顿指出,在经典力学里粒子的运动轨道,就如同在几何光学里光线的传播路径;垂直于这轨道的等作用量曲面,就如同垂直于路径的等传播时间曲面;描述粒子运动的最小作用量原理,就如同描述光线传播的费马原理。哈密顿发现,使用哈密顿-雅可比方程,可以推导出最小作用量原理与费马原理;同样的形式论,可以描述光的物理行为,不论光是由遵守费马原理的光线组成,还是由遵守最小作用量原理的粒子组成。[1]

很多光的性质,例如,衍射干涉等等,无法用几何光学的理论来作解释,必须要用到波动光学的理论来证实。这意味着几何光学不等价于波动光学,几何光学是波动光学的波长超短于粒子轨道曲率半径的极限案例。哈密顿又研究发现,使用哈密顿-雅可比方程也可以描述波动光学里遵守惠更斯原理的光波,只要将光线的等传播时间曲面改为光波的波前。薛定谔寻思,经典力学与量子力学之间的关系,就如同几何光学与波动光学之间的关系;哈密顿-雅可比方程应该对应于量子力学的波动方程在某种极限的案例,而这极限应该也是物质波波长超短于粒子轨道曲率半径的极限(或按照对应原理,普朗克常数趋于0的极限);按照先前哈密顿类比的模式,依样画葫芦,应该可以找到正确形式的波动方程。这想法很正确,经过一番努力,他成功地推导出薛定谔方程[1][2]

粒子方程⇒波动方程

设想一个粒子,运动于一个保守的位势   ,它的哈密顿-雅可比方程为[2]

 

其中,  是哈密顿主函数。

由于位势与时间无关,哈密顿主函数可以分离成两部分:

 

其中,不含时的函数   是哈密顿特征函数,  是能量。

将哈密顿主函数的公式代入哈密顿-雅可比方程,稍加运算,可以得到

 

哈密顿主函数对于时间的全导数是

 

哈密顿主函数   的常数等值曲面   在空间移动的方程为

 

所以,在设定等值曲面的正负面后,  朝着法线方向移动的速度  

 

这速度  相速度,而不是粒子的移动速度  

 

想像   为一个相位曲面。既然粒子具有波粒二象性,试着给予粒子一个相位与   成比例的波函数

 

其中,  是常数,  是跟位置有关的系数函数。

将哈密顿主函数的公式代入   波函数,

 

注意到   的量纲必须是频率,薛定谔突然想到爱因斯坦的光电效应理论   ;其中, 约化普朗克常数 角频率。他尝试设定   ,粒子的波函数   变为

 

其中, 

 波动方程

 

  波函数代入波动方程, 经过一番运算,得到

 

注意到   。稍加编排,可以推导出含时薛定谔方程:

 

波动方程⇒粒子方程

逆反过来,从薛定谔方程开始:[3]:102-103

 

猜想   的形式为

 

  代入薛定谔方程,稍加运算,可以得到

 

取经典极限, ,则可得到哈密顿-雅可比方程:

 

由于这取极限的动作,在希尔伯特空间里对于态矢量的描述改变为在相空间里对于粒子位置与动量的描述。薛定谔方程属于线性方程,假若  皆是薛定谔方程的解答,则它们的线性叠加 必定也是解答,其中  皆是复系数。哈密顿-雅可比方程属于非线性方程,假若  皆是哈密顿-雅可比方程的解答,则它们的线性叠加 必定不是解答。这意味着,在量子力学可以观察得到的量子叠加现象,无法出现在经典力学。但是,简单地推论,经典力学应是量子力学的极限案例,为什么量子叠加现象无法出现于经典力学里?这不仅仅是个理论问题,在实验室里,时常可以观察到微观粒子呈现出量子叠加现象,为什么无法观察到宏观物体呈现出同样的现象[4]:第1A节?更详尽内容,请参阅条目量子退相干

重力场

重力场可以用哈密顿-雅可比方程表达为

 

其中, 度规张量逆变 (contravariant) 分量,  是固有质量, 光速

参阅

参考文献

  1. ^ 1.0 1.1 1.2 Joas, Christian; Lehner, Christoph. The classical roots of wave mechanics: Schrödinger's transformations of the optical-mechanical analogy (PDF). Studies in History and Philosophy of Modern Physics. 2009, 40 (4): 338–351 [2014-01-26]. ISSN 1355-2198. (原始内容存档 (PDF)于2013-07-09). 
  2. ^ 2.0 2.1 薛定谔, 埃尔温, An Undulatory Theory of the Mechanics of Atoms and Molecules (PDF), Phys. Rev., December 1926, 28 (6): 1049–1070 [2008-08-13], doi:10.1103/PhysRev.28.1049, 英文版本, (原始内容 (PDF)存档于2008-12-17) 
  3. ^ Sakukrai, J. J.; Napolitano, Jim, Modern Quantum Mechanics 2nd, Addison-Wesley, 2010, ISBN 978-0805382914 
  4. ^ Angelo Bassi; et al. Models of wave-function collapse, underlying theories, and experimental tests. Reviews of Modern Physics. 2 April 2013, 85 (2): 471–528 [2015-12-29]. (原始内容存档于2020-08-06). 
  1. Hamilton W. (1833) "On a General Method of Expressing the Paths of Light, and of the Planets, by the Coefficients of a Characteristic Function", Dublin University Review, pp. 795-826。
  2. Hamilton W. (1834) "On the Application to Dynamics of a General Mathematical Method previously Applied to Optics", British Association Report, pp.513-518。
  3. Eisenhart L.P., "Separable Systems of Stackel", "The Annals of Mathematics", 2nd Ser., Vol. 35, No. 2 (Apr., 1934), pp. 284-305
  4. Eisenhart L.P., "Separable Systems in Euclidean 3-Space", "Physical Review", vol. 45, Issue 6, pp. 427-428。
  5. H. Goldstein. Classical Mechanics. Addison Wesley. 2002. ISBN 978-0-201-65702-9. 
  6. A. Fetter and J. Walecka. Theoretical Mechanics of Particles and Continua. Dover Books. 2003. ISBN 978-0-486-43261-8. 
  7. Landau L.D., Lifshitz L.M., "Mechanics", Elsevier, Amsterdam … Tokyo, 1975。