哈密頓函數

**哈密頓力學**是哈密頓於 1833 年建立的古典力學的重新表述，它由拉格朗日力學演變而來。哈密頓力學與拉格朗日力學不同的是前者可以使用辛空間而不依賴於拉格朗日力學表述。關於這點請參看其數學表述。

適合用哈密頓力學表述的動態系統稱為**哈密頓系統**。

## 作為拉格朗日力學的重新表述

從拉格朗日力學開始，運動方程式基於廣義坐標

　
: $\left\{\,q_{j}|j=1,\ldots ,N\,\right\}$

而相應的廣義速度為

　
: $\left\{\,{\dot {q}}_{j}|j=1,\ldots ,N\,\right\}$

通過延伸記號的意義，可以將拉格朗日函數寫作

　
: $L(q_{j},{\dot {q}}_{j},t)$

其中帶下標的變數視為所有 _N_ 個該類型的變數。哈密頓力學的目標是用廣義動量（也稱為_共軛動量_）變數取代廣義速度。這樣一來，就可能處理特定的系統，例如量子力學的某些方面，否則其表述會更複雜。

對於每個廣義速度，有一個對應的共軛動量，定義為：

　
: $p_{j}={\partial L \over \partial {\dot {q}}_{j}}$

在直角坐標系中，廣義動量就是物理上的線性動量。在極坐標中，對應角速度的廣義動量就是物理上的角動量。對於廣義坐標的任意選取，可能不能找到共軛動量的直觀解釋。

在依賴於坐標的表述中不太明顯的一點是：不同的廣義坐標實際上無非就是同一辛流形的不同坐標表示。

哈密頓量是拉格朗日量的勒壤得轉換：

　
: $H\left(q_{j},p_{j},t\right)=\sum _{i}{\dot {q}}_{i}p_{i}-L(q_{j},{\dot {q}}_{j},t)$

若定義廣義坐標的轉換方程式和 _t_ 無關，可以證明 _H_ 等於總能量 _E_ = _T_ + _V_.

 $H$ 的定義的每邊各產生一個微分：

　
: ${\begin{matrix}dH&=&\sum _{i}\left[\left({\partial H \over \partial q_{i}}\right)dq_{i}+\left({\partial H \over \partial p_{i}}\right)dp_{i}\right]+\left({\partial H \over \partial t}\right)dt\qquad \qquad \quad \quad \\\\&=&\sum _{i}\left[{\dot {q}}_{i}\,dp_{i}+p_{i}\,d{\dot {q}}_{i}-\left({\partial L \over \partial q_{i}}\right)dq_{i}-\left({\partial L \over \partial {\dot {q}}_{i}}\right)d{\dot {q}}_{i}\right]-\left({\partial L \over \partial t}\right)dt\end{matrix}}$

把前面共軛動量的定義代入這個方程式並合併係數，得到哈密頓力學的運動方程式，稱為哈密頓方程式：

　
: ${\partial H \over \partial q_{j}}=-{\dot {p}}_{j},\qquad {\partial H \over \partial p_{j}}={\dot {q}}_{j},\qquad {\partial H \over \partial t}=-{\partial L \over \partial t}$

哈密頓方程式是一階微分方程式，因而比拉格朗日方程式容易解，因為後者是二階的。但是，導出運動方程式的步驟比拉格朗日力學更繁瑣 - 從廣義坐標和拉格朗日量開始，必須先計算哈密爾頓量，用共軛動量來表達每個廣義坐標，然後將共軛動量代入哈密頓量。總之，用哈密頓力學來解決問題不比用拉格朗日力學簡單多少。最終，這會得到和拉格朗日力學和牛頓運動定律同樣的解。

哈密頓方法的主要優點在於它提供了古典力學理論的更深刻結果的基礎。

## 哈密頓系統的幾何

哈密頓系統可以理解為時間 _R_ 上的一個纖維叢 _E_，其纖維 _E_t，_t_ ∈ _R_ 是位置空間。拉格朗日量則是 _E_ 上的 jet 叢（射流叢）_J_ 上的函數；取拉格朗日量的纖維內的勒壤得轉換就產生了一個時間上的對偶叢的函數，其在 _t_ 的纖維是餘切空間 _T_\*_E_t，它有一個自然的辛形式，而這個函數就是哈密頓量。

## 數學表述

任何辛流形上的光滑實值函數 _H_ 可以用來定義一個哈密頓系統。函數 _H_ 稱為**哈密頓量**或者**能量函數**。該辛流形則稱為相空間。哈密頓量在辛流形上導出一個特殊的向量場，稱為辛向量場。

