正準変換のソースを表示

[[ハミルトン力学|ハミルトン形式の解析力学]]において、'''正準変換'''（せいじゅんへんかん、{{lang-en-short|canonical transformation}}）とは、[[正準変数]]を新たなハミルトンの運動方程式を満たす新しい正準変数に写す[[変数変換]]。正準変換の下では、正準変数である[[一般化座標]]と[[一般化運動量]]は互いに混ざり合うことができ、等価な役割を果たす。また、正準変換は[[ポアソン括弧]]を不変に保つ性質を持つ。幾何学的な観点からは、[[相空間]]を[[シンプレクティック多様体]]として見做した場合、基本 2形式を保つ[[シンプレクティック同相写像]]に対応する。

== 概要 ==
[[ハミルトン力学]]では、[[一般化座標]]{{math|''q<sub>i</sub>'' (''i''{{=}}1,..,''n'')}}と対応する[[一般化運動量]]{{math|''p<sub>i</sub>'' (''i''{{=}}1,..,''n'')}}の組からなる、[[正準変数]]{{math|(''q, p'') {{=}} (''q''<sub>1</sub>,..., ''q<sub>n</sub>'' ; ''p''<sub>1</sub>,..., ''p<sub>n</sub>'')}} が独立な変数となる。

[[相空間]]上の運動は、正準変数と時間{{mvar|t}}の関数である[[ハミルトニアン]]{{math|''H''(''q, p, t'')}}を用いて、ハミルトンの運動方程式

:<math>
\begin{align}
\dot{q_i} &= \frac{\partial H}{\partial p_i} \\
\dot{p_i} &= -\frac{\partial H}{\partial q_i}
\end{align}
</math>

によって記述される。但し、ドット記号は[[時間微分]]を表す。

ここで、正準変数と時間の関数である新たな変数

:<math>
\begin{align}
Q_i &= Q_i(q,p,t) \\
P_i &= P_i(q,p,t) \quad (i=1, \dots, n)
\end{align}
</math>

が新たな正準変数となるとき、すなわち、新たなハミルトニアン{{math|''K''(''Q, P, t'')}}が存在して、

:<math>
\begin{align}
\dot{Q_i} &= \frac{\partial K}{\partial P_i} \\
\dot{P_i} &= -\frac{\partial K}{\partial Q_i}
\end{align}
</math>

