R.Feynman:「Quantum Electrodynamics」の p.6 に次のような記述がある:
量子力学的なゲージ変換は古典的なゲージ変換を単純に拡張したものである [1]ファインマン原書のこの章にはだいぶ間違った式が見受けられる.ここの
の式も原書では … Continue reading : もし,
そしてを任意のスカラーとするならば, 次式を代入しても と は不変である:
量子力学では, さらに次のような波動関数の変換が導入される:
このことを理解するために, I.J.R.エイチスン, A.J.G.ヘイ:「ゲージ理論入門」第2章の文章を補足や省略をして示しておこう.
2.3 Maxwell方程式とゲージ不変性
古典電磁気学のゲージ不変性の出発点は,与えられた物理的な場
ではそれはどんな変換であろうか.明らかに任意関数
のように変更しても curl grad
のように変わらなければならない.なぜなら
変換 (2.11), (2.12) は, 4元ベクトルポテンシャル
即ち, ゲージ変換 は次で表される:
Maxwell 方程式も 4元電流
を用いて相対論的不変性をあらわにした形に書くことが出来る.4元電流により「連続の方程式」は次となる:
最も重要な第4の方程式 (2.8) は, この連続の方程式で表現される局所的電荷保存の要求から Maxwell によって推論された.Maxwell 方程式 (2.1) と (2.8) は次となる:
ただし「電磁場テンソル」
の下で不変なことは明らかである:
従って, この形の Maxwell 方程式はあらわにゲージ不変である.
以下略す.
量子力学に於けるゲージ不変性
電場
この力は Hamilton 方程式によって, 次の古典的ハミルトニアンから導かれる:
電磁場中に在る粒子に対するシュレディンガー方程式は次である:
従って, 自由な(電磁場のない)粒子のシュレディンガー方程式から電磁場中を運動する粒子に移行する場合は, 演算子
シュレディンガー方程式 (2.22) の解
でポテンシャルを変えても場
の解
方程式 (2.22a) が方程式 (2.22) と両立するには
これを証明するために次の量を計算する:
このように 時空間に依存する位相因子
同様にして
以上の関係式 (2.26) と式 (2.27) を用いると,
従って,
両辺を位相因子
よって,「
となるからである.従って
この処方は相対論でも成り立つ.そしてゲージ変換式 (2.23) は次の「共変微分」にまとめて書き表される:
これによって, 式 (2.26) と式 (2.27) は次にまとめられる:
従って,「演算子
によって “ゲージ不変” にすることが出来る」.
そして「電磁場が存在するときの粒子の波動方程式は, 対応する自由粒子の波動方程式に於いて
をすれば得ることが出来る」と言える.これが謂わゆる「ゲージ原理」の基礎になっている.つまり相互作用の形が, 局所ゲージ不変性に固執することによって決まってしまうのである.