2012 年度全学体験ゼミナール 電磁気学で使う数学:付録 微分形式とマックスウェル方程式 2 月 5 日 清野和彦 この付録では、第 1 章から第 3 章までで学んだ場の積分、場の微分、それらに関する「微積分の 基本定理」、およびマックスウェル方程式(微分形)を、微分形式という「別種の場」を使って述 べなおします。微分形式はベクトル場に比べて抽象的で捉えにくい面もありますが、積分も微分も 「微積分の基本定理」もずっとすっきりとした統一的な形になります。さらに、マックスウェル方 程式は進んだ物理学へと進む足がかりとなるような形で表現されるのです。時間の都合であまり詳 しく書くことはできませんが、以上のような理由よりぜひ紹介だけでもしたいと思った次第です。 目次 A 微分形式とその積分 A.1 ベクトル場の積分への不満 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 A.1.1 ベクトル場の積分の定義の復習 . . . . . . . . . . . . . . . . . . . . . . . . A.1.2 本当に積分されているもの . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 4 A.2 微分形式の定義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.1 1 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.2 2 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 5 A.2.3 一般の k 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.3 微分形式の積分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 7 A.3.1 1 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.3.2 2 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.3.3 一般の k 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 8 9 A.4 微分形式と線形座標系 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.4.1 1 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 9 A.4.2 2 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.5 微分形式と一般の座標系 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.5.1 一般の座標系によるベクトルの成分表示 . . . . . . . . . . . . . . . . . . . 12 14 14 A.5.2 一般の座標系による積分の表示 . . . . . . . . . . . . . . . . . . . . . . . . 16 B 外微分 17 B.1 空間ベクトルと方向微分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.2 0 次微分形式の外微分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 18 B.3 外積 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.4 微分形式の座標表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.4.1 0 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 21 21 B.4.2 1 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2 付録 B.4.3 2 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.4.4 3 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 22 B.4.5 一般の k 次微分形式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.5 1 次微分形式の外微分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 23 B.6 2 次微分形式の外微分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.7 一般の k 次微分形式の外微分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.8 座標を使わない外微分の表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 25 26 C ストークスの定理:微分形式に関する「微積分の基本定理」 C.1 k = 1 の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 27 C.2 k = 2 の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . C.3 k = 3 の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 29 D マックスウェル方程式 D.1 設定 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 30 D.2 マックスウェル方程式の書き換え . . . . . . . . . . . . . . ⃗ = 0 の書き換え . . . . . . . . D.2.1 「単磁極なし」div B ⃗ ⃗ + ∂ B = ⃗0 の書き換え D.2.2 「ファラデーの法則」rot E ∂x0 ⃗ = J0 の言い換え . . . . . . D.2.3 「ガウスの法則」div E ⃗ ⃗ − ∂E D.2.4 「アンペール・マックスウェルの法則」rot B ∂x0 e 上の方程式に書き換える . . . . . . . . . . . D.3 4 次元時空 U . . . . . . . . . . . . . . . . . . . . . . . . . . 31 31 . . . . . . . . . . . . . 32 . . . . . . . . . . . . . 32 = J⃗ の書き換え . . . 33 . . . . . . . . . . . . . 33 D.3.1 時刻の外微分 dx0 の導入 . . . . . . . . . . . . . . . . . . . . . . . . . . . . ˜ 0 = 0 の統合 . . . . . . . . . . . . . . . . . ˜ 0 + ∂β ∧ dx D.3.2 dβ = 0 と dε ∧ dx ∂x0 ˜ 0 − ∂(∗ε) ∧ dx ˜ 0 = ι ∧ dx ˜ 0 について . . . . . . . . . D.3.3 d(∗ε) = ι0 と d(∗β) ∧ dx ∂x0 34 35 36 D.3.4 成分で書いてみる . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D.4 ポテンシャルを考えてみる . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 38 A 微分形式とその積分 微分形式というのは「積分されるにふさわしい場」のことです。微分形式という名前からは「積 分されたがっている」ということは全く読み取れませんが、もちろん理由があってそのような名前 が付いています。このような名前である理由は追々説明することにします。 この節では、ベクトル場の線積分と面積分を見直すことで「積分されるにふさわしい対象」とは どういうものであるべきかを考え、発見的に微分形式とその積分を定義します。 A.1 A.1.1 ベクトル場の積分への不満 ベクトル場の積分の定義の復習 マックスウェル方程式の積分形で使われるベクトル場の二つの積分 ∫ ∫ ⃗ 線積分 F⃗ • d⃗l 面積分 F⃗ • dS C S 3 付録 の定義を思い出しましょう。とはいえただ思い出すのも能がないので、空間 U の座標系を使わな い形に書き直してみます。 まず線積分から。曲線 C の始点と終点をそれぞれ P , Q とします。空間 U に座標系が指定され ていなくても、C の向きに適合したパラメタ付け ℓ(t) を考えることができます。R のある閉区間 [t0 , t1 ] から空間 U への写像 ℓ : [t0 , t1 ] ∋ t 7→ ℓ(t) ∈ U であって、ℓ(t0 ) = P 、ℓ(t1 ) = Q、任意の t ∈ [t0 , t1 ] について ℓ(t) ∈ C という三つの条件を満た すものです。線積分を考えるにはパラメタ付けが微分できなければなりませんでした。ℓ(t) を時刻 t における粒子の位置と見なしたとき、その粒子の速度ベクトルが考えられなければならないとい うことです。これまでは、パラメタ付けが微分可能であることを座標を使った表示に現れる各関数 が微分可能であることで定義してきました。一方、座標系を使わずに速度ベクトルを書くと、 ℓ′ (t) = −−−−−−−−→ dℓ ℓ(t)ℓ(t + h) (t) = lim h→0 dt h となります。つまり、この極限が存在するとき「パラメタ付けは微分可能である」と定義するので −−−−−−−−→ す。ただし、ℓ(t)ℓ(t + h) とは「始点が ℓ(t) で終点が ℓ(t + h) のベクトル」のことです。速度ベク トルのこの定義と、空間 U に座標系を入れて成分の微分で考えたこれまでの速度ベクトルとは一 致しています。ℓ′ は [t0 , t1 ] から空間ベクトル空間 V への写像になるので、「連続写像かどうか」 ということを考えることもできます。[t0 , t1 ] 内の任意の t について lim ℓ′ (t + h) = ℓ′ (t) h→0 が成り立つとき連続であると定義すればよいわけです。これもベクトルの成分を使った連続の定義 と一致しています。これらを使うと、線積分の定義は座標系を使わずに ∫ t1 ∫ F⃗ (ℓ(t)) • ℓ′ (t)dt F⃗ • d⃗l = t0 C と書けることがわかります。これが向きに適合したパラメタ付け ℓ をどう選んでも同じ値になる ⃗ と曲線 C だけで決まる値」 ことの証明は復習しませんが、選び方によらないので「ベクトル場 F になるわけです。 同様に、空間 U に座標系を入れなくてもベクトル場の面積分の定義式を書くことができます。 上で説明した曲線のパラメタ付けの場合と同様に、T をパラメタ (s, t) の集合 E から直接空間 U への写像として考えればよいだけです。T (s, t) の偏微分も ℓ(t) の微分と全く同様に定義します。 すなわち、 T : E ∋ (s, t) 7→ T (s, t) ∈ U −−−−−−−−−−−→ T (s0 , t0 )T (s, t0 ) Ts (s0 , t0 ) = lim s→s0 s − s0 −−−−−−−−−−−→ T (s0 , t0 )T (s0 , t) Tt (s0 , t0 ) = lim t→t0 t − t0 ⃗ の曲面 S での面積分は、向きに適合した S のパラメタ付け T : E → U です。すると、ベクトル場 F を使って ∫ ∫ ⃗= F⃗ • dS S F⃗ (T (s, t)) • (Ts (s, t) × Tt (s, t)) dsdt E 4 付録 と書けます。これが向きに適合したパラメタ付け T をどう選んでも同じ値になることの証明はや ⃗ と曲面 S だけで決まる値」になるこ はり復習しませんが、選び方によらないので「ベクトル場 F とも線積分の場合と同じです。 A.1.2 本当に積分されているもの さて、この二つの定義式を見ていて、ちょっと不思議というか遠回りな感じがしてこないでしょ うか? というのは、積分されているのはベクトル場のはずなのに、直接の積分の相手はスカラー場 だということです。一方、スカラー場の線積分や面積分はマックスウェル方程式に現れてこない、 マックスウェル方程式から見ると重要でない概念と言えるでしょう。また、スカラー場の線積分や 面積分は曲線や曲面の向きによらないのに、ベクトル場の線積分や面積分は曲線や曲面の向きを逆 にすると −1 倍されます。このように、ベクトル場の線積分や面積分の定義はどこか無理矢理な感 じがすると思います。このことは、ベクトル場が線積分や面積分されるにふさわしい対象ではない ということを示唆しているように感じられないでしょうか。そこで、ベクトル場の線積分と面積分 において「本当に直接積分されているもの」をもっとよく見てみましょう。そうすれば、ベクトル 場やスカラー場よりも線積分や面積分されるにふさわしい新しい概念が見えてくるかもしれないか らです。 ⃗ (ℓ(t)) • ℓ′ (t) です。しかし、こ 線積分の定義式において本当に積分されているものは t の関数 F れが t の関数なのはパラメタ付けを決めているからで、t を変数だと見てしまっては新しい視点は ′ ⃗ (ℓ(t)) • ℓ′ (t) は t ではなく ℓ(t) を「変数」と見たとき C を定義域 得られないでしょう。一方、F ∥ℓ (t)∥ としパラメタ付けによらないスカラー場になっています。そうれはそうなのですが、このスカラー 場は、ベクトル場の線積分をこのスカラー場の線積分として定義したときに既に使ってしまいまし た。今はその定義の仕方に不満があるからいろいろと悩んでいるわけなので、このスカラー場を考 えても埒が明きません。 ⃗ と曲線 C を両方ひとつずつ選んで考えていますが、「F⃗ が積分されている」 今はベクトル場 F ⃗ と見なすと、F を一つ固定して積分範囲である曲線をいろいろと選び直す度に線積分の値がそれ ⃗ (ℓ(t)) • ℓ′ (t) の ℓ(t) と ℓ′ (t) は空間内(正確に に応じて決まると考えられます。そう考えると、F ⃗ の定義域内)の任意の点 P と任意の空間ベクトル ⃗v の組み合わせがあり得ます。つまり、積 はF ⃗ (P ) • ⃗v という、 分されている本当の対象は F 点と空間ベクトルの組に数を対応させる関数 だと見ることができるのです。 「点と空間ベクトルの組」とはいうものの、ℓ′ (t) は ℓ(t) における速 度ベクトルなのですから、「点と、そこを始点とする空間ベクトル」と見るのが自然でしょう。と いうことは、空間内の矢印を平行移動で同一視するのをやめて、「始点と空間ベクトルの組」を矢 印そのもの考えてしまえば、積分されているものは 矢印に数を対応させる関数 と考えることができます。 ⃗ (T (s, t)) • (Ts (s, t) × Tt (s, t)) 面積分でも同様の考察をしてみましょう。積分されているものは F でした。ここで、積分範囲である曲面 S はいろいろあり得るので、点 T (s, t) は空間内の任意の点 P であり得、Ts (s, t) と Tt (s, t) は二つの任意の空間ベクトル ⃗v , w ⃗ であり得ます。だから、本当 ⃗ (P ) • (⃗v × w) に積分されているものは、F ⃗ という 点と二つの空間ベクトルに数を対応させる関数 5 付録 だと思えます。この場合も Ts (s, t) と Tt (s, t) は T (s, t) を始点としていると見るのが自然なので、 積分されているものは 始点を共有する二つの矢印に数を対応させる関数 と考えられます。 A.2 微分形式の定義 前節で大雑把な枠組みはつかめました。もちろん「何々に数を対応させる関数」というのは本当 に大雑把な観察に過ぎません。そのような関数なら何でも積分される対象になるというわけにはい かないのです。というのは、それだけの条件では、線積分や面積分の値が積分範囲のパラメタ付け で変わってしまうことがあるからです。では、どのような性質を持っていれば線積分や面積分が可 能なのでしょうか? すなわち、積分範囲のパラメタ付けによらずに積分範囲だけで値が決まるので しょうか? ベクトル場の線積分や面積分をさらによく見ることで必要な性質を導き出す発見的考 察をしたいところですが、時間の都合上、いきなり答を書いてしまいます。あしからずご了承くだ さい。 A.2.1 1 次微分形式 U ′ を U の部分集合とし(面倒なら、とりあえず U ′ は空間全体 U だと思っておけば結構です)、 V を空間ベクトル全体のなすベクトル空間とします。U ′ の点 P と空間ベクトル ⃗v に数を対応さ せる関数 θ(P, ⃗v ) が U ′ 上の 1 次微分形式であるとは、U ′ × V を定義域とする関数として微分可 能であり41 、任意の点 P について V から R への写像として線形であること、つまり、 θ(P, ⃗v + w) ⃗ = θ(P, ⃗v ) + θ(P, w) ⃗ θ(P, a⃗v ) = aθ(P, ⃗v ) が任意の P ∈ U ′ , ⃗v , w ⃗ ∈ V , a ∈ R に対して成り立つことです。F⃗ (P ) • ⃗v がこの性質を持つこと は見易いでしょう。実際、スカラー積の性質から F⃗ (P ) • (⃗v + w) ⃗ = F⃗ (P ) • ⃗v + F⃗ (P ) • w ⃗ ( ) F⃗ (P ) • (a⃗v ) = a F⃗ (P ) • ⃗v が成り立ちます。 なお、線形写像のうち行き先が 1 次元ベクトル空間、つまり R であるものを線形形式あるいは 1 次形式と呼びます。1 次微分形式という名前の「微分」以外の部分は、この言葉使いからきてい るのです。(「微分」が付いている理由は次の節で「外微分」を導入するときに説明します。) A.2.2 2 次微分形式 1 次微分形式が「線積分されるべき対象」であることの説明の前に「面積分されるべき対象」の 方も導入してしまいましょう。 U ′ の点 P と二つの空間ベクトル ⃗v , w ⃗ に数を対応させる関数 ω(P, ⃗v , w) ⃗ が U ′ 上の 2 次微分形 式であるとは、U ′ × V × V 上の関数として微分可能であり、任意の点 P について V × V から R 41 微分可能であるということの定義は、U に座標系を入れて θ を成分表示してからします。 6 付録 への双線形写像、すなわち、 ω(P, ⃗v + ⃗u, w) ⃗ = ω(P, ⃗v , w) ⃗ + ω(P, ⃗u, w) ⃗ ω(P, a⃗v , w) ⃗ = aω(P, ⃗v , w) ⃗ ω(P, ⃗v , ⃗u + w) ⃗ = ω(P, ⃗v , ⃗u) + ω(P, ⃗v , w) ⃗ ω(P, ⃗v , aw) ⃗ = aω(P, ⃗v , w) ⃗ が任意の P ∈ U ′ , ⃗v , ⃗ u, w ⃗ ∈ V , a ∈ R に対して成り立ち、さらに、任意の P について二つの空間 ベクトルに関し反対称(歪対称や交代とも言います)である、すなわち ω(P, ⃗v , w) ⃗ = −ω(P, w, ⃗ ⃗v ) (90) が任意の P ∈ U ′ , ⃗v , w ⃗ ∈ V について成り立つことです。F⃗ (P ) • (⃗v × w) ⃗ が以上の性質を持つこと はベクトル積とスカラー積の性質を考えれば分かります。 F⃗ (P ) • ((⃗v + ⃗u) × w) ⃗ = F⃗ (P ) • (⃗v × w ⃗ + ⃗u × w) ⃗ = F⃗ (P ) • (⃗v × w) ⃗ + F⃗ (P ) • (⃗u × w) ⃗ とか F⃗ (P ) • (⃗v × w) ⃗ = F⃗ (P ) • (−w ⃗ × ⃗v ) = −F⃗ (P ) • (w ⃗ × ⃗v ) などです。 なお、反対称性の式 (90) で ⃗v = w ⃗ とすることにより、 ω(P, ⃗v , ⃗v ) = 0 が得られることに注意してください。 二つのベクトルに数を対応させる写像で、それぞれのベクトルについて線形性をもつものを双線 形形式とか 2 次形式と呼びます。2 次微分形式という名前の「微分」以外の部分はここからきてい ます。 A.2.3 一般の k 次微分形式 同様にして、任意の自然数 k について「k 次微分形式」を定義することができます。この章の 目標である「微分形式によるマックスウェル方程式」に必要ですので、一般の k 次微分形式の定 義も与えておきましょう。 U を n 次元空間、V を U から作った n 次元空間ベクトル空間とします。(「世界」の次元にか かわらずに同じように定義できることを強調したいためにこのような設定にしただけです。マック スウェル方程式に出てくるのは時間を加えた 4 次元時空にすぎませんので、今まで通り普通の空 間だけを考えていただければ十分です。)U の部分集合 U ′ を定義域とする k 次微分形式 ω とは、 U ′ の点 P と k 個の空間ベクトル ⃗v1 , . . . , ⃗vk を決めるごとに実数が決まる写像 ω : U ′ × V × · · · V ∋ (P, ⃗v1 , . . . , ⃗vk ) 7−→ ω(P, ⃗v1 , . . . , ⃗vk ) ∈ R であって、任意の P について ω(P, · · · ) は k 重線形性を持つ、すなわち、⃗v1 , . . . , ⃗vk のうち任意 の k − 1 個を固定したとき残りの一つについて線形性を持ち、さらに「任意の二つの ⃗vi と ⃗vj を入 れ替えると値が −1 倍になる」という反対称性(交代性)を持つ、すなわち任意の i < j について ω(P, ⃗v1 , . . . , ⃗vi−1 , ⃗vi , ⃗vi+1 , . . . , ⃗vj−1 , ⃗vj , ⃗vj+1 , . . . , ⃗vk ) = −ω(P, ⃗v1 , . . . , ⃗vi−1 , ⃗vj , ⃗vi+1 , . . . , ⃗vj−1 , ⃗vi , ⃗vj+1 , . . . , ⃗vk ) 7 付録 が成り立つこと、と定義します。反対称性から、⃗v1 , . . . , ⃗vk の中の少なくとも二つが同じベクトル だと ω(P, ⃗v1 , . . . , ⃗vk ) = 0 となることに注意してください。 なお、ベクトルを変数に持たず空間の点を決めるごとに値が決まるもの、すなわちスカラー場の ことを 0 次微分形式とも呼びます。 k 重線形性と反対称性から k > n である k については k 次微分形式は恒等的に 0 になってしま います。k > n を満たしてさえいれば k と n がなんであっても証明の方法は同じなので、例とし て n = 3, k = 4 の場合に証明しておきましょう。 例 1. 普通の 3 次元空間 U における 4 次微分形式は恒等的に 0 である。 証明. 空間ベクトル空間 V の基底 ⃗e1 , ⃗e2 , ⃗e3 を一組とっておきます。任意の 4 つのベクトル ⃗ u, ⃗v , w, ⃗ ⃗x は基底の一次結合で表せます。それを ⃗u = u1⃗e1 + u2⃗e2 + u3⃗e3 ⃗v = v1⃗e1 + v2⃗e2 + v3⃗e3 w ⃗ = w1⃗e1 + w2⃗e2 + w3⃗e3 ⃗x = x1⃗e1 + x2⃗e2 + x3⃗e3 としましょう。4 次微分形式 ω にこれらを代入し 4 重線形性を使って整理すると、 3 3 3 3 ∑ ∑ ∑ ∑ ui⃗ei , vj ⃗ej , wk⃗ek , xl⃗el ω(P, ⃗u, ⃗v , w, ⃗ ⃗x) = ω P, i=1 = j=1 3 ∑ 3 ∑ 3 ∑ 3 ∑ k=1 l=1 ui vj wk xl ω(P, ⃗ei , ⃗ej , ⃗ek , ⃗el ) i=1 j=1 k=1 l=1 となります。ところが、i, j, k, l はそれぞれ 1, 2, 3 のどれかなので、i, j, k, l の中には必ず同じ 値が一組はあります。よって、任意の P と任意の i, j, k, l の組について ω(P, ⃗ei , ⃗ej , ⃗ek , ⃗el ) = 0 です。これで示せました。 □ A.3 微分形式の積分 線積分や面積分の定義式をよく見ることで微分形式を定義したのですから、微分形式の積分の定 義はすぐにできます。以下、1 次微分形式の線積分と 2 次微分形式の面積分を定義した後、折角で すので k 次微分形式の「k 次元の広がりをもった部分集合」での積分も簡単に紹介することにし ます。 A.3.1 1 次微分形式 1 次微分形式 θ の線積分は、C の向きに適合したパラメタ付け ℓ(t)(t0 ≤ t ≤ t1 )を任意に選 んで、 ∫ ∫ t1 θ= C θ(ℓ(t), ℓ′ (t))dt t0 と定義されます。この値がパラメタ付け ℓ によらないことを示さなければなりませんが、それは、 ベクトル場の線積分がパラメタ付けによらないことを示した証明が完全にそのまま通用します。な 8 付録 ぜなら、そのときに使ったベクトル場の線積分の性質は、t = τ (s) という置換で値が変わらない ことだけでしたが、1 次微分形式においてもそれが成り立つからです。実際、m(s) = ℓ(τ (s)) とす ると、 ∫ t1 θ(ℓ(t), ℓ′ (t))dt = ∫ s1 s0 s1 t0 ∫ = θ(ℓ(τ (s)), ℓ′ (τ (s)))τ ′ (s)ds θ(m(s), ℓ′ (τ (s))τ ′ (s))ds = s0 ∫ s1 θ(m(s), m′ (s))ds s0 となっています。この計算を見てお分かりのように、空間ベクトルに対する線形性が曲線のパラメ タ付けによらずに積分の値が決まることを保証してくれているのです。というわけで、1 次微分形 式はまさに「線積分されるべきもの」だと言えます。 注意. パラメタ付けによらずに線積分が定義できるために必要なのは θ(P, a⃗v ) = aθ(P, ⃗v ) という性質だけで θ(P, ⃗v + w) ⃗ = θ(P, ⃗v ) + θ(P, w) ⃗ という性質は必要ありません。しかし、足し算に対する性質も要求すべきな のです。理由を一言で説明できなくて申し訳ありませんが、信じてください。なお、次に見るように、2 次微 分形式の面積分がパラメタ付けによらないためには要求したすべての性質が必要です。★ A.3.2 2 次微分形式 面積分も定義は同様です。ω を 2 次微分形式、S を曲面、T : E ∋ (s, t) 7→ T (s, t) ∈ S ⊂ U を向 きに適合した S のパラメタ付けとして、 ∫ ∫ ω= ω(T (s, t), Ts (s, t), Tt (s, t))dsdt S E と定義します。この値がパラメタ付け T (s, t) によらないことを示しましょう42 。S の別のパラメ タ付け T̂ : Ê ∋ (u, v) 7→ T̂ (u, v) ∈ S ⊂ U は、パラメタの変換 Φ : Ê ∋ (u, v) 7→ (σ(u, v), τ (u, v)) ∈ E T̂ = T ◦ Φ によってもとのパラメタ付け T と結びついています。(T ◦ Φ は写像の合成を意味しています。つ まり、T ◦ Φ(u, v) = T (Φ(u, v)) = T (σ(u, v), τ (u, v)) ということです。)多変数関数における合成 関数の微分公式によって、 T̂u = (Ts ◦ Φ)σu + (Tt ◦ Φ)τu T̂v = (Ts ◦ Φ)σv + (Tt ◦ Φ)τv となっています。よって、 ∫ ∫ ω(T ◦ Φ, (Ts ◦ Φ)σu + (Tt ◦ Φ)τu , (Ts ◦ Φ)σv + (Tt ◦ Φ)τv )dudv ω(T̂ , T̂u , T̂v )dudv = Ê Ê ∫ = {ω(T ◦ Φ, Ts ◦ Φ, Ts ◦ Φ)σu σv + ω(T ◦ Φ, Ts ◦ Φ, Tt ◦ Φ)σu τv Ê ∫ +ω(T ◦ Φ, Tt ◦ Φ, Ts ◦ Φ)τu σv + ω(T ◦ Φ, Tt ◦ Φ, Tt ◦ Φ)τu τv } dudv ω(T ◦ Φ, Ts ◦ Φ, Tt ◦ Φ)(σu τv − σv τu )dudv = ∫ Ê = ω(T, Ts , Tt )dsdt E 42 ベクトル場の面積分のときにこれを示しておくのを忘れていました。 9 付録 となります。ただし、最後の等号は 2 重積分の変数変換公式です。ヤコビアンに絶対値がついてい ないのに変数変換公式だと言えるのは、ヤコビアンが常に正の値をとることがわかっているからで す。二つのパラメタ付けはどちらも S の向きに適合しているので、Φ は Ê から E への向きを保 つ写像になっています。このことから Φ のヤコビアン σu τv − σv τu が常に正の値をとることが保 証されます。 一般の k 次微分形式 A.3.3 最後に「k 次元の広がりを持つ部分集合」D を積分範囲とする k 次微分形式 ω の積分の定義を 紹介だけします。「k 次元の広がりを持つ部分集合」とは曲面のときと同様に、適当にいくつかの 部分に分ければ、それぞれが k 個のパラメタによってパラメタ付けできるという意味です。 (本当 は「向き」の概念もあるのですが、ここでは説明しないことにします。)面積分と同様に、パラメ タ付け可能な部分に分けてそれぞれで積分し、その値を足すことで積分範囲全体での積分を定義す ればよいので、ここでは D は T : E ∋ (t1 , . . . , tk ) 7→ T (t1 , . . . , tk ) ∈ D ⊂ U という(向きに適合した)パラメタ付けを持つものとします。このとき D における ω の積分を ∫ ∫ ω= ω(T, Tt1 , . . . , Ttk )dt1 · · · dtk D E と定義します。この値がパラメタ付けによらないことは ω が k 重線形かつ反対称であることによっ て保証されることも面積分と同様です。(証明は省略します。) なお、「grad に関する微積分の基本定理」で紹介したように、0 次微分形式(すなわちスカラー 場)は「点積分」されます。点の向きは「+ か − か」で付けます。すなわち φ が 0 次微分形式で 例えば点 P0 に「−」の向きを指定しているとき、φ の P0 における「点積分」とは −φ(P0 ) のこ とです。 注意. 電位というスカラー場は「2 点での電位差」が本質的な意味を持ちますので点積分されるべき対象です が、電荷密度というスカラー場は 1 点での値には余り意味がなく、3 次元の広がりを持つ部分を指定して始め て意味を持ちます。このことは、電荷密度は 0 次微分形式ではなく 3 次微分形式と解釈されるべきであるこ とを示唆しています。が、この章では「ベクトル場と 1 次および 2 次微分形式の関係」に集中したいので、3 次微分形式としての密度はここでは追求しません。★ A.4 微分形式と線形座標系 この節では、ベクトル場の成分表示のように、空間 U に線形座標系 x1 x2 x3 を入れて 1 次微分 形式と 2 次微分形式を成分表示し、成分を使って線積分と面積分を表しましょう。また、線形座標 系の間の変換に対して、微分形式の成分表示がどう変わるかも見ます。なお、一般の k 次微分形 式の成分表示に関しては「外微分」を導入してから考えることにします。 A.4.1 1 次微分形式 v1 座標系 x1 x2 x3 による空間ベクトル ⃗v の成分表示を v2 とします。1 次微分形式 θ は、点 v3 P と空間ベクトル ⃗v を与えるごとに数 θ(P, ⃗v ) が決まるのですから、6 変数関数 f によって、 θ(P, ⃗v ) = f (x1 , x2 , x3 , v1 , v2 , v3 ) 10 付録 と表されます43 。(点 P の座標が (x1 , x2 , x3 ) です。)しかも P を固定して ⃗v だけを「変数」だと 思ったとき線形でした。このことは、v1 , v2 , v3 という三つの変数については 1 次関数だというこ とを意味します。よって、 θ(P, ⃗v ) = f1 (x1 , x2 , x3 )v1 + f2 (x1 , x2 , x3 )v2 + f3 (x1 , x2 , x3 )v3 となる三つの 3 変数関数 f1 , f2 , f3 があるということになります。そこで、1 次微分形式 θ の成分 表示を ( ) f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) というように、3 つの関数を横に並べて行ベクトルのように表すことにします。何故行ベクトルの ように表すのかというと、空間ベクトルを縦ベクトルで表すことにしているので、 v1 ( ) θ(P, ⃗v ) = f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) v2 v3 というように 1 次微分形式の成分表示と空間ベクトルの成分表示を行列と見なして掛け算すること で、1 次微分形式のとる値を上手く書き表すことができるからです。つまり、行ベクトルではなく 1 行 3 列の行列として表しているのです。 なお、1 次微分形式が微分可能ということは、これら三つの関数がすべて微分可能ということで 定義します。 さて、この成分表示を使って、1 次微分形式 θ の曲線 C 上での線積分を式で表してみましょう。 θ の成分表示には前段落の記号を使い、C のパラメタ表示を L(t) = (ξ(t), η(t), ζ(t)) (t0 ≤ t ≤ t1 ) とします。すると、 ′ ξ (t) ∫ ∫ t1 ( ) θ= f1 (L(t)) f2 (L(t)) f3 (L(t)) η ′ (t) dt C t0 ∫ t1 = ζ ′ (t) (f1 (L(t))ξ ′ (t) + f2 (L(t))η ′ (t) + f3 (L(t))ζ ′ (t)) dt (91) t0 となります。これはベクトル場の線積分の成分表示による式と同じです。ということは、実は 1 次 微分形式はベクトル場と同じものなのでしょうか ? f1 (x1 , x2 , x3 ) それは違います。 f2 (x1 , x2 , x3 ) を成分表示に持つベクトル場の線積分を表す式が式 (91) f3 (x1 , x2 , x3 ) と同じになるためには、座標系 x1 x2 x3 が正規直交座標系でなければなりませんでした。なぜな ら、二つのベクトルのスカラー積が対応する成分の積の和になるのは座標系が正規直交座標系のと きに限るからです。一方、1 次微分形式の成分表示は、座標系が何であれ上の式になります。この ことから見ても、線積分されるにふさわしい対象は 1 次微分形式の方であってベクトル場ではない ということが感じられると思います。 43 なお、この式の左辺は座標を使わない対象そのもので、右辺は座標で表したときの関数ですので、イコールで結ぶこ とは本当はできません。しかし、タイピングの手間を省くためにイコールで結んでしまいます。以降、このような等式は 「右辺は左辺の座標表示」と解釈しながら読んでください。 11 付録 1 次微分形式とベクトル場の違いをもっとはっきり感じ取るために、座標変換に対する成分の変 わり方を調べましょう。別の線形座標系 y1 y2 y3 をとり、x1 x2 x3 との間に x1 y1 (92) x2 = P y2 y3 x3 という関係があるとします。 (面倒なので原点は共有としてしまいました。 )すると、同じ空間ベク v1 w1 トル ⃗v の x1 x2 x3 座標系での成分表示 v2 と y1 y2 y3 座標系での成分表示 w2 との間 v3 にも、同じ関係 w3 v1 w1 v2 = P w2 v3 w3 があります。もし、1 次微分形式 θ がベクトル場なら、その二つの成分表示 ( ) f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) と ( ) g1 (y1 , y2 , y3 ) g2 (y1 , y2 , y3 ) g3 (y1 , y2 , y3 ) の間にも同じ関係 f1 (x1 , x2 , x3 ) g1 (y1 , y2 , y3 ) f2 (x1 , x2 , x3 ) = P g2 (y1 , y2 , y3 ) f3 (x1 , x2 , x3 ) g3 (y1 , y2 , y3 ) がなければなりません。ところが、実際に計算してみると、 ( ) g1 (y1 , y2 , y3 ) g2 (y1 , y2 , y3 ) g3 (y1 , y2 , y3 ) w1 w2 w3 v1 = θ(Q, ⃗v ) = f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) v2 v3 w1 ( ) = f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) P w2 w3 ( ) となり、最初と最後を比べて ( ) g1 (y1 , y2 , y3 ) g2 (y1 , y2 , y3 ) g3 (y1 , y2 , y3 ) ( ) = f1 (x1 , x2 , x3 ) f2 (x1 , x2 , x3 ) f3 (x1 , x2 , x3 ) P という関係のあることが結論されます。これはベクトルの成分の間の関係ではなく、基底の間の関 係になっています。 物理では、基底と同じ変換を受けるものを共変的、基底と逆の変換を受けるものを反変的と呼 ぶので、ベクトル場を反変ベクトル場、1 次微分形式を共変ベクトル場と呼んだりします。何にせ 12 付録 よ、1 次微分形式とベクトル場は違うものなのです。ただ、正規直交座標系においては行ベクトル と列ベクトルの積が二つの列ベクトルの(数ベクトルとしての)内積と一致し、また、P が直交 行列なら P −1 = tP が成り立つので、座標系が正規直交座標系の場合に限り、1 次微分形式の成分 表示とベクトル場の成分表示を同一視しても差し支えない、という仕組みになっているのです。 注意. 「場」というのは空間の点に「何か」を対応させる写像、つまり U (の部分集合)から何らかの集合へ の写像のことでした。すると、1 次微分形式を場と見なすときの「何らかの集合」は何なのでしょうか?それ は「空間ベクトル空間 V から R への線形形式の全体の集合」です。これのことを V ∗ と書く習慣がありま すので、1 次微分形式という場は、写像の記号では θ : U ′ → V ∗ と表されることになります。なお、数学 II で学んだように、線形写像の全体はベクトル空間になります。特に V ∗ の次元は V と同じです。V と V ∗ の 形式的な違いは成分表示が座標変換に対して反変か共変かということだけなので、U ′ → V を反変ベクトル 場、U ′ → V ∗ を共変ベクトル場というようにどちらも「ベクトル場」と呼んでしまうことがあるのです。★ A.4.2 2 次微分形式 2 次微分形式についても同じ考察をしておきましょう。 u1 ⃗v の他にもう一つ ⃗u があり、それの x1 x2 x3 座標系による成分表示を u2 とし、2 次微分形 u3 式 ω(Q, ⃗v , ⃗ u) の x1 x2 x3 座標系による成分表示を 9 変数関数 f (x1 , x2 , x3 , v1 , v2 , v3 , u1 , u2 , u3 ) と します。まず、ω(Q, ⃗v , ⃗ u) が ⃗v に関して線形であることから、 f (x1 , x2 , x3 , v1 , v2 , v3 , u1 , u2 , u3 ) = f1 (x1 , x2 , x3 , u1 , u2 , u3 )v1 + f2 (x1 , x2 , x3 , u1 , u2 , u3 )v2 + f3 (x1 , x2 , x3 , u1 , u2 , u3 )v3 となる 3 つの 6 変数関数 f1 , f2 , f3 があります。さらに、これらは w ⃗ に関して線形ですので、 f1 (x1 , x2 , x3 , u1 , u2 , u3 ) = f11 (x1 , x2 , x3 )u1 + f12 (x1 , x2 , x3 )u2 + f13 (x1 , x2 , x3 )u3 f2 (x1 , x2 , x3 , u1 , u2 , u3 ) = f21 (x1 , x2 , x3 )u1 + f22 (x1 , x2 , x3 )u2 + f23 (x1 , x2 , x3 )u3 f3 (x1 , x2 , x3 , u1 , u2 , u3 ) = f31 (x1 , x2 , x3 )u1 + f32 (x1 , x2 , x3 )u2 + f33 (x1 , x2 , x3 )u3 となる 9 つの 3 変数関数があります。これを行列の積を使って整理すると、 f (x1 , x2 , x3 , v1 , v2 , v3 , u1 , u2 , u3 ) f11 (x1 , x2 , x3 ) ( ) = v1 v2 v3 f21 (x1 , x2 , x3 ) f31 (x1 , x2 , x3 ) f12 (x1 , x2 , x3 ) f13 (x1 , x2 , x3 ) u1 f22 (x1 , x2 , x3 ) f23 (x1 , x2 , x3 ) u2 f32 (x1 , x2 , x3 ) f33 (x1 , x2 , x3 ) u3 と書けます。さらに、2 次微分形式が反対称であること、すなわち ω(Q, ⃗v , ⃗ u) = −ω(Q, ⃗u, ⃗v ) であ ることから、 fii (x1 , x2 , x3 ) = 0 (i = 1, 2, 3) fij (x1 , x2 , x3 ) = −fji (x1 , x2 , x3 ) (i ̸= j) 13 付録 が導かれます。以上より、 f (x1 , x2 , x3 , v1 , v2 , v3 , u1 , u2 , u3 ) 0 ( ) = v1 v2 v3 −f12 (x1 , x2 , x3 ) f31 (x1 , x2 , x3 ) −f31 (x1 , x2 , x3 ) f12 (x1 , x2 , x3 ) 0 −f23 (x1 , x2 , x3 ) u1 f23 (x1 , x2 , x3 ) u2 0 u3 (93) となることがわかりました。 成分は実質 3 つしかありませんので、1 次微分形式のように横に並べることにしましょう。並べ る順番は ( ) f23 (x1 , x2 , x3 ) f31 (x1 , x2 , x3 ) f12 (x1 , x2 , x3 ) を採用します。何故この順に並べるのかは、次の面積分を成分表示を見れば納得してもらえると思 います。 曲面 S のパラメタ付けを T (s, t) = (ξ(s, t), η(s, t), ζ(s, t)) ((s, t) ∈ E) としましょう。すると、 ω の面積分は、 ∫ ω(T (s, t), Ts (s, t), Tt (s, t))dsdt S ∫ ( = ) ξs E ∫ ηs ζs 0 −f12 (T ) f31 (T ) f12 (T ) 0 −f23 (T ) −f31 (T ) ξt f23 (T ) ηt dsdt 0 ζt (f23 (T )(ηs ζt − ζs ηt ) + f31 (T )(ζs ξt − ξs ζt ) + f12 (T )(ξs ηt − ηs ξt )) dsdt = E ∫ ( = ) f23 (T ) f31 (T ) f12 (t) E ξs ξt ηs × ηt dsdt ζs ζt (94) となります。ただし、ベクトル積 Ts × Tt は数ベクトルとしてのベクトル積です。これも一見ベ クトル場の面積分の式に見えますが、ベクトル場の面積分の式が式 (94) になるのは座標系 x1 x2 x3 が右手正規直交系の場合だけでした。一方、2 次微分形式の面積分は任意の線形座標系でこの式に なります。 座標変換に伴う 2 次微分形式の成分表示の変換も見ておきましょう。それを見れば 2 次微分形式 がベクトル場でも 1 次微分形式でもないことがはっきり納得できると思います。 座標系 x1 x2 x3 と変換 (92) で結ばれている線形線形座標系 y1 y2 y3 をとり、それにによる ⃗v と ⃗ u の成分表示をそれぞれ w1 w2 w3 と o1 o2 o3 とします。そして、2 次微分形式 ω(Q, ⃗v , ⃗ u) の y1 y2 y3 座標系での成分表示を ( ) g23 (y1 , y2 , y3 ) g31 (y1 , y2 , y3 ) g12 (y1 , y2 , y3 ) 14 付録 としましょう。すると、 0 ( ) w1 w2 w3 −g12 (y1 , y2 , y3 ) g31 (y1 , y2 , y3 ) = ω(Q, ⃗v , ⃗u) ( = ) v1 v2 ( = w1 w2 0 g12 (y1 , y2 , y3 ) −g31 (y1 , y2 , y3 ) o1 0 g23 (y1 , y2 , y3 ) o2 −g23 (y1 , y2 , y3 ) 0 o3 f12 (x1 , x2 , x3 ) −f31 (x1 , x2 , x3 ) u1 0 f23 (x1 , x2 , x3 ) u2 −f12 (x1 , x2 , x3 ) u3 f31 (x1 , x2 , x3 ) −f23 (x1 , x2 , x3 ) 0 0 f12 (x1 , x2 , x3 ) −f31 (x1 , x2 , x3 ) ) w3 tP −f12 (x1 , x2 , x3 ) 0 f23 (x1 , x2 , x3 ) P f31 (x1 , x2 , x3 ) −f23 (x1 , x2 , x3 ) 0 v3 となります。最初と最後を見比べて、 0 g12 (y1 , y2 , y3 ) 0 −g12 (y1 , y2 , y3 ) −g31 (y1 , y2 , y3 ) o1 o2 o3 g23 (y1 , y2 , y3 ) 0 g31 (y1 , y2 , y3 ) −g23 (y1 , y2 , y3 ) 0 f12 (x1 , x2 , x3 ) t = P −f12 (x1 , x2 , x3 ) 0 f31 (x1 , x2 , x3 ) −f31 (x1 , x2 , x3 ) f23 (x1 , x2 , x3 ) P −f23 (x1 , x2 , x3 ) 0 となっていることがわかります。これは、横ベクトルの書き方では上手く表せないのですが、 2 つある添え字のどちらについても共変 と言い表すことができます。このことを「2 次微分形式は 2 階の共変テンソル場である」と言い表 します。(ただし、ここではテンソル場については説明しません。) A.5 微分形式と一般の座標系 微分形式の積分の式が線形座標系なら何でも同じ形になることがわかったので、極座標などの一 般の座標系でどうなるのかを考えてみましょう。図がないと大変分かりにくい話なのですが、申し 訳ないことに図を書く時間が取れませんでした。以下、3 次元空間で書きますが、たとえば平面の 極座標系を例に図を書きながら読んでみてください。 A.5.1 一般の座標系によるベクトルの成分表示 一般の座標系とは、U (または部分集合 U ′ )から R3 への写像 X : U ∋ P 7→ X(P ) = (x1 (P ), x2 (P ), x3 (P )) で、1 対 1 で(十分に)微分可能なもののことです。ただし、あとで注意するように、もう少し 条件が要ります。(像は R3 全体である必要はありません。)例えば、点 P の X による行き先が (1, 3, 9) なら、「点 P の座標は (1, 3, 9) である」ということになるわけです。面倒なので、この座 標のことを x1 x2 x3 座標系と呼ぶことにします。 15 付録 この x1 x2 x3 座標系から空間ベクトル空間の成分表示を線形座標系のときと同じ方法で作ること はできません。しかし、微分形式に入れる空間ベクトルは必ず空間の点を伴います。しかも、その 点は空間ベクトルの始点と見なすべきものでした。そこで、空間ベクトル空間の成分表示として点 ごとに異なることを許すことにしましょう。そうすれば以下のように自然に成分表示ができます。 点 P の x1 x2 x3 座標を (a1 , a2 , a3 ) とします。すなわち X(P ) = (a1 , a2 , a3 ) ということです。 そして、P を始点とする三つのベクトルとして、 ⃗xP 1 ⃗xP 2 ⃗xP 3 d −1 = X (t + a1 , a2 , a3 ) dt t=0 d −1 = X (a1 , t + a2 , a3 ) dt t=0 d −1 = X (a1 , a2 , t + a3 ) dt t=0 をとります。上で保留した「X が座標であるための『もう少しの条件』」とは、任意の点 P にお いてこの三つのベクトルが 1 次独立であることです。そして、点 P を始点とするベクトルの成分 表示は、この三つのベクトルを基底に選んで与えるものとします。 さて、y1 y2 y3 を線形な座標系としましょう。x1 x2 x3 座標系によるベクトルの成分と y1 y2 y3 に よるベクトルの成分との間の関係は、点ごとに違ってきます。x1 x2 x3 座標の値を y1 y2 y3 座標の 値に変換する写像を Φ = (φ1 , φ2 , φ3 ) としましょう。つまり、点 P の x1 x2 x3 座標が (a1 , a2 , a3 ) で y1 y2 y3 座標が (b1 , b2 , b3 ) のとき、Φ(a1 , a2 , a3 ) = (b1 , b2 , b3 )、すなわち φ1 (a1 , a2 , a3 ) = b1 , φ2 (a1 , a2 , a3 ) = b2 , φ3 (a1 , a2 , a3 ) = b3 となるということです。この設定で、⃗xP 1 , ⃗xP 2 , ⃗xP 3 の y1 y2 y3 成分を計算してみます。どれでも同じなので ⃗xP 1 で計算してみましょう。⃗xP 1 は x1 x2 x3 座標で (t + a1 , a2 , a3 ) という動点の t = 0 における速度ベクトルです。ということは、y1 y2 y3 座 標が Φ(t + a1 , a2 , a3 ) = (φ1 (t + a1 , a2 , a3 ), φ2 (t + a1 , a2 , a3 ), φ3 (t + a1 , a2 , a3 )) という動点の t = 0 における速度ベクトルです。それは ∂φ 1 ∂x1 (a1 , a2 , a3 ) ∂Φ 2 (a1 , a2 , a3 ) = ∂φ ∂x1 (a1 , a2 , a3 ) ∂x1 ∂φ3 ∂x1 (a1 , a2 , a3 ) となります。これが ⃗ xP 1 の y1 y2 y3 成分表示です。⃗xP 2 と ⃗xP 3 の y1 y2 y3 成分表示は、偏微分する 変数をそれぞれ x2 と x3 に取り替えたものです。 v1 ということは、点 P を始点とするベクトル ⃗v の x1 x2 x3 座標による成分表示が v2 である v3 とき、⃗v の y1 y2 y3 成分表示は ∂φ ∂φ ∂φ ∂φ ∂φ1 ∂φ1 1 1 1 1 v1 ∂x1 ∂x2 ∂x2 ∂x1 ∂x2 ∂x3 ∂φ2 ∂φ2 ∂φ2 2 2 2 + v2 ∂φ + v1 ∂φ = ∂x1 ∂x2 ∂x3 v2 v1 ∂φ ∂x1 ∂x2 ∂x2 ∂φ3 ∂x1 ∂φ3 ∂x2 ∂φ3 ∂x2 ∂φ3 ∂x1 ∂φ3 ∂x2 ∂φ3 ∂x3 v3 となります。つまり、⃗v の点 P における x1 x2 x3 成分表示に写像 Φ の点 P = (a1 , a2 , a3 ) におけ るヤコビ行列を掛けたものになるわけです。ということは、1 次微分形式の成分表示に関しては、 y1 y2 y3 における成分表示(横ベクトルです)に右から同じヤコビ行列を掛ければ x1 x2 x3 成分表 示になります。(点ごとに反変と共変の関係にあるということです。) 16 付録 一般の座標系による積分の表示 A.5.2 1 次微分形式 θ の線積分を計算してみましょう。x1 x2 x3 座標系による曲線 C のパラメタ付けを L(t) = (ξ1 (t), ξ2 (t), ξ3 (t)) とし、それを Φ によって y1 y2 y3 座標系に写すことによって得られるパ ラメタ付けを M (t) = (η1 (t), η2 (t), η3 (t)) とします。また、空間ベクトル ⃗v の y1 y2 y3 成分表示を w1 w2 とします。さらに、x1 x2 x3 座標系による θ の成分表示を (f1 f2 f3 )、y1 y2 y3 座標系に w3 よる成分表示を (g1 g2 g3 ) とします。y1 y2 y3 は線形座標系なので、線積分の式は既に得られてい ます。それを Φ によって x1 x2 x3 座標による式に書き換えようというわけです。 ′ η1 ∫ t1 ( ∫ ) θ= g1 g2 g3 η2′ dt C t0 ∫ t1 = ( ) g1 g2 g3 t0 η3′ ∂φ1 ∂x1 ∂φ2 ∂x1 ∂φ3 ∂x1 ∂φ1 ∂x2 ∂φ2 ∂x2 ∂φ3 ∂x2 ∂φ1 ∂x3 ∂φ2 ∂x3 ∂φ3 ∂x3 ξ1′ ∫ t1 ( ′ dt = f1 ξ 2 t0 ′ ξ3 ) f2 f3 ξ1′ ′ ξ2 dt ξ3′ となります。何と、斜交座標どころか一般の曲線座標でも同じ式で表されるのです!! 証明は省略し ますが、このことは面積分でも成り立ちますし、一般の n 次元空間の一般の k 次微分形式の積分 でも成り立つのです。 以上の説明で、ベクトル場より微分形式の方が積分されるにふさわしい概念だと少しでも思って いただければ幸です。 例 2. U を平面とし、xy を正規直交座標系、rθ を xy 座標系に付随する極座標系とする。 (つまり = ( x) v1 r cos θ, y = r sin θ となっているとする。)空間ベクトル ⃗v の xy 座標系による成分表示が v2 ( ) v1 cos θ0 + v2 sin θ0 であるとき、極座標が (r0 , θ0 ) である点における ⃗v の rθ 成分表示は − vr01 sin θ0 + vr02 cos θ0 である。 証明. 極座標が (r0 , θ0 ) である点におけるベクトルの rθ 成分表示とは、xy 成分が ( ) ( ) (t + r0 ) cos θ0 cos θ0 d = dt (t + r0 ) sin θ0 sin θ0 (95) t=0 と d dt ( r0 cos(t + θ0 ) r0 sin(t + θ0 ) ) ( = t=0 −r0 sin θ0 r0 cos θ0 ) (96) である二つのベクトルの組を基底としたときの 1 次結合の成分のことです。すなわち ( ) ( ) ( ) v1 cos θ0 −r0 sin θ0 = w1 + w2 v2 sin θ0 r0 cos θ0 となる w1 と w2 を縦に並べた数ベクトルが求める成分表示です。この式は ( ) ( )( ) v1 cos θ0 −r0 sin θ0 w1 = v2 sin θ0 r0 cos θ0 w2 (97) 17 付録 と整理できるので、右辺の 2 次正方行列の逆行列を両辺に左から掛ければ求める数ベクトルが ( ) ) ( )( ) ( w1 r0 cos θ0 r0 sin θ0 v1 v1 cos θ0 + v2 sin θ0 1 = (98) = r0 w2 − sin θ0 cos θ0 v2 − vr1 sin θ0 + vr2 cos θ0 0 0 となります。 □ 式 (97) の 2 次正方行列が rθ 座標系から xy 座標系への変換のヤコビ行列であり、式 (98) の 2 次正方行列が xy 座標系から rθ 座標系への変換のヤコビ行列です。 なお、二つのベクトル (95),(96) の図を書けば、上の結果は図形的に納得できるのですが、時間 がなくて図を書くことができません。是非自分で図を書いて、計算ではなく図形的にこの問題の結 果を考えてみてください。 B 外微分 この節では、微分形式の微分である外微分を紹介します。外微分は座標系を使わずに直接定義す ることができます。しかし、残念ながら 0 次微分形式以外では「リー括弧積」なる新しい概念を導 入しなければならない上、意味も全然分からないような定義です。そこで、1 次以上の微分形式の 定義は座標を使ってすることにし(それでも意味はわからないのですが)、座標を使わない定義は 最後に紹介だけすることにします。 B.1 空間ベクトルと方向微分 微分形式の微分を考える前に、微分形式の「変数」である空間ベクトルについて考えを新にして おく必要があります。以下のようにして、空間ベクトルはスカラー場を「微分する操作」であると 見なすのです。 点 P 、空間ベクトル ⃗v 、スカラー場 φ に対し、実数 t を変数とする 1 変数関数 g(t) を g(t) = φ(P + t⃗v ) で定義します。(点 Q と空間ベクトル ⃗ u に対し、Q + ⃗u とは ⃗u の始点を Q としたときの終点の ことです。)このとき、g ′ (0) すなわち d φ(P + t⃗v ) − φ(P ) φ(P + t⃗v ) = lim t→0 dt t t=0 を点 P における φ の ⃗v 方向微分といいます。ここでは ⃗vP (φ) と書くことにします。これは、ス カラー場 φ の定義域を点 P を通り ⃗v を方向ベクトルとする直線に制限したときの点 P における 微分のことです。ただし、その直線を数直線と見なすときに、点 P が 0 で点 P + ⃗v が 1 であるよ うにメモリを振っています。 空間に座標系を固定して、方向微分を座標系を使って表してみましょう。 xyz 座標系を任意の線形座標系とし、φ を表す 3 変数関数を f (x, y, z) とします。また、点 P の u 座標を (a, b, c)、ベクトル ⃗v の成分表示を v とします。すると、上の g(t) は w g(t) = φ(P + t⃗v ) = f (a + tu, b + tv, c + tw) 18 付録 となりますので、多変数関数における合成関数の微分法により g ′ (0) = u ∂f ∂f ∂f (a, b, c) + v (a, b, c) + w (a, b, c) ∂x ∂y ∂z となります。 注意. 線形とは限らない一般の座標系でもこの表示は成立しますが、時間の都合で証明は省略します。本質的 には第 A.5.1 節で説明されているので、興味のある方はそれを参考に考えてみてください。★ 0 次微分形式の外微分 B.2 方向微分という概念は、 始点とベクトルの組 (P, ⃗v ) は、スカラー場に点 P における ⃗v 方向微分 ⃗vP (φ) という スカラーを対応させる操作である という考え方です。これを スカラー場(すなわち 0 次微分形式)φ は、始点とベクトルの組 (P, ⃗v ) に点 P におけ る ⃗v 方向微分 ⃗vP (φ) というスカラーを対応させる操作である と見直すと、1 次微分形式になります。なぜなら、二つのベクトル ⃗v , w ⃗ とスカラー a に対し、線 形性 (⃗v + w) ⃗ P (φ) = ⃗vP (φ) + w ⃗ P (φ) (a⃗v )P (φ) = a(⃗vP (φ)) が成り立つからです。0 次微分形式 φ からこの見なし方で作った 1 次微分形式を dφ と書きます。 U ′ 上のスカラー場の全体を Ω0 (U ′ )、U ′ 上の 1 次微分形式の全体を Ω1 (U ′ ) と書くことにすると、 φ に dφ を対応させる操作は d : Ω0 (U ′ ) −→ Ω1 (U ′ ) という写像になります。これを 0 次微分形式の外微分と言います。1 次微分形式 dφ が (P, ⃗v ) に与 える値を dP φ(⃗v ) と書きます44 。つまり、 dP φ(⃗v ) = ⃗vP (φ) です。 座標で書いてみましょう。前小節と同じ設定にします。 ∂f ∂f ∂f (a, b, c) + v (a, b, c) + w (a, b, c) ∂x ∂y ∂z ⃗vP (φ) = u u でした。これを (a, b, c) と v に対して対応させられた値とみるわけですから、上の式でそ w れらを変数と見なせばよいことになります。というわけで、dφ を線形座標系で表す式は ( ) ∂f ∂x 44 これまでは、1 ∂f ∂y ∂f ∂z 次微分形式 θ が (P, ⃗ v ) に対してとる値を θ(P, ⃗v ) と書いてきました。しかし、「P を決めて ⃗v だけを 変数と見る」という見方をすることが多いので、ここからは θP (⃗ v ) というように P を小さく書くことにします。すると、 0 次微分形式 φ の外微分 dφ という 1 次微分形式については、これまでの書き方だと dφ(P, ⃗v )、これからの書き方だと dφP (⃗v ) となるはずです。しかし、「φ を p で外微分する」という感覚があるので、dφP ではなく dP φ と書くのが普通 です。このプリントでも普通の書き方に従います。 19 付録 となります。点の座標 (x, y, z) を変数とする三つの関数を横に並べた 1 行 3 列の行列で、これをベ クトルの成分表示という縦ベクトルに左から掛けるのです。 ( dP φ(⃗v ) = ∂f ∂x (a, b, c) ∂f ∂y (a, b, c) ∂f ∂z (a, b, c) ) u v w というわけです。 ところで、座標 (x, y, z) の x, y, z 一つ一つは点に数を対応させているのですから 0 次微分形式 (スカラー場)です。と言うことは dx, dy, dz という 1 次微分形式があります。これらはどのよう な 1 次微分形式でしょうか。これらをその xyz 座標を使って表示してみましょう。どれでも同じ ですので dx を考えてみます。上の f のところを x にすればよいわけですから、 ( ) ( ) ∂x ∂x dx = ∂x = 1 0 0 ∂x ∂y ∂z です。つまり、 任意の点にその第 1 座標を対応させる 0 次微分形式(スカラー場)x を外微分してで きる 1 次微分形式 dx は、任意の点を始点とする任意の空間ベクトルにその第 1 成分 を対応させる 1 次微分形式である。 というようになっているのです。同様に、dy はベクトルの第 2 成分を、dz はベクトルの第 3 成分 を取り出す 1 次微分形式です。このことから、任意の 0 次微分形式(スカラー場)φ に対し、φ を xyz 座標で表示した関数が f のとき、 dφ = ∂f ∂f ∂f dx + dy + dz ∂x ∂y ∂z となっていることが分かります。これが、微分形式による「全微分」なるものの説明です。なお、 対応関係がよく分かるようにするために、dφ のことを df と書くこともよくあります。 注意. この表示も一般の座標系で成立します。方向微分を解釈し直しただけなのだから当然なのですが、0 次 微分形式の外微分のよい練習になるので、興味のある方は考えてみてください。★ ところで、xyz が正規直交座標系ならば、スカラー場 φ の座標による表示が f (x, y, z) のとき 勾配ベクトル場 grad φ の成分表示は ∂f ∂x ∂f ∂y ∂f ∂z でした。ということは、1 次微分形式とベクトル場の成分表示を f (x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz ←→ f (x, y, z) g(x, y, z) h(x, y, z) によって対応させれば、外微分 d と勾配 grad は一致することになります。ただし、あくまでもこ の一致は座標系が正規直交座標系の場合のみであることに気を付けてください。 20 付録 B.3 外積 1 次以上の微分形式の外微分を定義するために、二つの微分形式から一つの微分形式を作る外積 という操作について説明します。 p 次微分形式 θ と q 次微分形式 ω に対し、その外積 θ ∧ ω という p + q 次微分形式を次のよう に定義します。 定義 11. 点 P と p + q 個のベクトル ⃗v1 , . . . , ⃗vp+q に対し、 ∑ 1 (θ ∧ ω)P (⃗v1 , . . . , ⃗vp+q ) = sgn(σ)θP (⃗vσ(1) , . . . , ⃗vσ(p) )ωP (⃗vσ(p+1) , . . . , ⃗vσ(p+q) ) p!q! (99) σ∈Sp+q とする。 ただし、Sp+q は p + q 個の文字の置換の全体であり、sgn(σ) は置換 σ の符号(偶置換なら 1、 奇置換なら −1 )です。 わかりにくいので、p と q が小さいときを置換を使わずに書いてみましょう。p か q が 0 のと きはただ掛けるだけです。例えば φ が 0 次微分形式、すなわちスカラー場なら、 (φ ∧ ω)P (⃗v1 , . . . , ⃗vq ) = φ(P )ωP (⃗v1 , . . . , ⃗vq ) に過ぎません。(だから、いちいち φ ∧ ω と書かずに φω と書くのが普通です。)次に p = q = 1 のときは、 (θ ∧ ω)P (⃗v , w) ⃗ = θP (⃗v )ωP (w) ⃗ − θP (w)ω ⃗ P (⃗v ) (100) です。これが 2 次微分形式であることは見やすいでしょう。また、p = 1, q = 2 のときは、 (θ ∧ ω)P (⃗u, ⃗v , w) ⃗ = θP (⃗u)ωP (⃗v , w) ⃗ + θP (⃗v )ωP (w, ⃗ ⃗u) + θP (w)ω ⃗ P (⃗u, ⃗v ) (101) となります。 式 (100) と (101) を定義式 (99) から導いてみましょう。 (⃗v , w) ⃗ の置換は、置換した結果が (⃗v , w) ⃗ のままの恒等置換(符号は正)と、(w, ⃗ ⃗v ) というよう に入れ替わる置換(符号は負)の二つがあります。また、1! = 1 です。よって、 (θ ∧ ω)P (⃗v , w) ⃗ = θP (⃗v )ωP (w) ⃗ − θP (w)ω ⃗ P (⃗v ) となります。なお、これは ( det θP (⃗v ) ωP (⃗v ) θP (w) ⃗ ωP (w) ⃗ ) と一致しています。 次に、(⃗ u, ⃗v , w) ⃗ の置換を考えます。互換(二つの入れ替え)は三つあって、それらはすべて奇置 換(符号は負)です。互換の結果は (⃗ u, w, ⃗ ⃗v ), (⃗v , ⃗u, w), ⃗ (w, ⃗ ⃗v , ⃗u) です。残りの三つはすべて偶置換 (符号は正)で、置換の結果は (⃗ u, ⃗v , w), ⃗ (⃗v , w, ⃗ ⃗u), (w, ⃗ ⃗u, ⃗v ) です。これらに ω が歪対称であること を使って定義式を整理すると、 1 (−θP (⃗u)ωP (w, ⃗ ⃗v ) − θP (⃗v )ωP (⃗u, w) ⃗ − θP (w)ω ⃗ P (⃗v , ⃗u) (θ ∧ ω)P (⃗u, ⃗v , w) ⃗ = 1!2! +θP (⃗u)ωP (⃗v , w) ⃗ + θP (⃗v )ωP (w, ⃗ ⃗u) + θP (w)ω ⃗ P (⃗u, ⃗v )) = 1 (θP (⃗u)ωP (⃗v , w) ⃗ + θP (⃗v )ωP (w, ⃗ ⃗u) + θP (w)ω ⃗ P (⃗u, ⃗v ) 2 +θP (⃗u)ωP (⃗v , w) ⃗ + θP (⃗v )ωP (w, ⃗ ⃗u) + θP (w)ω ⃗ P (⃗u, ⃗v )) = θP (⃗u)ωP (⃗v , w) ⃗ + θP (⃗v )ωP (w, ⃗ ⃗u) + θP (w)ω ⃗ P (⃗u, ⃗v ) 21 付録 となります。 1 次微分形式を三つ外積するとどうなるかも見ておきましょう。 三つの 1 次微分形式 θ, σ, τ と点 P と三つのベクトル ⃗ u, ⃗v , w ⃗ に対し、 θP (⃗u) (θ ∧ σ ∧ τ )P (⃗u, ⃗v , w) ⃗ = det σP (⃗u) τP (⃗u) θP (⃗v ) σP (⃗v ) τP (⃗v ) θP (w) ⃗ σP (w) ⃗ τP (w) ⃗ となることが、式 (101) の ω に σ ∧ τ を代入して (100) を使えば得られます。 (θ ∧ σ ∧ τ )P (⃗u, ⃗v , w) ⃗ = θP (⃗u)(σ ∧ τ )P (⃗v , w) ⃗ + θP (⃗v )(σ ∧ τ )P (w, ⃗ ⃗u) + θP (w)(σ ⃗ ∧ τ )P (⃗u, ⃗v ) = θP (⃗u)(σP (⃗v )τP (w) ⃗ − σP (w)τ ⃗ P (⃗v )) + θP (⃗v )(σP (w)τ ⃗ P (⃗u) − σP (⃗u)τP (w)) ⃗ + θP (w)(σ ⃗ P (⃗u)τP (⃗v ) − σP (⃗v )τP (⃗u)) = θP (⃗u)σP (⃗v )τP (w) ⃗ + θP (⃗v )σP (w)τ ⃗ P (⃗u) + θP (w)σ ⃗ P (⃗u)τP (⃗v ) − θP (⃗u)σP (w)τ ⃗ P (⃗v ) − θP (⃗v )σP (⃗u)τP (w) ⃗ − θP (w)σ ⃗ P (⃗v )τP (⃗u) θP (⃗u) θP (⃗v ) θP (w) ⃗ = det σP (⃗u) σP (⃗v ) σP (w) ⃗ τP (⃗u) τP (⃗v ) τP (w) ⃗ です。 B.4 微分形式の座標表示 さて、以下では座標系 xyz を一つ決めて、座標と外積で微分形式を表すことを考えます。 B.4.1 0 次微分形式 0 次微分形式はスカラー場ですから、x, y, z を変数とする 3 変数関数と 1 対 1 に対応していま す。0 次微分形式に関してはこれで O.K. です。 B.4.2 1 次微分形式 θ を 1 次微分形式としましょう。点 P を決めるごとに θP という空間ベクトル空間から R への 線形写像が決まるのでした。ということは、座標系を使うと、(a, b, c) を決めるごとに R3 から R への線形写像、すなわち 1 行 3 列の行列が決まることと同じです。というわけで、1 次微分形式と、 ( ) f (x, y, z) g(x, y, z) h(x, y, z) という「 1 対 1)にもれなく対応しています。 ( 3 変数関数を三つ横に並べてできる ) ( )1 行 3 列の行列」は ( 一方、 1 0 0 は dx を、 0 1 0 は dy を、 0 0 1 は dz を表すのでした。以 上より、 θ = f (x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz と表されることになります。 22 付録 B.4.3 2 次微分形式 ω を 2 次微分形式としましょう。13 ページの式 (93) で既に計算してあるように、2 次微分形式 ω に対して三つの 3 変数関数 f (x, y, z), g(x, y, z), h(x, y, z) があって、点 P の座標が (a, b, c)、二 w1 v1 つのベクトル ⃗v , w ⃗ の成分表示がそれぞれ v2 , w2 のとき、 w3 v3 ( ωP (⃗v , w) ⃗ = ) v1 v2 v3 0 −h(a, b, c) g(a, b, c) h(a, b, c) 0 −f (a, b, c) w1 −g(a, b, c) f (a, b, c) w2 w3 0 が成り立ちます。一方、2 次微分形式 dx ∧ dy は上の P , ⃗v , w ⃗ に対して、 (dx ∧ dy)P (⃗v , w) ⃗ = dP x(⃗v )dP y(w) ⃗ − dP x(w)d ⃗ P y(⃗v ) = v1 w2 − w1 v2 0 1 0 w1 ( ) = v1 v2 v3 −1 0 0 w2 0 0 0 w3 となります。同様に、 (dy ∧ dz)P (⃗v , w) ⃗ = v2 w3 − w2 v3 = (dz ∧ dx)P (⃗v , w) ⃗ = v3 w1 − w3 v1 = ( v1 v2 v1 v2 ( 0 1 −1 0 0 −1 0 0 0 0 0 v3 0 0 0 ) v3 0 1 ) 0 0 w1 w2 w3 w1 w2 w3 です。以上より、 ω = f (x, y, z)dy ∧ dz + g(x, y, z)dz ∧ dx + h(x, y, z)dx ∧ dz であることがわかりました。 B.4.4 3 次微分形式 µ を 3次微分形式としましょう。 ⃗e1 , ⃗e2 , ⃗e3 を xyz 座標系による標準基底(すなわち ⃗e1 の成分 1 表示が 0 である、というような三つのベクトルです)とし、三つのベクトル ⃗ u, ⃗v , w ⃗ の成分 0 表示がそれぞれ u1 u2 u3 v1 v2 v3 w1 w2 w3 であるとします。すなわち、 ⃗u = u1⃗e1 + u2⃗e2 + u3⃗e3 ⃗v = v1⃗e1 + v2⃗e2 + v3⃗e3 w ⃗ = w1⃗e1 + w2⃗e2 + w3⃗e3 23 付録 ということです。これ(と点 P )を µ に代入し、3 重線形性と歪対称性を使って計算すると、 µP (⃗u, ⃗v , w) ⃗ = 3 ∑ 3 3 ∑ ∑ ui vj wk µP (⃗ei , ⃗ej , ⃗ek ) i=1 j=1 k=1 = u1 v2 w3 µP (⃗e1 , ⃗e2 , ⃗e3 ) + u1 v3 w2 µP (⃗e1 , ⃗e3 , ⃗e2 ) + u2 v1 w3 µP (⃗e2 , ⃗e1 , ⃗e3 ) + u2 v3 w1 µP (⃗e2 , ⃗e3 , ⃗e1 ) + u3 v1 w2 µP (⃗e3 , ⃗e1 , ⃗e2 ) + u3 v2 w1 µP (⃗e3 , ⃗e2 , ⃗e1 ) = (u1 v2 w3 − u1 v3 w2 − u2 v1 w3 + u2 v3 w1 + u3 v1 w2 − u3 v2 w1 )µP (⃗e1 , ⃗e2 , ⃗e3 ) u1 v1 w1 det u2 v2 w2 µP (⃗e1 , ⃗e2 , ⃗e3 ) u3 v3 w3 となります。一方、同じ P , ⃗ u, ⃗v , w ⃗ に対し、式 (101) より、 dP x(⃗u) dP x(⃗v ) dP x(w) ⃗ u1 (dx ∧ dy ∧ dz)P (⃗u, ⃗v , w) ⃗ = det dP y(⃗u) dP y(⃗v ) dP y(w) ⃗ = det u2 dP z(⃗u) dP z(⃗v ) dP z(w) ⃗ u3 v1 v2 w3 w1 w2 w3 となります。よって、 f (x, y, z) = µP (⃗e1 , ⃗e2 , ⃗e3 ) (x, y, z) は点 P の座標 によって 3 変数関数 f (x, y, z) を定義すれば、 µ = f (x, y, z)dx ∧ dy ∧ dz と表されます。 B.4.5 一般の k 次微分形式 同様の議論により、n 次元空間上の k 次微分形式 ω は、n 次元空間に座標系 x1 x2 · · · xn を決 めることにより、n Ck 個の n 変数関数 fi1 i2 ···ik (x1 , x2 , . . . , xn ) によって ∑ ω= 1 ≤ i1 < i2 < · · · < ik ≤ n fi1 ···ik dxi1 ∧ dxi2 ∧ · · · ∧ dxik (102) 1≤i1 <···<ik ≤n と表されることがわかります。興味のある人は考えてみてください。 B.5 1 次微分形式の外微分 1 次微分形式は座標系を固定することで θ = f (x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz と表されました。微分は線形であるべきなので(つまり、足し算と順序交換できるべきなので)、 f (x, y, z)dx の外微分だけ定義できれば定義完了です。そして、 d(f dx) = df ∧ dx 24 付録 と定義します。(特に d(dx) = 0 となります。なぜなら f が定数関数のとき df = 0 だからです。) df の座標表示は既に得られています。それを代入して d(f dx) = ∂f ∂f ∂f ∂f ∂f dx ∧ dx + dy ∧ dx + dz ∧ dx = dz ∧ dx − dx ∧ dy ∂x ∂y ∂z ∂z ∂y となります。式 (100) からわかるように dx ∧ dx = 0, dy ∧ dx = −dx ∧ dy だからです。d(gdy) と d(hdz) も同様ですので、結局、 dθ = d(f dx) + d(gdy) + d(hdz) ( ) ( ) ( ) ∂h ∂f ∂h ∂g ∂f ∂g − − − = dy ∧ dz + dz ∧ dx + dx ∧ dy ∂y ∂z ∂z ∂x ∂y ∂y であることがわかります。 ところで、xyz が右手正規直交座標系のとき、ベクトル場の成分表示とその回転ベクトル場の成 分表示の間には f (x, y, z) g(x, y, z) h(x, y, z) と ∂h ∂y ∂f ∂z ∂g ∂x − − − ∂g ∂z ∂h ∂x ∂f ∂y という関係がありました。ということは、1 次微分形式とベクトル場の成分表示を f f dx + gdy + hdz ←→ g h と対応させ、一方、2 次微分形式とベクトル場の成分表示を f dy ∧ dz + gdz ∧ dx + hdx ∧ dy ←→ f g h と対応させると、1 次微分形式に対する外微分 d とベクトル場に対する回転 rot は一致することに なります。ただし、この対応は座標系が右手正規直交座標系のときに限るということに気を付けて ください。 B.6 2 次微分形式の外微分 座標系を使うと、2 次微分形式 ω は三つの 3 変数関数によって ω = f dy ∧ dz + gdz ∧ dx + hdx ∧ dy と表さるのでした。dω の定義も 1 次微分形式のときと同様に dω = df ∧ dy ∧ dz + dg ∧ dz ∧ dx + dh ∧ dx ∧ dy とします。これに、 df = ∂f ∂f ∂f dx + dy + dz ∂x ∂y ∂z 25 付録 などと dz ∧ dx = −dx ∧ dz などを使うことにより、 ( ) ∂f ∂g ∂h dω = + + dx ∧ dy ∧ dz ∂x ∂y ∂z となります。 ところで、xyz が線形座標系のとき、ベクトル場の成分表示とその発散スカラー場を表す関数の 間には f g h と ∂f ∂g ∂h + + ∂x ∂y ∂z という関係がありました。ということは、2 次微分形式とベクトル場の成分表示を f f dy ∧ dz + gdz ∧ dx + hdx ∧ dy ←→ g h と対応させ、3 次微分形式とスカラー場を表す関数を f dx ∧ dy ∧ dz ←→ f と対応させれば、2 次微分形式に対する外微分 d とベクトル場に対する発散 div は一致することに なります。ただし、この一致は座標系が線形座標系のときに限るということに注意してください。 曲線座標系では一般には成り立ちません。 一般の k 次微分形式の外微分 B.7 n 次元空間の k 次微分形式に対しても外微分を同様に定義します。すなわち、座標系 x1 x2 · · · xn によって式 (102) のように表されている k 次微分形式 ω に対し、外微分 dω を ∑ dω = dfi1 i2 ...ik (x1 , . . . , xn ) ∧ dxi1 ∧ dxi2 ∧ · · · ∧ dxik 1≤i1 <i2 <...<ik ≤n と定義します。 外積に外微分を施すとどうなるかを表すいわば積の微分法は次のようになります。n 次元空間上 の k 次微分形式 ξ と l 次微分形式 η に対し、 d(ξ ∧ η) = dξ ∧ η + (−1)k ξ ∧ dη です。 証明. 座標系 x1 x2 · · · xn を使うと、ξ と η は ξ= ∑ fi1 ···ik dxi1 ∧ · · · ∧ dxik 1≤i1 <···<ik ≤n η= ∑ gj1 ···jl dxj1 ∧ · · · ∧ dxjl 1≤j1 <···<jl ≤n と書けます。この二つを外積すると ξ∧η = ∑ 1≤i1 <···<ik ≤n 1≤j1 <···<jl ≤n fi1 ···ik gj1 ···jl dxi1 ∧ · · · ∧ dxik ∧ dxj1 ∧ · · · ∧ dxjl 26 付録 となります。よって、 ξ = f dx1 ∧ · · · ∧ dxk η = gdxk+1 ∧ · · · ∧ dxk+l のときに証明すれば十分です。このとき ξ ∧ η = f gdx1 ∧ · · · ∧ dxk+l です。 外微分の定義より d(ξ ∧ η) = d(f g) ∧ dx1 ∧ · · · ∧ dxk+l となります。ここで、 d(f g) = n ∑ ∂(f g) i=1 ∂xi dxi = n ( ∑ ∂f i=1 ∂g g+f ∂xi ∂xi ) dxi = gdf + f dg となっていますので、結局 d(ξ ∧ η) = gdf ∧ dx1 ∧ · · · ∧ dxk+l + f dg ∧ dx1 ∧ · · · ∧ dxk+l です。 一方、 dξ = df ∧ dx1 ∧ · · · ∧ dxk dη = dg ∧ dxk+1 ∧ · · · ∧ dxk+l ですので、 dξ ∧ η = (df ∧ dx1 ∧ · · · ∧ dxk ) ∧ (gdxk+1 ∧ · · · ∧ dxk+l ) = gdf ∧ dx1 ∧ · · · dxk+l ξ ∧ dη = (f dx1 ∧ · · · ∧ dxk ) ∧ (dg ∧ dxk+1 ∧ · · · ∧ dxk+l ) = (−1)k f dg ∧ dx1 ∧ dxk+l となります。ここで、任意の m に対して dxm ∧ dg = k+l ∑ dxm ∧ j=k+1 k+l k+l ∑ ∑ ∂g ∂g ∂g dxj = dxm ∧ dxj = (−dxj ∧ dxm ) ∂xj ∂xj ∂xj j=k+1 j=k+1 = −dg ∧ dxm であることを k 回繰り返して使いました。この二つから、 dξ ∧ η + (−1)k ξ ∧ dη = gdf ∧ dx1 ∧ · · · ∧ dxk+l + f dg ∧ dx1 ∧ · · · ∧ dxk+l となります。 以上で d(ξ ∧ η) = dξ ∧ η + (−1)k ξ ∧ dη が示せました。 □ B.8 座標を使わない外微分の表示 注意. この節では、外微分が座標系の取り方によらない操作であることを説明します。 (証明まではしません。) しかし、たいへん難しいので、「外微分は座標系によらない」ということを信じたうえで未練なく次の節に飛 んでください。★ 27 付録 φ をスカラー場とします。点 P を始点とするベクトル ⃗v によって、φ の点 P における ⃗v 方 ⃗ があれば、F⃗ (φ) というスカ 向微分 ⃗vP (φ) という値が得られます。ということは、ベクトル場 F ⃗ (P )P (φ) という値を対応させるのです。スカラー場な ラー場ができることになります。点 P に F ⃗ があ のですから、これも方向微分される対象となりえます。たとえば、もうひとつベクトル場 G ⃗ F⃗ (φ)) というスカラー場ができます。F⃗ と G ⃗ を施す順序を入れ替えて F⃗ (G(φ)) ⃗ れば、G( を考え ることももちろんできます。ここでは説明できませんが、この二つの差には重要な意味があって、 特別な記号が用意されています。 ⃗ ⃗ ⃗ F⃗ (φ)) [F⃗ , G](φ) = F⃗ (G(φ)) − G( ⃗ とG ⃗ だけから決まるあるベク です。実は、このようにしてできるスカラー場は φ によらずに F ⃗ , G] ⃗ はベクトル場を表してい トル場による方向微分になっていることが証明できます。つまり、[F ⃗ とG ⃗ のリー括弧積と言います。 るのです。このベクトル場を F リー括弧積を使うと、微分形式の外微分を座標系を使わずに書き表すことができます。このこと は、外微分が座標系によらない概念であることを意味していることに注意してください。 ω が p 次微分形式のとき、dω は (dω)(F⃗1 , F⃗2 , . . . , F⃗p+1 ) = p+1 ∑ k=1 + ( ) (−1)k+1 F⃗k ω(F⃗1 , . . . , F⃗k−1 , F⃗k+1 , . . . , F⃗p+1 ) ∑ (−1)k+l ω([F⃗k , F⃗l ], F⃗1 , . . . , F⃗k−1 , F⃗k+1 , . . . , F⃗l−1 , F⃗l+1 , . . . , F⃗p+1 ) 1≤k<l≤p+1 となります。 申し訳ありませんが、証明は省略します。 C ストークスの定理:微分形式に関する「微積分の基本定理」 U を n 次元空間、k を n 以下の自然数、D を U 内の k 次元の部分集合とします。ただし D には向きが指定されているとします。このとき、D を定義域に含む k − 1 次微分形式 ω に対し、 ∫ ∫ dω = ω D ∂D が成り立ちます。ただし、∂D の向きは D の向きからしかるべく定めます。これをストークスの 定理と言います。 一般のストークスの定理の証明はここではしません(できません)。U が 3 次元で k = 1, 2, 3 の場合を、スカラー場やベクトル場の微分に関する「微積分の基本定理」から証明しましょう。 C.1 k = 1 の場合 φ を 0 次微分形式、C を始点 P 終点 Q とする曲線とします。これに関するストークスの定理 とは ∫ dφ = φ(Q) − φ(P ) (103) C のことです。これが成り立つことを証明しましょう。 28 付録 ⃗ の成分表示が 空間に正規直交座標系を固定したとき、1 次微分形式 θ とベクトル場 F f f dx + gdy + hdz と g (104) h となっているなら、任意の曲線 C について ∫ ∫ θ= F⃗ • d⃗l C C が成り立ちます。なぜならば、10 ページの式 (91) にあるように、正規直交座標系では 1 次微分形 式の線積分の定義式とベクトル場の線積分の定義式が同じだからです。 さて、第 B.2 節の最後に書いたように、式 (104) の成分表示を持つ 1 次微分形式とベクトル場を 対応させるとき、0 次微分形式(すなわちスカラー場)を外微分してできる 1 次微分形式と勾配ベ クトル場の成分表示が対応するのでした。よって、ストークスの定理 (103) を正規直交座標系と適 当なパラメタ付けで表した式は、勾配ベクトル場に関する微積分の基本定理 ∫ grad φ • d⃗l = φ(Q) − φ(P ) C を同じ座標系と同じパラメタ付けで表した式と一致します。勾配ベクトル場に関する微積分の基本 定理が成り立つことは証明済みですので、これでストークスの定理 (103) も証明できたことになり ます。 C.2 k = 2 の場合 θ を 1 次微分形式、S を表裏付き曲面、∂S を S の縁で回転ベクトル場のストークスの定理のと きと同じように S の向きから決まる向きが付いているものとします。このとき、ストークスの定 ∫ 理は ∫ dθ = S θ (105) ∂S となります。これを証明しましょう。 ⃗ で、それぞれの 空間に右手正規直交座標系 xyz を固定します。2 次微分形式 ω とベクトル場 F 成分表示が f dy ∧ dz + gdz ∧ dx + hdx ∧ dy と f g h (106) であるものをとります。このとき、任意の曲面 S に対して ∫ ∫ ⃗ ω= F⃗ • dS S S が成り立ちます。なぜなら右手正規直交座標系では両方の定義式が同じになるからです。確かめて おきましょう。 T : E ∋ (s, t) 7→ (ξ(s, t), η(s, t), ζ(s, t)) ∈ U 29 付録 を S の向きに適合したパラメタ付けとすると、 ∫ ∫ ω= (f (T )dy ∧ dz(Ts , Tt ) + g(T )dz ∧ dx(Ts , Tt ) + h(T )dx ∧ dy(Ts , Tt )) dsdt S ∫E = (f (T )(dy(Ts )dz(Tt ) − dy(Tt )dz(Ts )) + g(T )(dz(Ts )dx(Tt ) − dz(Tt )dx(Ts )) E f ◦T = g◦T E h◦T f ◦T ∫ = g◦T ∫ E +h(T )(dx(Ts )dy(Tt ) − dx(Tt )dy(Ts ))) dsdt ηs ζt − ηt ζs • ζs ξt − ζt ξs dsdt ξs ηt − ξt ηs ξs ξt ∫ ⃗ F⃗ • dS • ηs × ηt dsdt = h◦T ζs S ζt となって一致しています。 さて、第 B.5 節の最後に書いたように、1 次微分形式とベクトル場を第 C.1 節の式 (104) で対応 させると、1 次微分形式を外微分してできる 2 次微分形式とその 1 次微分形式に対応するベクトル 場の回転ベクトル場は式 (106) のように対応しています。ということは、ストークスの定理 (105) を右手正規直交座標系と適当なパラメタ付けで表した式は、回転ベクトル場に関するストークスの ∫ 定理 ∫ F⃗ • d⃗l ⃗= rot F⃗ • dS S ∂S を同じ座標系と同じパラメタ付けで表した式と一致します。回転ベクトル場に関するストークスの 定理が成り立つことは証明済みですので、これでストークスの定理 (105) も証明できたことになり ます。 C.3 k = 3 の場合 ω を 2 次微分形式、D を空間内の領域、∂D を D の境界のなす曲面で、D の内部に触れている 側を裏とします。このとき、ストークスの定理は ∫ ∫ dω = ω (107) D ∂D となります。これを証明しましょう。 空間に正規直交座標系 xyz を固定します。3 次微分形式 µ とスカラー場 φ でそれぞれの成分表 示が f (x, y, z)dx ∧ dy ∧ dz と f (x, y, z) (108) であるものをとります。このとき、任意の領域 D に対して ∫ ∫ µ= φdV D D が成り立ちます。なぜなら正規直交座標系では両方の定義式が同じになるからです。確かめておき ましょう。D は 3 次元空間内の 3 次元の広がりを持つ部分集合ですので、与えられた座標系をそ のままパラメタ付けと見なすことができます。すなわち、 Id : D ∋ (x, y, z) 7→ (x, y, z) ∈ U 30 付録 ∫ という恒等写像が D のパラメタ付けになっているということです。これを使って ましょう。 ∫ D µ を計算し ∫ f (Id)dx ∧ dy ∧ dz(Idx , Idy , Idz )dxdydz µ= D D ∫ dx(Idx ) = f (x, y, z) det dy(Idx ) D dz(Idx ) 1 0 0 ∫ = f (x, y, z) det 0 1 0 D 0 0 1 dx(Idy ) dy(Idy ) dz(Idy ) dx(Idz ) dy(Idz ) dxdydz dz(Idz ) dxdydz = ∫ ∫ f (x, y, z)dxdydz = D φdV D となって、一致しています。 さて、第 B.6 節の最後に書いたように、2 次微分形式とベクトル場を式 (106) のように対応させ ると、2 次微分形式を外微分してできる 3 次微分形式とその 2 次微分形式に対応するベクトル場の 発散スカラー場は式 (108) のように対応しています。ということは、ストークスの定理 (107) を正 規直交座標系と適当なパラメタ付けで表した式は、ガウスの発散定理 ∫ ∫ ⃗ F⃗ • dS div F⃗ dV = D ∂D を同じ座標系と同じパラメタ付けで表した式と一致します。ガウスの発散定理定理が成り立つこと は証明済みですので、これでストークスの定理 (107) も証明できました。 D マックスウェル方程式 この節の目標は、微分形式と外微分を使うことで、マックスウェル方程式を簡潔な形に書きかえ ることです。 まず答の方程式を書いてしまい、それをベクトル場の方程式に翻訳するとマックスウェル方程式 が得られる、という道筋で話すのが最短ですが、「発見的」であることを重んじてきたこのゼミの 方針に合いませんので、 (最早イメージ戦略は通用しなくなっているにもかかわらず、)その説明法 はとらないことにします。また、最終的には電磁ポテンシャルに当たる微分形式を用いた方程式に なるのですが、マックスウェル方程式を電磁ポテンシャルで書き換えた式を出発点にすることもし ません。重複をいとわずマックスウェル方程式そのものから(できるだけ)発見的に話を進めるこ とにします。ただし、ベクトル場に関して行った計算がそのまま使える場合には、以前の計算を引 用します。その点はご了承ください。 D.1 設定 マックスウェル方程式の微分形を思い出しましょう。 ⃗ =ρ ε0 div E ⃗ = ⃗0 div B ⃗+ rot E ⃗ ∂B =0 ∂t ⃗ 1 ⃗ − ε0 ∂ E = J⃗ rot B µ0 ∂t でした。ε0 と µ0 という定数が邪魔なので、改めて ⃗ をE ⃗ と、 cε0 E ⃗ をB ⃗ と c2 ε0 B 31 付録 と置き直します。c は光速で c = ⃗ = cρ div E √ 1 ε0 µ0 です。このように置き換えると、マックスウェル方程式は ⃗ =0 div B ⃗+ rot E ⃗ 1 ∂B = ⃗0 c ∂t ⃗− rot B ⃗ 1 ∂E = J⃗ c ∂t となります。さらに、定数 c も消すために、 x0 = ct J0 = cρ いう新しい時刻の単位と新しいスカラー場を導入します。 (なぜ x0 や J0 というような添え字 0 を 付けているかというと、後で時空(時間と空間)の座標系として x0 x1 x2 x3 を使うからです。)す ると、マックスウェル方程式は、定数の全くない ⃗ = J0 div E ⃗ =0 div B ⃗ ⃗ + ∂ B = ⃗0 rot E ∂x0 ⃗ ⃗ − ∂ E = J⃗ rot B ∂x0 という連立方程式になります。これを微分形式に書き換えて行きましょう。 ベクトル場の微分や微分形式の外微分を座標系を使って定義したので、方程式の書き換えの議論 も座標系を使って進めます。以下、U を空間とし、x1 x2 x3 を U の右手正規直交座標系とします。 e と書き、時刻を上で定義した x0 で表すことにし また、時間と空間の作る 4 次元時空 R × U を U e の座標系は x0 x1 x2 x3 となります。この座標系による E, ⃗ B, ⃗ J⃗ の成分表示をそれぞれ ます。U E1 (x0 , x1 , x2 , x3 ) E2 (x0 , x1 , x2 , x3 ) E3 (x0 , x1 , x2 , x3 ) B1 (x0 , x1 , x2 , x3 ) B2 (x0 , x1 , x2 , x3 ) B3 (x0 , x1 , x2 , x3 ) J1 (x0 , x1 , x2 , x3 ) J2 (x0 , x1 , x2 , x3 ) J3 (x0 , x1 , x2 , x3 ) とします。なお、スカラー場 J0 を座標系を使って表す関数には同じ記号 J0 を使うことにします。 D.2 マックスウェル方程式の書き換え D.2.1 ⃗ = 0 の書き換え 「単磁極なし」div B ⃗ = 0 を書き換えましょう。なぜこの式から書き換えるかというと、場が一つと場の微 まず div B 分が一つだけからなっているという、4 つの中で一番簡単な方程式だからです。 第 4.2.5 節でみたように、div に当たる外微分は d : Ω2 (U ) → Ω3 (U ) でした。具体的には、U 上 の 2 次微分形式 β を β = B1 dx2 ∧ dx3 + B2 dx3 ∧ dx1 + B3 dx1 ∧ dx2 と定義すれば、 ( dβ = ∂B2 ∂B3 ∂B1 + + ∂x1 ∂x2 ∂x3 ) ( ) ⃗ dx1 ∧ dx2 ∧ dx3 dx1 ∧ dx2 ∧ dx3 = div B となります。よって、 ⃗ =0 div B です。これで書き換えができました。 ⇐⇒ dβ = 0 ∈ Ω3 (U ) 32 付録 D.2.2 ⃗ ⃗ + ∂ B = ⃗0 の書き換え 「ファラデーの法則」rot E ∂x0 ⃗ を β という微分形式に置き換えればよいことがわかったので、次に、ファラデーの法 これで B ⃗ + ∂ B⃗ = ⃗0 を微分形式で書き換えましょう。 則である rot E ⃗ ∂B ∂x0 は単純に ∂x0 ∂β ∂x0 でよいでしょう。x0 での偏微分の意味は、係数である関数 Bi (x0 , x1 , x2 , x3 ) たちの偏微分のことです。一方、第 4.2.4 節で考えたように、rot は d : Ω1 (U ) → Ω2 (U ) に対応し ているのでした。具体的には ε = E1 dx1 + E2 dx2 + E3 dx3 と定義すれば、 ( ) ( ) ( ) ∂E3 ∂E2 ∂E3 ∂E1 ∂E1 ∂E2 dε = − dx2 ∧ dx3 + − dx3 ∧ dx1 + − dx1 ∧ dx2 ∂x2 ∂x3 ∂x3 ∂x1 ∂x1 ∂x2 ⃗ を対応させたのと同じ対応のさせ方によって rot E ⃗ に対応 となります。この式の右辺は、β と B しています。以上より、 ⃗+ rot E ∂B = ⃗0 ∂x0 ⇐⇒ dε + ∂β = 0 ∈ Ω2 (U ) ∂x0 となります。これで書き換えができました。 D.2.3 ⃗ = J0 の言い換え 「ガウスの法則」div E ⃗ = J0 を書き換えましょう。div に当たる外微分は d : Ω2 (U ) → Ω3 (U ) でした。しか 次に div E ⃗ に当たる微分形式として 1 次微分形式 ε ∈ Ω1 (U ) を選んでしまいました。仕方がな し、前節で E いので、1 次微分形式を 2 次微分形式に変身させる操作を考えることにします。 写像 ∗ : Ω1 (U ) → Ω2 (U ) を ∗(f1 dx1 + f2 dx2 + f3 dx3 ) = f1 dx2 ∧ dx3 + f2 dx3 ∧ dx1 + f3 dx1 ∧ dx2 で定義します。(スター作用素と呼びます。)ε に ∗ を施してから外微分すると、 d(∗ε) = d (E1 dx2 ∧ dx3 + E2 dx3 ∧ dx1 + E3 dx1 ∧ dx2 ) ) ( ( ) ∂E2 ∂E3 ∂E1 ⃗ dx1 ∧ dx2 ∧ dx3 + + dx1 ∧ dx2 ∧ dx3 = div E = ∂x1 ∂x2 ∂x3 となります。よって、3 次微分形式 ι0 を ι0 = J0 dx1 ∧ dx2 ∧ dx3 と定義すれば、 ⃗ = J0 div E ⇐⇒ となります。これで書き換えられました。 d(∗ε) = ι0 ∈ Ω3 (U ) 33 付録 ⃗ ⃗ − ∂ E = J⃗ の書き換え 「アンペール・マックスウェルの法則」rot B ∂x0 D.2.4 ⃗ − ∂ E⃗ = J⃗ を微分形式に書き換えましょう。 最後に rot B ∂x0 ⃗ は 2 次微分形式 β に対応させているのに、rot は外微分 d : Ω1 (U ) → Ω2 (U ) に対応するので B した。そこで、前節とは逆に 2 次微分形式 β を 1 次微分形式に変身させてから d を施しましょう。 写像 ∗ : Ω2 (U ) → Ω1 (U ) を前節の ∗ の逆写像、すなわち ∗ (f1 dx2 ∧ dx3 + f2 dx3 ∧ dx1 + f3 dx1 ∧ dx2 ) = f1 dx1 + f2 dx2 + f3 dx3 で定義します。β に ∗ を施してから外微分すると、 d(∗β) = d (B1 dx1 + B2 dx2 + B3 dx3 ) ( ) ( ) ( ) ∂B3 ∂B2 ∂B3 ∂B1 ∂B1 ∂B2 = − − − dx2 ∧ dx3 + dx3 ∧ dx1 + dx1 ∧ dx2 ∂x2 ∂x3 ∂x3 ∂x1 ∂x1 ∂x2 ⃗ に対応する 2 次微分形式です。これで rot B ⃗ の言い換えはできました。 となります。これは rot B ところが、d(∗β) は 2 次微分形式なのに ⃗ ∂E で、 ∂x 0 ∂ε ∂x0 は 1 次微分形式です。これでは足せません。そこ の方でも ε ではなく ∗ε を使いましょう。すると、 d(∗β) − ∂(∗ε) ∂x0 ∂ = d (B1 dx1 + B2 dx2 + B3 dx3 ) − (E1 dx2 ∧ dx3 + E2 dx3 ∧ dx1 + E3 dx1 ∧ dx2 ) ∂x0 ( ) ( ) ∂B3 ∂B2 ∂E1 ∂B1 ∂B3 ∂E2 = − − dx2 ∧ dx3 + − − dx3 ∧ dx1 ∂x2 ∂x3 ∂x0 ∂x3 ∂x1 ∂x0 ( ) ∂B2 ∂B1 ∂E3 + − − dx1 ∧ dx2 ∂x1 ∂x2 ∂x0 ⃗− となります。この 2 次微分形式は rot B ⃗ ∂E ∂x0 に対応しています。だから、J⃗ を 2 次微分形式 ι = J1 dx2 ∧ dx3 + J2 dx2 ∧ dx3 + J3 dx3 ∧ dx1 に対応させれば、 ⃗ ⃗ − ∂ E = J⃗ rot B ∂x0 ⇐⇒ d(∗β) − ∂(∗ε) = ι ∈ Ω2 (U ) ∂x0 となります。これで書き換えられました。 D.3 e 上の方程式に書き換える 4 次元時空 U 前節まででマックスウェル方程式を微分形式と外微分を使った式に書きなおすことができました。 ⃗ = J0 div E ⃗ =0 div B ⇕ ⇕ d(∗ε) = ι0 dβ = 0 ⃗ ∂B = ⃗0 ∂x0 ⇕ ∂β =0 dε + ∂x0 ⃗+ rot E ⃗ ∂E = J⃗ ∂x0 ⇕ ∂(∗ε) d(∗β) − =ι ∂x0 ⃗− rot B 34 付録 というように、一つ一つの方程式が同値な方程式に書き換えられたのです。ということは、書き換 ⃗ B, ⃗ J⃗ の成分を使っ えても嬉しいことは何もなかったということになってしまいました。単に、E, て ε, β, ι を作って rot と div を d に変えただけの、記法の違いにすぎないからです。 微分形式を利用することで本当に新しい視点を得るには、時間と空間を一緒にした 4 次元時空 e U 上の微分形式に関する方程式に書きなおす必要があります。この節では、マックスウェル方程式 e 上のどのような微分形式と見なせ をよく見ることで、U 上の微分形式である ε, β, ι0 , ι たちを U ばよいのかを考えましょう。 「方程式の数をなるべく減らす」ということを方針とします。ベクトル場で考えていたときにも 「電磁ポテンシャル」を使って式を二つに減らしました。その視点は微分形式で考える場合にも有 e 上の方程式に 効です。しかし、ここではポテンシャルを考える前の 4 つの方程式を 4 次元時空 U ⃗ =0と 書き換えることを目指すことにします。ただし、「電磁ポテンシャル」を使うことで div B ⃗ ∂B ⃗ ⃗ rot E + = 0 が組合わさって消えてしまったことは参考にしましょう。つまり、 ∂x0 dβ = 0 と dε + ∂β = 0 のペア ∂x0 と d(∗ε) = ι0 と d(∗β) − ∂(∗ε) = ι のペア ∂x0 をそれぞれ一つの方程式にすることを目指します。 D.3.1 時刻の外微分 dx0 の導入 この組み合わせで考えるときに問題になるのは、 dβ = 0 と d(∗ε) = ι0 は 3 次微分形式の間の等式 なのに dε + ∂(∗ε) ∂β = 0 と d(∗β) − = ι は 2 次微分形式の間の等式 ∂x0 ∂x0 だということです。このズレを解消しなければどちらの組も一つの方程式にすることはできませ ん。そこで、このズレの解消を時刻 x0 にしてもらいましょう。下の二つの等式の両辺に dx0 を外 積してしまえばいとも簡単に 3 次微分形式の間の等式になるからです。このやり方は荒っぽく感じ るかもしれませんが、少なくとも ι0 と ι に関しては以下のようにイメージ的な説明をつけること ができます。 我々は 1 次微分形式を「ある点での速度に値を与える」と考えましたが、速度とは「位置の微小 変化の極限」ですから、大雑把には 1 次微分形式を「ある点とそこからの微小なずれに値を与え る」と見なせます。同様に 2 次微分形式と 3 次微分形式も大雑把にはそれぞれ「微小な面に値を与 える」および「微小な体積に値を与える」と見なせます。この考え方では dx0 は「微小な時刻変 化(時間)に値を与える」となります。ところで、ι0 は電荷密度でした。電荷密度とは「時刻を決 めると、微小体積を決めるごとに電荷が決まる」というものです。だからこそ 3 次微分形式で表さ れるわけです。一方、ι は電流密度でした。電流密度とは「微小な面と微小な時刻変化を与えると 電荷が決まる」というものです。「微少な時刻の変化の間に微少な面を通過する電荷の量」という ことです。だから、空間成分の 2 次微分形式だけではなく時刻成分の 1 次微分形式を含む時空上の 35 付録 3 次微分形式であるのべきものなのです。これが ι に dx0 を外積することが正当であることのイ メージ的な説明です。 さて、以上の方針を受け入れてもらうことにすると、我々はマックスウェル方程式を と dβ = 0 dε ∧ dx0 + ∂β ∧ dx0 = 0 ∂x0 というペアと、 ∂(∗ε) ∧ dx0 = ι ∧ dx0 ∂x0 というペアという二組のペアとして考えを進めるということになります。 e 上での外微分を d˜ と書くことにします。だから、 以下、U 上での外微分と混乱しないように、U ˜ 0 となります。また、i = 1, 2, 3 に関しては、dxi と dx ˜ i は同じものを U 上の微 dx0 ではなく dx d(∗ε) = ι0 と d(∗β) ∧ dx0 − e 上の微分形式と見なすかということの違いに過ぎません。断りなく dxi と書 分形式と見なすか U ˜ i と書いたりしますのでご注意下さい。 いたり dx D.3.2 ˜ 0+ dβ = 0 と dε ∧ dx ∂β ∂x0 ˜ 0 = 0 の統合 ∧ dx まず右辺が両方とも 0 で ∗ もないので簡単そうに見える第一のペアから考えてみましょう。と りあえず β = B1 dx2 ∧ dx3 + B2 dx3 ∧ dx1 + B3 dx1 ∧ dx2 e 上で外微分してみます。すると、外微分の定義より をU ˜ = ∂B1 dx ˜ 0 ∧ dx ˜ 2 ∧ dx ˜ 3 + ∂B1 dx ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 3 + ∂B2 dx ˜ 0 ∧ dx ˜ 3 ∧ dx ˜ 1 dβ ∂x0 ∂x1 ∂x0 ∂B2 ˜ ˜ 3 ∧ dx ˜ 1 + ∂B3 dx ˜ 0 ∧ dx ˜ 1 ∧ dx ˜ 2 + ∂B3 dx ˜ 3 ∧ dx ˜ 1 ∧ dx ˜ 2 dx2 ∧ dx + ∂x2 ∂x0 ∂x3 ∂β ˜ 0 + dβ = ∧ dx ∂x0 となります。これはまさしく今考えている二つの方程式の β に関わる部分の和です。 ということは、何かに d˜ を施すことで二つの方程式の ε に関わる部分の和を作れれば、二つの 方程式を一つにまとめることができます。ところが、二つの方程式のどちらにも ε の x0 による偏 ˜ 微分がありません。ということは ε そのものを外微分してもダメだということです。なぜなら、dε は ε の x0 による偏微分を含んでしまうからです。ところで、上の計算を見てもらってもわかるよ ˜ 0 が生まれます。ということは、外微分されるものがはじめから うに、x0 による偏微分と共に dx ˜ 0 を外積されていれば、dx ˜ 0 ∧ dx ˜ 0 = 0 という関係から x0 による偏微分の入った項は消えます。 dx ˜ 0 を外微分してみましょう。すると、 そこで、ε そのものではなく ε ∧ dx ˜ ∧ dx ˜ 0 ) = d(E ˜ 1 dx ˜ 1 ∧ dx ˜ 0 + E2 dx ˜ 2 ∧ dx ˜ 0 + E3 dx ˜ 3 ∧ dx ˜ 0) d(ε ∂E1 ˜ ˜ 1 ∧ dx ˜ 0 + ∂E1 dx ˜ 3 ∧ dx ˜ 1 ∧ dx ˜ 0 + ∂E2 dx ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 0 dx2 ∧ dx ∂x2 ∂x3 ∂x1 ∂E2 ˜ ˜ 2 ∧ dx ˜ 0 + ∂E3 dx ˜ 1 ∧ dx ˜ 3 ∧ dx ˜ 0 + ∂E3 dx ˜ 2 ∧ dx ˜ 3 ∧ dx ˜ 0 dx3 ∧ dx + ∂x3 ∂x1 ∂x2 ( ) ( ) ∂E3 ∂E2 ˜ ∂E1 ∂E3 ˜ ˜ ˜ ˜ 1 ∧ dx ˜ 0 = − dx2 ∧ dx3 ∧ dx0 + − dx3 ∧ dx ∂x2 ∂x3 ∂x3 ∂x1 ( ) ∂E2 ∂E1 ˜ ˜ 2 ∧ dx ˜ 0 + − dx1 ∧ dx ∂x1 ∂x2 ˜ 0 = dε ∧ dx = 36 付録 となります。これはまさに欲しかった式です。 以上より、 dβ = 0 と dε + ∂β =0 ∂x0 は ˜ ∧ dx ˜ 0 + β) = 0 d(ε ˜ 0 を含まない部分が dβ = 0 と、dx ˜ 0 を含む と同値であることがわかりました。下の方程式で dx 部分が dε + ∂β ∂x0 = 0 と同値になっています。 ˜ 0− d(∗ε) = ι0 と d(∗β) ∧ dx D.3.3 ∂(∗ε) ∂x0 ˜ 0 = ι ∧ dx ˜ 0 について ∧ dx 前節で第一のペアを一つの方程式にすることがうまく行ったので、この節では残りのペアに対し ても同じこと試してみましょう。 まず、 ∗ε = E1 dx2 ∧ dx3 + E2 dx3 ∧ dx1 + E3 dx1 ∧ dx2 に d˜ を施してみます。すると、 ∂E1 ˜ ˜ ˜ 2 ∧ dx ˜ 3 + ∂E1 dx ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 3 + ∂E2 dx ˜ 0 ∧ dx ˜ 3 ∧ dx ˜ 1 d(∗ε) = dx0 ∧ dx ∂x0 ∂x1 ∂x0 ∂E2 ˜ ˜ 3 ∧ dx ˜ 1 + ∂E3 dx ˜ 0 ∧ dx ˜ 1 ∧ dx ˜ 2 + ∂E3 dx ˜ 3 ∧ dx ˜ 1 ∧ dx ˜ 2 dx2 ∧ dx + ∂x2 ∂x0 ∂x3 ∂(∗ε) ˜ = ∧ dx0 + d(∗ε) ∂x0 となります。これは今考えている二つの方程式で ∗ε に関わる部分の差です。 ˜ 0 の外微分です。 前節のまねをするのですから、次は (∗β) ∧ dx ∗β = B1 dx1 + B2 dx2 + B3 dx3 なので、 ˜ ˜ 0 ) = d(B ˜ 1 dx ˜ 1 ∧ dx ˜ 0 + B2 dx ˜ 2 ∧ dx ˜ 0 + B3 dx ˜ 3 ∧ dx ˜ 0) d((∗β) ∧ dx ∂B1 ˜ ˜ 1 ∧ dx ˜ 0 + ∂B1 dx ˜ 3 ∧ dx ˜ 1 ∧ dx ˜ 0 + ∂B2 dx ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 0 dx2 ∧ dx ∂x2 ∂x3 ∂x1 ∂B2 ˜ ˜ 2 ∧ dx ˜ 0 + ∂B3 dx ˜ 1 ∧ dx ˜ 3 ∧ dx ˜ 0 + ∂B3 dx ˜ 2 ∧ dx ˜ 3 ∧ dx ˜ 0 dx3 ∧ dx + ∂x3 ∂x1 ∂x2 ) ( ) ( ∂B2 ˜ ∂B1 ∂B3 ˜ ∂B3 ˜ ˜ ˜ 1 ∧ dx ˜ 0 − dx2 ∧ dx3 ∧ dx0 + − dx3 ∧ dx = ∂x2 ∂x3 ∂x3 ∂x1 ( ) ∂B2 ∂B1 ˜ ˜ 2 ∧ dx ˜ 0 + − dx1 ∧ dx ∂x1 ∂x2 ˜ 0 = d(∗β) ∧ dx = となります。これはまさに欲しかった式です。 以上より、 d(∗ε) = ι0 と d(∗β) − ∂(∗ε) =ι ∂x0 は ˜ − (∗β) ∧ dx ˜ 0 ) = ι0 − ι ∧ dx ˜ 0 d(∗ε 37 付録 ˜ 0 を含まない部分が d(∗ε) = ι0 と、dx ˜ 0 を含 と同値であることがわかりました。下の方程式で dx む部分が d(∗β) − D.3.4 ∂(∗ε) ∂x0 = ι と同値になっています。 成分で書いてみる 既に計算では成分表示を使いましたが、ここでは得られた方程式そのものを成分で書いてみま しょう。それによって空間上の微分形式への作用だった ∗ を時空上の微分形式への作用と解釈す るにはどうすればよいかがわかるはずです。 一番目の方程式 ˜ ∧ dx ˜ 0 + β) = 0 d(ε は、 ( ˜ 1 ∧ dx ˜ 0 + E2 dx ˜ 2 ∧ dx ˜ 0 + E3 dx ˜ 3 ∧ dx ˜ 0 d˜ E1 dx ) ˜ 2 ∧ dx ˜ 3 + B2 dx ˜ 3 ∧ dx ˜ 1 + B3 dx ˜ 1 ∧ dx ˜ 2 =0 +B1 dx (109) e 上の 2 次微分形式とは となります。時空 U ˜ 1 ∧ dx ˜ 0 + f20 dx ˜ 2 ∧ dx ˜ 0 + f30 dx ˜ 3 ∧ dx ˜ 0 f10 dx ˜ 2 ∧ dx ˜ 3 + f31 dx ˜ 3 ∧ dx ˜ 1 + f12 dx ˜ 1 ∧ dx ˜ 2 + f23 dx というもののことですので、方程式 (109) は 外微分すると 0 になる 2 次微分形式 ということを意味しています。外微分すると 0 になる微分形式を閉形式と呼びます。この言葉を使 ⃗ = 0 と rot E ⃗ + ∂ B⃗ = 0 という二つの方程式は、 うと、div B ∂x0 電場と磁束密度は上のようにして時空上の 2 次微分形式と見なしたとき閉形式である と言っていることになります。 二番目の方程式 ˜ − (∗β) ∧ dx ˜ 0 ) = ι0 − ι ∧ dx ˜ 0 d(∗ε も同様に成分で書いてみましょう。すると、 ˜ 1 dx ˜ 2 ∧ dx ˜ 3 + E2 dx ˜ 3 ∧ dx ˜ 1 + E3 dx ˜ 1 ∧ dx ˜ 2 d(E ˜ 1 ∧ dx ˜ 0 − B2 dx ˜ 2 ∧ dx ˜ 0 − B3 dx ˜ 3 ∧ dx ˜ 0) − B1 dx (110) ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 3 − J1 dx ˜ 2 ∧ dx ˜ 3 ∧ dx ˜ 0 − J2 dx ˜ 3 ∧ dx ˜ 1 ∧ dx ˜ 0 − J3 dx ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 0 =J0 dx となります。 式 (109) と式 (110) で d˜ を施されている 2 次微分形式を見比べて、時空上の 2 次微分形式を別の e ) → Ω2 (U e) を 2 次微分形式に写す写像 ˜ ∗ : Ω2 (U ˜ 1 ∧ dx ˜ 0 ) = dx ˜ 2 ∧ dx ˜ 3 ˜ ∗(dx ˜ 2 ∧ dx ˜ 3 ) = −dx ˜ 1 ∧ dx ˜ 0 ˜∗(dx ˜ 2 ∧ dx ˜ 0 ) = dx ˜ 3 ∧ dx ˜ 1 ˜ ∗(dx ˜ 3 ∧ dx ˜ 1 ) = −dx ˜ 2 ∧ dx ˜ 0 ˜∗(dx ˜ 3 ∧ dx ˜ 0 ) = dx ˜ 1 ∧ dx ˜ 2 ˜ ∗(dx ˜ 1 ∧ dx ˜ 2 ) = −dx ˜ 3 ∧ dx ˜ 0 ˜∗(dx 38 付録 によって定義します。これを使えば、マックスウェル方程式は次のようにまとめられることになり ます。 3 次微分形式 ι̃ を ˜ 1 ∧ dx ˜ 2 ∧ dx ˜ 3 − J1 dx ˜ 0 ∧ dx ˜ 2 ∧ dx ˜ 3 − J2 dx ˜ 0 ∧ dx ˜ 3 ∧ dx ˜ 1 − J3 dx ˜ 0 ∧ dx ˜ 1 ∧ dx ˜ 2 ι̃ = J0 dx e 上のマックスウェル方程式とは、2 次微分形式 ω ∈ Ω2 (U e ) に関する次の二つ とする。時空 U の方程式のことである。 ˜ =0 dω ˜ ∗ω) = ι̃ d(˜ (111) この二つを満たす ω を正規直交座標系を使って成分表示したものが ˜ 1 ∧ dx ˜ 0 + E2 dx ˜ 2 ∧ dx ˜ 0 + E3 dx ˜ 3 ∧ dx ˜ 0 + B1 dx ˜ 2 ∧ dx ˜ 3 + B2 dx ˜ 3 ∧ dx ˜ 1 + B3 dx ˜ 1 ∧ dx ˜ 2 E1 dx であるとき、その座標系で E1 E2 E3 と B1 B2 B3 という成分表示を持つベクトル場がそれぞれ電場と磁束密度である、というわけです。 D.4 ポテンシャルを考えてみる 第 3 章の最後で、マックスウェル方程式を電磁ポテンシャルに対する方程式に書き換えると方程 式の数が半分になることを見ました。このことから、ω のポテンシャルに当たる概念を上手く考え e 上のマックスウェル方程式 (111) も半分に減る、すなわち一つになるのではないか れば、時空 U と期待されます。 ポテンシャルとは原始関数のようなものです。つまり、微分すると ω になるものが ω のポテン e 上の 2 次微分形式であり、U e 上の微分形式に対する微分としてはわれわ シャルです。ω は時空 U ˜ = ω となる U e 上の 1 次微分形 れは外微分 d˜ しかしりません。そこで、安直かもしれませんが dθ 式 θ を ω のポテンシャルと見なすことにしましょう。 ˜ を微分形式で表されたマックスウェル方程式 (111) に代入すると ω = dθ ˜ dθ) ˜ =0 d( ˜ ∗dθ) ˜ = ι̃ d(˜ の二つになります。ところが、空間の次元にかかわらず、一般に任意の微分形式 η に対して d(dη) = 0 が成り立ちます。 証明. n 次元空間上の k 次微分形式 η は、座標系 x1 x2 . . . xn を使って ∑ η= fi1 i2 ...ik dxi1 ∧ dxi2 ∧ · · · ∧ dxik 1≤i1 <i2 <···<ik ≤n と表されます。(各 fi1 i2 ...ik は x1 x2 . . . xn を変数とする関数です。)よって、 ∑ dη = d (fi1 i2 ...ik dxi1 ∧ dxi2 ∧ · · · ∧ dxik ) 1≤i1 <i2 <···<ik ≤n d(dη) = ∑ 1≤i1 <i2 <···<ik ≤n d (d (fi1 i2 ...ik dxi1 ∧ dxi2 ∧ · · · ∧ dxik )) 39 付録 となります。従って、 η = f dx1 ∧ · · · ∧ dxk に対して d(dη) = 0 を示せば十分です。 外微分の定義より dη = df ∧ dx1 ∧ · · · ∧ dxk = n ∑ ∂f dxi ∧ dx1 ∧ · · · ∧ dxk ∂xi i=k+1 となるので、k + 1 以上 n 以下の任意の i に対して ( d ∂f dxi ∧ dx1 ∧ · · · ∧ dxk ∂xi = i−1 ∑ j=k+1 ) n ∑ = j=k+1 j̸=i ∂2f dxj ∧ dxi ∧ dx1 ∧ · · · ∧ dxk ∂xj ∂xi n ∑ ∂2f ∂2f dxj ∧ dxi ∧ dx1 ∧ · · · ∧ dxk − dxi ∧ dxj ∧ dx1 ∧ · · · ∧ dxk ∂xj ∂xi ∂xj ∂xi j=i+1 となります。よって、 ( ∑ d(dη) = k+1≤i<j≤n ∂2f ∂2f − ∂xi ∂xj ∂xj ∂xi ) dxi ∧ dxj ∧ dx1 ∧ · · · ∧ dxk となります。我々の扱っている関数はすべて C 2 級であることを仮定しているので、 ∂2f ∂2f = ∂xi ∂xj ∂xj ∂xi が成り立っています。これで d(dη) = 0 が示せました。 □ ˜ dθ) ˜ = 0 は自動的に これでポテンシャル θ に関するマックスウェル方程式の二つの式のうち d( ˜ ∗dθ) ˜ = ι̃ の一つだけになってしまいま 成り立ってしまうことになり、マックスウェル方程式が d(˜ した。と言いたいところですが、一つ問題があります。マックスウェル方程式を満たすすべての 2 ˜ ∗dθ) ˜ = ι̃ がマックスウェル方程式と同値 次微分形式 ω がポテンシャル θ を持つのでなければ、d(˜ e 全体を定義域とする場合にはマッ にならないということです。そこで最後に、少なくとも時空 U クスウェル方程式を満たす 2 次微分形式 ω が必ずポテンシャルを持つことを確認して、この付録 を閉じることにしましょう。 それでは証明します。 証明. 実は、dω = 0 の方だけ満たせば(すなわち ω が閉形式なら)ポテンシャル θ が存在します。 手間を省くために、電場と磁束密度の組が電磁ポテンシャルを持つことを使ってしまいます。 (電 ⃗ ⃗ 磁ポテンシャルが存在することを第 3 章で示したとき、(E, B) が「単磁極なし」と「ファラデー の法則」を満たすことしか使いませんでした。「単磁極なし」と「ファラデーの法則」を満たすこ とは時空上の 2 次微分形式に書き直すと閉形式であることに当たっています。) ⃗ 電場 E, ⃗ 磁束密度 B ⃗ の いままでどおりの座標系 x0 x1 x2 x3 を使い、ベクトルポテンシャル A, この座標系による成分表示をそれぞれ A1 A2 A3 E1 E2 E3 B1 B2 B3 40 付録 とします。(面倒なので、φ を座標で表す関数のことは同じ文字 φ で表すことにします。)この成 分を使って ω を表すと、 ε = E1 dx1 + E2 dx2 + E3 dx3 β = B1 dx2 ∧ dx3 + B2 dx3 ∧ dx1 + B3 dx1 ∧ dx2 ˜ 0+β ω = ε ∧ dx ˜ 1 ∧ dx ˜ 0 + E2 dx ˜ 2 ∧ dx ˜ 0 + E3 dx ˜ 3 ∧ dx ˜ 0 + B1 dx ˜ 2 ∧ dx ˜ 3 + B2 dx ˜ 3 ∧ dx ˜ 1 + B3 dx ˜ 1 ∧ dx ˜ 2 = E1 dx となるのでした。 ⃗ が (E, ⃗ B) ⃗ の電磁ポテンシャルであるという式 さて、(φ, A) ⃗ ⃗ = − grad φ − ∂ A E ∂x0 ⃗ = rot A ⃗ B の二番目の式は、空間 U 上の 1 次微分形式 α を α = A1 dx1 + A2 dx2 + A3 dx3 で定義すると、 β = dα が成り立つということを意味しています。また、一番目の式を成分で書くと、 ∂φ ∂A 1 E1 ∂x ∂x ∂φ1 ∂A02 E2 = − ∂x2 − ∂x0 E3 ∂φ ∂x3 ∂A3 ∂x0 となり、これは ε = −dφ − ∂α ∂x0 が成り立つことを意味しています。よって、 ) ( ∂α ˜ 0 + dα = ε ∧ dx ˜ 0+β =ω ∧ dx − dφ + ∂x0 です。一方、 ˜ dx ˜ 0) = d(φ ( ∂φ ˜ ∂φ ˜ ∂φ ˜ ∂φ ˜ dx0 + dx1 + dx2 + dx3 ∂x0 ∂x1 ∂x2 ∂x3 ) ˜ 0 = dφ ∧ dx ˜ 0 ∧ dx および ˜ = d(A ˜ 1 dx1 + A2 dx2 + A3 dx3 ) dα ∂A1 ˜ ˜ 1 + ∂A1 dx ˜ 2 ∧ dx ˜ 1 + ∂A1 dx ˜ 3 ∧ dx ˜ 1 dx0 ∧ dx ∂x0 ∂x2 ∂x3 ∂A2 ˜ ˜ 2 + ∂A2 dx ˜ 1 ∧ dx ˜ 2 + ∂A2 dx ˜ 3 ∧ dx ˜ 2 dx0 ∧ dx + ∂x0 ∂x1 ∂x3 ∂A3 ˜ ˜ 3 + ∂A3 dx ˜ 1 ∧ dx ˜ 3 + ∂A3 dx ˜ 2 ∧ dx ˜ 3 + dx0 ∧ dx ∂x0 ∂x1 ∂x2 ( ) ( ) ∂A1 ˜ ∂A2 ˜ ∂A3 ˜ ∂A3 ∂A2 ˜ =− dx1 + dx2 + dx3 ∧ dx0 + − dx2 ∧ dx3 ∂x0 ∂x0 ∂x0 ∂x2 ∂x3 ( ) ( ) ∂A1 ∂A3 ∂A2 ∂A1 + − dx3 ∧ dx1 + − dx1 ∧ dx2 ∂x3 ∂x1 ∂x1 ∂x2 ∂α ˜ 0 + dα =− ∧ dx ∂x0 = 41 付録 となっています。以上より、 ( ) ˜ 0 + α = −dφ ∧ dx ˜ 0 − ∂α ∧ dx ˜ 0 + dα = ω d˜ −φdx ∂x0 となります。すなわち ˜ 0+α θ = −φdx ˜ = ω が成り立ちます。 □ とおけば dθ e 全体を定義域とする場合には、マックスウェル方程式が 以上で、少なくとも時空 U ˜ ∗dθ) ˜ = ι̃ d(˜ という一つの微分方程式で表されました。 e) θ ∈ Ω1 (U e) ι̃ ∈ Ω3 (U
© Copyright 2025 ExpyDoc