哈密顿-雅可比方程式

在物理学里，哈密顿-雅可比方程 （Hamilton-Jacobi equation，HJE） 是经典力学的一种表述。哈密顿-雅可比方程、牛顿力学、拉格朗日力学、哈密顿力学，这几个表述是互相全等的。而哈密顿-雅可比方程在辨明守恒的物理量方面，特别有用处。有时候，虽然物理问题的本身无法完全解析，哈密顿-雅可比方程仍旧能够正确的辨明守恒的物理量。
HJE 是经典哈密顿量一个正则变换，经过该变换得到的结果是一个一阶非线性偏微分方程，方程式之解描述了系统的行为。与哈密顿运动方程的不同之处在于 HJE 是一个偏微分方程，每个变量对应于一个坐标，而哈密顿方程是一个一阶线性方程组，每两个方程对应于一个坐标。HJE 可以漂亮地解析一些重要问题，例如开普勒问题。
HJE 是唯一能够将粒子运动表达为波动的一种力学表述。因此，HJE 满足了一个长久以来理论物理的研究目标（早至 18 世纪，约翰·白努利和他的学生皮埃尔·莫佩尔蒂的年代）；那就是，寻找波传播与粒子运动的相似之处。力学系统的波动方程式与薛丁格方程式很相似；但并不相同。稍后会有详细说明。HJE 被认为是从经典力学进入量子力学最近的门阶。
数学表述.
哈密顿-雅可比方程是一个一阶非线性偏微分方程式。用数学表达
其中，formula_2 是哈密顿量，未知函数 formula_3 称为哈密顿主函数，formula_4 是广义座标，formula_5 是积分常数，formula_6 是时间。 
假若能够找到哈密顿主函数 formula_7 的形式，就可以计算出广义坐标 formula_4 与广义动量 formula_9 随时间的演变。这样，可以完全地解析物理系统随时间的演化。
各种力学表述的比较.
哈密顿-雅可比方程是一个一阶非线性偏微分方程式；其中，函数 formula_3 有 formula_11 个广义坐标 formula_12 ，和 formula_11 个独立的积分常数formula_5 。在 HJE 中，哈密顿主函数 formula_7 有一个很有意思的属性，它是一种经典作用量。
与拉格朗日力学的拉格朗日方程比较，哈密顿力学里使用共轭动量而非广义速度。并且，哈密顿方程乃是一组 formula_16 个一阶微分方程式，用来表示 formula_11 个广义坐标和 formula_11 个广义动量随时间的演变，而拉格朗日方程则是一组 formula_11 个二阶微分方程式，用来表示 formula_11 个广义坐标随时间的演变。
因为 HJE 等价于一个最小积分问题（像哈密顿原理）， HJE 可以用于许多关于变分法的问题。更推广地，在数学与物理的其它分支，像动力系统、辛几何、量子混沌理论，都可以用 HJE 来解析问题。例如，HJE 可以用来找寻黎曼流形的测地线，这是黎曼几何一个很重要的变分法问题。
导引.
在哈密顿力学里，正则变换将一组正则坐标 formula_21 变换为一组新的正则坐标 formula_22 ，而同时维持哈密顿方程式的型式（称为型式不变性）。旧的哈密顿方程式为
新的哈密顿方程式为
这里，formula_27 、formula_28 分别为旧的哈密顿量与新的哈密顿量，formula_6 是时间。
假若，使用第二型生成函数 formula_30 来生成新正则坐标，则新旧正则坐标的关系为
而新旧哈密顿量的关系为
（条目正则变换有更详细的说明。） 
哈密顿主函数.
假若，可以找到一个第二型生成函数 formula_34 。这生成函数使新哈密顿量 formula_35 恒等于 0 。称这个生成函数 formula_36 为哈密顿主函数。那么，新哈密顿量 formula_35 所有的偏导数都等于 0 。哈密顿方程也变得非常的简单：
这样，新正则坐标都成为运动常数 formula_39 、 formula_40 ：
由于 formula_43 ，代入旧哈密顿量，则可得到哈密顿-雅可比方程：
解析问题的重要关键是必须找到哈密顿主函数 formula_45 的方程式。一旦找到这方程式，因为
给予 formula_48 与 formula_49 在时间 formula_50 的初始值， formula_51 与 formula_52 ，可以求出运动常数 formula_53 ，formula_54 。知道这两组运动常数，立刻可以得到旧正则坐标 formula_48 与 formula_49 随时间的演变。
哈密顿特征函数.
假设，哈密顿量不显含时：formula_57 。那么，
哈密顿量是一个运动常数，标记为 formula_59 ：
哈密顿主函数可以分离成两部分：
其中，不含时间的函数 formula_63 称为哈密顿特征函数。
思考一个新的正则变换。设定哈密顿特征函数 formula_63 为一个第二型生成函数 formula_65 ：
那么，哈密顿-雅可比方程变为
由于哈密顿特征函数不显含时，新旧哈密顿量的关系为
新正则坐标随时间的导数变为
所以，新正则坐标变为
假若，能找到哈密顿特征函数 formula_63 ，给予旧广义坐标 formula_48 与旧广义动量 formula_49 在时间 formula_50 的初始值， formula_51 与 formula_52 ，依照前面所述方法，就可以求出旧正则坐标随时间的演变。
分离变数法.
哈密顿-雅可比方程最有用的时候，是当它可以使用分离变数法，来直接地辨明运动常数。假设，HJE 可以分为两部分。一部分只跟广义坐标 formula_87 、哈密顿主函数的偏导数 formula_88 有关，标记这部分为 formula_89 。另一部分跟 formula_87 、 formula_88 无关。对于这状况，哈密顿主函数 formula_7 可以分离为两个函数。一个函数 formula_93 除了广义坐标 formula_87 以外，跟任何其它广义坐标无关。另外一个函数 formula_95 跟 formula_87 无关。
由于每一个广义动量都是运动常数，formula_98 ，函数 formula_93 只跟广义座标 formula_87 有关：
若将哈密顿主函数 formula_7 代入 HJE，则可以观察到，formula_87 只出现于函数 formula_105 内部，而不出现于 HJE 的任何其它地方。所以，函数 formula_105 必须等于常数（在这里标记为 formula_107）。这样，可得到一个一阶常微分方程：
在某些问题里，很幸运地，函数 formula_7 可以完全的分离为 formula_11 个函数 formula_111：
这些问题的偏微分方程可以分离为 formula_11 个常微分方程。
哈密顿主函数 formula_7 的可分性，相关于哈密顿量和广义坐标的选择。假若，一个物理系统符合施特克尔条件 () ，则哈密顿主函数 formula_7 可以完全分离。以下为用几种正交座标来完全分离 HJE 的例子。
球坐标系.
采用球坐标 formula_116 ，假设一个物理系统的哈密顿量为
其中，formula_118 是广义动量，formula_119 为位势函数，不含时间。
那么，哈密顿-雅可比方程可以表达为
其中，formula_7 是哈密顿主函数。
假若，位势函数 formula_122 的形式可以进一步设定为
其中， formula_124 、 formula_125 、 formula_126 ，都是任意函数；则 HJE 是完全可分的。将完全分离的解答 formula_127 代入 HJE ，会得到方程式
变数 formula_129 只出现于公式左手边的第三个方括弧内；其它变数都不出现于公式的这部分。所以，可以将这部分孤立出来，成为一个常微分方程：
其中，formula_131 是运动常数。
简化的 HJE 跟 formula_129 无关：
同样地，可以将变数 formula_134 出现的部分孤立出来，成为一个常微分方程：
其中，formula_136 是运动常数。
剩下的是一个径向距离函数 formula_137 的常微分方程。：
这样，可以完全地分离 HJE 。
椭圆柱坐标系.
采用椭圆柱坐标 formula_139 ，假设假设一个物理系统的哈密顿量为
其中，formula_141 是广义动量，formula_119 为位势函数，不含时间。
那么，哈密顿-雅可比方程可以表达为
假若，位势函数 formula_144 的形式可以进一步设定为
其中，formula_146 、 formula_147 、 formula_148 ，都是任意函数；则 HJE 是完全可分的。猜想一个完全分离解答 formula_149 。将这猜想公式代入 HJE ，
公式左手边的前两个项目只跟变量 formula_151 有关；其它的项目都跟 formula_151 无关。所以，可以将那两个项目分离出来，成为一个常微分方程：
其中，formula_154 是运动常数。
简化的 HJE 跟 formula_151 有关：
这公式又可以分离成两个相互独立的常微分方程：
其中，formula_159 是运动常数。
这样，可以完全地分离 HJE 。
抛物柱面坐标系.
采用抛物柱面坐标 formula_160 ，假设假设一个物理系统的哈密顿量为
其中，formula_162 是广义动量，formula_119 为位势函数，不含时间。
那么，哈密顿-雅可比方程可以表达为
假若，位势函数 formula_165 的形式可以进一步设定为
其中，formula_167 、 formula_168 、 formula_148 ，都是任意函数；则 HJE 是完全可分的。猜想一个完全分离解答 formula_170 。将这猜想公式代入 HJE ，
公式左手边的前两个项目只跟变量 formula_151 有关；其它的项目都跟 formula_151 无关。所以，可以将那两个项目分离出来，成为一个常微分方程：
其中，formula_154 是运动常数。
简化的HJE跟 formula_151 无关：
这公式又可以分离成两个相互独立的常微分方程：
其中，formula_180 是运动常数。
这样，可以完全地分离HJE。
薛丁格方程式.
「哈密顿类比」是威廉·哈密顿在研究古典力学时给出的理论，又称为「光学-力学类比」；哈密顿指出，在古典力学里粒子的运动轨道，就如同在几何光学里光线的传播路径；垂直于这轨道的等作用量曲面，就如同垂直于路径的等传播时间曲面；描述粒子运动的最小作用量原理，就如同描述光线传播的费马原理。哈密顿发现，使用哈密顿-雅可比方程式，可以推导出最小作用量原理与费马原理；同样的形式论，可以描述光的物理行为，不论光是由遵守费马原理的光线组成，还是由遵守最小作用量原理的粒子组成。
很多光的性质，例如，衍射、干涉等等，无法用几何光学的理论来作解释，必须要用到波动光学的理论来证实。这意味著几何光学不等价于波动光学，几何光学是波动光学的波长超短于粒子轨道曲率半径的极限案例。哈密顿又研究发现，使用哈密顿-雅可比方程式也可以描述波动光学里遵守惠更斯原理的光波，只要将光线的等传播时间曲面改为光波的波前。薛丁格寻思，古典力学与量子力学之间的关系，就如同几何光学与波动光学之间的关系；哈密顿-雅可比方程式应该对应于量子力学的波动方程式在某种极限的案例，而这极限应该也是物质波波长超短于粒子轨道曲率半径的极限（或按照对应原理，普朗克常数趋于0的极限）；按照先前哈密顿类比的模式，依样画葫芦，应该可以找到正确形式的波动方程式。这想法很正确，经过一番努力，他成功地推导出薛丁格方程式。
粒子方程式⇒波动方程式.
设想一个粒子，运动于一个保守的位势 formula_181 ，它的哈密顿-雅可比方程为
其中，formula_183 是哈密顿主函数。
由于位势与时间无关，哈密顿主函数可以分离成两部分：
其中，不含时的函数 formula_185 是哈密顿特征函数，formula_186 是能量。
将哈密顿主函数的公式代入哈密顿-雅可比方程，稍加运算，可以得到
哈密顿主函数对于时间的全导数是
哈密顿主函数 formula_7 的常数等值曲面 formula_190 在空间移动的方程式为
所以，在设定等值曲面的正负面后，formula_190 朝著法线方向移动的速度 formula_193 是
这速度 formula_193 是相速度，而不是粒子的移动速度 formula_196 ：
想像 formula_190 为一个相位曲面。既然粒子具有波粒二象性，试著给予粒子一个相位与 formula_7 成比例的波函数：
其中，formula_201 是常数，formula_202 是跟位置有关的系数函数。
将哈密顿主函数的公式代入 formula_203 波函数，
注意到 formula_205 的因次必须是频率，薛丁格突然想到爱因斯坦的光电效应理论 formula_206 ；其中，formula_207 是约化普朗克常数，formula_208 是角频率。他尝试设定 formula_209 ，粒子的波函数 formula_210 变为
其中，formula_212 。
formula_203 的波动方程式为
将 formula_203 波函数代入波动方程式，
经过一番运算，得到
注意到 formula_217 。稍加编排，可以推导出含时薛丁格方程式：
波动方程式⇒粒子方程式.
逆反过来，从薛丁格方程式开始：
猜想 formula_210 的形式为
将 formula_210 代入薛丁格方程式，稍加运算，可以得到
取经典极限，formula_224，则可得到哈密顿-雅可比方程：
由于这取极限的动作，在希尔伯特空间里对于态向量的描述改变为在相空间里对于粒子位置与动量的描述。薛丁格方程属于线性方程，假若formula_226、formula_227皆是薛丁格方程的解答，则它们的线性叠加formula_228必定也是解答，其中formula_229、formula_230皆是复系数。哈密顿-雅可比方程属于非线性方程，假若formula_231、formula_232皆是哈密顿-雅可比方程的解答，则它们的线性叠加formula_233必定不是解答。这意味著，在量子力学可以观察得到的量子叠加现象，无法出现在经典力学。但是，简单地推论，经典力学应是量子力学的极限案例，为什么量子叠加现象无法出现于经典力学里？这不仅仅是个理论问题，在实验室里，时常可以观察到微观粒子呈现出量子叠加现象，为什么无法观察到宏观物体呈现出同样的现象？更详尽内容，请参阅条目量子退相干。
重力场.
重力场可以用哈密顿-雅可比方程表达为
其中，formula_235 是度规张量逆变 () 分量，formula_236 是固有质量，formula_237 是光速。