ハミルトン形式の解析力学は、ラグランジュ形式からルジャンドル変換で移行することにより得られる。
最初はニュートン力学の分野において成立したものであるが、ラグランジュ形式と同様に幅広い分野に応用されている。
特に量子力学においては、古典力学のハミルトン形式での物理量を演算子に置き換え、演算子の間に正準交換関係を設定する正準量子化の手続きによって量子化を行う。
また量子多体論において用いられるTDHF近似は、ある変換の下でハミルトン力学と等価である事が知られている。この事は古典力学が単なる量子力学の近似ではなくて、この世界における何らかの事実を表しているという期待を持たせる。
ハミルトン形式では運動方程式は一般化座標と一般化運動量を用いて記述されており、その方程式は両者に対して(符号を除いて)対称的となっている。力学変数の数が2倍になるので運動方程式の数も増すが、二階微分方程式は一階微分方程式になる。
ハミルトン力学におけるルジャンドル変換にThermodynamic square(英語版)を適用したときの正準方程式。
ハミルトン形式において、力学系の運動状態を指定する力学変数は一般化座標
と一般化運動量
である。力学系の性質は一般化座標と一般化運動量、および時間を変数とするハミルトン関数(ハミルトニアン)
によって記述される。
ハミルトン形式において、作用汎関数は時間積分
![{\displaystyle S[p,q]=\int _{t_{\text{i}}}^{t_{\text{f}}}\left[\sum _{i}p_{i}(t)\,{\dot {q}}_{i}(t)-H(p,q;t)\right]dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c9efeed8d3bff453e96c95e8622e1a075489b3e)
として与えられる。力学変数 p,q は束縛条件の下で可能なあらゆる運動状態を取り得るが、最小作用の原理(変分原理、停留条件)により実際に起こる運動が導かれる。
作用の停留条件から導かれる運動方程式は
![{\displaystyle {\frac {\partial S[p,q]}{\delta p_{i}(t)}}={\dot {q}}_{i}(t)-{\frac {\partial H}{\partial p_{i}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24c31905fa9f8efcb72ba30cda800493413fde32)
![{\displaystyle {\frac {\partial S[p,q]}{\delta q_{i}(t)}}=-{\dot {p}}_{i}(t)-{\frac {\partial H}{\partial q_{i}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a682f50ee8cad38def5f5cbd66bf0a635f56c13)
である。この運動方程式は正準方程式、或いはハミルトン方程式と呼ばれる。
ハミルトン形式において物理量は一般化座標、一般化運動量、および時間の関数
として書かれる。物理量の時間微分は

となる。特にハミルトニアンの時間微分は

である。
ハミルトニアンはラグランジアンから

で定義される。
ラグランジアンが

の形で書かれている場合のハミルトニアンは

となり、運動エネルギーとポテンシャルエネルギーの和、すなわち、系の全エネルギーであることが分かる。
ハミルトニアンの時間微分は

であり、ハミルトニアンが陽に時間に依存しないときには全系のエネルギーが保存する。
なお、ハミルトニアンは一般化座標、一般化運動量、および時間の関数として書かれている量であり、引数が違えば大きさが同じであってもハミルトニアンではない。
ハミルトニアンの定義式内での一般化速度は、一般化運動量の定義式を逆に解いて一般化座標、一般化運動量、および時間の関数
として書かれている。
一般化座標 q、一般化運動量 p から、変換を行って

をしたとき、P,Q と時間の関数として書かれた新たなハミルトニアン H'(P,Q,t) を用いて、

となるとき、この変換を正準変換と言う。
一般化座標と一般化運動量は正準変換によって相互に混ざり合い、両者の区別は曖昧なものとなる。
一般化座標と一般化運動量を総称して正準共役量と呼ぶ。
正準共役量 p,q によって張られる空間は位相空間と呼ばれ、正準変換は二つの位相空間を対応付ける変換である。
ポアソン括弧(ポアソンの括弧式)とは、正準変数と時間の関数として書かれた物理量 A, Bに対して、

で定義される物理量である。
物理量の時間微分はハミルトニアンとのポアソン括弧を用いて

となる。物理量が陽に時間に依存しないときは

となる。
量子力学ではポアソン括弧は正準量子化の手続きによって、正準交換関係と対応付けられる。
ラグランジアン
の全微分は

である。
一般化運動量は
で定義され、ラグランジュの運動方程式から
である。これを用いて先ほどの全微分を書き換えれば、
![{\displaystyle {\begin{aligned}dL&=\sum _{i}(dq_{i}\,{\dot {p}}_{i}+d{\dot {q}}_{i}\,p_{i})+{\frac {\partial L}{\partial t}}dt\\&=\sum _{i}(dq_{i}\,{\dot {p}}_{i}-{\dot {q}}_{i}\,dp_{i}+d({\dot {q}}_{i}\,p_{i})]+{\frac {\partial L}{\partial t}}dt\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f79f13c3fd5ee8912ed6097f4fed9a020208a48e)
となる。全微分を移項して

となる。ハミルトニアン

を定義すれば、

となり、

を得る。