ハミルトン形式の解析力学において、正準変換(せいじゅんへんかん、英: canonical transformation)とは、正準変数を新たなハミルトンの運動方程式を満たす新しい正準変数に写す変数変換。正準変換の下では、正準変数である一般化座標と一般化運動量は互いに混ざり合うことができ、等価な役割を果たす。また、正準変換はポアソン括弧を不変に保つ性質を持つ。幾何学的な観点からは、相空間をシンプレクティック多様体として見做した場合、基本 2形式を保つシンプレクティック同相写像に対応する。
ハミルトン力学では、一般化座標qi (i=1,..,n)と対応する一般化運動量pi (i=1,..,n)の組からなる、正準変数(q, p) = (q1,..., qn ; p1,..., pn) が独立な変数となる。
相空間上の運動は、正準変数と時間tの関数であるハミルトニアンH(q, p, t)を用いて、ハミルトンの運動方程式
![{\displaystyle {\dot {q_{i}}}={\frac {\partial H}{\partial p_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23b395ade8f40fd1e3897201009b517c05a5e728)
![{\displaystyle {\dot {p_{i}}}=-{\frac {\partial H}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b08eb4e5d85d939ae9ae87c0e0a5a6464c0e6792)
によって記述される。但し、ドット記号は時間微分を表す。
ここで、正準変数と時間の関数である新たな変数
![{\displaystyle Q_{i}=Q_{i}(q,p,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e57f79f84f6725d7beb34d20c699298845092ba)
![{\displaystyle P_{i}=P_{i}(q,p,t)\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aac1c0ecebdabaaaa5dff4bde2857d36a64fbe8a)
が新たな正準変数となるとき、すなわち、新たなハミルトニアンK(Q, P, t)が存在して、
![{\displaystyle {\dot {Q_{i}}}={\frac {\partial K}{\partial P_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44589c3688dfe36ff1485dd61d471317fdfeafc3)
![{\displaystyle {\dot {P_{i}}}=-{\frac {\partial K}{\partial Q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4483dc5a02c70a184a9203f4b6c65ee44c06847)
が成り立つとき、(q, p) →(Q, P) を正準変換という[1]。
正準変換の下では、一般化座標と一般化運動量は互いに混ざり合い、等価な役割を果たす。
但し、新たなハミルトニアンが存在し、正準方程式を満たす変数変換を正準変換とする定義は広すぎるため、通常は母関数を通じて構成され、ポアソン括弧を不変に保つものを正準変換として限定する[2][3]。
例えば、定数aによるスケール変換
![{\displaystyle Q_{i}=aq_{i},\quad P_{i}=ap_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc8df81fe704861a5be834a58124ff3a77a70bf9)
![{\displaystyle K=a^{2}H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6956a23a6346f9c2a6aa714660ce47a37926cfb9)
や qi、pi の入れ替えとハミルトニアンの負号を変えた変換
![{\displaystyle Q_{i}=p_{i},\quad P_{i}=q_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca68d443d9b584d7aa1af5f2d86690725feb2c66)
![{\displaystyle K=-H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78aef1e0a3cad4010591b74b4da4569a1bc1c9ce)
は正準方程式を満たすが、正準変換には含めない[2][3]。
正準変換を構成する標準的な手法は、母関数を用いる手法である。ハミルトンの運動方程式は、作用
![{\displaystyle S[q,p]=\int _{t_{1}}^{t_{2}}\left\{\sum _{i=1}^{n}p_{i}{\dot {q}}_{i}-H(q,p,t)\right\}dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ecae5a9046069496083a1e6cebff78f61a9f859)
の変分δSを最小にするというハミルトンの原理(英語版)から導かれる。
したがって、新旧の正準変数とハミルトニアンの間には
![{\displaystyle \sum _{i=1}^{n}p_{i}{\dot {q}}_{i}-H(q,p,t)=\sum _{i=1}^{n}P_{i}{\dot {Q}}_{i}-K(Q,P,t)+{\frac {d}{dt}}W}](https://wikimedia.org/api/rest_v1/media/math/render/svg/268867d7e5b7ee5f0ab2de9a2d76a49570e71b76)
という関係式が成り立つ[注 1]。
但し、W=W(q, p, Q, P, t)は新旧の正準変数と時間の任意の関数である。
特に、(q, p, Q, P)の中から独立な変数として二つを選び、Wを定めた場合、両辺の独立な変数に対する微分を考えることで、Qi=Qi(q, p, t)、Pi=Pi(q, p, t)を定めることができる 。この場合、関数Wを与えることで、正準変換が定まることから、Wを正準変数の母関数と呼ぶ。二つの独立な変数の選び方に応じて、四つのタイプの母関数が存在する。
- タイプ1
独立な変数として(q, Q)を選んだ場合、W1=W1(q, Q, t)はタイプ1の母関数と呼ばれる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。
![{\displaystyle p_{i}={\frac {\partial W_{1}}{\partial q_{i}}},\,\,P_{i}=-{\frac {\partial W_{1}}{\partial Q_{i}}},\,\,H=K-{\frac {\partial W_{1}}{\partial t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d43d08ec127637ca6b2259e4fe47de84e6fb9cd8)
- タイプ2
タイプ1の母関数W1=W1(q, Q, t)に対し、ルジャンドル変換
![{\displaystyle W_{2}(q,P,t)=W_{1}(q,Q,t)+\sum _{i=1}^{n}Q_{i}P_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f3142305f3e35b8fa425e248e370ff5435c33a6)
を施せば、独立な変数として(q, P)を選んだ場合であるタイプ2の母関数W2=W2(q, P, t)が得られる。
このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。
![{\displaystyle Q_{i}={\frac {\partial W_{2}}{\partial P_{i}}},\,\,p_{i}={\frac {\partial W_{2}}{\partial q_{i}}},\,\,H=K-{\frac {\partial W_{2}}{\partial t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d2c6a9778fe19699dfc96bcdf42f5b7d3ea9a58)
- タイプ3
タイプ1の母関数W1=W1(q, Q, t)に対し、ルジャンドル変換
![{\displaystyle W_{3}(Q,p,t)=W_{1}(q,Q,t)-\sum _{i=1}^{n}q_{i}p_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78da0dd9e2ee4a0e69d210b288fd028db46f88f3)
を施せば、独立な変数として(Q, p)を選んだ場合であるタイプ3の母関数W3=W3(Q, p, t)が得られる。
このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。
![{\displaystyle q_{i}=-{\frac {\partial W_{3}}{\partial p_{i}}},\,\,P_{i}=-{\frac {\partial W_{3}}{\partial Q_{i}}},\,\,H=K-{\frac {\partial W_{3}}{\partial t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1058ca5afdee6161c96feeb42a029f8473a2cab0)
- タイプ4
タイプ2の母関数W2=W2(q, P, t)に対し、ルジャンドル変換
![{\displaystyle W_{4}(p,P,t)=W_{2}(q,P,t)-\sum _{i=1}^{n}q_{i}p_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b25a2d6f9d66d3cbab5e1f4a713f6bb3e6c62547)
を施せば、独立な変数として(p, P)を選んだ場合であるタイプ3の母関数W4=W4(p, P, t)が得られる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。
![{\displaystyle q_{i}=-{\frac {\partial W_{4}}{\partial p_{i}}},\,\,Q_{i}={\frac {\partial W_{4}}{\partial P_{i}}},\,\,H=K-{\frac {\partial W_{4}}{\partial t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b68593765e344a19956c276feb7cbf970b53d834)
正準変換の最も簡単な例は、恒等変換Q=q、P=pである。この場合、新たなハミルトニアンはK(Q, P, t)=H(q, p, t)と不変である。
この正準変換の母関数は
![{\displaystyle W_{2}(q,P)=\sum _{i=1}^{n}q_{i}P_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/436bf855ad05d1abdafce3050adec8403c04a122)
であり、この場合、新旧の正準変数の間には
![{\displaystyle p_{i}={\frac {\partial W_{2}}{\partial q_{i}}}=P_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13c90f586ba9a90197e0dabfcf8f687498cce1e3)
![{\displaystyle Q_{i}={\frac {\partial W_{2}}{\partial P_{i}}}=q_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d160c57fb67b685be4343e7d6af9ad5d266f394b)
の関係が満たされている。
任意の系において、一般化座標と一般化運動量の符号を込めた交換
![{\displaystyle Q_{i}=p_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1886d5f326f0282cfcf06447b07f920fe8c738b8)
![{\displaystyle P_{i}=-q_{i}\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a4a082f21cd0209acfe54fd0eeaed8e286f2ba2)
は正準変換である。この場合、新たなハミルトニアンはK(Q, P, t)=H(q, p, t)=H(-P, Q, t)と不変である。
この正準変換の母関数は
![{\displaystyle W_{1}(q,Q)=\sum _{i=1}^{n}q_{i}Q_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04eaa1a3239f80d79315978ab286363d7f85cf52)
であり、この場合、新旧の正準変数の間には
![{\displaystyle p_{i}={\frac {\partial W_{1}}{\partial q_{i}}}=Q_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6821e2c365349c557e276c99bcac0490dfad09a3)
![{\displaystyle P_{i}=-{\frac {\partial W_{1}}{\partial Q_{i}}}=-q_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae573ac958a124534563960628690c143c3714d2)
の関係が満たされている。
質量m、角振動数ωの一次元調和振動子では、ハミルトニアンは
![{\displaystyle H(q,p)={\frac {1}{2m}}p^{2}+{\frac {m\omega ^{2}}{2}}q^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/485b2516d83fdefe95ac7718000b7d2878586a3b)
で与えられる。母関数を
![{\displaystyle W_{1}(q,Q)={\frac {1}{2}}m\omega q^{2}\operatorname {cot} {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88dd4d4276bb1e51fdae4a0c0c0fb758786ce658)
で与えると、新旧の正準変数の間には
![{\displaystyle p={\frac {\partial W_{1}}{\partial q}}=m\omega q\operatorname {cot} {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4eb22ad26cb03eda50853bb93012bd8a39de0575)
![{\displaystyle P=-{\frac {\partial W_{1}}{\partial Q}}={\frac {1}{2}}m\omega q^{2}{\frac {1}{\sin ^{2}{Q}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54909b9735d1900171b828895a641b4708a7c62e)
の関係が成り立つ。
また、新しいハミルトニアンは、
![{\displaystyle K(Q,P)=H(q,p)=\omega P}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a6adb700f09bacc972f5fc1dbaf25b7f9f749f5)
とPだけの関数となる。すなわち、Qは循環座標である。この場合、QとPの時間発展は、
![{\displaystyle Q(t)=\omega t+\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/232b0504105d1fd5bdbdc55c5b27004b0cb92308)
![{\displaystyle P(t)={\frac {E}{\omega }}=\operatorname {const.} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/48fbfc5887581528b7e96ca76d4ba9e48c0db060)
と簡単な形で求まる。但し、βは任意の定数、Eは保存量である系のエネルギーである。
電磁ポテンシャルのゲージ変換は、座標qを変化させない正準変換
![{\displaystyle Q_{i}=q_{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a590d557e7f1ee289fb87596cab600cc8b66b055)
![{\displaystyle P_{i}=p_{i}+e{\frac {\partial u}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a798ef438205f8b9212799cb438f0af5a3157c42)
に対応する[4]。この正準変換の母関数は
![{\displaystyle W_{1}(q,P,t)=\sum _{i}q_{i}P_{i}-eu(q,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2042b8be2aaaf5bf54a7d0d65685c66151a7c517)
であり、新旧の正準変数の間には
![{\displaystyle Q_{i}={\frac {\partial W_{1}}{\partial P_{i}}}=q_{i},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dbcadc54c83144026d7b4d14b5a69e3bce128ce)
![{\displaystyle p_{i}={\frac {\partial W_{1}}{\partial q_{i}}}=P_{i}-e{\frac {\partial u}{\partial q_{i}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acec9b0c894639e1f8ac0311c612b00a9bb5916c)
![{\displaystyle H=K-{\frac {\partial W_{1}}{\partial t}}=K+e{\frac {\partial u}{\partial t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ae6d111026f617b18374833043587439f8304af)
の関係が成り立つ。荷電粒子のハミルトニアンHが電磁ポテンシャルϕ, Aを用いて
![{\displaystyle H={\frac {1}{2m}}\sum _{i}(p_{i}-eA_{i})^{2}+e\phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfdcdd67b182f6efe408560c3a71fbcf97c357d1)
で表されることから、新しい正準変数でも同じ形式
![{\displaystyle K={\frac {1}{2m}}\sum _{i}(P_{i}-eA'_{i})^{2}+e\phi '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e14a67939e23f53ad0f5b871d7b08295522f17a)
が成り立つことが分かる。ここでϕ′, A′はゲージ変換した電磁ポテンシャル
![{\displaystyle \phi '=\phi -{\frac {\partial u}{\partial t}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/799d9b2dee6315a6b5c50062c56e2655a18b01ac)
![{\displaystyle A'_{i}=A_{i}+{\frac {\partial u}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a1a3765438455f99683de9640d72ffbd27fcb68)
である。
正準変換(q, p) →(Q, P) に対し、ポアソン括弧は不変に保たれる。すなわち、元の正準変数に対するポアソン括弧を{ , }q,p、新しい正準変数に対するポアソン括弧を{ , }Q,Pと表すと、
が成り立つ。逆にポアソン括弧を不変に保つ変数変換は正準変換となる。ポアソン括弧の不変性が成り立つには、
![{\displaystyle \{Q_{i},Q_{j}\}_{q,p}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05b84d35f48b3f5d0da5feebbddb58d3ab5b2315)
![{\displaystyle \{P_{i},P_{j}\}_{q,p}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/075dab6aabd60c1ed6491c438fba547413e65641)
![{\displaystyle \{Q_{i},P_{j}\}_{q,p}=\delta _{ij}\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76a8687ac42ce704970c84d1f2b7de955ddc5378)
が満たされていればよい。但し、δijはクロネッカーのデルタである。
正準変換は次の性質を満たしており、群の構造を持つ。
- 恒等変換は正準変換である。
- 正準変換に対し、逆変換が存在し、逆変換も正準変換となる。
- 2つの正準変換の合成は正準変換である。
- 正準変換の合成は結合法則を満たす。
正準変数(q, p)を微小変化させる微小正準変換
![{\displaystyle Q_{i}=q_{i}+\delta q_{i}(q,p,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/900e96120e3ccc17e393831a242217104ef09eca)
![{\displaystyle P_{i}=p_{i}+\delta p_{i}(q,p,t)\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b770c59274abbdd79fb45e07688a8edf40a0e14)
の母関数は、恒等変換を与える母関数にεG(q, P, t)を加えた
![{\displaystyle W_{2}(q,P)=\sum _{i=1}^{n}q_{i}P_{i}+\epsilon G(q,P,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed53a482c44996975219a2d21589d1282c937029)
の形で与えられる。但し、εは微小定数、 G(q, P, t)は任意の関数である。
このとき、微小変化(δq, δp)は
![{\displaystyle \delta q_{i}(q,p,t)=\epsilon {\frac {\partial G(q,p,t)}{\partial p_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7e996c767b680bac1752c68af08fee563a8bc4)
![{\displaystyle \delta p_{i}(q,p,t)=-\epsilon {\frac {\partial G(q,p,t)}{\partial q_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fab9967dd8628b7798abb4bc727d53fcd19d7872)
となる。任意の力学量F(q, p, t)に対し、微小正準変換に対する変化
![{\displaystyle \delta F=F(q+\delta q,p+\delta p,t)-F(q,p,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ae3ce7ac30428754a572b1286db67f2cee182d4)
は、ポアソン括弧を用いて、
![{\displaystyle \delta F=\epsilon \{F,G\}_{p,q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a87a1cdd332761cde2e59818def969a1590f6953)
で与えられる。
- 時間発展
Gとして、ハミルトニアンH(q, p, t)をとれば、
![{\displaystyle \delta q_{i}=\epsilon {\frac {\partial H(q,p,t)}{\partial p_{i}}}=\epsilon {\dot {q}}_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fe8f11404043044d8c8188dc3e368a0671cf3c5)
![{\displaystyle \delta q_{i}=-\epsilon {\frac {\partial H(q,p,t)}{\partial q_{i}}}=\epsilon {\dot {p}}_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b97a7b378f75ad506343ce0f0659aae94d3067f)
であるから、正準変換は
![{\displaystyle Q_{i}=q_{i}(t)+\delta q_{i}=q_{i}(t+\epsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55294530130d5fad895c74362757da93648825c7)
![{\displaystyle P_{i}=p_{i}(t)+\delta p_{i}=p_{i}(t+\epsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afb4be04629f412fe8569b9406fb7265556625e1)
となる。すなわち、微小時間εにおける時間発展は、ハミルトニアンによる微小正準変換となる。有限時間での時間発展は、微小時間における時間発展を繰り返し合成することで得られる。正準変換の合成も正準変換であるため、(q, p)の時間発展は、正準変換の特別な例となっている。
相空間の体積要素
![{\displaystyle \prod _{i=1}^{n}dq_{i}dp_{i}=dq_{1}dp_{1}\cdots dq_{n}dp_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a2ffbb9b39adb6c106e61dd3757e1f00df67653)
は正準変換(q, p) →(Q, P) の下、不変となる。
![{\displaystyle \prod _{i=1}^{n}dq_{i}dp_{i}=\prod _{i=1}^{n}dQ_{i}dP_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/785315e62ba7bccfb626b82c49fc38986de125f5)
したがって、相空間のある領域γが正準変換により、領域Γに写されるとすると、
![{\displaystyle \int \cdots \int _{\gamma }\prod _{i=1}^{n}dq_{i}dp_{i}=\int \cdots \int _{\Gamma }\prod _{i=1}^{n}dQ_{i}dP_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abe6adc3644088fe2365099447844e38cf3a8169)
が成り立つ。すなわち、領域γの体積は正準変換(q, p) →(Q, P) で不変に保たれる。
特に、時間発展は正準変換の特別な例であり、領域γ(t)の時間発展を考えると、リウヴィルの定理
![{\displaystyle \int \cdots \int _{\gamma (t)}\prod _{i=1}^{n}dq_{i}dp_{i}=\operatorname {const.} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/443967b9d8c93cb5aa59f34663f28f297e17c9ef)
が導かれる。
新ハミルトニアンが恒等的にゼロ K(Q, P, t)≡0となる正準変換(q, p) →(Q, P) を考えると
、ハミルトンの運動方程式は
![{\displaystyle {\dot {Q_{i}}}={\frac {\partial K}{\partial P_{i}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b0c02ae55ff3360b8acd4d4e93913d662d27151)
![{\displaystyle {\dot {P_{i}}}=-{\frac {\partial K}{\partial Q_{i}}}=0\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59d89fda19cdabc41860679458442d40b349725d)
と簡単な形になる。このとき、新たな正準変数(Q, P) は定数(β, α)となる。
![{\displaystyle Q_{i}=\beta _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc2c834a79e5863a76d0f27802440f6bc8461091)
![{\displaystyle P_{i}=\alpha _{i}\quad (i=1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e6f589d1987272663fab0f06843756934be6759)
このような正準変換を生む母関数として、タイプ2の母関数S=W2(q, P, t)を選べば、母関数S(q, P, t)と元のハミルトニアンH(q, p, t)の間には、
![{\displaystyle H\left(q,{\frac {\partial S}{\partial q}},t\right)+{\frac {\partial S}{\partial t}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a75234b6341084676ad938d6b1b04eba9a236736)
という関係式が成り立つ。但し、K(Q, P, t)≡0とpi=∂ S/∂ qiであることを用いている。この1階の偏微分方程式をハミルトン-ヤコビ方程式という。
- ^ 実際は、左辺に定数λ≠0を乗じる自由度があるが、正準変数のスケール変換を考えることでλ=1としてよい。(H. Goldstein,C. Poole and J. Safko(2000)chapter.9を参照)