記事ソース/マックスウェル方程式への応用
メニュー現在 9 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/マックスウェル方程式への応用†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容=================================================
マックスウェル方程式への応用
=================================================
電磁気学の基礎方程式とも言えるのが、 *マックスウェルの方程式* です。色々な表現がありますが、次の四つのベクトル方程式の形が有名だと思います。
<tex>
\nabla \cdot \bm{B} = 0 \tag{1-1}
</tex>
<tex>
\nabla \times \bm{E} = - \frac{\partial \bm{B}}{\partial t} \tag{1-2}
</tex>
<tex>
\nabla \cdot \bm{E} = \frac{\rho }{\varepsilon _{0}} \tag{1-3}
</tex>
<tex>
\nabla \times \bm{B} = \mu _{0}\bm{J} + \mu_{0}\varepsilon _{0}
\frac{\partial \bm{E}}{\partial t} \tag{1-4}
</tex>
ここで、 $\bm{B}$ は磁束密度、 $\bm{E}$ は電場 、 $\bm{J}$ は電流密度、 $\rho$ は電荷密度、 $\varepsilon _{0}$ は真空中の誘電率、 $\mu _{0}$ は真空中の透磁率とします。電束密度 $\bm{D}=\varepsilon _{0} \bm{E}$ と磁場 $\bm{H} = \frac{\bm{B}}{\mu_{0}}$ を使って、式 $(1-3)(1-4)$ は次のように書くこともあります。
<tex>
\nabla \cdot \bm{D} = \rho \tag{1-3'}
</tex>
<tex>
\nabla \times \bm{H} = \bm{J} +
\frac{\partial \bm{D}}{\partial t} \tag{1-4'}
</tex>
また、式 $(1)$ から波動方程式 $\frac{\partial ^{2}\bm{H}}{\partial ct^{2}}-\frac{1}{\varepsilon_{0}\mu_{0}}\triangle \bm{H}=\bm{0}$ を得ますが、この解は、速度 $c=\frac{1}{\sqrt{\varepsilon _{0} \mu_{0}}}$ で移動する波を与えます。この $c$ は光速（つまり光は電磁波です）なのですが、この記事では、電磁気学の内容には深入りせず、専らマックスウェルの方程式を微分形式で表わすことだけ考えます。そういうわけで、電磁気学を全然知らなくても、大丈夫です。簡単のため、式 $(1)$ を次の形で書くことにします。
<tex>
\nabla \cdot \bm{B} = 0 \tag{2-1}
</tex>
<tex>
\nabla \times \bm{E} = - \frac{\partial \bm{B}}{\partial ct} \tag{2-2}
</tex>
<tex>
\nabla \cdot \bm{E} = {\rho } \tag{2-3}
</tex>
<tex>
\nabla \times \bm{B} = \bm{j} +
\frac{\partial \bm{E}}{\partial ct} \tag{2-4}
</tex>
.. [*] 極端な話、この記事を読むだけなら、上に出てきたさまざまな物理量の意味がまったく分かっていなくても大丈夫です。電磁気学は奥が深い分野で、マックスウェルの方程式はその頂点にありますから、生半可な説明は出来ません。マックスウェル方程式から導かれる『光速度はどこから観測しても一定である』という結果から、後に相対性理論が生まれたという道筋もよく知られたものです。
.. [*] 式 $(1)$ は国際単位系( $SI$ 系）に単位を揃えたときの表現として適切です。式 $(2)$ は物理的に言えば ${\rm cgs}$ 単位系での表現に対応するもので、あまり電磁気学の文脈では流行らない表現かも知れません。 ${\rm cgs}$ 単位系は根絶すべきだというお考えの方もいらっしゃると思いますが、ここは数学の記事だと思って、大目に見てください。m(_ _)m。数学者がマックスウェルの方程式を考えるときは、単位や係数を気にせず、往々にして $\varepsilon _{0}=1$ , $\mu _{0}=1$ としてしまいます。そうする方が、方程式の対称性（双対性）がよく見えるからです。詳しいことは、 電磁気学_ で勉強して下さい。
三次元ユークリッド空間上の微分形式
=================================================================
最初に、微分形式の復習も兼ねて、三次元ユークリッド空間上で次のような一次微分形式 $E,J$ と二次微分形式 $B$ を考えてみます。
<tex>
E= E_{x}dy \land dz + E_{y}dz \land dx + E_{z}dx \land dy \tag{3-1}
</tex>
<tex>
B = B_{x} dx + B_{y} dy + B_{z} dz \tag{3-2}
</tex>
<tex>
j= J_{x}dy \land dz +J_{y}dz \land dx + J_{z}dx \land dy \tag{3-3}
</tex>
このように定義することが適当である理由は、 微分形式の物理的イメージ_ （リンク先最後の表）を参考に、各変数の物理的意味を考えてみてください。また、電荷密度 $ \rho$ は、零次微分形式（スカラー）ではなく、三次微分形式（擬スカラー）で表される量であると考えるのが適当です。
<tex>
\rho = |\rho | dx \land dy \land dz \tag{3-4}
</tex>
これらを使うと、式 $(2-1)(2-2)(2-3)(2-4)$ の各式は次のように表現できるでしょう。ただし、時間微分 $\frac{\partial }{\partial ct}$ はドット（点）で表わすことにします。
<tex>
d*B = 0 \tag{4-1}
</tex>
<tex>
d*E = - * \dot {B} \tag{4-2}
</tex>
<tex>
dE = \rho \tag{4-3}
</tex>
<tex>
dB = \ddot {E} + j \tag{4-4}
</tex>
確かに、微分形式を使ってマックスウェルの方程式を表現することは出来ましたが、特にこのように書く旨味はあまり感じられませんね。三次元ユークリッド空間上で考えている限り、マックスウェルの方程式はこれ以上は簡単になりません。しかし、 $x,y,z$ と $t$ を一緒にして、 ミンコフスキー空間_ 上で考えることで、驚くほど美しく、簡単な表現に帰着します。次セクション以降で、そのことを見ていきます。
ミンコフスキー空間で表現してみる
===========================================================================
まず、次のような微分形式 $F$ を考えます。これは、ミンコフスキー空間上の二次微分形式です。（おいおい見ていくように、マックスウェルの方程式は、ミンコフスキー空間上で、本当に綺麗に表現されます。）
<tex>
F = E_{x}dx \land cdt + E_{y} dy \land cdt + E_{z} dz \land cdt +
B_{x} dy \land dz + B_{y} dz \land dx + B_{z} dx \land dy \tag{5}
</tex>
この外微分は、次式のようになります。ここは、丁寧に途中計算も全部示すことにします。
<tex>
dF &= d(E_{x}dx \land cdt + E_{y} dy \land cdt + E_{z} dz \land cdt +
B_{x} dy \land dz + B_{y} dz \land dx + B_{z} dx \land dy) \\
&=
dE_{x} \land dx \land cdt + dE_{y} \land dy \land cdt + dE_{z} \land
dz \land cdt + dB_{x} \land dy \land dz + dB_{y} \land dz \land dx
+ dB_{z} \land dx \land dy) \\
&=
\left(
\frac{\partial E_{x}}{\partial x}dx +
\frac{\partial E_{x}}{\partial y}dy +
\frac{\partial E_{x}}{\partial z}dz +
\frac{\partial E_{x}}{\partial ct}cdt
\right) dx \land cdt
+
\left(
\frac{\partial E_{y}}{\partial x}dx +
\frac{\partial E_{y}}{\partial y}dy +
\frac{\partial E_{y}}{\partial z}dz +
\frac{\partial E_{y}}{\partial ct}cdt
\right) dy \land cdt \\
& \ \ \ +
\left(
\frac{\partial E_{z}}{\partial x}dx +
\frac{\partial E_{z}}{\partial y}dy +
\frac{\partial E_{z}}{\partial z}dz +
\frac{\partial E_{z}}{\partial ct}cdt
\right) dz \land cdt
+
\left(
\frac{\partial B_{x}}{\partial x}dx +
\frac{\partial B_{x}}{\partial y}dy +
\frac{\partial B_{x}}{\partial z}dz +
\frac{\partial B_{x}}{\partial ct}cdt
\right) dy \land dz \\
& \ \ \ +
\left(
\frac{\partial B_{y}}{\partial x}dx +
\frac{\partial B_{y}}{\partial y}dy +
\frac{\partial B_{y}}{\partial z}dz +
\frac{\partial B_{y}}{\partial ct}cdt
\right) dz \land dx
+
\left(
\frac{\partial B_{z}}{\partial x}dx +
\frac{\partial B_{z}}{\partial y}dy +
\frac{\partial B_{z}}{\partial z}dz +
\frac{\partial B_{z}}{\partial ct}cdt
\right) dx \land dy \\
&=
\left(
\frac{\partial E_{x}}{\partial y}dy +
\frac{\partial E_{x}}{\partial z}dz
\right) dx \land cdt
+
\left(
\frac{\partial E_{y}}{\partial x}dx +
\frac{\partial E_{y}}{\partial z}dz
\right) dy \land cdt
+
\left(
\frac{\partial E_{z}}{\partial x}dx +
\frac{\partial E_{z}}{\partial y}dy
\right) dz \land cdt \\
& \ \ \ +
\left(
\frac{\partial B_{x}}{\partial x}dx +
\frac{\partial B_{x}}{\partial ct}cdt
\right) dy \land dz
+
\left(
\frac{\partial B_{y}}{\partial y}dy +
\frac{\partial B_{y}}{\partial ct}cdt
\right) dz \land dx
+
\left(
\frac{\partial B_{z}}{\partial z}dz +
\frac{\partial B_{z}}{\partial ct}cdt
\right) dx \land dy \\
& =
\left(
\frac{\partial E_{z}}{\partial y} -
\frac{\partial E_{y}}{\partial z} +
\frac{\partial B_{x}}{\partial ct}
\right) dy \land dz \land cdt
+
\left(
\frac{\partial E_{x}}{\partial z} -
\frac{\partial E_{z}}{\partial x} +
\frac{\partial B_{y}}{\partial ct}
\right) dz \land dx \land cdt
+
\left(
\frac{\partial E_{y}}{\partial x} -
\frac{\partial E_{x}}{\partial y} +
\frac{\partial B_{z}}{\partial ct}
\right) dx \land dy \land cdt \\
& \ \ \ +
\left(
\frac{\partial B_{x}}{\partial x} +
\frac{\partial B_{y}}{\partial y} +
\frac{\partial B_{z}}{\partial z}
\right) dx \land dy \land dz
\tag{6}
</tex>
ここで $dF=0$ となるのはどんな場合かと考えてみれば、各基底は独立ですから、式 $(6)$ の各成分がそれぞれ $0$ になる場合だと言えます。
<tex>
\frac{\partial E_{z}}{\partial y} -
\frac{\partial E_{y}}{\partial z} +
\frac{\partial B_{x}}{\partial ct}=0 \tag{7-1}
</tex>
<tex>
\frac{\partial E_{x}}{\partial z} -
\frac{\partial E_{z}}{\partial x} +
\frac{\partial B_{y}}{\partial ct}=0 \tag{7-2}
</tex>
<tex>
\frac{\partial E_{y}}{\partial x} -
\frac{\partial E_{x}}{\partial y} +
\frac{\partial B_{z}}{\partial ct}=0 \tag{7-3}
</tex>
<tex>
\frac{\partial B_{x}}{\partial x} +
\frac{\partial B_{y}}{\partial y} +
\frac{\partial B_{z}}{\partial z}
=0 \tag{8}
</tex>
式 $(7)$ は、ベクトル形ではまとめて $\nabla \times \bm{E} + \frac{\partial \bm{B}}{\partial ct}=\bm{0}$ と書けるでしょう。式 $(8)$ も、ベクトル形で $\nabla \cdot \bm{B}=0$ と書けます。これはマックスウェルの方程式 $(2-1)(2-2)$ に他なりません。つまり、ミンコフスキー空間上の微分形式を使えば、マックスウェルの方程式 $(2-1)(2-2)$ がまとめて次のように表現できるということです。
<tex>
dF =0 \tag{9}
</tex>
美しい！
真空中でのマックスウェルの方程式
====================================================================
今度は、特に真空（自由空間）中でのマックスウェルの方程式を考えます。真空中では、 $\rho =0$ , $\bm{j}=\bm{0}$ となります。
【真空（自由空間）におけるマックスウェルの方程式】
<tex>
\nabla \cdot \bm{B} = 0 \tag{10-1}
</tex>
<tex>
\nabla \times \bm{E} = - \frac{\partial \bm{B}}{\partial ct} \tag{10-2}
</tex>
<tex>
\nabla \cdot \bm{E} = 0 \tag{10-3}
</tex>
<tex>
\nabla \times \bm{B} = \frac{\partial \bm{E}}{\partial ct} \tag{10-4}
</tex>
残りの二本も微分形式で表現することを考えます。（式 $(10-3)(10-4)$ は、いかにも式 $(10-1)(10-2)$ と対称な形をしていますから、何となく察しはつきますね。）まず、 $F$ に ホッジ作用素_ を作用させた形を考えます。ホッジ作用素の取り方は、 ミンコフスキー空間の微分形式_ を参考にして下さい。
<tex>
*F & =*( E_{x}dx \land cdt + E_{y} dy \land cdt + E_{z} dz \land cdt
+ B_{x} dy \land dz + B_{y} dz \land dx + B_{z} dx \land dy ) \\
& = E_{x}dy \land dz + E_{y} dz \land dx + E_{z} dx \land dy -
B_{x} dx \land cdt - B_{y} dy \land cdt - B_{z} dz \land cdt \tag{11}
</tex>
先ほどと同様に、 $*F$ の外微分を取ります。少し、計算は簡単に書きます。
<tex>
d*F &= d(E_{x}dy \land dz + E_{y} dz \land dx + E_{z} dx \land dy -
B_{x} dx \land cdt - B_{y} dy \land cdt - B_{z} dz \land cdt) \\
& = dE_{x} \land dy \land dz + dE_{y} \land dz \land dx + dE_{z} \land dx \land dy -dB_{x} \land dx \land cdt - dB_{y} \land dy \land cdt - dB_{z} \land dz \land cdt \\
&=
\left(
\frac{\partial E_{x}}{\partial x}dx +
\frac{\partial E_{x}}{\partial ct}cdt
\right) dy \land dz +
\left(
\frac{\partial E_{y}}{\partial y}dy +
\frac{\partial E_{y}}{\partial ct}cdt
\right) dz \land dx +
\left(
\frac{\partial E_{z}}{\partial z}dz +
\frac{\partial E_{z}}{\partial ct}cdt
\right) dy \land dz \\
& \ \ \ -
\left(
\frac{\partial B_{x}}{\partial y}dy +
\frac{\partial B_{x}}{\partial z}dz
\right) dx \land cdt -
\left(
\frac{\partial B_{y}}{\partial x}dx +
\frac{\partial B_{y}}{\partial z}dz
\right) dy \land cdt -
\left(
\frac{\partial B_{z}}{\partial x}dx +
\frac{\partial B_{z}}{\partial y}dy
\right) dz \land cdt \\
&= \left(
\frac{\partial E_{x}}{\partial x} +
\frac{\partial E_{y}}{\partial y} +
\frac{\partial E_{z}}{\partial z}
\right) dx \land dy \land dz
-
\left(
\frac{\partial B_{z}}{\partial y} -
\frac{\partial B_{y}}{\partial z} +
\frac{\partial E_{x}}{\partial ct}
\right) dy \land dz \land cdt \\
& \ \ \ -
\left(
\frac{\partial B_{x}}{\partial z} -
\frac{\partial B_{z}}{\partial x} +
\frac{\partial E_{y}}{\partial ct}
\right) dz \land dx \land cdt
-
\left(
\frac{\partial B_{y}}{\partial x} -
\frac{\partial B_{x}}{\partial y} +
\frac{\partial E_{z}}{\partial ct}
\right) dx \land dy \land cdt \tag{12}
</tex>
式 $(10)$ の成分をよく見れば、先ほどと同様、 $d*F=0$ という条件（つまり式 $(12)$ 最後の段の、各括弧が $0$ になる）と、マックスウェルの方程式の残りの二本とが等しいことが分かります。
<tex>
\nabla \cdot \bm{E} = 0 \tag{10-3}
</tex>
<tex>
\nabla \times \bm{B} = \frac{\partial \bm{E}}{\partial ct} \tag{10-4}
</tex>
つまり、真空中でのマックスウェル方程式は、 $dF=0$ と $d*F=0$ という、極めて簡素な形にまとめることが出来ることが分かりました。
.. admonition:: theorem
真空中（自由空間中）でのマックスウェルの方程式は、微分形式を使えば $dF=0$ , $d*F=0$ という二本の式に集約できます。
ここまで美しい形にまとめられたのも、まさに微分形式の威力です。
.. [*] 微分形式の外微分が座標系の取り方によらない、という性質より、微分形式で書いてみれば、マックスウェルの方程式は座標系によらない普遍的な意味を表わす式だということが明快に示されます。また、二本ずつまとめて表現することが出来たわけですが、 $F$ と $*F$ が双対であることを考えれば、見事に対称な双対関係によって表現されたことがよく分かります。ここまで単純な関係式は、特殊な電気現象を記述しているというよりも、なにか非常に本質的な、この世界の構造そのものを記述しているようにも思えます。このような視点で、ミンコフスキー多様体上の位相幾何学的な意味にもっと興味がある人は、例えば こちら_ を参考にして下さい。もはや、電場とか磁場とかいう物理的な意味はよく分からない幾何学的世界ですが、とても興味深いです。
.. [*] マックスウェル方程式がこのように美しくまとまったのも、三次元ユークリッド空間ではなく、ミンコフスキー空間で考えてみたからです。そもそも、空間と時間という、感覚的には全然異なる軸を一緒にしたとき、その基底の間にどのような計量が入るのか、という問題は自明ではありません。（計量の定義が変われば、ホッジ作用素の作用も変わってくるはずですよね。）そういう観点からは、本当に素晴らしいアイデアは ローレンツ計量_ です。アイデアというか、『この世界はそうなってるんだ』と言われたら実も蓋もないのですが。しかし、この記述の美しさは秀逸です。
発展・一つにまとめてしまう
-----------------------------------------------------------------
式 $(12)$ の右辺ですが、 $J=J_{x}dy \land dz \land dct + J_{y}dz \land dx \land dct + J_{z}dx \land dy \land dct + \rho dx \land dy \land dz$ という三次微分形式を考えれば、話を真空中に限らなくても、式 $(2-3)(2-4)$ を次の形にまとめることが出来ます。
<tex>
d*F=J \tag{13}
</tex>
式 $(2-3)(2-4)$ も再掲しておきます。
<tex>
\nabla \cdot \bm{E} = {\rho } \tag{2-3}
</tex>
<tex>
\nabla \times \bm{B} = \bm{j} +
\frac{\partial \bm{E}}{\partial ct} \tag{2-4}
</tex>
.. [*] こうすると $dF=0$ との双対性が崩れてしまいますが、 $F$ の方にも電荷に相当する磁荷というものを想定すれば、形の上では式 $(13)$ の形で双対な方程式系を作ることは出来ます。ただし、単磁荷（つまり $N$ 極だけ、もしくは $S$ 極だけ作る磁荷）は存在しないと言われており、そのような形は（多分）物理的にあまり意味がありません。
.. [*] 蛇足ですが、式 $(13)$ の両辺の外微分をとって得られる関係式 $dd*F=dJ=0$ は、電荷・電流の保存則 $\frac{\partial \rho}{\partial t}+\nabla \cdot \bm{J}=0$ の微分形式による表現になっています。確認してみて下さい。
さて、マックスウェルの最初の二本（つまり $dF=0$ ）ですが、 ポアンカレの補題_ で示した定理（証明はしていませんが）によれば、 『 $dF=0$ を満たす微分形式には、必ず $dG=F$ を満たす微分形式 $G$ が存在する』ということでした。つまり、 $F$ に対し、ポテンシャル $G$ の存在が保証されているわけです。 $G$ を次の形に置いてみます。
<tex>
G = A_{x}dx +A_{y}dy + A_{z}dz - \phi cdt \tag{14}
</tex>
このとき $dG$ は次式で与えられます。
<tex>
dG &= d(A_{x}dx +A_{y}dy + A_{z}dz - \phi cdt) \\
&= \left(
\frac{\partial A_{x}}{\partial y }dy +
\frac{\partial A_{x}}{\partial z }dz +
\frac{\partial A_{x}}{\partial ct }dct
\right) \land dx
+
\left(
\frac{\partial A_{y}}{\partial x }dx +
\frac{\partial A_{y}}{\partial z }dz +
\frac{\partial A_{y}}{\partial ct }dct
\right) \land dy \\
& \ \ \ +
\left(
\frac{\partial A_{z}}{\partial x }dx +
\frac{\partial A_{z}}{\partial y }dy +
\frac{\partial A_{z}}{\partial ct }dct
\right) \land dz
- \left(
\frac{\partial \phi}{\partial x }dx +
\frac{\partial \phi}{\partial y }dy +
\frac{\partial \phi}{\partial z }dz
\right) \land dct \\
&=
\left(
\frac{\partial A_{z}}{\partial y } -
\frac{\partial A_{y}}{\partial z }
\right) dy \land dz
+
\left(
\frac{\partial A_{x}}{\partial z } -
\frac{\partial A_{z}}{\partial x }
\right) dz \land dx
+
\left(
\frac{\partial A_{y}}{\partial x } -
\frac{\partial A_{x}}{\partial y }
\right) dx \land dy \\
& \ \ \ -
\left(
\frac{\partial A_{x}}{\partial ct } +
\frac{\partial \phi}{\partial x }
\right) dx \land cdt
-
\left(
\frac{\partial A_{y}}{\partial ct } +
\frac{\partial \phi}{\partial y }
\right) dy \land dct
-
\left(
\frac{\partial A_{z}}{\partial ct } +
\frac{\partial \phi}{\partial z }
\right) dz \land dct \tag{15}
</tex>
式 $(5)$ と比べてみて下さい。
<tex>
F = E_{x}dx \land cdt + E_{y} dy \land cdt + E_{z} dz \land cdt +
B_{x} dy \land dz + B_{y} dz \land dx + B_{z} dx \land dy \tag{5}
</tex>
各成分を比較し、 $\bm{B}=\nabla \times \bm{A}$ , $\bm{E}=-\nabla \phi - \nabla \times \bm{A}$ と定義すれば、 $G$ は確かに $F$ のポテンシャルになっていると言えそうです。（これらの物理的意味については、例えば 電磁ポテンシャル_ を参考にして下さい。）
<tex>
dG = F \tag{16}
</tex>
またしても、これ以上ないほど美しい表現が得られました。さて、任意の微分形式に対し、外微分を二回取れば必ず $0$ になりますので（ ポアンカレの補題_ 参照）、 $G$ を基準に考えれば、式 $(9)$ は自動的に満たされて当然です。そこで、最終的に、マックスウェルの方程式は $G$ を使った式 $(13)$ の表現一本にまとめることが出来ます。
.. admonition:: theorem
【マックスウェルの方程式】 $d*dG = J$ $(17)$
ついに、一本の式になってしまいました。
さらに発展
=====================================================================
これ以上簡単にはなりそうもありませんが、 *ダランベールの作用素* と呼ばれる、次のような演算子を導入してマックスウェルの方程式を記述する方法もあります。
<tex>
\square = \triangle - \frac{1}{c^2}\frac{\partial ^{2}}{\partial t ^{2}} \tag{18}
</tex>
ダランベールの作用素とは、ミンコフスキー空間におけるラプラシアンだと思って良いです。一般に、一次微分形式 $\omega _{1}$ に対し、ダランベール作用素の作用を外微分とホッジ作用素で書けば、次のように表現できます。
<tex>
\square \omega _{1} = - *d*d\omega _{1} + d*d*\omega _{1} \tag{19}
</tex>
右辺も一次微分形式になっています。式 $(19)$ がなりたつことは、練習問題だと思って計算確認してみて下さい。さて、 $G$ はどうせ外微分を取った形で使うので、何か適当な微分形式の外微分 $dX$ が余分についた $G' = G + dX$ を考えても、 $dG' = dG$ が成り立ってしまうという点に注意しましょう。 $G$ には、少なくとも、一次微分形式に相当するだけの自由度があるということです。（似たような議論が、ベクトル解析の ベクトルポテンシャル_ 、 ヘルムホルツの定理_ でもあったことも思い出してください。）この自由度を、 *ゲージ自由度* と呼びます。（難しく考えないで下さい。不定積分の定数と同じことです。）この自由度を逆手に取れば、都合の良い $dX$ を足し引きしても良いということになります。そこで、 $d*dX=-d*G$ を満たすような $X$ を特に選べば、ダランベールの作用素を $\square G = - *d*dG $ という形にまで簡単化することが出来ます。いつでも簡単化しても良いと言われているのですから、簡単化した方が良いわけで、このようにポテンシャル $G$ を選ぶことを『ローレンツゲージを選ぶ』と言います。ローレンツゲージを選べば、ダランベールの作用素を使って、式 $(17)$ は次の形に書くことが出来ます。
.. admonition:: theorem
$\square G = - J$
微分形式を使って、マックスウェルの方程式を簡単な形にまとめることを考えてきましたが、微分形式の計算としては、特に何も新しい手法は出てこなかったと思います。途中の計算が分からなかった人は、もう一度該当項目の復習をして下さい。しかし、この話題を通じて、この先きちんと考えないといけない点が少し見えてきました。まず、途中で使った *ポアンカレの補題* ですが、私達は、これを数学的にまだきちんと証明していません。この証明には、多様体や閉形式と完全形式といったトピックを勉強しなければなりません。
ここまで、多様体というような概念はわざと避け、ユークリッド空間とミンコフスキー空間だけで微分形式を考えてきましたが、次からはいよいよ多様体上の微分形式を考えます。微分形式の威力と美しさが、読者のみなさんに少しでも伝わっていれば嬉しいです。
練習問題
-----------------------------------------------------
零次微分形式、二次微分形式、三次微分形式、四次微分形式に対しても、式 $(15)$ がなりたつことを、実際に計算して確かめてみて下さい。
.. _電磁気学: http://www12.plala.or.jp/ksp/elemag/index.html
.. _ヘルムホルツの定理: http://www12.plala.or.jp/ksp/vectoranalysis/HelmholtzTheorem/
.. _ベクトルポテンシャル: http://www12.plala.or.jp/ksp/vectoranalysis/VectorPotential/
.. _ローレンツ計量: http://www12.plala.or.jp/ksp/differentialforms/MinkowskiDiffForms/
.. _ミンコフスキー空間: http://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%B3%E3%82%B3%E3%83%95%E3%82%B9%E3%82%AD%E3%83%BC%E7%A9%BA%E9%96%93
.. _ポアンカレの補題: http://www12.plala.or.jp/ksp/differentialforms/PoincareLemma/
.. _ミンコフスキー空間の微分形式: http://www12.plala.or.jp/ksp/differentialforms/MinkowskiDiffForms/
.. _ホッジ作用素: http://www12.plala.or.jp/ksp/differentialforms/HodgeStarOperator/
.. _こちら: http://www22.pair.com/csdc/pdf/maxwell.pdf
.. _電磁ポテンシャル: http://ja.wikipedia.org/wiki/%E9%9B%BB%E7%A3%81%E3%83%9D%E3%83%86%E3%83%B3%E3%82%B7%E3%83%A3%E3%83%AB
.. _微分形式の物理的イメージ: http://www12.plala.or.jp/ksp/differentialforms/DiffFormsLineVol/
@@author:Joh@@
@@accept: 2007-03-15@@
@@category: 微分形式@@
@@id: DiffFormsMaxwellsEq@@
|
