哈密頓-雅可比方程式

在物理學裡，哈密頓-雅可比方程  是經典力學的一種表述。哈密頓-雅可比方程、牛頓力學、拉格朗日力學、哈密頓力學，這幾個表述是互相全等的。而哈密頓-雅可比方程在辨明守恆的物理量方面，特別有用處。有時候，雖然物理問題的本身無法完全解析，哈密頓-雅可比方程仍舊能夠正確的辨明守恆的物理量。HJE 是經典哈密頓量一個正則變換，經過該變換得到的結果是一個一階非線性偏微分方程，方程式之解描述了系統的行為。與哈密頓運動方程的不同之處在於 HJE 是一個偏微分方程，每個變數對應於一個座標，而哈密頓方程是一個一階線性方程組，每兩個方程對應於一個座標。HJE 可以漂亮地解析一些重要問題，例如開普勒問題。HJE 是唯一能夠將粒子運動表達為波動的一種力學表述。因此，HJE 滿足了一個長久以來理論物理的研究目標；那就是，尋找波傳播與粒子運動的相似之處。力學系統的波動方程式與薛丁格方程式很相似；但並不相同。稍後會有詳細說明。HJE 被認為是從經典力學進入量子力學最近的門階。數學表述.哈密頓-雅可比方程是一個一階非線性偏微分方程式。用數學表達formula_1 ；其中，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_23 ，formula_24 ；新的哈密頓方程式為formula_25 ，formula_26 ；這裡，formula_27 、formula_28 分別為舊的哈密頓量與新的哈密頓量，formula_6 是時間。假若，使用第二型生成函式 formula_30 來生成新正則坐標，則新舊正則坐標的關係為formula_31 ，formula_32 。而新舊哈密頓量的關係為formula_33 。哈密頓主函式.假若，可以找到一個第二型生成函式 formula_34 。這生成函式使新哈密頓量 formula_35 恆等於 0 。稱這個生成函式 formula_36 為哈密頓主函式。那麼，新哈密頓量 formula_35 所有的偏導數都等於 0 。哈密頓方程也變得非常的簡單：formula_38 。這樣，新正則坐標都成為運動常數 formula_39 、 formula_40 ：formula_41 ，formula_42 。由於 formula_43 ，代入舊哈密頓量，則可得到哈密頓-雅可比方程：formula_44 。解析問題的重要關鍵是必須找到哈密頓主函式 formula_45 的方程式。一旦找到這方程式，因為formula_46 ，(1)formula_47 。(2)給予 formula_48 與 formula_49 在時間 formula_50 的初始值， formula_51 與 formula_52 ，可以求出運動常數 formula_53 ，formula_54 。知道這兩組運動常數，立刻可以得到舊正則坐標 formula_48 與 formula_49 隨時間的演變。哈密頓特徵函式.假設，哈密頓量不顯含時：formula_57 。那麼，formula_58 。哈密頓量是一個運動常數，標記為 formula_59 ：formula_60 ，formula_61 。哈密頓主函式可以分離成兩部分：formula_62 ；其中，不含時間的函式 formula_63 稱為哈密頓特徵函式。思考一個新的正則變換。設定哈密頓特徵函式 formula_63 為一個第二型生成函式 formula_65 ：formula_66 ，formula_67 。那麼，哈密頓-雅可比方程變為formula_68 。由於哈密頓特徵函式不顯含時，新舊哈密頓量的關係為formula_69 ；新正則坐標隨時間的導數變為formula_70 ，formula_71 ，formula_72設定 formula_73 為 formula_74 ，formula_75 ，formula_72formula_77 。所以，新正則坐標變為formula_41 ，formula_79 ，formula_80 。假若，能找到哈密頓特徵函式 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_97 。由於每一個廣義動量都是運動常數，formula_98 ，函式 formula_93 只跟廣義座標 formula_87 有關：formula_101 ，formula_102 。若將哈密頓主函式 formula_7 代入 HJE，則可以觀察到，formula_87 只出現於函式 formula_105 內部，而不出現於 HJE 的任何其它地方。所以，函式 formula_105 必須等於常數。這樣，可得到一個一階常微分方程：formula_108 。在某些問題裡，很幸運地，函式 formula_7 可以完全的分離為 formula_11 個函式 formula_111：formula_112 。這些問題的偏微分方程可以分離為 formula_11 個常微分方程。哈密頓主函式 formula_7 的可分性，相關於哈密頓量和廣義坐標的選擇。假若，一個物理系統符合施特克爾條件 (--) ，則哈密頓主函式 formula_7 可以完全分離。以下為用幾種正交座標來完全分離 HJE 的例子。球坐標系.採用球坐標 formula_116 ，假設一個物理系統的哈密頓量為formula_117 ；其中，formula_118 是廣義動量，formula_119 為位勢函式，不含時間。那麼，哈密頓-雅可比方程可以表達為formula_120 ；其中，formula_7 是哈密頓主函式。假若，位勢函式 formula_122 的形式可以進一步設定為formula_123 ；其中， formula_124 、 formula_125 、 formula_126 ，都是任意函式；則 HJE 是完全可分的。將完全分離的解答 formula_127 代入 HJE ，會得到方程式formula_128 。變數 formula_129 只出現於公式左手邊的第三個方括弧內；其它變數都不出現於公式的這部分。所以，可以將這部分孤立出來，成為一個常微分方程：formula_130 ；其中，formula_131 是運動常數。簡化的 HJE 跟 formula_129 無關：formula_133 。同樣地，可以將變數 formula_134 出現的部分孤立出來，成為一個常微分方程：formula_135 ；其中，formula_136 是運動常數。剩下的是一個徑向距離函式 formula_137 的常微分方程。：formula_138 。這樣，可以完全地分離 HJE 。橢圓柱坐標系.採用橢圓柱坐標 formula_139 ，假設假設一個物理系統的哈密頓量為formula_140其中，formula_141 是廣義動量，formula_119 為位勢函式，不含時間。那麼，哈密頓-雅可比方程可以表達為formula_143 。假若，位勢函式 formula_144 的形式可以進一步設定為formula_145 ；其中，formula_146 、 formula_147 、 formula_148 ，都是任意函式；則 HJE 是完全可分的。猜想一個完全分離解答 formula_149 。將這猜想公式代入 HJE ，formula_150 。公式左手邊的前兩個專案只跟變數 formula_151 有關；其它的專案都跟 formula_151 無關。所以，可以將那兩個專案分離出來，成為一個常微分方程：formula_153 ；其中，formula_154 是運動常數。簡化的 HJE 跟 formula_151 有關：formula_156 。這公式又可以分離成兩個相互獨立的常微分方程：formula_157 ，formula_158 。其中，formula_159 是運動常數。這樣，可以完全地分離 HJE 。拋物柱面坐標系.採用拋物柱面坐標 formula_160 ，假設假設一個物理系統的哈密頓量為formula_161 ；其中，formula_162 是廣義動量，formula_119 為位勢函式，不含時間。那麼，哈密頓-雅可比方程可以表達為formula_164 。假若，位勢函式 formula_165 的形式可以進一步設定為formula_166 ；其中，formula_167 、 formula_168 、 formula_148 ，都是任意函式；則 HJE 是完全可分的。猜想一個完全分離解答 formula_170 。將這猜想公式代入 HJE ，formula_171 。公式左手邊的前兩個專案只跟變數 formula_151 有關；其它的專案都跟 formula_151 無關。所以，可以將那兩個專案分離出來，成為一個常微分方程：formula_174 ；其中，formula_154 是運動常數。簡化的HJE跟 formula_151 無關：formula_177 。這公式又可以分離成兩個相互獨立的常微分方程：formula_178 ，formula_179 ；其中，formula_180 是運動常數。這樣，可以完全地分離HJE。薛丁格方程式.}-「哈密頓類比」是威廉·哈密頓在研究古典力學時給出的理論，又稱為「光學-力學類比」；哈密頓指出，在古典力學裡粒子的運動軌道，就如同在幾何光學裡光線的傳播路徑；垂直於這軌道的等作用量曲面，就如同垂直於路徑的等傳播時間曲面；描述粒子運動的最小作用量原理，就如同描述光線傳播的費馬原理。哈密頓發現，使用哈密頓-雅可比方程式，可以推匯出最小作用量原理與費馬原理；同樣的形式論，可以描述光的物理行為，不論光是由遵守費馬原理的光線組成，還是由遵守最小作用量原理的粒子組成。很多光的性質，例如，衍射、干涉等等，無法用幾何光學的理論來作解釋，必須要用到波動光學的理論來證實。這意味著幾何光學不等價於波動光學，幾何光學是波動光學的波長超短於粒子軌道曲率半徑的極限案例。哈密頓又研究發現，使用哈密頓-雅可比方程式也可以描述波動光學裡遵守惠更斯原理的光波，只要將光線的等傳播時間曲面改為光波的波前。薛丁格尋思，古典力學與量子力學之間的關係，就如同幾何光學與波動光學之間的關係；哈密頓-雅可比方程式應該對應於量子力學的波動方程式在某種極限的案例，而這極限應該也是物質波波長超短於粒子軌道曲率半徑的極限；按照先前哈密頓類比的模式，依樣畫葫蘆，應該可以找到正確形式的波動方程式。這想法很正確，經過一番努力，他成功地推匯出薛丁格方程式。粒子方程式⇒波動方程式.設想一個粒子，運動於一個保守的位勢 formula_181 ，它的哈密頓-雅可比方程為formula_182 ；其中，formula_183 是哈密頓主函式。由於位勢與時間無關，哈密頓主函式可以分離成兩部分：formula_184 ；其中，不含時的函式 formula_185 是哈密頓特徵函式，formula_186 是能量。將哈密頓主函式的公式代入哈密頓-雅可比方程，稍加運算，可以得到formula_187 ；哈密頓主函式對於時間的全導數是formula_188 。哈密頓主函式 formula_7 的常數等值曲面 formula_190 在空間移動的方程式為formula_191 。所以，在設定等值曲面的正負面後，formula_190 朝著法線方向移動的速度 formula_193 是formula_194 。這速度 formula_193 是相速度，而不是粒子的移動速度 formula_196 ：formula_197 。想像 formula_190 為一個相位曲面。既然粒子具有波粒二象性，試著給予粒子一個相位與 formula_7 成比例的波函式：formula_200 ；其中，formula_201 是常數，formula_202 是跟位置有關的係數函式。將哈密頓主函式的公式代入 formula_203 波函式，formula_204 。注意到 formula_205 的因次必須是頻率，薛丁格突然想到愛因斯坦的光電效應理論 formula_206 ；其中，formula_207 是約化普朗克常數，formula_208 是角頻率。他嘗試設定 formula_209 ，粒子的波函式 formula_210 變為formula_211 ；其中，formula_212 。formula_203 的波動方程式為formula_214 。將 formula_203 波函式代入波動方程式，經過一番運算，得到formula_216 。注意到 formula_217 。稍加編排，可以推匯出含時薛丁格方程式：formula_218 。波動方程式⇒粒子方程式.逆反過來，從薛丁格方程式開始：:102-103formula_218 。猜想 formula_210 的形式為formula_221 。將 formula_210 代入薛丁格方程式，稍加運算，可以得到formula_223 。取經典極限，formula_224，則可得到哈密頓-雅可比方程：formula_182 。由於這取極限的動作，在希爾伯特空間裡對於態向量的描述改變為在相空間裡對於粒子位置與動量的描述。薛丁格方程屬於線性方程，假若formula_226、formula_227皆是薛丁格方程的解答，則它們的線性疊加formula_228必定也是解答，其中formula_229、formula_230皆是複係數。哈密頓-雅可比方程屬於非線性方程，假若formula_231、formula_232皆是哈密頓-雅可比方程的解答，則它們的線性疊加formula_233必定不是解答。這意味著，在量子力學可以觀察得到的量子疊加現象，無法出現在經典力學。但是，簡單地推論，經典力學應是量子力學的極限案例，為什麼量子疊加現象無法出現於經典力學裡？這不僅僅是個理論問題，在實驗室裡，時常可以觀察到微觀粒子呈現出量子疊加現象，為什麼無法觀察到宏觀物體呈現出同樣的現象:第1A節？更詳盡內容，請目量子退相干。重力場.重力場可以用哈密頓-雅可比方程表達為formula_234 ；其中，formula_235 是度規張量逆變 (--) 分量，formula_236 是固有質量，formula_237 是光速。