物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

ゲージ変換

難しそうに見えて実はめちゃくちゃ単純な話
作成:2002/6/8

復習

前回は電場と磁場によって表現されたマクスウェルの方程式を, 数式 の関係を仮定して,φAによる表現に書き直し, 数式 という 2 つの式にまでまとめることが出来た.しかしこの式ははっきり言って何を表しているのか分からない.もっと簡単にならないのだろうか,というところまで話したのであった.今回はこの式を分かりやすい形に変形してやる話である.


ゲージ変換

電場や磁場による表現から電磁ポテンシャルの表現へ変換するときに一つ気になることがある.それは電場と磁場が決まれば,電磁ポテンシャルの形はただ一つに決まるのだろうか,ということだ.科学者というのは「うまく行くならまぁ何でもいいや」では納得できない性分を持っており,「これでなくてはいけない」という確かな理由がないと不安なのである.

しかし,物事はいつも確実に決まるわけではない.電磁場と電磁ポテンシャルが一対一に対応していないことはすぐに分かる.例えば微分可能な任意の関数χを導入して,Aの代わりに 数式 という量を上の変換式 (1) に当てはめてやっても同じBが実現する.なぜならrot grad fの形の式は必ず 0 になるからである.

しかしこれだけではAA'に変更したことによる影響は電場Eを求めるときに出てきてしまうだろう.変換式 (2) にはAの時間微分があって,代わりにA'を使えばgrad χの時間微分が余分に出てきてしまう.しかしこれをうまく打ち消すようにφについても次のような変換を使ってやれば,電場Eにも影響を与えないで済むだろう. 数式 このことから,あるE,Bの組を実現するφ,Aの組み合わせはχを変更することによって無数に作り出せるということが分かる.この(φ,A)から(φ',A')への変換を「ゲージ変換」と呼ぶ.

この言葉の由来であるが,,科学者たちが電磁場と重力場の統一をしようとがんばった時期があり,その時に作られた仮説の一つに,この変換を行うことによって時空の物差し(ゲージ)の長さが変化すると考えよう,とするものがあった.結局その理論は失敗に終わったのだが名前だけが残ったというわけである.いや,正確に言えば残ったのは名前だけではない.そのときの理論構造は「ゲージ理論」としてその後の理論に受け継がれている.それについてはまたその時に話すことにしよう.

さて,このゲージ変換の 2 つの式を (3) 式,(4) 式に代入してみると分かるが,うまい具合にχは消えてしまって全く同じ形式の方程式が残る.変換後の(φ',A')も同じ方程式を満たすのである.言葉を換えて言えば,上のマクスウェルの方程式の形は「ゲージ変換のもとで不変」なのである.


どう変形したいのか

この性質を使って,あの複雑な電磁ポテンシャルによるマクスウェルの方程式を簡単にしてやることが出来る.ゲージ変換しても不変である方程式をこれ以上どうやって変形できるというのだろうかまぁ,楽しみにして頂きたい.

(3) 式,(4) 式をもう一度見てもらいたい. 数式 そもそもこれらの式がなぜ面倒かと言えば,一つの式の中にφAの両方が含まれているからである.これでは整理も出来ないし,計算するにも連立させてやらなくてはならない.せめて,(3) 式の第 2 項さえ 0 になって消えてくれればこの式は次のようなAだけの式になるだろうに・・・. 数式 そのためには (3) 式のgradの中身が 0 になってくれればいい. 数式 そう思って見てみれば,これは実はすごい事である.この式を (4) 式のdiv Aのところに代入してやれば,こちらもφだけの式になって,しかも (5) 式と同じ形になるではないか 数式 こうなったら後は何としてでも,(6) 式が成り立つという口実を見つけてやることである.


言い掛かりをつけるのだ!

ここまでをまとめると単純なことだ.我々は,マクスウェルの方程式を 数式 という美しい形に変形するチャンスを目前にしている.そのためには,次の条件さえ満たされていればいい. 数式 この条件は「ローレンツ条件」と呼ばれている.

我々はすでに弱みを握っている.ゲージ変換だ.この勝負もらった

φ,Aをゲージ変換によってφ',A'に変換した結果,φ',A'がローレンツ条件を満たすようなχを見つけてやればいいのである.そうすれば,変換後のφ',A'は美しい形のマクスウェル方程式を満たすことになる.答えは簡単.それは次の微分方程式を満たすようなχである. 数式 どうしてこれでいいのかと言えば,実際に計算してみるのが最も手っ取り早い. 数式 この結果は微分方程式と比べてやれば分かるが,0 になる.実はそうなるように微分方程式を作っただけの話なのだが.

このχの解が具体的にどんなものになるのか言わなくても良いのかってそんなことは知った事じゃない.存在することさえ言えればそれでいいのである.卑怯くさいとか言わないでくれ.


結局何をやったのか

ここで行ったことの意味について誤解される可能性が高いのでもう少し説明しておこう.

まず我々は,複雑なマクスウェル方程式を非常に分かりやすい形に変形できる可能性を見つけた.それにはローレンツ条件が満たされることが必要であった.それで変形の結果,偶然にもローレンツ条件を満たすことになるようなゲージ変換があり得るかどうかを知りたかったのである.なぜゲージ変換が可能かどうかにこだわるかと言えば,そのような変形をした後のφ'A'もこれまでと同じ変換式で電場Eや磁場Bに変換できることが大切だからである.よってそのようなχが確かに存在するという事実だけが大事なのであって,χについての微分方程式の解自体にはあまり大した興味はないのである.

なんだかんだ言ってもローレンツ条件は人為的に当てはめたものであるので,結局我々がやったことは,複雑だったマクスウェルの方程式を 数式 という 3 つに分離したというだけのことなのである.式の数が増えてしまっているではないか,と思われるかも知れないが,この方が前の収拾のつかない状態よりは遥かにいいのではないだろうか

この 3 つの方程式の考察は今回のテーマから外れるので次回にまわすことにして,気になるところを少しだけ書いて終わることにしよう.


一対一対応?

上で求めたこの 3 組の方程式を「ローレンツゲージにおけるマクスウェルの方程式」と呼ぶ.ここで初めに挙げた疑問をもう一度確認してみたい.この形式に変換したことで今度こそE,Bφ,Aの組は一対一に対応するようになったのであろうか実はまだそうなってはいない. 数式 の微分方程式を満たすようなχを使って「ローレンツゲージによるマクスウェルの方程式」に対してゲージ変換をしてやれば,やはり同じ形になっているからである.この微分方程式を導くのはとても簡単である.ローレンツ条件にゲージ変換を施してそれが再び 0 になるような条件を考えてやればいいだけだ.このローレンツ条件を満たすχはまだいくらでもあるのだ.



趣味の物理学書店

趣味で量子力学2の広告バナー