電磁場テンソル
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
物理法則は全ての座標系において共変であるべき、というアインシュタインによる相対性の要請(計量テンソルを参照)により、マクスウェルの方程式も座標変換に対して共変であるべきです。共変であるかどうかを調べるために、マクスウェルの方程式をテンソルを用いて表現することを考えます。
空間内の各点において、電界を
,磁界を
,誘電率をε,透磁率をμとして、電束密度は
,磁束密度は
,また、電荷密度をρ,電流密度を
として、
マクスウエルの方程式:
及び、@とBより導かれる、電荷保存の式:
・・・D また、スカラー・ポテンシャルϕ,ベクトル・ポテンシャル
より磁界
,電界
を求める式、
,
E
適当な関数χを用いたゲージ変換:
,
・・・F 以上を、テンソルを用いて4元表示することを考えます。以上については、ゲージ変換を参照してください。
ベクトル・ポテンシャル
を拡張し、ϕを含めて、4元ベクトル
を考えます。これを、
と書き、4元ベクトル・ポテンシャルと言います。λは、
を表し、
,
,
,
です。
,
はAの2乗、3乗という意味ではなく、
の第2成分、第3成分という意味です。
は反変ベクトルです。これに対して、計量テンソル
を用いて、共変ベクトル
を
として定めます。ローレンツ変換によって座標変換を行うミンコフスキー時空においては、計量テンソル
は、
です。
ここで、偏微分
を
と書き、4元ベクトルポテンシャル
を用いて、電磁場テンソル:
・・・G を定義します。E,Gより、電界
,磁界
は、
Gより、
は添字λ,νの入れ替えに対して、反対称(
)なので、
となります。
マクスウェルの方程式のAとCは、
・・・H という形にまとめられます。Hは、一見してλ,ν,σがそれぞれ、0,1,2,3の4通りの値をとり、
通りの式を表すように見えますが、λ,ν,σのうちに等しいものがあると、例えば、
だとすると、
であり、また、
であって、Hの左辺は恒等的に0です(
が反対称テンソルだからです)。Hの左辺で意味があるのは、λ,ν,σが相異なるときだけです。Hはλ,ν,σについて対称なので、λ,ν,σが循環的入れ替わったものは同じ式になります。よって、Hは、実質的に
の4通りの場合に異なる方程式になります。Hは、それぞれ、
のとき、
のとき、
のとき、
この3つの式でマクスウェルの方程式のCを与えます。
のとき、
これは、マクスウェルの方程式のAです。
電荷密度をρ,電流ベクトルを
として、4元電流密度を
とし、共変テンソル
から反変テンソル
を、
として作ります。例えば、
であって、
は
のときのみ
,
は
のときのみ
で、
,
のようになっています。
これを用いて、マクスウェルの方程式の@とBは、
・・・I と表せます。
のとき、Iは、
より、
,これはマクスウェルの方程式の@です。
のとき、Iは、
のとき、Iは、
のとき、Iは、
以上の3式を合わせて、
,これはマクスウェルの方程式のBです。
以上より、マクスウェルの方程式@〜Cは、次の2式にまとめられます。
・・・H
・・・I
電荷保存の式:
は、4元ベクトルで書くと、
即ち、
・・・J という形になります。
Iを用いても、両辺を
で微分しλについて和をとると、
この右辺は、λ,νについて対称な形をしており、
,また、
が反対称テンソルであることを考えると、0になります。つまり、JはIからも導けます。
マクスウェルの方程式H,Iがローレンツ変換を受けるとどうなるかを考えます。K系の座標
→
系の座標
のローレンツ変換を表すテンソル
を、
のように見ると、K系の電磁場テンソル
にローレンツ変換を行うと、
系では、
・・・K となります。
Kの両辺を
で微分すると、
ローレンツ変換では、
も逆変換の
も各成分は、
,
の1次関数か、もしくは定数なので、
,
は定数で、
です。よって、
は
のみに働き、連鎖定理を使って、
・・・L Lで、
,
,
,
,
,
とすると、
・・・M さらに、Mで、
,
,
,
,
,
とすると、
・・・N L+M+Nにより、
よって、H:
であれば、
であって、Hは、ローレンツ変換をしても形を変えません。
K系の電流密度ベクトル
はローレンツ変換により、
に変換され、電磁場テンソル
は、ローレンツ変換により、
に変換されます。これを
で微分すると、
Iも、ローレンツ変換により形を変えないことがわかります。
つまり、マクスウェルの方程式は、ローレンツ変換により形を変えないことがわかります。即ち電磁波の伝播速度即ち真空中の光速
はどの座標系においても変わらない、ということです。
ローレンツ・ゲージ:
即ち
は、4元ポテンシャル
を用いて
と表せるので、ローレンツ変換により形を変えません。ローレンツ・ゲージを選んだ場合のポテンシャルϕ,
が満たすべき方程式は、
・・・O
・・・P 4元表示すると、
と表されるので、やはりローレンツ変換により形を変えません。
注.クーロン・ゲージは、テンソル形式で表現できず、ローレンツ変換を施すと形を変えてしまいます。
以上の流れを見ていると、物理法則をテンソルを使って表現できれば、ローレンツ変換に対して共変である、ということが言えそうです。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
物理基礎事項TOP 物理TOP TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。