資料紹介
相対論的なマクスウェル方程式
なんと！式が一つになってしまう。
相対論的表現への書き換え
さあ、ようやく数学的な話を離れて物理的な話に戻ることができる。 ここまで用意してきた道具を使って、電磁気のマクスウェル方程式をエレガントに書き直すことを考えてみよう。
電磁気学のページの「 ゲージ変換 」の記事の頭の部分にまでさかのぼることにする。 マクスウェルの方程式を電磁ポテンシャルで書き直して、次のようなよく分からない２つの式を得たところである。
少し表現方法が変えてあるが以前と同じ式である。 電磁気学のページではここからゲージ変換によってローレンツ条件を満たすようにして式を簡略化したのであった。 しかし相対論的な演算子について学んだこの段階ではそんなことをしなくても簡単に表すことが出来るようになっている。 まず２番目の式を１番目の式の形に近付けることを考えてみよう。 そのために次のように２つの項を追加してやる。
引いた分だけ後で足しているので差し引き０である。 これでかなり似た形になっただろう。 後ろの項の時間微分をくくり出してやれば、さらに似た形になる。
ここで次元を合わせるために両辺を c で割ってやる。 なぜなら第１の式の grad の部分は座標による微分であって、一方、この式の同じ部分は時間微分になっているからである。
全ての式が同じ形式で書けるようにするために、電磁気学のページですでにやったように、電磁ポテンシャル A と電流密度 i を４元量に拡張したものを導入しよう。 つまり、
のような量を定義するのである。 これによって、右辺の形まで合わせることが出来て、
となる。 一方、第１の式の方も grad などを使ってベクトル表記してあるが、実は以下のような３つの式の集合体である。
ごく僅かな差が見られるが、４次元の微分演算子の知識を使えばまるで問題ない。 これらの４つの式は
のように極めて簡単な一つの式でまとめて表せることになる。 このたった一つの式に、マクスウェル方程式の全てが集約されているのである。 ああ、何と美しい表現だろうか。
学部生の頃に「黒板にマクスウェル方程式を書いてみろ」と言われてこの式を書いたりなんか出来たらかっこ良かっただろうなぁ。
ローレンツ条件
この視点からなら電磁気学のページでやったことが非常に簡単に理解できるだろう。 まず電磁気のページでは少々複雑に見えたローレンツ条件、
は相対論的に表せば次のように書けてしまう。
これを先ほど求めたマクスウェル方程式に代入すれば、電磁気学のページでやった「ローレンツゲージにおけるマクスウェル方程式」になるのがすぐに分かる。 あの時ごちゃごちゃとこねくり回していたのは一体何だったの？と言いたくなるほどだ。
電荷の保存則
何だったの？と言いたくなる事は他にもある。 電荷の保存則、
も、相対論的に表現すれば次のように書けてしまう。
しかしこれは すでにマクスウェル方程式に含まれているのである。 それを確かめたければ、方程式の両辺を微分してやればいい。
とまぁ、こんな具合だ。 計算の途中で微分演算子の順序を入れ替えている部分が気になっている人もいるかも知れない。 量子力学では「座標を掛ける」というような演算子が出てくるので、掛けてから微分するのと微分してから掛けるのとでは大違いだが、ここではどうせ時間で微分するか座標で微分するか程度のことしかやっていないので順序の入れ替えは全く問題ないのである。
ところで電磁気学のページでこれ
タグ
All rights reserved.
資料の原本内容
相対論的なマクスウェル方程式
なんと！式が一つになってしまう。
相対論的表現への書き換え
さあ、ようやく数学的な話を離れて物理的な話に戻ることができる。 ここまで用意してきた道具を使って、電磁気のマクスウェル方程式をエレガントに書き直すことを考えてみよう。
電磁気学のページの「 ゲージ変換 」の記事の頭の部分にまでさかのぼることにする。 マクスウェルの方程式を電磁ポテンシャルで書き直して、次のようなよく分からない２つの式を得たところである。
少し表現方法が変えてあるが以前と同じ式である。 電磁気学のページではここからゲージ変換によってローレンツ条件を満たすようにして式を簡略化したのであった。 しかし相対論的な演算子について学んだこの段階ではそんなことをしなくても簡単に表すことが出来るようになっている。 まず２番目の式を１番目の式の形に近付けることを考えてみよう。 そのために次のように２つの項を追加してやる。
引いた分だけ後で足しているので差し引き０である。 これでかなり似た形になっただろう。 後ろの項の時間微分をくくり出してやれば、さらに似た形になる。
ここで次元を合わせるために両辺を c で割ってやる。 なぜなら第１の式の grad の部分は座標による微分であって、一方、この式の同じ部分は時間微分になっているからである。
全ての式が同じ形式で書けるようにするために、電磁気学のページですでにやったように、電磁ポテンシャル A と電流密度 i を４元量に拡張したものを導入しよう。 つまり、
のような量を定義するのである。 これによって、右辺の形まで合わせることが出来て、
となる。 一方、第１の式の方も grad などを使ってベクトル表記してあるが、実は以下のような３つの式の集合体である。
ごく僅かな差が見られるが、４次元の微分演算子の知識を使えばまるで問題ない。 これらの４つの式は
のように極めて簡単な一つの式でまとめて表せることになる。 このたった一つの式に、マクスウェル方程式の全てが集約されているのである。 ああ、何と美しい表現だろうか。
学部生の頃に「黒板にマクスウェル方程式を書いてみろ」と言われてこの式を書いたりなんか出来たらかっこ良かっただろうなぁ。
ローレンツ条件
この視点からなら電磁気学のページでやったことが非常に簡単に理解できるだろう。 まず電磁気のページでは少々複雑に見えたローレンツ条件、
は相対論的に表せば次のように書けてしまう。
これを先ほど求めたマクスウェル方程式に代入すれば、電磁気学のページでやった「ローレンツゲージにおけるマクスウェル方程式」になるのがすぐに分かる。 あの時ごちゃごちゃとこねくり回していたのは一体何だったの？と言いたくなるほどだ。
電荷の保存則
何だったの？と言いたくなる事は他にもある。 電荷の保存則、
も、相対論的に表現すれば次のように書けてしまう。
しかしこれは すでにマクスウェル方程式に含まれているのである。 それを確かめたければ、方程式の両辺を微分してやればいい。
とまぁ、こんな具合だ。 計算の途中で微分演算子の順序を入れ替えている部分が気になっている人もいるかも知れない。 量子力学では「座標を掛ける」というような演算子が出てくるので、掛けてから微分するのと微分してから掛けるのとでは大違いだが、ここではどうせ時間で微分するか座標で微分するか程度のことしかやっていないので順序の入れ替えは全く問題ないのである。
ところで電磁気学のページでこれと同じ計算をすでにやっている。 マクスウェルの方程式を定義に戻って全て展開してやり、その両辺を微分した上でローレンツ条件を使えば全て０になる、という ややこしい計算 をしたのを覚えているだろうか。
つまり、こいつ、
の両辺を微分してやり、
ローレンツ条件を当てはめれば左辺は０になる、ということをわざわざ計算したのであった。 前に「相対論の流儀を使えば１行で片が付く」と言ったのはこのやり方のことだったのである。
４元電流密度は反変ベクトル
ここまで、さも当然であるかのように４元電流密度 を反変ベクトルとして扱ってきたが、それについてはまだ何の説明もしていなかった。 それについては簡単に理解することができる。
電荷の保存則
はどんな座標系でも成り立っているに違いない。 もしこのことを疑いたければ疑えばいい。 もしそうでなければどんな奇妙なことになるかはすぐに気がつくことだろうから、くどくどと説明はしない。
つまり、この式は座標変換によって形を変えてはならず、その右辺は常に０であることが求められる。 つまり右辺はスカラー量であって、左辺もスカラー量であるべきだ。
左辺にある４元微分演算子 は共変ベクトルであるので、４元電流密度は反変ベクトルでなければ全体としてスカラーとはならない。 もしそうでなければこの式はどの座標系でも成り立つものにはならないだろう。 以上だ。
全ての慣性系で成り立つ
こうしてマクスウェル方程式の右辺が反変ベクトルであることが分かった。 左辺も同じように変換しなければ常に成り立つ関係だとは言えない。 偶然この系だけで成り立つ関係なのであろう、ということになってしまう。
すでに説明したようにダランベルシャンはスカラー的な演算子であるから、電磁ポテンシャルは反変ベクトルに違いない。 同じようなことは第２項を見ても言える。
つまり、マクスウェル方程式が「共変形式」であるためには、電磁ポテンシャル A が反変ベクトルとして変換してくれればいいのだ。 マクスウェル方程式がローレンツ変換によって形を変えないというのは「原理」であるから議論するようなことではなく、その原理を満たすための条件として、電磁ポテンシャルが反変ベクトルであるべきことが導かれるのである。
ちょっとした注意
教科書によってはマクスウェルの方程式を
のように表現してあり、両辺を共変ベクトルに合わせてあることがあるが、「どっちが正しいんだ？」なんて訝ってはいけない。 第０成分の両辺にマイナスが付くか付かないかだけであって、どちらも間違ってはいないのだ。
他にも次のように書いてあるものがある。
右辺のマイナスがない！ こんな時は慌てずにその教科書で使っているミンコフスキー計量の定義を見直してもらいたい。 符号が全てひっくり返っている可能性がある。 これも間違いではない。 ミンコフスキー空間の線素 ds2 は通常の座標の場合とは違って正負いずれも取り得るので、どちらに決めるかは教科書の著者に任されているのである。
資料提供先→ http://homepage2.nifty.com/eman/relativity/maxwell.html