が成り立つとき、{{math|(''q, p'') &rarr;(''Q, P'') }}を'''正準変換'''という<ref name="namiki1991_sect5.1">[[#namiki1991：|並木 (1991)、&sect;5.1]]</ref>。
正準変換の下では、一般化座標と一般化運動量は互いに混ざり合い、等価な役割を果たす。

但し、新たなハミルトニアンが存在し、正準方程式を満たす変数変換を正準変換とする定義は広すぎるため、通常は母関数を通じて構成され、[[ポアソン括弧]]を不変に保つものを正準変換として限定する<ref name="ezawa2007_sect6.2">[[#namiki1991：|江沢 (2007)、&sect;6.2]]</ref><ref name="hatake2014_sect7.1">[[#hatake2014_：|畑 (2014)、&sect;7.1]]</ref>。
例えば、定数{{mvar|a}}によるスケール変換

:<math>
\begin{align}
Q_i=aq_i, \quad P_i=ap_i \\
K=a^2H
\end{align}</math>

や {{mvar|q<sub>i</sub>}}、{{mvar|p<sub>i</sub>}} の入れ替えとハミルトニアンの負号を変えた変換

:<math>Q_i=p_i, \quad P_i=q_i</math>
:<math>K=-H</math>

は正準方程式を満たすが、正準変換には含めない<ref name="ezawa2007_sect6.2"></ref><ref name="hatake2014_sect7.1"></ref>。

== 母関数による構成 ==
正準変換を構成する標準的な手法は、[[母関数]]を用いる手法である。ハミルトンの運動方程式は、[[作用 (物理学)|作用]]

:<math>
S[q,p]
=\int_{t_1}^{t_2} \left \{ \sum_{i=1}^{n}p_i\dot{q}_i
-H(q,p,t) \right \} dt 
</math>

の[[変分]]{{math|&delta;S}}を最小にするという{{Ill|ハミルトンの原理|en|Hamilton's principle}}から導かれる。
したがって、新旧の正準変数とハミルトニアンの間には

:<math>
\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
</math>
という関係式が成り立つ<ref group="注">実際は、左辺に定数{{math|&lambda;&ne;0}}を乗じる自由度があるが、正準変数のスケール変換を考えることで{{math|&lambda;{{=}}1}}としてよい。(H. Goldstein，C. Poole and J. Safko（2000）chapter.9を参照)</ref>。
但し、{{math|''W''{{=}}''W''(''q'', ''p'', ''Q'', ''P'', ''t'')}}は新旧の正準変数と時間の任意の関数である。

特に、{{math|(''q'', ''p'', ''Q'', ''P'')}}の中から独立な変数として二つを選び、{{mvar|W}}を定めた場合、両辺の独立な変数に対する微分を考えることで、{{math|''Q''<sub>i</sub>{{=}}''Q''<sub>i</sub>(''q, p, t'')}}、{{math|''P''<sub>i</sub>{{=}}''P''<sub>i</sub>(''q, p, t'')}}を定めることができる 。この場合、関数{{mvar|W}}を与えることで、正準変換が定まることから、{{mvar|W}}を'''正準変数の母関数'''と呼ぶ。二つの独立な変数の選び方に応じて、四つのタイプの母関数が存在する。

;タイプ1
独立な変数として{{math|(''q, Q'')}}を選んだ場合、{{math|''W''<sub>1</sub>{{=}}''W''<sub>1</sub>(''q, Q, t'')}}はタイプ1の母関数と呼ばれる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

:<math>
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}
</math>

;タイプ2
タイプ1の母関数{{math|''W''<sub>1</sub>{{=}}''W''<sub>1</sub>(''q, Q, t'')}}に対し、[[ルジャンドル変換]]

:<math>
W_2(q,P,t)=W_1(q,Q,t)+\sum_{i=1}^nQ_iP_i
</math>

を施せば、独立な変数として{{math|(''q, P'')}}を選んだ場合であるタイプ2の母関数{{math|''W''<sub>2</sub>{{=}}''W''<sub>2</sub>(''q, P, t'')}}が得られる。
このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

:<math>
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}
</math>

;タイプ3
タイプ1の母関数{{math|''W''<sub>1</sub>{{=}}''W''<sub>1</sub>(''q, Q, t'')}}に対し、ルジャンドル変換

:<math>
W_3(Q,p,t)=W_1(q,Q,t)-\sum_{i=1}^nq_ip_i
</math>

を施せば、独立な変数として{{math|(''Q, p'')}}を選んだ場合であるタイプ3の母関数{{math|''W''<sub>3</sub>{{=}}''W''<sub>3</sub>(''Q, p, t'')}}が得られる。
このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

:<math>
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}
</math>

;タイプ4
タイプ2の母関数{{math|''W''<sub>2</sub>{{=}}''W''<sub>2</sub>(''q, P, t'')}}に対し、ルジャンドル変換

:<math>
W_4(p,P,t)=W_2(q,P,t)-\sum_{i=1}^nq_ip_i
</math>

を施せば、独立な変数として{{math|(''p, P'')}}を選んだ場合であるタイプ3の母関数{{math|''W''<sub>4</sub>{{=}}''W''<sub>4</sub>(''p, P, t'')}}が得られる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

:<math>
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}
</math>

== 例 ==
=== 恒等変換 ===
正準変換の最も簡単な例は、[[恒等変換]]{{math|''Q''{{=}}''q''}}、{{math|''P''{{=}}''p''}}である。この場合、新たなハミルトニアンは{{math|''K''(''Q, P, t''){{=}}''H''(''q, p, t'')}}と不変である。

この正準変換の母関数は

:<math>
W_2(q,P)=\sum_{i=1}^{n}q_iP_i
</math>

であり、この場合、新旧の正準変数の間には

:<math>
p_i=\frac{\partial W_2}{\partial q_i}=P_i
</math>
:<math>
Q_i=\frac{\partial W_2}{\partial P_i}=q_i
</math>

の関係が満たされている。

=== 一般化座標と一般化運動量の交換 ===
任意の系において、一般化座標と一般化運動量の符号を込めた交換

:<math>
Q_i=p_i
</math>
:<math>
 P_i=-q_i \quad (i=1, \cdots, n)
</math>

は正準変換である。この場合、新たなハミルトニアンは{{math|''K''(''Q, P, t''){{=}}''H''(''q, p, t''){{=}}''H''(''-P, Q, t'')}}と不変である。

この正準変換の母関数は

:<math>
W_1(q,Q)=\sum_{i=1}^{n}q_iQ_i
</math>

であり、この場合、新旧の正準変数の間には

:<math>
p_i=\frac{\partial W_1}{\partial q_i}=Q_i
</math>
:<math>
P_i=-\frac{\partial W_1}{\partial Q_i}=-q_i
</math>

の関係が満たされている。

=== 一次元調和振動子 ===
質量{{mvar|m}}、角振動数{{mvar|&omega;}}の一次元[[調和振動子]]では、ハミルトニアンは

:<math>
H(q,p) = \frac{1}{2m}p^2 + \frac{m\omega^2}{2}q^2
</math>

で与えられる。母関数を

:<math>
W_1(q,Q)=\frac{1}{2}m \omega q^2 \operatorname{cot}{Q}
</math>

で与えると、新旧の正準変数の間には

:<math>
p=\frac{\partial W_1}{\partial q}=m \omega q \operatorname{cot}{Q}
</math>
:<math>
P=-\frac{\partial W_1}{\partial Q}=\frac{1}{2}m \omega q^2 \frac{1}{\sin^2{Q}}
</math>

の関係が成り立つ。

また、新しいハミルトニアンは、

:<math>
K(Q,P)=H(q, p)=\omega P
</math>
と{{mvar|P}}だけの関数となる。すなわち、{{mvar|Q}}は[[循環座標]]である。この場合、{{mvar|Q}}と{{mvar|P}}の時間発展は、

:<math>
Q(t)=\omega t+ \beta
</math>
:<math>
P(t)=\frac{E}{\omega}=\operatorname{const.}
</math>

と簡単な形で求まる。但し、{{mvar|&beta;}}は任意の定数、{{mvar|E}}は[[保存量]]である系のエネルギーである。

=== ゲージ変換 ===
[[電磁ポテンシャル#ゲージ変換|電磁ポテンシャルのゲージ変換]]は、座標{{mvar|q}}を変化させない正準変換
:<math>Q_i=q_i,</math>
:<math>P_i=p_i+ e\frac{\partial u}{\partial q_i}</math>
に対応する<ref>{{Cite web|和書|url=https://www7b.biglobe.ne.jp/~fortran/education/canonical.pdf|title=正準変換 覚え書き - 簡単な場合ほど面食らう？|author=冨田博之|accessdate = 2022-06-18}}</ref>。この正準変換の母関数は
:<math>W_1(q,P,t)=\sum_i q_iP_i-eu(q,t) </math>
であり、新旧の正準変数の間には
:<math>Q_i=\frac{\partial W_1}{\partial P_i}=q_i,</math>
:<math>p_i=\frac{\partial W_1}{\partial q_i}=P_i-e\frac{\partial u}{\partial q_i},</math>
:<math>H=K-\frac{\partial W_1}{\partial t}=K+e\frac{\partial u}{\partial t}</math>
の関係が成り立つ。荷電粒子のハミルトニアン{{mvar|H}}が電磁ポテンシャル{{math|''&varphi;'', ''A''}}を用いて
:<math>H=\frac{1}{2m}\sum_i (p_i-eA_i)^2+e\phi</math>
で表されることから、新しい正準変数でも同じ形式
:<math>K=\frac{1}{2m}\sum_i (P_i-eA'_i)^2+e\phi'</math>
が成り立つことが分かる。ここで{{math|''&varphi;''&prime;, ''A''&prime;}}はゲージ変換した電磁ポテンシャル
:<math>\phi'=\phi-\frac{\partial u}{\partial t},</math>
:<math>A'_i=A_i+\frac{\partial u}{\partial q_i}</math>
である。

== 正準変換の性質 ==
=== ポアソン括弧の不変性 ===
正準変換{{math|(''q, p'') &rarr;(''Q, P'') }}に対し、[[ポアソン括弧]]は不変に保たれる。すなわち、元の正準変数に対するポアソン括弧を{{math|&#123; , &#125;<sub>q,p</sub>}}、新しい正準変数に対するポアソン括弧を{{math|&#123; , &#125;<sub>Q,P</sub>}}と表すと、

<math>
\{ f, g \}_{q,p}=\{ f, g \}_{Q,P}
</math>

が成り立つ。逆にポアソン括弧を不変に保つ変数変換は正準変換となる。ポアソン括弧の不変性が成り立つには、

:<math>
\{ Q_i, Q_j \}_{q,p}=0
</math>
:<math>
\{ P_i, P_j \}_{q,p}=0
</math>
:<math>
\{ Q_i, P_j \}_{q,p}=\delta_{ij} \quad (i=1,\cdots,n)
</math>

が満たされていればよい。但し、{{math|&delta;<sub>ij</sub>}}は[[クロネッカーのデルタ]]である。

=== 群の構造 ===
正準変換は次の性質を満たしており、[[群 (数学)|群]]の構造を持つ。

* 恒等変換は正準変換である。
* 正準変換に対し、[[逆変換]]が存在し、逆変換も正準変換となる。
* ２つの正準変換の[[写像の合成|合成]]は正準変換である。
* 正準変換の合成は[[結合法則]]を満たす。

== 微小正準変換と対称性 ==
=== 微小正準変換 ===
正準変数{{math|(''q, p'')}}を微小変化させる微小正準変換

:<math>
Q_i=q_i+\delta q_i(q,p,t)
</math>
:<math>
P_i=p_i+\delta p_i(q,p,t) \quad (i=1,\cdots,n)
</math>

の母関数は、恒等変換を与える母関数に{{math|&epsilon;''G''(''q, P, t'')}}を加えた

:<math>
W_2(q,P)=\sum_{i=1}^{n}q_iP_i+\epsilon G(q, P, t)
</math>

の形で与えられる。但し、{{mvar|&epsilon;}}は微小定数、 {{math|''G''(''q, P, t'')}}は任意の関数である。

このとき、微小変化{{math|(&delta;''q'', &delta;''p'')}}は

:<math>
\delta q_i(q,p,t)=\epsilon \frac{\partial G(q,p,t)}{\partial p_i}
</math>
:<math>
\delta p_i(q,p,t)=-\epsilon \frac{\partial G(q,p,t)}{\partial q_i}
</math>

となる。任意の力学量{{math|''F''(''q, p, t'')}}に対し、微小正準変換に対する変化

:<math>
\delta F= F(q+\delta q, p+\delta p,t)-F(q, p, t)
</math>

は、ポアソン括弧を用いて、

:<math>
\delta F = \epsilon \{F, G \}_{p,q}
</math>

で与えられる。

=== 例 ===
;時間発展
{{mvar|G}}として、ハミルトニアン{{math|''H''(''q, p, t'')}}をとれば、

:<math>
\delta q_i =\epsilon \frac{\partial H(q,p,t)}{\partial p_i}=\epsilon \dot{q}_i
</math>
:<math>
\delta q_i =- \epsilon \frac{\partial H(q,p,t)}{\partial q_i}=\epsilon \dot{p}_i
</math>

であるから、正準変換は

:<math>
Q_i=q_i(t) +\delta q_i =q_i(t+\epsilon)
</math>
:<math>
P_i=p_i(t) +\delta p_i =p_i(t+\epsilon)
</math>

となる。すなわち、微小時間{{mvar|&epsilon;}}における時間発展は、ハミルトニアンによる微小正準変換となる。有限時間での時間発展は、微小時間における時間発展を繰り返し合成することで得られる。正準変換の合成も正準変換であるため、{{math|(''q, p'')}}の時間発展は、正準変換の特別な例となっている。

== リウヴィルの定理 ==
{{main|リウヴィルの定理 (物理学)}}
相空間の[[体積要素]]

:<math>
\prod_{i=1}^{n}dq_i dp_i=dq_1 dp_1 \cdots dq_n dp_n
</math>

は正準変換{{math|(''q, p'') &rarr;(''Q, P'') }}の下、不変となる。

:<math>
\prod_{i=1}^{n}dq_i dp_i=\prod_{i=1}^{n}dQ_i dP_i
</math>

したがって、相空間のある領域{{mvar|&gamma;}}が正準変換により、領域{{mvar|&Gamma;}}に写されるとすると、

:<math>
\int \cdots \int_{\gamma} \prod_{i=1}^{n}dq_i dp_i
=\int \cdots \int_{\Gamma}\prod_{i=1}^{n}dQ_i dP_i
</math>

が成り立つ。すなわち、領域{{mvar|&gamma;}}の体積は正準変換{{math|(''q, p'') &rarr;(''Q, P'') }}で不変に保たれる。

特に、時間発展は正準変換の特別な例であり、領域{{mvar|&gamma;(''t'')}}の時間発展を考えると、リウヴィルの定理

:<math>
\int \cdots \int_{\gamma(t)} \prod_{i=1}^{n}dq_i dp_i
=\operatorname{const.}
</math>

が導かれる。

== ハミルトン-ヤコビの理論 ==
{{main|ハミルトン-ヤコビ方程式}}
新ハミルトニアンが恒等的にゼロ {{math|K(''Q, P, t'')&equiv;0}}となる正準変換{{math|(''q, p'') &rarr;(''Q, P'') }}を考えると
、ハミルトンの運動方程式は

:<math>
\dot{Q_i}=\frac{\partial K}{\partial P_i}=0
</math>
:<math>
\dot{P_i}=-\frac{\partial K}{\partial Q_i}=0  \quad (i=1, \cdots, n)
</math>

と簡単な形になる。このとき、新たな正準変数{{math|(''Q, P'') }}は定数{{math|(''&beta;, &alpha;'')}}となる。

:<math>
Q_i=\beta_i
</math>
:<math>
P_i=\alpha_i \quad (i=1, \cdots, n)
</math>

このような正準変換を生む母関数として、タイプ2の母関数{{math|''S''{{=}}''W''<sub>2</sub>(''q, P, t'')}}を選べば、母関数{{math|''S''(''q, P, t'')}}と元のハミルトニアン{{math|H(''q, p, t'')}}の間には、

:<math>
H \left (q,\frac{\partial S}{\partial q} ,t \right )+\frac{\partial S}{\partial t}=0
</math>

という関係式が成り立つ。但し、{{math|K(''Q, P, t'')&equiv;0}}と{{math|''p<sub>i</sub>''{{=}}&part; S/&part; ''q<sub>i</sub>''}}であることを用いている。この1階の偏微分方程式を'''ハミルトン-ヤコビ方程式'''という。

== 幾何学的観点 ==
{{main|シンプレクティック同相写像}}

== 脚注 ==
{{脚注ヘルプ}}
===注===
{{reflist|group="注"}}
===出典===
{{reflist|30em}}

== 参考文献 ==
*{{Cite book |
|title= Classical Mechanics
|author1=Herbert Goldstein
|authorlink1=:en:Herbert Goldstein
|author2=Charles Poole
|authorlink2=:en:Charles Poole
|author3=John Safko 
|authorlink3=:en:John Safko 
|edition=3rd
|publisher=Addison Wesley
|year=2001
|isbn=978-0201657029
|ref=goldstein_poole_safko2001}}
*{{Cite book |
|title= Classical Dynamics: A Contemporary Approach
|author1=Jorge V. José
|authorlink1=
|author2= Eugene J. Saletan
|authorlink2=
|series=
|publisher=Cambridge University Press
|year=2013
|isbn=978-0521636360
|ref=jose_saletan2013}}
*{{Cite book |和書
|title=解析力学 
|author1=江沢洋
|authorlink1=江沢洋
|series=新物理学シリーズ
|publisher=培風館
|year=2007
|isbn=978-4563024369
|ref=ezawa2007}}
*{{Cite book |和書
|title=解析力学
|author1=畑浩之
|authorlink1=畑浩之
|author2=植松恒夫 (編集)
|authorlink2=植松恒夫
|author3 =青山秀明 (編集)
|authorlink3=青山秀明
|author4= 益川敏英 (監修)
|authorlink4= 益川敏英 
|series =基幹講座 物理学
|publisher=東京図書
|year=2014
|isbn=978-4489021688
|ref=hatake2014}}
*{{Cite book |和書
|title=解析力学
|author1=並木美喜雄
|authorlink1=並木美喜雄
|series=パリティ物理学コース
|publisher=丸善出版
|year=1991
|isbn=978-4621036372
|ref=namiki1991}}
*{{Cite book |和書
|title=解析力学I
|author1=山本義隆
|authorlink1=山本義隆
|author2=中村孔一
|authorlink2=中村孔一
|series=朝倉物理学大系
|publisher= 朝倉書店 
|year=1998
|isbn=978-4254136715
|ref=yamamoto_nakamura_1998a}}
*{{Cite book |和書
|title=解析力学II
|author1=山本義隆
|authorlink1=山本義隆
|author2=中村孔一
|authorlink2=中村孔一
|series=朝倉物理学大系
|publisher= 朝倉書店 
|year=1998
|isbn=978-4254136722
|ref=yamamoto_nakamura_1998b}}

== 関連項目 ==
* [[ハミルトン力学]]
** [[正準変数]]

{{DEFAULTSORT:せいしゆんへんかん}}
[[Category:力学]]
[[Category:ハミルトン力学]]
[[Category:変換 (数学)]]