該辛向量場，稱為哈密頓向量場，導出一個流形上的哈密頓流。該向量場的一個積分曲線是一個流形的轉換的單參數族；該曲線的參數通常稱為**時間**。該時間的演變由辛同胚給出。根據劉維定理每個辛同胚保持相空間的體積形式不變。由哈密頓流導出的辛同胚的族通常稱為哈密頓系統的**哈密頓力學**。

哈密頓向量場也導出一個特殊的操作，卜瓦松括號。卜瓦松括號作用於辛流形上的函數，給了流形上的函數空間一個李代數的結構。

特別的有，給定一個函數 _f_

　
: ${\frac {d}{dt}}f={\frac {\partial }{\partial t}}f+\{\,f,H\,\}.$

若已知有一個機率分布，ρ, 則（因為相空間速度（ ${{\dot {p}}_{i}},{{\dot {q}}_{i}}$ ）有 0 散度，而機率是不變的）其傳達導數（convective derivative）可以證明為 0，所以

　
: ${\frac {\partial }{\partial t}}\rho =-\{\,\rho ,H\,\}.$

這稱為劉維定理。每個辛流形上的光滑函數 _G_ 產生一個單參數辛同胚族，而若 { _G_, _H_ } = 0, 則 _G_ 是守恆的，而該辛同胚是對稱轉換。

哈密頓向量場的可積性是未解決的問題。通常，哈密頓系統是混沌的；測度，完備性，可積性和穩定性的概念沒有良好的定義。迄今為止，動態系統的研究主要是定性的，而非定量的科學。

### 黎曼流形

哈密頓量的重要特例是二次型，也就是，可以如下表達的哈密頓量

　
: $H(q,p)={\frac {1}{2}}\langle p,p\rangle _{q}$

其中 $\langle \cdot ,\cdot \rangle _{q}$ 是纖維 $T_{q}^{*}Q$ （組態空間中的點 _q_ 上的餘切空間）上的余度量。該哈密頓量完全由動能項組成。

若考慮一個黎曼流形或一個偽黎曼流形，使得存在一個可逆，非退化的度量，則該余度量可以簡單的由該度量的逆給出。哈密頓 - 雅可比方程式的解就是流形上的測地線。特別的有，這個情況下的哈密頓流就是測地流。這些解的存在性和解集的完備性在測地線條目中有詳細討論。

### 亞黎曼流形

當余度量是退化的時，它不是可逆的。在這個情況下，這不是一個黎曼流形，因為它沒有一個度量。但是，哈密頓量依然存在。這個情況下，在流形 _Q_ 的每一點 _q_ 余度量是退化的，因此余度量的階小於流行 _Q_ 的維度，因而是一個亞黎曼流形。

這種情況下的哈密頓量稱為**亞黎曼哈密頓量**。每個這樣的哈密頓量唯一的決定余度量，反過來也是一樣。這意味著每個亞黎曼流形由其亞黎曼哈密頓量唯一的決定，而其逆命題也為真：每個亞黎曼流形有唯一的亞黎曼哈密頓量。亞黎曼測地線的存在性由周 - 臘雪夫斯基定理給出。

連續實值海森堡群提供了亞黎曼流形的一個例子。對於海森堡群，哈密頓量為

　
: $H(x,y,z,p_{x},p_{y},p_{z})={\frac {1}{2}}\left(p_{x}^{2}+p_{y}^{2}\right)$ .

 $p_{z}$ 沒有在哈密頓量中被涉及到。

### 卜瓦松代數

哈密爾頓系統可以幾種方式推廣。如果不僅簡單的利用辛流形上的光滑函數的結合代數，哈密爾頓系統可以用更一般的交換有單位的實卜瓦松代數表述。一個狀態是一個（裝備了恰當的拓撲結構的）卜瓦松代數上的連續線性泛函，使得對於代數中的每個元素 _A_，_A_2 映射到非負實數。

進一步的推廣由南部力學給出。

## 註釋

## 參考資料

**文獻**

* Ralph Abraham and Jerrold E. Marsden, _Foundations of Mechanics_, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X
* Rychlik, Marek, "_拉格郎日和哈密頓力學 -- 一個簡介（頁面存檔備份，存於網際網路檔案館）_ "
* Binney, James, "_古典力學_" (PostScript) 筆記（頁面存檔備份，存於網際網路檔案館）（PDF）

## 參見

* 哈密頓原理
* 古典力學
* 拉格朗日力學