正準座標

数学や古典力学において、正準座標(canonical coordinates)は、任意に与えられた点の（相空間の中の系を特定する）ある時間での物理系を記述することのできる座標系である。正準座標は、古典力学でのハミルトン定式化で使われる。密接に関連する考え方は、量子力学の中にも現れる。詳細は、テンプレート:仮リンク(Stone–von Neumann theorem)や正準交換関係を参照。

ハミルトン力学を一般化してシンプレクティック幾何学とし、正準変換を一般化しテンプレート:仮リンク(contact transformation)とすると、多様体上の余接バンドルのより抽象的な定義へ一般化することができる。

古典力学での定義

古典力学において、正準座標は、相空間の中の座標 $q_i$ と $p_i$ であり、ハミルトン定式化の中で使われる。正準座標は、基本的なポアソン括弧の関係式

$\{q_i,q_j\}=0\{p_i,p_j\}=0\{q_i,p_j\}={\delta }_{ij}$

を満す。正準座標の典型例は、$q_i$ を通常の直交座標系とし、$p_i$ を運動量の成分とする例である。従って、一般的には、$p_i$ 座標は「共役運動量」を表わす。

正準座標は、ルジャンドル変換によりラグラジアン定式化の一般座標から、あるいは、正準変換により他の正準座標系から得られる。

余接バンドル上での定義

正準座標は、多様体の余接バンドル上の特別な座標系として定義される。正準座標は通常、座標系 $(q^i,p_j)$ または $(x^i,p_j)$ として書かれ、x または q は基礎となる多様体上の座標を表し、p は共役運動量を表す。共役運動量は、多様体の点 q での余接バンドル内の1形式である。

正準座標の共通な定義は、テンプレート:仮リンク(canonical one-form)が

$\sum _i{p}_i\mathrm{d}{q}^i$

と書くことができるような余接バンドル上の座標系で、全微分に対し一意的に定義される。この形式を保存する座標変換は、正準変換である。これらはシンプレクティック同相写像の特別な場合であり、本質的にはシンプレクティック多様体上の座標変換である。

次に述べることは、多様体が実多様体であると仮定し、従って、接ベクトルに作用する余接ベクトルが実数となる。

発展

多様体 Q が与えられると、その上のベクトル場 X は（同じことであるが、接バンドル TQ の切断）、余接バンドル上に作用する函数と考えられる。すると、接空間と余接空間の双対性により、このことは、函数

$P_X:T^{*}Q\to ℝ$

を定義し、

$P_X(q,p)=p(X_q)$

が $T_q^{*}Q$ の中のすべての余接ベクトル p に対して成立する。ここに、$X_q$ は点 q での多様体 Q の接空間 $T_{q}Q$ の上のベクトルである。函数 $P_X$ は X に対応する運動量函数と呼ばれる。

局所座標系では、点 q でのベクトル場 X は、

$X_q=\sum _i{X}^i(q)\frac{\partial }{\partial q^i}$

と書くことができる。ここに $\partial /\partial q^i$ は TQ の座標系である．共役運動量は、

$P_X(q,p)=\sum _i{X}^i(q)p_i$

と書くことができる。ここに $p_i$ はベクトル運動量函数 $\partial /\partial q^i$ に対応する運動量函数として定義される。

$p_i=P_{\partial /\partial q^i}$ ．

$q^i$ と $p_j$ は共に余接バンドル $T^{*}Q$ 上の座標系を形成する。これらの座標を正準座標と呼ぶ。

一般座標

ラグランジュ力学においては、一般座標と呼ばれる異る座標系を使う。これらは、共通して、$(q^i,{\dot{q}}^i)$ と書かれ、$q^i$ は一般の位置と呼ばれ ${\dot{q}}^i$ は一般の速度と呼ばれる．余接バンドル上にハミルトニアンが定義されると、一般座標は正準座標とハミルトン・ヤコビ方程式により関係付けられる。

参照項目

• シンプレクティック多様体
• ハミルトニアン
• シンプレクティック同相写像
• 運動量

参考文献

• テンプレート:Cite book